The System.Diagnostics.Contracts.Internal namespace provides classes that the binary rewriter can use to handle a contract failure.
Type | Reason |
---|---|
ContractHelper |
Provides methods that the binary rewriter uses to handle contract failures. |