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.

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition);

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

.NET 9 e altre versioni
Prodotto Versioni
.NET Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9
.NET Framework 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard 2.0, 2.1
UWP 10.0

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.

[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);

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

.NET 9 e altre versioni
Prodotto Versioni
.NET Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9
.NET Framework 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard 2.0, 2.1
UWP 10.0

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 static void Requires<TException> (bool condition) where TException : Exception;

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

.NET 9 e altre versioni
Prodotto Versioni
.NET Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9
.NET Framework 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard 2.0, 2.1
UWP 10.0

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 static void Requires<TException> (bool condition, string userMessage) where TException : Exception;
public static void Requires<TException> (bool condition, string? userMessage) where TException : Exception;

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

.NET 9 e altre versioni
Prodotto Versioni
.NET Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9
.NET Framework 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard 2.0, 2.1
UWP 10.0