8 references to OldValue
mscorlib (8)
system\collections\generic\list.cs (2)
246
Contract.Ensures(Count >= Contract.
OldValue
(Count));
847
Contract.Ensures(Contract.Result<int>() <= Contract.
OldValue
(Count));
system\diagnostics\contracts\contracts.cs (4)
460
/// <param name="condition">Boolean expression representing the contract. May include <seealso cref="
OldValue
"/> and <seealso cref="Result"/>.</param>
479
/// <param name="condition">Boolean expression representing the contract. May include <seealso cref="
OldValue
"/> and <seealso cref="Result"/>.</param>
500
/// <param name="condition">Boolean expression representing the contract. May include <seealso cref="
OldValue
"/> and <seealso cref="Result"/>.</param>
521
/// <param name="condition">Boolean expression representing the contract. May include <seealso cref="
OldValue
"/> and <seealso cref="Result"/>.</param>
system\io\binaryreader.cs (1)
524
Contract.Ensures(Contract.Result<byte[]>().Length <= Contract.
OldValue
(count));
system\io\textreader.cs (1)
128
Contract.Ensures(Contract.Result<int>() <= Contract.
OldValue
(count));