Contract.Requires Метод

Определение

Пространство имен:

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

Указывает контракт предусловия для включающего метода или свойства.

Перегрузки

Requires(Boolean)	Указывает контракт предусловия для включающего метода или свойства.
Requires(Boolean, String)	Указывает контракт предусловия для включающего метода или свойства и отображает сообщение, если условие для контракта не выполняется.
Requires<TException>(Boolean)	Указывает контракт предусловия для включающего метода или свойства и выдает исключение, если условие для контракта не выполняется.
Requires<TException>(Boolean, String)	Задает контракт предусловия для включающего метода или свойства и создает исключение с предоставленным сообщением, если условие для контракта не выполняется.

Requires(Boolean)

Исходный код:

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

Указывает контракт предусловия для включающего метода или свойства и отображает сообщение, если условие для контракта не выполняется.

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")>]
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

Указывает контракт предусловия для включающего метода или свойства и выдает исключение, если условие для контракта не выполняется.

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

Задает контракт предусловия для включающего метода или свойства и создает исключение с предоставленным сообщением, если условие для контракта не выполняется.

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;

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.

Комментарии

• Важно!

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

  Этот вызов метода должен находиться в начале метода или свойства перед любым другим кодом.

• Этот контракт предоставляется клиентам; поэтому он должен ссылаться только на члены, которые по крайней мере так же видимы, как и включающий метод.

• Используйте этот метод вместо метода , Contract.Requires(Boolean, String) если требуется создать исключение в случае сбоя предусловия.