Contract.OldValue<T>(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 waarden zoals ze aan het begin van een methode of eigenschap waren.
public:
generic <typename T>
static T OldValue(T value);public static T OldValue<T>(T value);static member OldValue : 'T -> 'TPublic Shared Function OldValue(Of T) (value As T) As TType parameters
- T
Het type waarde.
Parameters
- value
- T
De waarde die moet worden vertegenwoordigd (veld of parameter).
Retouren
De waarde van de parameter of het veld aan het begin van een methode of eigenschap.
Voorbeelden
In het volgende voorbeeld ziet u het gebruik van de OldValue methode om ervoor te zorgen dat een telling is bijgewerkt. Dit codevoorbeeld maakt deel uit van een groter voorbeeld voor de ContractClassAttribute klasse.
void IArray.Insert(int index, Object value)
{
Contract.Requires(index >= 0);
Contract.Requires(index <= ((IArray)this).Count); // For inserting immediately after the end.
Contract.Ensures(((IArray)this).Count == Contract.OldValue(((IArray)this).Count) + 1);
}
Sub Insert(ByVal index As Integer, ByVal value As [Object]) Implements IArray.Insert
Contract.Requires(index >= 0)
Contract.Requires(index <= CType(Me, IArray).Count) ' For inserting immediately after the end.
Contract.Ensures(CType(Me, IArray).Count = Contract.OldValue(CType(Me, IArray).Count) + 1)
End Sub
Opmerkingen
Deze methode kan alleen worden gebruikt in de voorwaardelijke expressie voor het Ensures contract.