Contract.Result<T> Método
Definición
Importante
Parte de la información hace referencia a la versión preliminar del producto, que puede haberse modificado sustancialmente antes de lanzar la versión definitiva. Microsoft no otorga ninguna garantía, explícita o implícita, con respecto a la información proporcionada aquí.
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 -> 'TPublic Shared Function Result(Of T) () As TParámetros de tipo
- T
Tipo del valor devuelto del método o propiedad envolvente.
Devoluciones
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.
