Contract.Requires Metoda

Definice

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
Zdroj:
Contracts.cs
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

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.

Platí pro

Requires(Boolean, String)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
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")]
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

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.

Platí pro

Requires<TException>(Boolean)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
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ří.

Platí pro

Requires<TException>(Boolean, String)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
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;
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ří.

Platí pro