Contract.Result<T> Método
Definição
Importante
Algumas informações dizem respeito a um produto pré-lançado que pode ser substancialmente modificado antes de ser lançado. A Microsoft não faz garantias, de forma expressa ou implícita, em relação à informação aqui apresentada.
Representa o valor de retorno de um método ou propriedade.
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 Genérico
- T
Tipo de valor de retorno do método ou propriedade de encerramento.
Devoluções
T
Valor de retorno do método de encerramento ou propriedade.
Exemplos
O exemplo seguinte mostra como usar o Result método para especificar um valor de retorno esperado. Este exemplo de código faz parte de um exemplo maior fornecido para a 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
Observações
Este método só pode ser usado na expressão condicional do Ensures contrato.
