本文整理匯總了C#中System.Diagnostics.Contracts.Contract.OldValue<T>方法的典型用法代碼示例。如果您正苦於以下問題:C# Contract.OldValue<T>方法的具體用法?C# Contract.OldValue<T>怎麽用?C# Contract.OldValue<T>使用的例子?那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。
在下文中一共展示了Contract.OldValue<T>方法的1個代碼示例,這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚,您的評價將有助於係統推薦出更棒的C#代碼示例。
示例1:
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);
}