Contract.OldValue<T>(T) 메서드

정의

네임스페이스:
System.Diagnostics.Contracts
어셈블리:
mscorlib.dll, System.Diagnostics.Contracts.dll
어셈블리:
netstandard.dll, System.Diagnostics.Contracts.dll
어셈블리:
System.Diagnostics.Contracts.dll
어셈블리:
mscorlib.dll
어셈블리:
netstandard.dll
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

메서드 또는 속성의 시작 부분에 있던 값을 나타냅니다.

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

값의 형식입니다.

매개 변수

value
T

나타낼 값(필드 또는 매개 변수)입니다.

반품

T

메서드 또는 속성의 시작 부분에 있는 매개 변수 또는 필드의 값입니다.

예제

다음 예제에서는 메서드를 OldValue 사용하여 개수가 업데이트되었는지 확인합니다. 이 코드 예제는 클래스에 제공된 더 큰 예제의 ContractClassAttribute 일부입니다.

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

설명

이 메서드는 계약의 조건식 Ensures 에서만 사용할 수 있습니다.

적용 대상