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; }
	}
}