Contract.Result<T> Metodo

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

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 usare il Result metodo per specificare un valore restituito previsto. Questo esempio di codice fa parte di un esempio più grande 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.