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


Contract.EnsuresOnThrow Метод

Определение

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

Перегрузки

EnsuresOnThrow<TException>(Boolean)

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

EnsuresOnThrow<TException>(Boolean, String)

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

EnsuresOnThrow<TException>(Boolean)

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

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

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition) where TException : Exception;
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)
Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean)

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

TException

Тип исключения, вызвавшего проверку постусловия.

Параметры

condition
Boolean

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

Атрибуты

Комментарии

Параметр condition указывает постусловие, которое должно быть true , когда включающий метод или свойство завершается аномально и возникает исключение типа TException .

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

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

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

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

EnsuresOnThrow<TException>(Boolean, String)

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

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

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string userMessage) where TException : Exception;
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string? userMessage) where TException : Exception;
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool * string -> unit (requires 'Exception :> Exception)
Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean, userMessage As String)

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

TException

Тип исключения, вызвавшего проверку постусловия.

Параметры

condition
Boolean

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

userMessage
String

Отображаемое сообщение при выражении false.

Атрибуты

Комментарии

Параметр condition указывает постусловие, которое должно быть true , когда включающий метод или свойство завершается аномально и возникает исключение типа TException . Параметр message указывает сообщение, отображаемое, если условие имеет значение false.

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

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

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

  • Если userMessage не является константным строковым литералом, контракт может быть не понят средствами.

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