Export (0) Print
Expand All

Contract.OldValue<T> Method

Represents values as they were at the start of a method or property.

Namespace:  System.Diagnostics.Contracts
Assembly:  mscorlib (in mscorlib.dll)

public static T OldValue<T>(
	T value
)

Type Parameters

T

The type of value.

Parameters

value
Type: T
The value to represent (field or parameter).

Return Value

Type: T
The value of the parameter or field at the start of a method or property.

This method can be used only in the conditional expression for the Ensures contract.

The following example shows the use of the OldValue<T> method to ensure that a count has been updated. This code example is part of a larger example provided for the ContractClassAttribute class.


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);
}


.NET Framework

Supported in: 4

.NET Framework Client Profile

Supported in: 4

Windows 7, Windows Vista SP1 or later, Windows XP SP3, Windows Server 2008 (Server Core not supported), Windows Server 2008 R2 (Server Core supported with SP1 or later), Windows Server 2003 SP2

The .NET Framework does not support all versions of every platform. For a list of the supported versions, see .NET Framework System Requirements.

Community Additions

ADD
Show:
© 2014 Microsoft