Contract.Ensures Méthode

Définition

Espace de noms:
System.Diagnostics.Contracts
Assemblys:
mscorlib.dll, System.Diagnostics.Contracts.dll
Assembly:
mscorlib.dll
Assembly:
netstandard.dll

Spécifie un contrat postcondition pour la méthode ou la propriété englobante.

Surcharges

Nom Description
Ensures(Boolean)

Spécifie un contrat postcondition pour la méthode ou la propriété englobante.
Ensures(Boolean, String)

Spécifie un contrat postcondition pour une condition de sortie fournie et un message à afficher si la condition est false.

Ensures(Boolean)

Spécifie un contrat postcondition pour la méthode ou la propriété englobante.

public:
 static void Ensures(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Ensures(bool condition);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Ensures : bool -> unit
Public Shared Sub Ensures (condition As Boolean)

Paramètres

condition
Boolean

Expression conditionnelle à tester. L’expression peut inclure OldValue<T>(T), ValueAtReturn<T>(T)et Result<T>() les valeurs.

Attributs
ConditionalAttribute

Exemples

L’exemple suivant montre comment utiliser la Ensures méthode pour vous assurer qu’une valeur attendue est retournée. Cet exemple de code fait partie d’un exemple plus grand fourni pour la ContractClassAttribute classe.

int IArray.Add(Object value)
{
    // Returns the index in which an item was inserted.
    Contract.Ensures(Contract.Result<int>() >= -1);
    Contract.Ensures(Contract.Result<int>() < ((IArray)this).Count);
    return default(int);
}

Function Add(ByVal value As Object) As Integer Implements IArray.Add
    ' Returns the index in which an item was inserted.
    Contract.Ensures(Contract.Result(Of Integer)() >= -1) '
    Contract.Ensures(Contract.Result(Of Integer)() < CType(Me, IArray).Count) '
    Return 0
    
End Function 'IArray.Add

Remarques

Le condition paramètre spécifie une postcondition qui est censée être true lorsque la méthode ou la propriété englobante retourne normalement.

  • Cet appel de méthode doit être au début d’une méthode ou d’une propriété, avant tout autre code.

  • Vous devez utiliser le réécriture binaire (disponible à Code Contracts sur la Place de marché Visual Studio) pour l’exécution de cette postcondition.

S’applique à

Ensures(Boolean, String)

Spécifie un contrat postcondition pour une condition de sortie fournie et un message à afficher si la condition est false.

public:
 static void Ensures(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Ensures(bool condition, string userMessage);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Ensures : bool * string -> unit
Public Shared Sub Ensures (condition As Boolean, userMessage As String)

Paramètres

condition
Boolean

Expression conditionnelle à tester. L’expression peut inclure et Result<T>() valeursOldValue<T>(T).

userMessage
String

Message à afficher si l’expression n’est pas true.

Attributs
ConditionalAttribute

Remarques

Le condition paramètre spécifie une postcondition qui est censée être true lorsque la méthode ou la propriété englobante retourne normalement.

  • Cet appel de méthode doit être au début d’une méthode ou d’une propriété, avant tout autre code.

  • Ce contrat est exposé aux clients ; par conséquent, il ne doit référencer que les membres qui sont au moins aussi visibles que la méthode englobante.

  • Vous devez utiliser le réécriture binaire (disponible à Code Contracts sur la Place de marché Visual Studio) pour l’exécution de cette postcondition.

  • S’il userMessage ne s’agit pas d’un littéral de chaîne constante, le contrat peut ne pas être compris par les outils.

S’applique à