Contract.Result<T> Método

Definición

Espacio de nombres:
System.Diagnostics.Contracts
Ensamblados:
mscorlib.dll, System.Diagnostics.Contracts.dll
Ensamblado:
mscorlib.dll
Ensamblado:
netstandard.dll

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 de valor devuelto del método o propiedad envolventes.

Devoluciones

T

Valor devuelto del método o propiedad envolventes.

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 forma parte de un ejemplo más grande proporcionado para la ContractClassAttribute clase .

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 del Ensures contrato.

Se aplica a