Udostępnij za pośrednictwem


Contract.EnsuresOnThrow Metoda

Definicja

Określa kontrakt postcondition dla otaczającej metody lub właściwości na podstawie podanego wyjątku i warunku.

Przeciążenia

EnsuresOnThrow<TException>(Boolean)

Określa kontrakt postcondition dla otaczającej metody lub właściwości na podstawie podanego wyjątku i warunku.

EnsuresOnThrow<TException>(Boolean, String)

Określa kontrakt postcondition i komunikat do wyświetlenia, jeśli warunek jest false dla otaczającej metody lub właściwości, na podstawie podanego wyjątku i warunku.

EnsuresOnThrow<TException>(Boolean)

Źródło:
Contracts.cs
Źródło:
Contracts.cs
Źródło:
Contracts.cs

Określa kontrakt postcondition dla otaczającej metody lub właściwości na podstawie podanego wyjątku i warunku.

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition) where TException : Exception;
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)
Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean)

Parametry typu

TException

Typ wyjątku, który wywołuje sprawdzanie pokondycji.

Parametry

condition
Boolean

Wyrażenie warunkowe do przetestowania.

Atrybuty

Uwagi

Parametr condition określa postcondition, który ma być true , gdy otaczającej metody lub właściwości kończy się nietypowo i zgłaszany jest wyjątek typu TException .

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

  • Musisz użyć binarnego ponownego tworzenia do wymuszania tego postcondition w czasie wykonywania.

Dotyczy

EnsuresOnThrow<TException>(Boolean, String)

Źródło:
Contracts.cs
Źródło:
Contracts.cs
Źródło:
Contracts.cs

Określa kontrakt postcondition i komunikat do wyświetlenia, jeśli warunek jest false dla otaczającej metody lub właściwości, na podstawie podanego wyjątku i warunku.

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string userMessage) where TException : Exception;
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string? userMessage) where TException : Exception;
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool * string -> unit (requires 'Exception :> Exception)
Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean, userMessage As String)

Parametry typu

TException

Typ wyjątku, który wywołuje sprawdzanie pokondycji.

Parametry

condition
Boolean

Wyrażenie warunkowe do przetestowania.

userMessage
String

Komunikat wyświetlany, jeśli wyrażenie ma wartość false.

Atrybuty

Uwagi

Parametr condition określa postcondition, który ma być true , gdy otaczającej metody lub właściwości kończy się nietypowo i zgłaszany jest wyjątek typu TException . Parametr message określa komunikat do wyświetlenia, jeśli warunek to false.

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

  • Musisz użyć binarnego ponownego tworzenia do wymuszania tego postcondition w czasie wykonywania.

  • Jeśli userMessage nie jest literałem ciągu stałego, kontrakt może nie być zrozumiały dla narzędzi.

Dotyczy