system.diagnostics.contracts

Classes

• Contract
• ContractAbbreviatorAttribute
• ContractArgumentValidatorAttribute
• ContractClassAttribute
• ContractClassForAttribute
• ContractException
• ContractFailedEventArgs
• ContractFailureKind
• ContractInvariantMethodAttribute
• ContractOptionAttribute
• ContractPublicPropertyNameAttribute
• ContractReferenceAssemblyAttribute
• ContractRuntimeIgnoredAttribute
• ContractVerificationAttribute
• PureAttribute