Windows Dev Center

System.Diagnostics.Contracts Namespace

The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.

  ClassDescription
Public classContractContains static methods for representing program contracts such as preconditions, postconditions, and object invariants.
Public classContractAbbreviatorAttributeEnables you to define abbreviations for contracts that can be used in place of the full contract syntax.
Public classContractArgumentValidatorAttributeEnables the factoring of legacy if-then-throw code into separate methods for reuse, and provides full control over thrown exceptions and arguments.
Public classContractClassAttributeSpecifies that a separate type contains the code contracts for this type.
Public classContractClassForAttributeSpecifies that a class is a contract for a type.
Public classContractFailedEventArgsProvides methods and data for the Contract.ContractFailed event.
Public classContractInvariantMethodAttributeMarks a method as being the invariant method for a class.
Public classContractOptionAttributeEnables you to set contract and tool options at assembly, type, or method granularity.
Public classContractPublicPropertyNameAttributeSpecifies that a field can be used in method contracts when the field has less visibility than the method.
Public classContractReferenceAssemblyAttributeSpecifies that an assembly is a reference assembly that contains contracts.
Public classContractRuntimeIgnoredAttributeIdentifies a member that has no run-time behavior.
Public classContractVerificationAttributeInstructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.
Public classPureAttributeIndicates that a type or method is pure, that is, it does not make any visible state changes.

  EnumerationDescription
Public enumerationContractFailureKindSpecifies the type of contract that failed.

Show:
© 2015 Microsoft