Contract.Result<T> Metodo

Definizione

Rappresenta il valore restituito di un metodo o di una proprietà.

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

Parametri di tipo

T

Tipo di valore restituito del metodo o della proprietà contenitore.

Restituisce

T

Valore restituito del metodo o della proprietà contenitore.

Esempio

Nell'esempio seguente viene illustrato come utilizzare il Result metodo per specificare un valore restituito previsto. Questo esempio di codice fa parte di un esempio più ampio fornito per 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

Commenti

Questo metodo può essere usato solo nell'espressione condizionale per il Ensures contratto.

Si applica a