8 references to ValueAtReturn
mscorlib (4)
system\array.cs (2)
53
Contract.Ensures(Contract.
ValueAtReturn
(out array) != null);
54
Contract.Ensures(Contract.
ValueAtReturn
(out array).Length == newSize);
system\type.cs (2)
1421
Contract.Ensures(Contract.
ValueAtReturn
<String[]>(out enumNames) != null);
1422
Contract.Ensures(Contract.
ValueAtReturn
<Array>(out enumValues) != null);
System.Core (2)
System\Security\Cryptography\AesCryptoServiceProvider.cs (2)
306
(Contract.
ValueAtReturn
<int>(out defaultKeySize) > 0 && Contract.
ValueAtReturn
<int>(out defaultKeySize) % 8 == 0));
System.Numerics (2)
System\Numerics\NumericsHelpers.cs (2)
29
Contract.Ensures(Contract.
ValueAtReturn
(out sign) == +1 || Contract.
ValueAtReturn
(out sign) == -1);