Udostępnij za pośrednictwem


Contract.Requires Metoda

Definicja

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
Źródło:
Contracts.cs
Ź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

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.

Dotyczy

Requires(Boolean, String)

Źródło:
Contracts.cs
Źródło:
Contracts.cs
Ź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")]
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

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.

Dotyczy

Requires<TException>(Boolean)

Źródło:
Contracts.cs
Źródło:
Contracts.cs
Ź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.

Dotyczy

Requires<TException>(Boolean, String)

Źródło:
Contracts.cs
Źródło:
Contracts.cs
Ź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;
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.

Dotyczy