Condividi tramite


Contract.Requires Metodo

Definizione

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 -> unit
Public 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 -> unit
Public 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.

Si applica a