Contract.EnsuresOnThrow Metoda

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

netstandard.dll, System.Diagnostics.Contracts.dll

Určuje postcondition kontrakt pro ohraničující metodu nebo vlastnost na základě poskytnuté výjimky a podmínky.

Přetížení

Name	Description
EnsuresOnThrow<TException>(Boolean)	Určuje kontrakt postcondition pro ohraničující metodu nebo vlastnost na základě poskytnuté výjimky a podmínky.
EnsuresOnThrow<TException>(Boolean, String)	Určuje postcondition kontrakt a zprávu, která se má zobrazit, pokud je false podmínka pro uzavřenou metodu nebo vlastnost na základě poskytnuté výjimky a podmínky.

EnsuresOnThrow<TException>(Boolean)

Zdroj:

Contracts.cs

Určuje kontrakt postcondition pro ohraničující metodu nebo vlastnost na základě poskytnuté výjimky a podmínky.

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)

Parametry typu

TException

Typ výjimky, která vyvolá kontrolu postcondition.

Parametry

condition

Boolean

Podmíněný výraz, který se má testovat.

Atributy

ConditionalAttribute

Poznámky

Parametr condition určuje postcondition, který je očekáván true , když ohraničující metoda nebo vlastnost skončí neobvykle a je vyvolán výjimka typu TException .

• Toto volání metody musí být na začátku metody nebo vlastnosti před jakýmkoli jiným kódem.

• Tato smlouva je vystavena klientům; proto musí odkazovat pouze na členy, které jsou alespoň tak viditelné jako uzavírací metoda.

• Pro vynucení tohoto postconditionu je nutné použít binární přepisovač.

EnsuresOnThrow<TException>(Boolean, String)

Zdroj:

Contracts.cs

Určuje postcondition kontrakt a zprávu, která se má zobrazit, pokud je false podmínka pro uzavřenou metodu nebo vlastnost na základě poskytnuté výjimky a podmínky.

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)

Parametry typu

TException

Typ výjimky, která vyvolá kontrolu postcondition.

Parametry

condition

Boolean

Podmíněný výraz, který se má testovat.

userMessage

String

Zpráva, která se má zobrazit, pokud je falsevýraz .

Atributy

ConditionalAttribute

Poznámky

Parametr condition určuje postcondition, který je očekáván true , když ohraničující metoda nebo vlastnost skončí neobvykle a je vyvolán výjimka typu TException . Parametr message určuje zprávu, která se má zobrazit, pokud je falsepodmínka .

• Toto volání metody musí být na začátku metody nebo vlastnosti před jakýmkoli jiným kódem.

• Tato smlouva je vystavena klientům; proto musí odkazovat pouze na členy, které jsou alespoň tak viditelné jako uzavírací metoda.

• Pro vynucení tohoto postconditionu je nutné použít binární přepisovač.

• Pokud userMessage není konstantní řetězcový literál, nemusí kontrakt rozumět nástrojům.