导出 (0) 打印
全部展开
此文章由人工翻译。 将光标移到文章的句子上,以查看原文。
译文
原文

System.Diagnostics.Contracts 命名空间

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

  说明
公共类 Contract 包含用于表示程序协定(如前置条件、后置条件和对象固定)的静态方法。
公共类 ContractClassAttribute 指定一个单独的类型包含此类型的代码协定。
公共类 ContractClassForAttribute 指定一个类是某个类型的协定。
公共类 ContractInvariantMethodAttribute 将一个方法标记为某个类的固定方法。
公共类 ContractPublicPropertyNameAttribute 指定在某个字段的可见性低于方法时可在方法协定中使用该字段。
公共类 ContractReferenceAssemblyAttribute 指定一个程序集是包含协定的引用程序集。
公共类 ContractRuntimeIgnoredAttribute 标识没有运行时行为的成员。
公共类 ContractVerificationAttribute 指示分析工具假定程序集、类型或成员的正确性,而不执行静态验证。
公共类 PureAttribute 指示一个类型或方法为纯类型或纯方法,即它不进行任何可视的状态更改。

  枚举 说明
公共枚举 ContractFailureKind 指定失败的协定的类型。

社区附加资源

添加
显示:
© 2014 Microsoft