Contract.Result<T> Methode
Definitie
Belangrijk
Bepaalde informatie heeft betrekking op een voorlopige productversie die aanzienlijk kan worden gewijzigd voordat deze wordt uitgebracht. Microsoft biedt geen enkele expliciete of impliciete garanties met betrekking tot de informatie die hier wordt verstrekt.
Vertegenwoordigt de retourwaarde van een methode of eigenschap.
public:
generic <typename T>
static T Result();public static T Result<T>();static member Result : unit -> 'TPublic Shared Function Result(Of T) () As TType parameters
- T
Type retourwaarde van de insluitmethode of eigenschap.
Retouren
Retourwaarde van de insluitmethode of eigenschap.
Voorbeelden
In het volgende voorbeeld ziet u hoe u de Result methode gebruikt om een verwachte retourwaarde op te geven. Dit codevoorbeeld maakt deel uit van een groter voorbeeld voor de ContractClassAttribute klasse.
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
Opmerkingen
Deze methode kan alleen worden gebruikt in de voorwaardelijke expressie voor het Ensures contract.