System.Runtime.CompilerServices.ContractHelper Members

The members of System.Runtime.CompilerServices.ContractHelper are listed below.

See Also: Inherited members from System.Object

Public Methods

static
RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind, string, string, Exception) : string

Used by the binary rewriter to activate the default failure behavior.

static
TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind, string, string, string, Exception)

Triggers the default failure behavior.