System.Diagnostics.Contracts 命名空间

包含用于表示程序协定的静态类，例如前置条件、后置条件和固定项。

类

Contract	包含用于表示程序协定（如前置条件、后置条件和对象固定）的静态方法。
ContractAbbreviatorAttribute	定义您可用于替代完整协定语法的缩写。
ContractArgumentValidatorAttribute	启用 if-then-throw 旧代码分离为单独的方法，用以重用，并提供对引发的异常和参数的完全控制。
ContractClassAttribute	指示单独的类型包含此类型的代码协定。
ContractClassForAttribute	指定类是类型的协定。
ContractFailedEventArgs	为 ContractFailed 事件提供方法和数据。
ContractInvariantMethodAttribute	将方法标记为类的固定条件方法。
ContractOptionAttribute	可以在程序集、类型或方法粒度方面设置协定和工具选项。
ContractPublicPropertyNameAttribute	指定在某个字段的可见性低于方法时可在方法协定中使用该字段。
ContractReferenceAssemblyAttribute	指定程序集是包含协定的引用程序集。
ContractRuntimeIgnoredAttribute	标识没有运行时行为的成员。
ContractVerificationAttribute	指示分析工具假定程序集、类型或成员的正确性，而不执行静态验证。
PureAttribute	指示类型或方法是纯函数，即它不会执行任何可见状态更改。

枚举

ContractFailureKind

指定失败的协定的类型。