Contract.Requires 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 precondizione per un metodo o una proprietà contenitore.
Overload
| Requires(Boolean) |
Specifica un contratto di precondizione per il metodo o la proprietà contenitore. |
| Requires(Boolean, String) |
Specifica un contratto di precondizione per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo. |
| Requires<TException>(Boolean) |
Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione se la condizione per il contratto ha esito negativo. |
| Requires<TException>(Boolean, String) |
Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione con il messaggio fornito se la condizione per il contratto ha esito negativo. |
Requires(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Specifica un contratto di precondizione per il metodo o la proprietà contenitore.
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 -> unitPublic Shared Sub Requires (condition As Boolean)Parametri
- condition
- Boolean
Espressione condizionale da sottoporre a test.
- Attributi
Commenti
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.
Utilizzare questo metodo anziché il metodo quando la Contract.Requires<TException>(Boolean) compatibilità con le versioni precedenti non forza l'utente a generare una particolare eccezione.
Si applica a
Requires(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Specifica un contratto di precondizione per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo.
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 -> unitPublic Shared Sub Requires (condition As Boolean, userMessage As String)Parametri
- condition
- Boolean
Espressione condizionale da sottoporre a test.
- userMessage
- String
Messaggio da visualizzare se la condizione è false.
- Attributi
Commenti
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.
Utilizzare questo metodo anziché il metodo quando la Contract.Requires<TException>(Boolean, String) compatibilità con le versioni precedenti non forza l'utente a generare una particolare eccezione.
Si applica a
Requires<TException>(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione se la condizione per il contratto ha esito negativo.
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)Parametri di tipo
- TException
Eccezione da generare se la condizione è false.
Parametri
- condition
- Boolean
Espressione condizionale da sottoporre a test.
Commenti
Importante
È necessario attivare il controllo di runtime per usare il Requires metodo . Se il controllo in fase di esecuzione è disattivato, il processo verrà terminato. Per ottenere gli strumenti per il controllo di runtime, vedere Contratti di codice in Visual Studio Marketplace.
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.
Utilizzare questo metodo anziché il Contract.Requires(Boolean) metodo quando si desidera generare un'eccezione se la precondizione non riesce.
Si applica a
Requires<TException>(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione con il messaggio fornito se la condizione per il contratto ha esito negativo.
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)Parametri di tipo
- TException
Eccezione da generare se la condizione è false.
Parametri
- condition
- Boolean
Espressione condizionale da sottoporre a test.
- userMessage
- String
Messaggio da visualizzare se la condizione è false.
Commenti
-
Importante
È necessario attivare il controllo di runtime per usare il Requires metodo . Se il controllo in fase di esecuzione è disattivato, il processo verrà terminato. Per ottenere gli strumenti per il controllo di runtime, vedere Contratti di codice in Visual Studio Marketplace.
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.
Utilizzare questo metodo anziché il Contract.Requires(Boolean, String) metodo quando si desidera generare un'eccezione se la precondizione non riesce.
