Contract.OldValue<T>(T) Metódus

Definíció

Névtér:

System.Diagnostics.Contracts

Szerelvények:

netstandard.dll, System.Diagnostics.Contracts.dll

Forrás:

Contracts.cs

Olyan értékeket jelöl, mint egy metódus vagy tulajdonság elején.

public:
generic <typename T>
 static T OldValue(T value);

public static T OldValue<T>(T value);

static member OldValue : 'T -> 'T

Public Shared Function OldValue(Of T) (value As T) As T

Típusparaméterek

T

Az érték típusa.

Paraméterek

value

T

A képviselni kívánt érték (mező vagy paraméter).

Válaszok

T

A paraméter vagy mező értéke egy metódus vagy tulajdonság elején.

Példák

Az alábbi példa a metódus használatát mutatja be a OldValue darabszám frissítésének biztosítására. Ez a példakód egy nagyobb, az ContractClassAttribute osztályhoz tartozó példa része.

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

Megjegyzések

Ez a módszer csak a szerződés feltételes kifejezésében Ensures használható.