Contract.Requires 方法

定义

命名空间:
System.Diagnostics.Contracts
程序集:
mscorlib.dll, System.Diagnostics.Contracts.dll
程序集:
netstandard.dll, System.Diagnostics.Contracts.dll
程序集:
System.Diagnostics.Contracts.dll
程序集:
mscorlib.dll
程序集:
netstandard.dll

指定封闭方法或属性的前置条件协定。

重载

名称 说明
Requires(Boolean)

指定封闭方法或属性的前置条件协定。
Requires(Boolean, String)

指定封闭方法或属性的前置条件协定，并在协定条件失败时显示消息。
Requires<TException>(Boolean)

指定封闭方法或属性的前置条件协定，并在协定条件失败时引发异常。
Requires<TException>(Boolean, String)

指定封闭方法或属性的前置条件协定，并在协定条件失败时引发具有提供消息的异常。

Requires(Boolean)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

指定封闭方法或属性的前置条件协定。

public:
 static void Requires(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires(bool condition);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool -> unit
Public Shared Sub Requires (condition As Boolean)

参数

condition
Boolean

要测试的条件表达式。

属性
ConditionalAttribute

注解

  • 此方法调用必须位于方法或属性的开头，然后才能执行任何其他代码。

  • 此协定向客户端公开;因此，它只能引用至少与封闭方法一样可见的成员。

  • 当向后兼容性不强制引发特定异常时，请使用此方法而不是 Contract.Requires<TException>(Boolean) 方法。

适用于

Requires(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

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

public:
 static void Requires(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires(bool condition, string userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires(bool condition, string? userMessage);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool * string -> unit
Public Shared Sub Requires (condition As Boolean, userMessage As String)

参数

condition
Boolean

要测试的条件表达式。

userMessage
String

条件为 false时要显示的消息。

属性
ConditionalAttribute

注解

  • 此方法调用必须位于方法或属性的开头，然后才能执行任何其他代码。

  • 此协定向客户端公开;因此，它只能引用至少与封闭方法一样可见的成员。

  • 当向后兼容性不强制引发特定异常时，请使用此方法而不是 Contract.Requires<TException>(Boolean, String) 方法。

适用于

Requires<TException>(Boolean)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

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

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition);
public static void Requires<TException>(bool condition) where TException : Exception;
static member Requires : bool -> unit (requires 'Exception :> Exception)
Public Shared Sub Requires(Of TException As Exception) (condition As Boolean)

类型参数

TException

如果条件为 false.，则引发的异常。

参数

condition
Boolean

要测试的条件表达式。

注解

Important

必须启用运行时检查才能使用 Requires 该方法。 如果运行时检查已关闭，进程将终止。 若要获取运行时检查的工具，请参阅Visual Studio市场中Code Contracts。

  • 此方法调用必须位于方法或属性的开头，然后才能执行任何其他代码。

  • 此协定向客户端公开;因此，它只能引用至少与封闭方法一样可见的成员。

  • 如果前置条件失败，请使用此方法，而不是 Contract.Requires(Boolean) 引发异常的方法。

适用于

Requires<TException>(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

指定封闭方法或属性的前置条件协定，并在协定条件失败时引发具有提供消息的异常。

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition, System::String ^ userMessage);
public static void Requires<TException>(bool condition, string userMessage) where TException : Exception;
public static void Requires<TException>(bool condition, string? userMessage) where TException : Exception;
static member Requires : bool * string -> unit (requires 'Exception :> Exception)
Public Shared Sub Requires(Of TException As Exception) (condition As Boolean, userMessage As String)

类型参数

TException

如果条件为 false.，则引发的异常。

参数

condition
Boolean

要测试的条件表达式。

userMessage
String

条件为 false时要显示的消息。

注解

  • Important

    必须启用运行时检查才能使用 Requires 该方法。 如果运行时检查已关闭，进程将终止。 若要获取运行时检查的工具，请参阅Visual Studio市场中Code Contracts。

    此方法调用必须位于方法或属性的开头，然后才能执行任何其他代码。

  • 此协定向客户端公开;因此，它只能引用至少与封闭方法一样可见的成员。

  • 如果前置条件失败，请使用此方法，而不是 Contract.Requires(Boolean, String) 引发异常的方法。

适用于