Contract.Result<T> Metodo
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Rappresenta il valore restituito di un metodo o di una proprietà.
public:
generic <typename T>
static T Result();public static T Result<T> ();static member Result : unit -> 'TPublic Shared Function Result(Of T) () As TParametri di tipo
- T
Tipo di valore restituito del metodo o della proprietà contenitore.
Restituisce
Valore restituito del metodo o della proprietà contenitore.
Esempio
Nell'esempio seguente viene illustrato come utilizzare il Result metodo per specificare un valore restituito previsto. Questo esempio di codice fa parte di un esempio più ampio fornito per la 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
Commenti
Questo metodo può essere usato solo nell'espressione condizionale per il Ensures contratto.
