System.Diagnostics.Contracts.Internal Namespace

The System.Diagnostics.Contracts.Internal namespace provides classes that the binary rewriter can use to handle a contract failure.

Classes

TypeReason
ContractHelper

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