System.Diagnostics.Contracts 命名空间

包含用于表示程序协定（如前置条件、后置条件和对象固定）的静态方法。

定义您可用于替代完整协定语法的缩写。

启用 if-then-throw 旧代码分离为单独的方法，用以重用，并提供对引发的异常和参数的完全控制。

指示单独的类型包含此类型的代码协定。

指定类是类型的协定。

为 ContractFailed 事件提供方法和数据。

将方法标记为类的固定条件方法。

可以在程序集、类型或方法粒度方面设置协定和工具选项。

指定在某个字段的可见性低于方法时可在方法协定中使用该字段。

指定程序集是包含协定的引用程序集。

标识没有运行时行为的成员。

指示分析工具假定程序集、类型或成员的正确性，而不执行静态验证。

指示类型或方法是纯函数，即它不会执行任何可见状态更改。

指定失败的协定的类型。