System.Diagnostics.Contracts
Namespace with 14 public types
Classes
ContractAbbreviatorAttribute
ContractArgumentValidatorAttribute
ContractClassAttribute
ContractClassForAttribute
ContractFailedEventArgs
ContractInvariantMethodAttribute
ContractOptionAttribute
ContractPublicPropertyNameAttribute
ContractReferenceAssemblyAttribute
ContractRuntimeIgnoredAttribute
ContractVerificationAttribute
PureAttribute
Enumerations
ContractFailureKind
Static Classes
Contract