scripts

2026-06-04 11:42:34 +02:00
parent f39ba70a9f
commit e720b98cd1
7488 changed files with 2493818 additions and 0 deletions
@@ -0,0 +1,32 @@
+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; }
+	}
+}