System.Diagnostics.Contracts.Internal Namespace

Provides classes that the binary rewriter can use to handle a contract failure.

Classes

ContractHelper

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