@tsonic/dotnet

{ "namespace": "System.Diagnostics.Contracts", "contributingAssemblies": [ "System.Private.CoreLib" ], "types": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailureKind", "clrName": "System.Diagnostics.Contracts.ContractFailureKind", "tsEmitName": "ContractFailureKind", "kind": "Enum", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [], "fields": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailureKind::value__System.Int32", "clrName": "value__", "tsEmitName": "value__", "normalizedSignature": "value__|System.Int32|static=false|const=false", "isStatic": false, "isReadOnly": false, "isLiteral": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailureKind::PreconditionSystem.Diagnostics.Contracts.ContractFailureKind", "clrName": "Precondition", "tsEmitName": "precondition", "normalizedSignature": "Precondition|System.Diagnostics.Contracts.ContractFailureKind|static=true|const=true", "isStatic": true, "isReadOnly": false, "isLiteral": true }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailureKind::PostconditionSystem.Diagnostics.Contracts.ContractFailureKind", "clrName": "Postcondition", "tsEmitName": "postcondition", "normalizedSignature": "Postcondition|System.Diagnostics.Contracts.ContractFailureKind|static=true|const=true", "isStatic": true, "isReadOnly": false, "isLiteral": true }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailureKind::PostconditionOnExceptionSystem.Diagnostics.Contracts.ContractFailureKind", "clrName": "PostconditionOnException", "tsEmitName": "postconditionOnException", "normalizedSignature": "PostconditionOnException|System.Diagnostics.Contracts.ContractFailureKind|static=true|const=true", "isStatic": true, "isReadOnly": false, "isLiteral": true }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailureKind::InvariantSystem.Diagnostics.Contracts.ContractFailureKind", "clrName": "Invariant", "tsEmitName": "invariant", "normalizedSignature": "Invariant|System.Diagnostics.Contracts.ContractFailureKind|static=true|const=true", "isStatic": true, "isReadOnly": false, "isLiteral": true }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailureKind::AssertSystem.Diagnostics.Contracts.ContractFailureKind", "clrName": "Assert", "tsEmitName": "assert", "normalizedSignature": "Assert|System.Diagnostics.Contracts.ContractFailureKind|static=true|const=true", "isStatic": true, "isReadOnly": false, "isLiteral": true }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailureKind::AssumeSystem.Diagnostics.Contracts.ContractFailureKind", "clrName": "Assume", "tsEmitName": "assume", "normalizedSignature": "Assume|System.Diagnostics.Contracts.ContractFailureKind|static=true|const=true", "isStatic": true, "isReadOnly": false, "isLiteral": true } ], "events": [], "constructors": [] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractAbbreviatorAttribute", "clrName": "System.Diagnostics.Contracts.ContractAbbreviatorAttribute", "tsEmitName": "ContractAbbreviatorAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|():void|static=false", "isStatic": false, "parameterCount": 0 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute", "clrName": "System.Diagnostics.Contracts.ContractArgumentValidatorAttribute", "tsEmitName": "ContractArgumentValidatorAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|():void|static=false", "isStatic": false, "parameterCount": 0 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractClassAttribute", "clrName": "System.Diagnostics.Contracts.ContractClassAttribute", "tsEmitName": "ContractClassAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractClassAttribute::TypeContainingContracts:System.Type", "clrName": "TypeContainingContracts", "tsEmitName": "typeContainingContracts", "normalizedSignature": "TypeContainingContracts|:System.Type|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false } ], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|(System.Type):void|static=false", "isStatic": false, "parameterCount": 1 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractClassForAttribute", "clrName": "System.Diagnostics.Contracts.ContractClassForAttribute", "tsEmitName": "ContractClassForAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractClassForAttribute::TypeContractsAreFor:System.Type", "clrName": "TypeContractsAreFor", "tsEmitName": "typeContractsAreFor", "normalizedSignature": "TypeContractsAreFor|:System.Type|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false } ], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|(System.Type):void|static=false", "isStatic": false, "parameterCount": 1 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractException", "clrName": "System.Diagnostics.Contracts.ContractException", "tsEmitName": "ContractException", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractException::GetObjectData(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext):System.Void", "clrName": "GetObjectData", "tsEmitName": "getObjectData", "normalizedSignature": "GetObjectData|(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext):System.Void|static=false", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": true, "isOverride": true, "isSealed": false, "arity": 0, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Runtime.Serialization.ISerializable::GetObjectData(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext):System.Void", "clrName": "GetObjectData", "tsEmitName": "getObjectData$view", "normalizedSignature": "GetObjectData|(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext):System.Void|static=false", "provenance": "ExplicitView", "emitScope": "ViewOnly", "isStatic": false, "isAbstract": false, "isVirtual": true, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 2, "sourceInterface": "System.Runtime.Serialization.ISerializable", "isExtensionMethod": false } ], "properties": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractException::Kind:System.Diagnostics.Contracts.ContractFailureKind", "clrName": "Kind", "tsEmitName": "kind", "normalizedSignature": "Kind|:System.Diagnostics.Contracts.ContractFailureKind|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractException::Failure:System.String", "clrName": "Failure", "tsEmitName": "failure", "normalizedSignature": "Failure|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractException::UserMessage:System.String", "clrName": "UserMessage", "tsEmitName": "userMessage", "normalizedSignature": "UserMessage|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractException::Condition:System.String", "clrName": "Condition", "tsEmitName": "condition", "normalizedSignature": "Condition|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false } ], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception):void|static=false", "isStatic": false, "parameterCount": 5 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs", "clrName": "System.Diagnostics.Contracts.ContractFailedEventArgs", "tsEmitName": "ContractFailedEventArgs", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs::SetHandled():System.Void", "clrName": "SetHandled", "tsEmitName": "setHandled", "normalizedSignature": "SetHandled|():System.Void|static=false", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 0, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs::SetUnwind():System.Void", "clrName": "SetUnwind", "tsEmitName": "setUnwind", "normalizedSignature": "SetUnwind|():System.Void|static=false", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 0, "isExtensionMethod": false } ], "properties": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs::Message:System.String", "clrName": "Message", "tsEmitName": "message", "normalizedSignature": "Message|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs::Condition:System.String", "clrName": "Condition", "tsEmitName": "condition", "normalizedSignature": "Condition|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs::FailureKind:System.Diagnostics.Contracts.ContractFailureKind", "clrName": "FailureKind", "tsEmitName": "failureKind", "normalizedSignature": "FailureKind|:System.Diagnostics.Contracts.ContractFailureKind|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs::OriginalException:System.Exception", "clrName": "OriginalException", "tsEmitName": "originalException", "normalizedSignature": "OriginalException|:System.Exception|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs::Handled:System.Boolean", "clrName": "Handled", "tsEmitName": "handled", "normalizedSignature": "Handled|:System.Boolean|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractFailedEventArgs::Unwind:System.Boolean", "clrName": "Unwind", "tsEmitName": "unwind", "normalizedSignature": "Unwind|:System.Boolean|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false } ], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception):void|static=false", "isStatic": false, "parameterCount": 4 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractInvariantMethodAttribute", "clrName": "System.Diagnostics.Contracts.ContractInvariantMethodAttribute", "tsEmitName": "ContractInvariantMethodAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|():void|static=false", "isStatic": false, "parameterCount": 0 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractOptionAttribute", "clrName": "System.Diagnostics.Contracts.ContractOptionAttribute", "tsEmitName": "ContractOptionAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractOptionAttribute::Category:System.String", "clrName": "Category", "tsEmitName": "category", "normalizedSignature": "Category|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractOptionAttribute::Setting:System.String", "clrName": "Setting", "tsEmitName": "setting", "normalizedSignature": "Setting|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractOptionAttribute::Enabled:System.Boolean", "clrName": "Enabled", "tsEmitName": "enabled", "normalizedSignature": "Enabled|:System.Boolean|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractOptionAttribute::Value:System.String", "clrName": "Value", "tsEmitName": "value", "normalizedSignature": "Value|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false } ], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|(System.String,System.String,System.Boolean):void|static=false", "isStatic": false, "parameterCount": 3 }, { "normalizedSignature": "constructor|(System.String,System.String,System.String):void|static=false", "isStatic": false, "parameterCount": 3 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute", "clrName": "System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute", "tsEmitName": "ContractPublicPropertyNameAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute::Name:System.String", "clrName": "Name", "tsEmitName": "name", "normalizedSignature": "Name|:System.String|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false } ], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|(System.String):void|static=false", "isStatic": false, "parameterCount": 1 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute", "clrName": "System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute", "tsEmitName": "ContractReferenceAssemblyAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|():void|static=false", "isStatic": false, "parameterCount": 0 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute", "clrName": "System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute", "tsEmitName": "ContractRuntimeIgnoredAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|():void|static=false", "isStatic": false, "parameterCount": 0 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractVerificationAttribute", "clrName": "System.Diagnostics.Contracts.ContractVerificationAttribute", "tsEmitName": "ContractVerificationAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.ContractVerificationAttribute::Value:System.Boolean", "clrName": "Value", "tsEmitName": "value", "normalizedSignature": "Value|:System.Boolean|static=false|accessor=get", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": false, "isAbstract": false, "isVirtual": false, "isOverride": false, "isIndexer": false, "hasGetter": true, "hasSetter": false } ], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|(System.Boolean):void|static=false", "isStatic": false, "parameterCount": 1 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.PureAttribute", "clrName": "System.Diagnostics.Contracts.PureAttribute", "tsEmitName": "PureAttribute", "kind": "Class", "accessibility": "Public", "isAbstract": false, "isSealed": true, "isStatic": false, "arity": 0, "methods": [], "properties": [], "fields": [], "events": [], "constructors": [ { "normalizedSignature": "constructor|():void|static=false", "isStatic": false, "parameterCount": 0 } ] }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract", "clrName": "System.Diagnostics.Contracts.Contract", "tsEmitName": "Contract", "kind": "StaticNamespace", "accessibility": "Public", "isAbstract": true, "isSealed": true, "isStatic": true, "arity": 0, "methods": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Assume(System.Boolean):System.Void", "clrName": "Assume", "tsEmitName": "assume", "normalizedSignature": "Assume|(System.Boolean):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 1, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Assume(System.Boolean,System.String):System.Void", "clrName": "Assume", "tsEmitName": "assume", "normalizedSignature": "Assume|(System.Boolean,System.String):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Assert(System.Boolean):System.Void", "clrName": "Assert", "tsEmitName": "assert", "normalizedSignature": "Assert|(System.Boolean):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 1, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Assert(System.Boolean,System.String):System.Void", "clrName": "Assert", "tsEmitName": "assert", "normalizedSignature": "Assert|(System.Boolean,System.String):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Requires(System.Boolean):System.Void", "clrName": "Requires", "tsEmitName": "requires", "normalizedSignature": "Requires|(System.Boolean):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 1, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Requires(System.Boolean,System.String):System.Void", "clrName": "Requires", "tsEmitName": "requires", "normalizedSignature": "Requires|(System.Boolean,System.String):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Ensures(System.Boolean):System.Void", "clrName": "Ensures", "tsEmitName": "ensures", "normalizedSignature": "Ensures|(System.Boolean):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 1, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Ensures(System.Boolean,System.String):System.Void", "clrName": "Ensures", "tsEmitName": "ensures", "normalizedSignature": "Ensures|(System.Boolean,System.String):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::EnsuresOnThrow(System.Boolean):System.Void", "clrName": "EnsuresOnThrow", "tsEmitName": "ensuresOnThrow", "normalizedSignature": "EnsuresOnThrow|(System.Boolean):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 1, "parameterCount": 1, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::EnsuresOnThrow(System.Boolean,System.String):System.Void", "clrName": "EnsuresOnThrow", "tsEmitName": "ensuresOnThrow", "normalizedSignature": "EnsuresOnThrow|(System.Boolean,System.String):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 1, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Result():T", "clrName": "Result", "tsEmitName": "result", "normalizedSignature": "Result|():T|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 1, "parameterCount": 0, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::ValueAtReturn(T\u0026):T", "clrName": "ValueAtReturn", "tsEmitName": "valueAtReturn", "normalizedSignature": "ValueAtReturn|(T\u0026):T|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 1, "parameterCount": 1, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::OldValue(T):T", "clrName": "OldValue", "tsEmitName": "oldValue", "normalizedSignature": "OldValue|(T):T|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 1, "parameterCount": 1, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Invariant(System.Boolean):System.Void", "clrName": "Invariant", "tsEmitName": "invariant", "normalizedSignature": "Invariant|(System.Boolean):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 1, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Invariant(System.Boolean,System.String):System.Void", "clrName": "Invariant", "tsEmitName": "invariant", "normalizedSignature": "Invariant|(System.Boolean,System.String):System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::ForAll(System.Int32,System.Int32,System.Predicate_1[[System.Int32,System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e]]):System.Boolean", "clrName": "ForAll", "tsEmitName": "forAll", "normalizedSignature": "ForAll|(System.Int32,System.Int32,System.Predicate_1[[System.Int32,System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e]]):System.Boolean|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 3, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::ForAll(IEnumerable_1,Predicate_1):System.Boolean", "clrName": "ForAll", "tsEmitName": "forAll", "normalizedSignature": "ForAll|(IEnumerable_1,Predicate_1):System.Boolean|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 1, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Exists(System.Int32,System.Int32,System.Predicate_1[[System.Int32,System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e]]):System.Boolean", "clrName": "Exists", "tsEmitName": "exists", "normalizedSignature": "Exists|(System.Int32,System.Int32,System.Predicate_1[[System.Int32,System.Private.CoreLib,Version=10.0.0.0,Culture=neutral,PublicKeyToken=7cec85d7bea7798e]]):System.Boolean|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 3, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::Exists(IEnumerable_1,Predicate_1):System.Boolean", "clrName": "Exists", "tsEmitName": "exists", "normalizedSignature": "Exists|(IEnumerable_1,Predicate_1):System.Boolean|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 1, "parameterCount": 2, "isExtensionMethod": false }, { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::EndContractBlock():System.Void", "clrName": "EndContractBlock", "tsEmitName": "endContractBlock", "normalizedSignature": "EndContractBlock|():System.Void|static=true", "provenance": "Original", "emitScope": "ClassSurface", "isStatic": true, "isAbstract": false, "isVirtual": false, "isOverride": false, "isSealed": false, "arity": 0, "parameterCount": 0, "isExtensionMethod": false } ], "properties": [], "fields": [], "events": [ { "stableId": "System.Private.CoreLib:System.Diagnostics.Contracts.Contract::ContractFailedSystem.EventHandler\u00601[[System.Diagnostics.Contracts.ContractFailedEventArgs, System.Private.CoreLib, Version=10.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e]]", "clrName": "ContractFailed", "tsEmitName": "contractFailed", "normalizedSignature": "ContractFailed|System.EventHandler\u00601[[System.Diagnostics.Contracts.ContractFailedEventArgs, System.Private.CoreLib, Version=10.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e]]|static=true", "isStatic": true } ], "constructors": [] } ] }