Sdílet prostřednictvím


Contract.EnsuresOnThrow Metoda

Definice

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

Přetížení

EnsuresOnThrow<TException>(Boolean)

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

EnsuresOnThrow<TException>(Boolean, String)

Určuje kontrakt po podmínce a zprávu, která se má zobrazit, pokud je false podmínka určena pro ohraničující metodu nebo vlastnost na základě poskytnuté výjimky a podmínky.

EnsuresOnThrow<TException>(Boolean)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
Zdroj:
Contracts.cs

Určuje smlouvu 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 popodmínce.

Parametry

condition
Boolean

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

Atributy

Poznámky

Parametr condition určuje postpodmínku, která se očekává při true neobvyklém ukončení nadřazené metody nebo vlastnosti a vyvolání výjimky typu TException .

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

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

  • Pro vynucování této podmínky za běhu musíte použít binární přepis.

Platí pro

EnsuresOnThrow<TException>(Boolean, String)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
Zdroj:
Contracts.cs

Určuje kontrakt po podmínce a zprávu, která se má zobrazit, pokud je false podmínka určena 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::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)

Parametry typu

TException

Typ výjimky, která vyvolá kontrolu popodmínce.

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

Poznámky

Parametr condition určuje postpodmínku, která se očekává při true neobvyklém ukončení nadřazené metody nebo vlastnosti a vyvolání výjimky 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.

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

  • Pro vynucování této podmínky za běhu musíte použít binární přepis.

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

Platí pro