Compartir a través de


Contract.Result<T> Método

Definición

Representa el valor devuelto de un método o propiedad.

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

Parámetros de tipo

T

Tipo del valor devuelto del método o propiedad envolvente.

Devoluciones

T

Valor devuelto del método o propiedad envolvente.

Ejemplos

En el ejemplo siguiente se muestra cómo usar el Result método para especificar un valor devuelto esperado. Este ejemplo de código es parte de un ejemplo más grande proporcionado para la clase ContractClassAttribute.

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

Comentarios

Este método solo se puede usar en la expresión condicional para el Ensures contrato.

Se aplica a