Contract.EnsuresOnThrow Metodo

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

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

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

ConditionalAttribute

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.

EnsuresOnThrow<TException>(Boolean, String)

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")>]
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

ConditionalAttribute

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.