Contract.OldValue<T>(T) メソッド

定義

メソッドまたはプロパティの開始時の値を表します。

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

型パラメーター

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

注釈

このメソッドは、コントラクトの条件式 Ensures でのみ使用できます。

適用対象

製品 バージョン
.NET Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9
.NET Framework 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard 2.0, 2.1
UWP 10.0