System.Diagnostics.Contracts

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

检查条件；如果条件为 false，则遵循为分析器设置的升级策略。

要测试的条件表达式。

检查条件；如果条件为 false，则遵循分析器设置的升级策略并显示指定消息。

要测试的条件表达式。在不满足条件时要显示的消息。

指示代码分析工具假设指定的条件为 true（即使无法静态地证明该条件始终为 true）。

假设为 true 的条件表达式。

指示代码分析工具假设指定的条件为 true（即使无法静态地证明该条件始终为 true）并在假设失败时显示一条消息。

假设为 true 的条件表达式。假设失败时要发布的消息。

协定失败时发生。

当方法的协定仅包含 if-then-throw 形式的前置条件时，标记协定部分的结尾。

为封闭方法或属性指定一个后置条件协定。

要测试的条件表达式。该表达式可以包括、和值。

为提供的退出条件指定后置条件协定，并指定条件为 false 时要显示的消息。

要测试的条件表达式。该表达式可以包括和值。表达式不为 true 时要显示的消息。

基于提供的异常和条件为封闭方法或属性指定一个后置条件协定。

要测试的条件表达式。引发后置条件检查的异常的类型。

基于提供的异常和条件为封闭方法或属性指定一个后置条件协定，并指定条件为 false 时要显示的消息。

要测试的条件表达式。表达式为 false 时要显示的消息。引发后置条件检查的异常的类型。

确定函数中是否存在某个元素集合中的元素。

当且仅当对于中的类型的任何元素都返回 true 时，才为 true。将从中提取类型的元素以将其传递给的集合。用于计算中某个元素的函数。中包含的类型。 or is null.

确定指定的测试对某个整数范围中的任何整数是否都为 true。

如果对于从到 - 1 范围内的任何整数都返回 true，则为 true。要传递给的第一个整数。要传递给的最后一个整数加一。用于计算指定范围内整数的任何值的函数。 is null. is less than .

确定函数中是否存在某个集合中的所有元素。

当且仅当对于中的类型的全部元素都返回 true 时，才为 true。将从中提取类型的元素以将其传递给的集合。用于计算中所有元素是否存在的函数。中包含的类型。 or is null.

确定某个特定条件是否对指定范围内的所有整数都有效。

如果对于从到 - 1 范围内的任何整数都返回 true，则为 true。要传递给的第一个整数。要传递给的最后一个整数加一。要计算其中是否存在指定范围内的整数的函数。 is null. is less than .

为封闭方法或属性指定一个固定的协定。

要测试的条件表达式。

为封闭方法或属性指定一个固定协定，并在该协定的条件失败时显示一条消息。

要测试的条件表达式。条件为 false 时要显示的消息。

表示方法或属性开始时的值。

一个方法或属性开始处的参数或字段的值。要表示的值（字段或参数）。值的类型。

为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时引发异常。

要测试的条件表达式。条件为 false 时要引发的异常。

为封闭方法或属性指定一个前置条件协定。

要测试的条件表达式。

为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时显示一条消息。

要测试的条件表达式。条件为 false 时要显示的消息。

为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时引发包含提供的消息的异常。

要测试的条件表达式。条件为 false 时要显示的消息。条件为 false 时要引发的异常。

表示一个方法或属性的返回值。

封闭方法或属性的返回值。封闭方法或属性的返回值的类型。

表示从一个方法返回时 out 参数的最终（输出）值。

out 参数的输出值。 out 参数。 out 参数的类型。

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

初始化类的新实例。

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

初始化类的新实例。

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

初始化类的新实例。

包含此类型的代码协定的类型。

获取包含此类型的代码协定的类型。

包含此类型的代码协定的类型。

指定一个类是某个类型的协定。

初始化类的新实例，并指定使用当前类作为协定的类型。

使用当前类作为协定的类型。

获取此代码协定应用于的类型。

此协定应用于的类型。

为事件提供方法和数据。

为事件提供数据。

用于指定失败的协定的枚举值之一。事件的消息。事件的条件。导致事件的异常。

获取协定失败的条件。

失败的条件。

获取失败的协定的类型。

用于指定失败的协定的类型的枚举值之一。

指示是否已处理事件。

如果事件已被处理，则为 true；否则为 false。

获取描述事件的消息。

描述事件的消息。

获取导致事件的原始异常。

导致事件的异常。

将属性设置为 true。

指示是否应该应用代码协定升级策略。

若为 true，则应用升级策略；否则为 false。默认值为 false。

指定失败的协定的类型。

一个失败的协定。

将一个方法标记为某个类的固定方法。

初始化类的新实例。

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

使用提供的类别，设置和可用或禁用值初始化类的新实例。

要设置的选项的类别。选项设置。启用选择，则为 true；禁用选择，则为 false。

使用提供的类别，设置和可用或禁用值初始化类的新实例。

要设置的选项的类别。选项设置。此设置的值。

获取选项的类别。

选项的类别。

确定选项是否启用。

如果启用该选项，则为 true；否则，为 false。

获得选项的设置。

此选项的设置。

获取选项的值。

选项的值。

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

初始化类的新实例。

要应用于字段的属性名称。

获取要应用于字段的属性名称。

要应用于字段的属性名称。

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

初始化类的新实例。

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

初始化类的新实例。

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

初始化类的新实例。

若为 true，则需要验证；否则为 false。

获取指示是否验证目标的协定的值。

如果需要验证，则为 true；否则为 false。

指示一个类型或方法为纯类型或纯方法，即它不进行任何可视的状态更改。

初始化类的新实例。

提供二进制重写工具用来处理协定失败的方法。

由二进制重写工具用来激活默认失败行为。

如果事件已经过处理且不应触发失败，则为空引用（在 Visual Basic 中为 Nothing）；否则返回本地化的失败消息。指定故障类型的枚举值之一。其他用户信息。对导致失败的条件的说明。导致当前异常的内部异常。不是有效的值。

触发默认失败行为。

指定故障类型的枚举值之一。要显示的消息。其他用户信息。对导致失败的条件的说明。导致当前异常的内部异常。