ContractHelper Classe

Definizione

Fornisce metodi usati dal rewriter binario per gestire gli errori di contratto.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
Ereditarietà
ContractHelper

Metodi

RaiseContractFailedEvent(ContractFailureKind, String, String, Exception)

Utilizzato dal rewriter binario per attivare il comportamento dell'errore predefinito.Used by the binary rewriter to activate the default failure behavior.

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

Attiva il comportamento dell'errore predefinito.Triggers the default failure behavior.

Si applica a