Contract.Requires Metoda

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

netstandard.dll, System.Diagnostics.Contracts.dll

Určuje předběžnou smlouvu pro ohraničující metodu nebo vlastnost.

Přetížení

Name	Description
Requires(Boolean)	Určuje předběžnou smlouvu pro ohraničující metodu nebo vlastnost.
Requires(Boolean, String)	Určuje předběžnou smlouvu pro ohraničující metodu nebo vlastnost a zobrazí zprávu, pokud podmínka pro smlouvu selže.
Requires<TException>(Boolean)	Určuje předběžnou smlouvu pro ohraničující metodu nebo vlastnost a vyvolá výjimku, pokud podmínka pro kontrakt selže.
Requires<TException>(Boolean, String)	Určuje předběžnou smlouvu pro ohraničující 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 předběžnou smlouvu pro ohraničující 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.

• Tato smlouva je vystavena 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ětnou kompatibilitu nevynutí vyvolání konkrétní výjimky.

Requires(Boolean, String)

Zdroj:

Contracts.cs

Určuje předběžnou smlouvu pro ohraničující metodu nebo vlastnost a zobrazí zprávu, pokud podmínka pro smlouvu 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.

• Tato smlouva je vystavena 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ětnou kompatibilitu nevynutí vyvolání konkrétní výjimky.

Requires<TException>(Boolean)

Zdroj:

Contracts.cs

Určuje předběžnou smlouvu pro ohraničující 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

Important

Chcete-li 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 Code Contracts 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.

• Tato smlouva je vystavena 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 předběžná podmínka selže.

Requires<TException>(Boolean, String)

Zdroj:

Contracts.cs

Určuje předběžnou smlouvu pro ohraničující 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

• Important

  Chcete-li 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 Code Contracts 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.

• Tato smlouva je vystavena 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 předběžná podmínka selže.