Contract.Requires Metoda

Definicja

Przestrzeń nazw:

System.Diagnostics.Contracts

Zestaw:

System.Diagnostics.Contracts.dll

Określa warunek wstępny dla otaczającej metody lub właściwości.

Przeciążenia

Requires(Boolean)	Określa warunek wstępny dla otaczającej metody lub właściwości.
Requires(Boolean, String)	Określa warunek wstępny dla otaczającej metody lub właściwości i wyświetla komunikat, jeśli warunek kontraktu nie powiedzie się.
Requires<TException>(Boolean)	Określa warunek wstępny dla otaczającej metody lub właściwości i zgłasza wyjątek, jeśli warunek kontraktu nie powiedzie się.
Requires<TException>(Boolean, String)	Określa warunek wstępny dla otaczającej metody lub właściwości i zgłasza wyjątek z podanym komunikatem, jeśli warunek kontraktu nie powiedzie się.

Requires(Boolean)

Źródło:

Contracts.cs

Określa warunek wstępny dla otaczającej metody lub właściwości.

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

Wyrażenie warunkowe do przetestowania.

Atrybuty

ConditionalAttribute

Uwagi

• To wywołanie metody musi znajdować się na początku metody lub właściwości przed jakimkolwiek innym kodem.

• Ten kontrakt jest udostępniany klientom; w związku z tym musi odwoływać się tylko do elementów członkowskich, które są co najmniej tak widoczne jak metoda otaczania.

• Użyj tej metody zamiast Contract.Requires<TException>(Boolean) metody, gdy zgodność z poprzednimi wersjami nie wymusza zgłoszenia określonego wyjątku.

Requires(Boolean, String)

Źródło:

Contracts.cs

Określa warunek wstępny dla otaczającej metody lub właściwości i wyświetla komunikat, jeśli warunek kontraktu nie powiedzie się.

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

Wyrażenie warunkowe do przetestowania.

userMessage

String

Komunikat do wyświetlenia, jeśli warunek to false.

Atrybuty

ConditionalAttribute

Uwagi

• To wywołanie metody musi znajdować się na początku metody lub właściwości przed jakimkolwiek innym kodem.

• Ten kontrakt jest udostępniany klientom; w związku z tym musi odwoływać się tylko do elementów członkowskich, które są co najmniej tak widoczne jak metoda otaczania.

• Użyj tej metody zamiast Contract.Requires<TException>(Boolean, String) metody, gdy zgodność z poprzednimi wersjami nie wymusza zgłoszenia określonego wyjątku.

Requires<TException>(Boolean)

Źródło:

Contracts.cs

Określa warunek wstępny dla otaczającej metody lub właściwości i zgłasza wyjątek, jeśli warunek kontraktu nie powiedzie się.

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

Wyjątek zgłaszany, jeśli warunek to false.

Parametry

condition

Boolean

Wyrażenie warunkowe do przetestowania.

Uwagi

Ważne

Aby użyć Requires metody , należy włączyć sprawdzanie czasu wykonywania. Jeśli sprawdzanie czasu wykonywania jest wyłączone, proces zostanie zakończony. Aby uzyskać narzędzia do sprawdzania środowiska uruchomieniowego, zobacz Code Contracts w witrynie Visual Studio Marketplace.

• To wywołanie metody musi znajdować się na początku metody lub właściwości przed jakimkolwiek innym kodem.

• Ten kontrakt jest udostępniany klientom; w związku z tym musi odwoływać się tylko do elementów członkowskich, które są co najmniej tak widoczne jak metoda otaczania.

• Użyj tej metody zamiast Contract.Requires(Boolean) metody , jeśli chcesz zgłosić wyjątek, jeśli warunek wstępny zakończy się niepowodzeniem.

Requires<TException>(Boolean, String)

Źródło:

Contracts.cs

Określa warunek wstępny dla otaczającej metody lub właściwości i zgłasza wyjątek z podanym komunikatem, jeśli warunek kontraktu nie powiedzie się.

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

Wyjątek zgłaszany, jeśli warunek to false.

Parametry

condition

Boolean

Wyrażenie warunkowe do przetestowania.

userMessage

String

Komunikat do wyświetlenia, jeśli warunek to false.

Uwagi

• Ważne

  Aby użyć Requires metody , należy włączyć sprawdzanie czasu wykonywania. Jeśli sprawdzanie czasu wykonywania jest wyłączone, proces zostanie zakończony. Aby uzyskać narzędzia do sprawdzania środowiska uruchomieniowego, zobacz Code Contracts w witrynie Visual Studio Marketplace.

  To wywołanie metody musi znajdować się na początku metody lub właściwości przed jakimkolwiek innym kodem.

• Ten kontrakt jest udostępniany klientom; w związku z tym musi odwoływać się tylko do elementów członkowskich, które są co najmniej tak widoczne jak metoda otaczania.

• Użyj tej metody zamiast Contract.Requires(Boolean, String) metody , jeśli chcesz zgłosić wyjątek, jeśli warunek wstępny zakończy się niepowodzeniem.