Contract.EnsuresOnThrow Metodo
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
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 è |
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
userMessagenon è un valore letterale stringa costante, il contratto potrebbe non essere compreso dagli strumenti.
