Contract.Requires Metodo

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

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

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

ConditionalAttribute

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.

Requires(Boolean, String)

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

ConditionalAttribute

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.

Requires<TException>(Boolean)

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.

Requires<TException>(Boolean, String)

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;

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.