Contract.Result<T> Methode
Definition
Wichtig
Einige Informationen beziehen sich auf Vorabversionen, die vor dem Release ggf. grundlegend überarbeitet werden. Microsoft übernimmt hinsichtlich der hier bereitgestellten Informationen keine Gewährleistungen, seien sie ausdrücklich oder konkludent.
Stellt den Rückgabewert einer Methode oder Eigenschaft dar.
public:
generic <typename T>
static T Result();public static T Result<T> ();static member Result : unit -> 'TPublic Shared Function Result(Of T) () As TTypparameter
- T
Der Typ des Rückgabewerts der einschließenden Methode oder Eigenschaft.
Gibt zurück
Der Rückgabewert der einschließenden Methode oder Eigenschaft.
Beispiele
Das folgende Beispiel zeigt, wie Sie die Result -Methode verwenden, um einen erwarteten Rückgabewert anzugeben. Dieses Codebeispiel ist Teil eines größeren Beispiels, das für die ContractClassAttribute-Klasse bereitgestellt wird.
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
Hinweise
Diese Methode kann nur im bedingten Ausdruck für den Ensures Vertrag verwendet werden.
