Contract.Result Contract.Result Contract.Result Contract.Result Method

Definição

Representa o valor retornado de um método ou uma propriedade.Represents the return value of a method or property.

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 retornado do método ou da propriedade delimitadora.Type of return value of the enclosing method or property.

Retornos

T T T T

Valor retornado do método ou da propriedade delimitadora.Return value of the enclosing method or property.

Exemplos

O exemplo a seguir mostra como usar o Result método para especificar um valor de retorno esperado.The following example shows how to use the Result method to specify an expected return value. Este exemplo de código faz parte de um exemplo maior fornecido para ContractClassAttribute a classe.This code example is part of a larger example provided for the ContractClassAttribute class.

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

Comentários

Esse método pode ser usado somente na expressão condicional para o Ensures contrato.This method can be used only in the conditional expression for the Ensures contract.

Aplica-se a