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
-
ContractHelper
Methods
RaiseContractFailedEvent(ContractFailureKind, String, String, Exception) |
Used by the binary rewriter to activate the default failure behavior. |
TriggerFailure(ContractFailureKind, String, String, String, Exception) |
Triggers the default failure behavior. |