System.Diagnostics.Contracts Namespace Reference

Classes
class	Contract
class	ContractAbbreviatorAttribute
class	ContractArgumentValidatorAttribute
class	ContractClassAttribute
class	ContractClassForAttribute
class	ContractException
class	ContractFailedEventArgs
class	ContractInvariantMethodAttribute
class	ContractOptionAttribute
class	ContractPublicPropertyNameAttribute
class	ContractReferenceAssemblyAttribute
class	ContractRuntimeIgnoredAttribute
class	ContractVerificationAttribute
class	PureAttribute

Enumerations
enum	ContractFailureKind {   Precondition , Postcondition , PostconditionOnException , Invariant ,   Assert , Assume }