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)

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: 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)

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: 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)

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: 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

Условное выражение для тестирования.

Чтобы использовать Requires метод, необходимо включить проверку во время выполнения. Если проверка во время выполнения отключена, процесс будет завершен. Сведения о получении средств для проверки среды выполнения см. в разделе Code Contracts в Visual Studio Marketplace.

Этот вызов метода должен находиться в начале метода или свойства перед любым другим кодом.
Этот контракт предоставляется клиентам; Таким образом, он должен ссылаться только на элементы, которые по крайней мере как видимые, как метод заключения.
Используйте этот метод вместо Contract.Requires(Boolean) метода, если требуется вызвать исключение, если предварительный условий завершается сбоем.

Применяется к

Requires<TException>(Boolean, String)

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: 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 метод, необходимо включить проверку во время выполнения. Если проверка во время выполнения отключена, процесс будет завершен. Сведения о получении средств для проверки среды выполнения см. в разделе Code Contracts в Visual Studio Marketplace.

Этот вызов метода должен находиться в начале метода или свойства перед любым другим кодом.
Этот контракт предоставляется клиентам; Таким образом, он должен ссылаться только на элементы, которые по крайней мере как видимые, как метод заключения.
Используйте этот метод вместо Contract.Requires(Boolean, String) метода, если требуется вызвать исключение, если предварительный условий завершается сбоем.

Применяется к

Обратная связь

Были ли сведения на этой странице полезными?

Contract.Requires Метод

Определение

Перегрузки

Requires(Boolean)

Параметры

Комментарии

Применяется к

Requires(Boolean, String)

Параметры

Комментарии

Применяется к

Requires<TException>(Boolean)

Параметры типа

Параметры

Комментарии

Применяется к

Requires<TException>(Boolean, String)

Параметры типа

Параметры

Комментарии

Применяется к