niko
33 lines
1.1 KiB
C#
33 lines
1.1 KiB
C#
using System;
|
|
|
|
namespace JetBrains.Annotations
|
|
{
|
|
// Token: 0x02000437 RID: 1079
|
|
[AttributeUsage(AttributeTargets.Method, AllowMultiple = true, Inherited = true)]
|
|
public sealed class ContractAnnotationAttribute : Attribute
|
|
{
|
|
// Token: 0x06003846 RID: 14406 RVA: 0x00060A50 File Offset: 0x0005EC50
|
|
public ContractAnnotationAttribute([NotNull] string contract)
|
|
: this(contract, false)
|
|
{
|
|
}
|
|
|
|
// Token: 0x06003847 RID: 14407 RVA: 0x00060A5C File Offset: 0x0005EC5C
|
|
public ContractAnnotationAttribute([NotNull] string contract, bool forceFullStates)
|
|
{
|
|
this.Contract = contract;
|
|
this.ForceFullStates = forceFullStates;
|
|
}
|
|
|
|
// Token: 0x17000CED RID: 3309
|
|
// (get) Token: 0x06003848 RID: 14408 RVA: 0x00060A74 File Offset: 0x0005EC74
|
|
// (set) Token: 0x06003849 RID: 14409 RVA: 0x00060A90 File Offset: 0x0005EC90
|
|
public string Contract { get; private set; }
|
|
|
|
// Token: 0x17000CEE RID: 3310
|
|
// (get) Token: 0x0600384A RID: 14410 RVA: 0x00060A9C File Offset: 0x0005EC9C
|
|
// (set) Token: 0x0600384B RID: 14411 RVA: 0x00060AB8 File Offset: 0x0005ECB8
|
|
public bool ForceFullStates { get; private set; }
|
|
}
|
|
}
|