Contract.EnsuresOnThrow Метод

Определение

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

System.Diagnostics.Contracts

Сборки:

netstandard.dll, System.Diagnostics.Contracts.dll

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

Перегрузки

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

EnsuresOnThrow<TException>(Boolean)

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

Contracts.cs

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

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 указывает postcondition, который, как ожидается, будет происходить true , когда заключенный метод или свойство завершается ненормально и возникает исключение типа TException .

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

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

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

EnsuresOnThrow<TException>(Boolean, String)

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

Contracts.cs

Указывает контракт postcondition и сообщение для отображения, если условие предназначено 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 указывает postcondition, который, как ожидается, будет происходить true , когда заключенный метод или свойство завершается ненормально и возникает исключение типа TException . Параметр message указывает сообщение, отображаемое, если условие .false

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

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

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

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