Condividi tramite


Contract.EnsuresOnThrow Metodo

Definizione

Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.

Overload

EnsuresOnThrow<TException>(Boolean)

Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.

EnsuresOnThrow<TException>(Boolean, String)

Specifica un contratto di postcondizione e un messaggio da visualizzare se la condizione è false per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.

EnsuresOnThrow<TException>(Boolean)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.

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)

Parametri di tipo

TException

Tipo di eccezione che richiama il controllo di postcondizione.

Parametri

condition
Boolean

Espressione condizionale da sottoporre a test.

Attributi

Commenti

Il condition parametro specifica una postcondizione prevista true quando il metodo di inclusione o la proprietà termina in modo anomalo e viene generata un'eccezione di tipo TException .

  • Questa chiamata al metodo deve essere all'inizio di un metodo o di una proprietà, prima di qualsiasi altro codice.

  • Questo contratto viene esposto ai client; pertanto, deve fare riferimento solo ai membri che sono almeno visibili come il metodo di inclusione.

  • È necessario usare il rewriter binario per l'imposizione in fase di esecuzione di questa postcondizione.

Si applica a

EnsuresOnThrow<TException>(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

Specifica un contratto di postcondizione e un messaggio da visualizzare se la condizione è false per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.

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)

Parametri di tipo

TException

Tipo di eccezione che richiama il controllo di postcondizione.

Parametri

condition
Boolean

Espressione condizionale da sottoporre a test.

userMessage
String

Messaggio da visualizzare se l'espressione è false.

Attributi

Commenti

Il condition parametro specifica una postcondizione prevista true quando il metodo di inclusione o la proprietà termina in modo anomalo e viene generata un'eccezione di tipo TException . Il message parametro specifica un messaggio da visualizzare se la condizione è false.

  • Questa chiamata al metodo deve essere all'inizio di un metodo o di una proprietà, prima di qualsiasi altro codice.

  • Questo contratto viene esposto ai client; pertanto, deve fare riferimento solo ai membri che sono almeno visibili come il metodo di inclusione.

  • È necessario usare il rewriter binario per l'imposizione in fase di esecuzione di questa postcondizione.

  • Se userMessage non è un valore letterale stringa costante, il contratto potrebbe non essere compreso dagli strumenti.

Si applica a