ContractHelper ContractHelper ContractHelper ContractHelper Class

Definition

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

public ref class ContractHelper abstract sealed
public static class ContractHelper
type ContractHelper = class
Public Class ContractHelper
Inheritance
ContractHelperContractHelperContractHelperContractHelper

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