Contract.EnsuresOnThrow Метод

Определение

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

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

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

Перегрузки

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

EnsuresOnThrow<TException>(Boolean)

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

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

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

Атрибуты

ConditionalAttribute

Комментарии

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

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

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

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

EnsuresOnThrow<TException>(Boolean, String)

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

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

Атрибуты

ConditionalAttribute

Комментарии

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

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

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

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

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