ContractHelper Classe

Definizione

Fornisce metodi usati dal rewriter binario per gestire gli errori di contratto.

public ref class ContractHelper abstract sealed
public static class ContractHelper
type ContractHelper = class
Public Class ContractHelper
Ereditarietà
ContractHelper

Metodi

RaiseContractFailedEvent(ContractFailureKind, String, String, Exception)

Utilizzato dal rewriter binario per attivare il comportamento dell'errore predefinito.

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

Attiva il comportamento dell'errore predefinito.

Si applica a