Contract.Result<T> Méthode

Définition

Espace de noms:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

Représente la valeur de retour d'une méthode ou propriété.

public:
generic <typename T>
 static T Result();

public static T Result<T> ();

static member Result : unit -> 'T

Public Shared Function Result(Of T) () As T

Paramètres de type

T

Type de valeur de retour de la méthode englobante ou propriété.

Retours

T

Valeur de retour de la méthode englobante ou propriété.

Exemples

L’exemple suivant montre comment utiliser la Result méthode pour spécifier une valeur de retour attendue. 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

Cette méthode ne peut être utilisée que dans l’expression conditionnelle du Ensures contrat.