Contract.Requires Metoda

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

System.Diagnostics.Contracts.dll

Určuje předběžný kontrakt pro nadřazenou metodu nebo vlastnost.

Přetížení

Requires(Boolean)	Určuje kontrakt předběžné podmínky pro uzavírací metodu nebo vlastnost.
Requires(Boolean, String)	Určuje smlouvu předběžné podmínky pro nadřazenou metodu nebo vlastnost a zobrazí zprávu, pokud podmínka kontraktu selže.
Requires<TException>(Boolean)	Určuje předběžný kontrakt pro uzavírací metodu nebo vlastnost a vyvolá výjimku, pokud podmínka pro kontrakt selže.
Requires<TException>(Boolean, String)	Určuje předběžný kontrakt pro nadřazenou metodu nebo vlastnost a vyvolá výjimku se zadanou zprávou, pokud podmínka pro kontrakt selže.

Requires(Boolean)

Zdroj:

Contracts.cs

Určuje kontrakt předběžné podmínky pro uzavírací metodu nebo vlastnost.

public:
 static void Requires(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool -> unit

Public Shared Sub Requires (condition As Boolean)

Parametry

condition

Boolean

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

Atributy

ConditionalAttribute

Poznámky

• 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.

• Tuto metodu Contract.Requires<TException>(Boolean) použijte místo metody, pokud zpětná kompatibilita nenutí vyvolání konkrétní výjimky.

Requires(Boolean, String)

Zdroj:

Contracts.cs

Určuje smlouvu předběžné podmínky pro nadřazenou metodu nebo vlastnost a zobrazí zprávu, pokud podmínka kontraktu selže.

public:
 static void Requires(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool * string -> unit

Public Shared Sub Requires (condition As Boolean, userMessage As String)

Parametry

condition

Boolean

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

userMessage

String

Zpráva, která se má zobrazit, pokud je falsepodmínka .

Atributy

ConditionalAttribute

Poznámky

• 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.

• Tuto metodu Contract.Requires<TException>(Boolean, String) použijte místo metody, pokud zpětná kompatibilita nenutí vyvolání konkrétní výjimky.

Requires<TException>(Boolean)

Zdroj:

Contracts.cs

Určuje předběžný kontrakt pro uzavírací metodu nebo vlastnost a vyvolá výjimku, pokud podmínka pro kontrakt selže.

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition);

public static void Requires<TException> (bool condition) where TException : Exception;

static member Requires : bool -> unit (requires 'Exception :> Exception)

Public Shared Sub Requires(Of TException As Exception) (condition As Boolean)

Parametry typu

TException

Výjimka, která se vyvolá, pokud je falsepodmínka .

Parametry

condition

Boolean

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

Poznámky

Důležité

Pokud chcete použít metodu Requires , musíte zapnout kontrolu za běhu. Pokud je kontrola za běhu vypnutá, proces se ukončí. Pokud chcete získat nástroje pro kontrolu za běhu, přečtěte si téma Kontrakty kódu na Visual Studio Marketplace.

• 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.

• Tuto metodu Contract.Requires(Boolean) použijte místo metody , pokud chcete vyvolat výjimku, pokud se předběžná podmínka nezdaří.

Requires<TException>(Boolean, String)

Zdroj:

Contracts.cs

Určuje předběžný kontrakt pro nadřazenou metodu nebo vlastnost a vyvolá výjimku se zadanou zprávou, pokud podmínka pro kontrakt selže.

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition, System::String ^ userMessage);

public static void Requires<TException> (bool condition, string? userMessage) where TException : Exception;

static member Requires : bool * string -> unit (requires 'Exception :> Exception)

Public Shared Sub Requires(Of TException As Exception) (condition As Boolean, userMessage As String)

Parametry typu

TException

Výjimka, která se vyvolá, pokud je falsepodmínka .

Parametry

condition

Boolean

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

userMessage

String

Zpráva, která se má zobrazit, pokud je falsepodmínka .

Poznámky

• Důležité

  Pokud chcete použít metodu Requires , musíte zapnout kontrolu za běhu. Pokud je kontrola za běhu vypnutá, proces se ukončí. Pokud chcete získat nástroje pro kontrolu za běhu, přečtěte si téma Kontrakty kódu na Visual Studio Marketplace.

  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.

• Tuto metodu Contract.Requires(Boolean, String) použijte místo metody , pokud chcete vyvolat výjimku, pokud se předběžná podmínka nezdaří.