ContractHelper ContractHelper ContractHelper ContractHelper Class

Definition

Warning

This API is now obsolete.

Provides methods that the binary rewriter uses to handle contract failures.

public ref class ContractHelper abstract sealed
[System.Obsolete("Use the ContractHelper class in the System.Runtime.CompilerServices namespace instead.")]
public static class ContractHelper
type ContractHelper = class
Public Class ContractHelper
Inheritance
ContractHelperContractHelperContractHelperContractHelper
Attributes

Methods

RaiseContractFailedEvent(ContractFailureKind, String, String, Exception) RaiseContractFailedEvent(ContractFailureKind, String, String, Exception) RaiseContractFailedEvent(ContractFailureKind, String, String, Exception) RaiseContractFailedEvent(ContractFailureKind, String, String, Exception)

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

TriggerFailure(ContractFailureKind, String, String, String, Exception) TriggerFailure(ContractFailureKind, String, String, String, Exception) TriggerFailure(ContractFailureKind, String, String, String, Exception) TriggerFailure(ContractFailureKind, String, String, String, Exception)

Triggers the default failure behavior.

Applies to