Contract.Result<T> Méthode

Référence

Définition

Espace de noms:: System.Diagnostics.Contracts

Assembly:: System.Diagnostics.Contracts.dll

Assembly:: mscorlib.dll

Assembly:: netstandard.dll

Source:: Contracts.cs

Source:: Contracts.cs

Source:: Contracts.cs

Important

Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.

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

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.

S’applique à

Partager via