Поделиться через


Contract.Requires Метод

Определение

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

Перегрузки

Requires(Boolean)

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

Requires(Boolean, String)

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

Requires<TException>(Boolean)

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

Requires<TException>(Boolean, String)

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

Requires(Boolean)

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

Условное выражение, которое требуется подвергнуть проверке.

Атрибуты

Комментарии

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

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

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

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

Requires(Boolean, String)

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

Атрибуты

Комментарии

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

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

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

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

Requires<TException>(Boolean)

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

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

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

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

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

Requires<TException>(Boolean, String)

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

Комментарии

  • Важно!

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

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

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

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

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