853 references to Result
mscorlib (655)
system\appdomain.cs (14)
1218Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1232Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1249Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1267Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1287Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1309Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1332Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1352Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1377Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1404Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1433Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1462Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 1486Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 2106Contract.Ensures(Contract.Result<AppDomain>() != null);
system\array.cs (45)
43Contract.Ensures(Contract.Result<ReadOnlyCollection<T>>() != null); 78Contract.Ensures(Contract.Result<Array>() != null); 79Contract.Ensures(Contract.Result<Array>().Length == length); 80Contract.Ensures(Contract.Result<Array>().Rank == 1); 96Contract.Ensures(Contract.Result<Array>() != null); 97Contract.Ensures(Contract.Result<Array>().Rank == 2); 98Contract.Ensures(Contract.Result<Array>().GetLength(0) == length1); 99Contract.Ensures(Contract.Result<Array>().GetLength(1) == length2); 121Contract.Ensures(Contract.Result<Array>() != null); 122Contract.Ensures(Contract.Result<Array>().Rank == 3); 123Contract.Ensures(Contract.Result<Array>().GetLength(0) == length1); 124Contract.Ensures(Contract.Result<Array>().GetLength(1) == length2); 125Contract.Ensures(Contract.Result<Array>().GetLength(2) == length3); 146Contract.Ensures(Contract.Result<Array>() != null); 147Contract.Ensures(Contract.Result<Array>().Rank == lengths.Length); 173Contract.Ensures(Contract.Result<Array>() != null); 174Contract.Ensures(Contract.Result<Array>().Rank == lengths.Length); 204Contract.Ensures(Contract.Result<Array>() != null); 205Contract.Ensures(Contract.Result<Array>().Rank == lengths.Length); 844Contract.Ensures((Contract.Result<int>() >= array.GetLowerBound(0) && Contract.Result<int>() <= array.GetUpperBound(0)) || (Contract.Result<int>() < array.GetLowerBound(0) && ~Contract.Result<int>() <= array.GetUpperBound(0) + 1)); 1039Contract.Ensures(Contract.Result<TOutput[]>() != null); 1040Contract.Ensures(Contract.Result<TOutput[]>().Length == array.Length); 1082Contract.Ensures(Contract.Result<T[]>() != null); 1083Contract.Ensures(Contract.Result<T[]>().Length == 0); 1134Contract.Ensures(Contract.Result<int>() < array.Length); 1144Contract.Ensures(Contract.Result<int>() < array.Length); 1166Contract.Ensures(Contract.Result<int>() < array.Length); 1285Contract.Ensures(Contract.Result<int>() < array.GetLowerBound(0) + array.Length); 1301Contract.Ensures(Contract.Result<int>() < array.GetLowerBound(0) + array.Length); 1320Contract.Ensures(Contract.Result<int>() < array.GetLowerBound(0) + array.Length); 1374Contract.Ensures((Contract.Result<int>() < 0) || 1375(Contract.Result<int>() >= 0 && Contract.Result<int>() < array.Length && EqualityComparer<T>.Default.Equals(value, array[Contract.Result<int>()]))); 1385Contract.Ensures(Contract.Result<int>() < array.Length); 1403Contract.Ensures(Contract.Result<int>() < array.Length); 1425Contract.Ensures(Contract.Result<int>() < array.GetLowerBound(0) + array.Length); 1440Contract.Ensures(Contract.Result<int>() < array.GetLowerBound(0) + array.Length); 1457Contract.Ensures(Contract.Result<int>() < array.GetLowerBound(0) + array.Length); 1513Contract.Ensures(Contract.Result<int>() < array.Length); 1523Contract.Ensures(Contract.Result<int>() < array.Length); 1533Contract.Ensures(Contract.Result<int>() < array.Length);
system\arraysegment.cs (2)
86Contract.Ensures(Contract.Result<int>() >= 0); 105Contract.Ensures(Contract.Result<int>() >= 0);
system\bitconverter.cs (22)
42Contract.Ensures(Contract.Result<byte[]>() != null); 43Contract.Ensures(Contract.Result<byte[]>().Length == 1); 53Contract.Ensures(Contract.Result<byte[]>() != null); 54Contract.Ensures(Contract.Result<byte[]>().Length == 2); 64Contract.Ensures(Contract.Result<byte[]>() != null); 65Contract.Ensures(Contract.Result<byte[]>().Length == 2); 78Contract.Ensures(Contract.Result<byte[]>() != null); 79Contract.Ensures(Contract.Result<byte[]>().Length == 4); 92Contract.Ensures(Contract.Result<byte[]>() != null); 93Contract.Ensures(Contract.Result<byte[]>().Length == 8); 105Contract.Ensures(Contract.Result<byte[]>() != null); 106Contract.Ensures(Contract.Result<byte[]>().Length == 2); 115Contract.Ensures(Contract.Result<byte[]>() != null); 116Contract.Ensures(Contract.Result<byte[]>().Length == 4); 125Contract.Ensures(Contract.Result<byte[]>() != null); 126Contract.Ensures(Contract.Result<byte[]>().Length == 8); 136Contract.Ensures(Contract.Result<byte[]>() != null); 137Contract.Ensures(Contract.Result<byte[]>().Length == 4); 147Contract.Ensures(Contract.Result<byte[]>() != null); 148Contract.Ensures(Contract.Result<byte[]>().Length == 8); 408Contract.Ensures(Contract.Result<String>() != null); 417Contract.Ensures(Contract.Result<String>() != null);
system\byte.cs (4)
154Contract.Ensures(Contract.Result<String>() != null); 161Contract.Ensures(Contract.Result<String>() != null); 168Contract.Ensures(Contract.Result<String>() != null); 175Contract.Ensures(Contract.Result<String>() != null);
system\char.cs (3)
151Contract.Ensures(Contract.Result<String>() != null); 157Contract.Ensures(Contract.Result<String>() != null); 171Contract.Ensures(Contract.Result<String>() != null);
system\collections\arraylist.cs (27)
108Contract.Ensures(Contract.Result<int>() >= Count); 137Contract.Ensures(Contract.Result<int>() >= 0); 194Contract.Ensures(Contract.Result<ArrayList>() != null); 204Contract.Ensures(Contract.Result<int>() >= 0); 246Contract.Ensures(Contract.Result<int>() < Count); 247Contract.Ensures(Contract.Result<int>() < index + count); 255Contract.Ensures(Contract.Result<int>() < Count); 261Contract.Ensures(Contract.Result<int>() < Count); 281Contract.Ensures(Contract.Result<Object>() != null); 362Contract.Ensures(Contract.Result<IList>() != null); 373Contract.Ensures(Contract.Result<ArrayList>() != null); 384Contract.Ensures(Contract.Result<IEnumerator>() != null); 400Contract.Ensures(Contract.Result<IEnumerator>() != null); 415Contract.Ensures(Contract.Result<int>() < Count); 431Contract.Ensures(Contract.Result<int>() < Count); 449Contract.Ensures(Contract.Result<int>() < Count); 511Contract.Ensures(Contract.Result<int>() < _size); 528Contract.Ensures(Contract.Result<int>() < Count); 545Contract.Ensures(Contract.Result<int>() < Count); 565Contract.Ensures(Contract.Result<IList>() != null); 575Contract.Ensures(Contract.Result<ArrayList>() != null); 638Contract.Ensures(Contract.Result<ArrayList>() != null); 692Contract.Ensures(Contract.Result<ArrayList>() != null); 738Contract.Ensures(Contract.Result<IList>() != null); 749Contract.Ensures(Contract.Result<ArrayList>() != null); 757Contract.Ensures(Contract.Result<Object[]>() != null); 773Contract.Ensures(Contract.Result<Array>() != null);
system\collections\bitarray.cs (4)
320Contract.Ensures(Contract.Result<int>() >= 0); 399Contract.Ensures(Contract.Result<int>() >= 0); 407Contract.Ensures(Contract.Result<Object>() != null); 408Contract.Ensures(((BitArray)Contract.Result<Object>()).Length == this.Length);
system\collections\caseinsensitivecomparer.cs (2)
44Contract.Ensures(Contract.Result<CaseInsensitiveComparer>() != null); 54Contract.Ensures(Contract.Result<CaseInsensitiveComparer>() != null);
system\collections\caseinsensitivehashcodeprovider.cs (2)
50Contract.Ensures(Contract.Result<CaseInsensitiveHashCodeProvider>() != null); 60Contract.Ensures(Contract.Result<CaseInsensitiveHashCodeProvider>() != null);
system\collections\generic\arraysorthelper.cs (8)
362Contract.Ensures(Contract.Result<int>() >= lo && Contract.Result<int>() <= hi); 760Contract.Ensures(Contract.Result<int>() >= lo && Contract.Result<int>() <= hi); 1121Contract.Ensures(Contract.Result<int>() >= lo && Contract.Result<int>() <= hi); 1475Contract.Ensures(Contract.Result<int>() >= lo && Contract.Result<int>() <= hi);
system\collections\generic\comparer.cs (2)
26Contract.Ensures(Contract.Result<Comparer<T>>() != null); 33Contract.Ensures(Contract.Result<Comparer<T>>() != null);
system\collections\generic\dictionary.cs (2)
137Contract.Ensures(Contract.Result<KeyCollection>() != null); 159Contract.Ensures(Contract.Result<ValueCollection>() != null);
system\collections\generic\equalitycomparer.cs (2)
30Contract.Ensures(Contract.Result<EqualityComparer<T>>() != null); 41Contract.Ensures(Contract.Result<EqualityComparer<T>>() != null);
system\collections\generic\list.cs (37)
112Contract.Ensures(Contract.Result<int>() >= 0); 139Contract.Ensures(Contract.Result<int>() >= 0); 252Contract.Ensures(Contract.Result<ReadOnlyCollection<T>>() != null); 283Contract.Ensures(Contract.Result<int>() <= index + count); 291Contract.Ensures(Contract.Result<int>() <= Count); 297Contract.Ensures(Contract.Result<int>() <= Count); 450Contract.Ensures(Contract.Result<int>() >= -1); 451Contract.Ensures(Contract.Result<int>() < Count); 456Contract.Ensures(Contract.Result<int>() >= -1); 457Contract.Ensures(Contract.Result<int>() < startIndex + Count); 473Contract.Ensures(Contract.Result<int>() >= -1); 474Contract.Ensures(Contract.Result<int>() < startIndex + count); 499Contract.Ensures(Contract.Result<int>() >= -1); 500Contract.Ensures(Contract.Result<int>() < Count); 505Contract.Ensures(Contract.Result<int>() >= -1); 506Contract.Ensures(Contract.Result<int>() <= startIndex); 514Contract.Ensures(Contract.Result<int>() >= -1); 515Contract.Ensures(Contract.Result<int>() <= startIndex); 594Contract.Ensures(Contract.Result<List<T>>() != null); 613Contract.Ensures(Contract.Result<int>() >= -1); 614Contract.Ensures(Contract.Result<int>() < Count); 638Contract.Ensures(Contract.Result<int>() >= -1); 639Contract.Ensures(Contract.Result<int>() < Count); 658Contract.Ensures(Contract.Result<int>() >= -1); 659Contract.Ensures(Contract.Result<int>() < Count); 755Contract.Ensures(Contract.Result<int>() >= -1); 756Contract.Ensures(Contract.Result<int>() < Count); 778Contract.Ensures(Contract.Result<int>() >= -1); 779Contract.Ensures(((Count == 0) && (Contract.Result<int>() == -1)) || ((Count > 0) && (Contract.Result<int>() <= index))); 801Contract.Ensures(Contract.Result<int>() >= -1); 802Contract.Ensures(((Count == 0) && (Contract.Result<int>() == -1)) || ((Count > 0) && (Contract.Result<int>() <= index))); 846Contract.Ensures(Contract.Result<int>() >= 0); 847Contract.Ensures(Contract.Result<int>() <= Contract.OldValue(Count)); 999Contract.Ensures(Contract.Result<T[]>() != null); 1000Contract.Ensures(Contract.Result<T[]>().Length == Count);
system\collections\objectmodel\readonlydictionary.cs (2)
51Contract.Ensures(Contract.Result<KeyCollection>() != null); 61Contract.Ensures(Contract.Result<ValueCollection>() != null);
system\collections\stack.cs (5)
73Contract.Ensures(Contract.Result<int>() >= 0); 99Contract.Ensures(Contract.Result<Object>() != null); 153Contract.Ensures(Contract.Result<IEnumerator>() != null); 198Contract.Ensures(Contract.Result<Stack>() != null); 207Contract.Ensures(Contract.Result<Object[]>() != null);
system\console.cs (7)
115Contract.Ensures(Contract.Result<Object>() != null); 133Contract.Ensures(Contract.Result<Object>() != null); 272Contract.Ensures(Contract.Result<TextReader>() != null); 306Contract.Ensures(Contract.Result<TextWriter>() != null); 317Contract.Ensures(Contract.Result<TextWriter>() != null); 545Contract.Ensures(Contract.Result<Encoding>() != null); 598Contract.Ensures(Contract.Result<Encoding>() != null);
system\convert.cs (37)
1812Contract.Ensures(Contract.Result<string>() != null); 1817Contract.Ensures(Contract.Result<string>() != null); 1822Contract.Ensures(Contract.Result<string>() != null); 1827Contract.Ensures(Contract.Result<string>() != null); 1833Contract.Ensures(Contract.Result<string>() != null); 1839Contract.Ensures(Contract.Result<string>() != null); 1844Contract.Ensures(Contract.Result<string>() != null); 1849Contract.Ensures(Contract.Result<string>() != null); 1854Contract.Ensures(Contract.Result<string>() != null); 1859Contract.Ensures(Contract.Result<string>() != null); 1865Contract.Ensures(Contract.Result<string>() != null); 1871Contract.Ensures(Contract.Result<string>() != null); 1876Contract.Ensures(Contract.Result<string>() != null); 1881Contract.Ensures(Contract.Result<string>() != null); 1887Contract.Ensures(Contract.Result<string>() != null); 1893Contract.Ensures(Contract.Result<string>() != null); 1898Contract.Ensures(Contract.Result<string>() != null); 1903Contract.Ensures(Contract.Result<string>() != null); 1909Contract.Ensures(Contract.Result<string>() != null); 1915Contract.Ensures(Contract.Result<string>() != null); 1920Contract.Ensures(Contract.Result<string>() != null); 1925Contract.Ensures(Contract.Result<string>() != null); 1930Contract.Ensures(Contract.Result<string>() != null); 1935Contract.Ensures(Contract.Result<string>() != null); 1940Contract.Ensures(Contract.Result<string>() != null); 1945Contract.Ensures(Contract.Result<string>() != null); 1950Contract.Ensures(Contract.Result<string>() != null); 1955Contract.Ensures(Contract.Result<string>() != null); 1960Contract.Ensures(Contract.Result<string>() == value); // We were always skipping the null check here. 1965Contract.Ensures(Contract.Result<string>() == value); // We were always skipping the null check here. 2135Contract.Ensures(Contract.Result<string>() != null); 2145Contract.Ensures(Contract.Result<string>() != null); 2166Contract.Ensures(Contract.Result<string>() != null); 2194Contract.Ensures(Contract.Result<int>() >= 0); 2195Contract.Ensures(Contract.Result<int>() <= outArray.Length); 2219Contract.Ensures(Contract.Result<int>() >= 0); 2220Contract.Ensures(Contract.Result<int>() <= outArray.Length);
system\datetime.cs (31)
947Contract.Ensures(Contract.Result<int>() >= 1); 948Contract.Ensures(Contract.Result<int>() <= 31); 960Contract.Ensures(Contract.Result<DayOfWeek>() >= DayOfWeek.Sunday); 961Contract.Ensures(Contract.Result<DayOfWeek>() <= DayOfWeek.Saturday); 971Contract.Ensures(Contract.Result<int>() >= 1); 972Contract.Ensures(Contract.Result<int>() <= 366); // leap year 989Contract.Ensures(Contract.Result<int>() >= 0); 990Contract.Ensures(Contract.Result<int>() < 24); 1018Contract.Ensures(Contract.Result<int>() >= 0); 1019Contract.Ensures(Contract.Result<int>() < 1000); 1029Contract.Ensures(Contract.Result<int>() >= 0); 1030Contract.Ensures(Contract.Result<int>() < 60); 1040Contract.Ensures(Contract.Result<int>() >= 1); 1053Contract.Ensures(Contract.Result<DateTime>().Kind == DateTimeKind.Local); 1072Contract.Ensures(Contract.Result<DateTime>().Kind == DateTimeKind.Utc); 1233Contract.Ensures(Contract.Result<int>() >= 0); 1234Contract.Ensures(Contract.Result<int>() < 60); 1273Contract.Ensures(Contract.Result<int>() >= 1 && Contract.Result<int>() <= 9999); 1423Contract.Ensures(Contract.Result<String>() != null); 1428Contract.Ensures(Contract.Result<String>() != null); 1433Contract.Ensures(Contract.Result<String>() != null); 1438Contract.Ensures(Contract.Result<String>() != null); 1443Contract.Ensures(Contract.Result<String>() != null); 1448Contract.Ensures(Contract.Result<String>() != null); 1453Contract.Ensures(Contract.Result<String>() != null); 1458Contract.Ensures(Contract.Result<String>() != null); 1537Contract.Ensures(Contract.Result<String[]>() != null); 1546Contract.Ensures(Contract.Result<String[]>() != null); 1556Contract.Ensures(Contract.Result<String[]>() != null); 1565Contract.Ensures(Contract.Result<String[]>() != null);
system\datetimeoffset.cs (23)
190Contract.Ensures(Contract.Result<DateTime>().Kind == DateTimeKind.Utc); 198Contract.Ensures(Contract.Result<DateTime>().Kind == DateTimeKind.Local); 236Contract.Ensures(Contract.Result<int>() >= 1); 237Contract.Ensures(Contract.Result<int>() <= 31); 249Contract.Ensures(Contract.Result<DayOfWeek>() >= DayOfWeek.Sunday); 250Contract.Ensures(Contract.Result<DayOfWeek>() <= DayOfWeek.Saturday); 260Contract.Ensures(Contract.Result<int>() >= 1); 261Contract.Ensures(Contract.Result<int>() <= 366); // leap year 271Contract.Ensures(Contract.Result<int>() >= 0); 272Contract.Ensures(Contract.Result<int>() < 24); 283Contract.Ensures(Contract.Result<int>() >= 0); 284Contract.Ensures(Contract.Result<int>() < 1000); 294Contract.Ensures(Contract.Result<int>() >= 0); 295Contract.Ensures(Contract.Result<int>() < 60); 305Contract.Ensures(Contract.Result<int>() >= 1); 321Contract.Ensures(Contract.Result<int>() >= 0); 322Contract.Ensures(Contract.Result<int>() < 60); 357Contract.Ensures(Contract.Result<int>() >= 1 && Contract.Result<int>() <= 9999); 704Contract.Ensures(Contract.Result<String>() != null); 709Contract.Ensures(Contract.Result<String>() != null); 714Contract.Ensures(Contract.Result<String>() != null); 719Contract.Ensures(Contract.Result<String>() != null);
system\decimal.cs (4)
500Contract.Ensures(Contract.Result<String>() != null); 506Contract.Ensures(Contract.Result<String>() != null); 512Contract.Ensures(Contract.Result<String>() != null); 518Contract.Ensures(Contract.Result<String>() != null);
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\diagnostics\stackframe.cs (1)
177Contract.Ensures(Contract.Result<MethodBase>() != null);
system\double.cs (4)
213Contract.Ensures(Contract.Result<String>() != null); 219Contract.Ensures(Contract.Result<String>() != null); 225Contract.Ensures(Contract.Result<String>() != null); 231Contract.Ensures(Contract.Result<String>() != null);
system\enum.cs (3)
488Contract.Ensures(Contract.Result<Type>() != null); 499Contract.Ensures(Contract.Result<Array>() != null); 526Contract.Ensures(Contract.Result<String[]>() != null);
system\environment.cs (3)
1069Contract.Ensures(Contract.Result<String>() != null); 1122Contract.Ensures(Contract.Result<OperatingSystem>() != null); 1233Contract.Ensures(Contract.Result<String>() != null);
system\globalization\cultureinfo.cs (31)
625Contract.Ensures(Contract.Result<CultureInfo>() != null); 715Contract.Ensures(Contract.Result<CultureInfo>() != null); 766Contract.Ensures(Contract.Result<CultureInfo>() != null); 790Contract.Ensures(Contract.Result<CultureInfo>() != null); 813Contract.Ensures(Contract.Result<CultureInfo>() != null); 865Contract.Ensures(Contract.Result<CultureInfo>() != null); 960Contract.Ensures(Contract.Result<CultureInfo>() != null); 979Contract.Ensures(Contract.Result<CultureInfo>() != null); 1049Contract.Ensures(Contract.Result<CultureInfo[]>() != null); 1070Contract.Ensures(Contract.Result<String>() != null); 1104Contract.Ensures(Contract.Result<String>() != null); 1134Contract.Ensures(Contract.Result<String>() != null); 1153Contract.Ensures(Contract.Result<String>() != null); 1170Contract.Ensures(Contract.Result<String>() != null); 1179Contract.Ensures(Contract.Result<String>() != null); 1189Contract.Ensures(Contract.Result<String>() != null); 1205Contract.Ensures(Contract.Result<String>() != null); 1222Contract.Ensures(Contract.Result<CompareInfo>() != null); 1280Contract.Ensures(Contract.Result<TextInfo>() != null); 1358Contract.Ensures(Contract.Result<String>() != null); 1412Contract.Ensures(Contract.Result<NumberFormatInfo>() != null); 1444Contract.Ensures(Contract.Result<DateTimeFormatInfo>() != null); 1554Contract.Ensures(Contract.Result<Calendar>() != null); 1579Contract.Ensures(Contract.Result<Calendar[]>() != null); 1605Contract.Ensures(Contract.Result<CultureInfo>() != null); 1620Contract.Ensures(Contract.Result<Object>() != null); 1663Contract.Ensures(Contract.Result<CultureInfo>() != null); 1896Contract.Ensures(Contract.Result<CultureInfo>() != null); 1917Contract.Ensures(Contract.Result<CultureInfo>() != null); 1944Contract.Ensures(Contract.Result<CultureInfo>() != null); 1965Contract.Ensures(Contract.Result<CultureInfo>() != null);
system\globalization\datetimeformatinfo.cs (4)
501Contract.Ensures(Contract.Result<DateTimeFormatInfo>() != null); 518Contract.Ensures(Contract.Result<DateTimeFormatInfo>() != null); 608Contract.Ensures(Contract.Result<Calendar>() != null); 1700Contract.Ensures(Contract.Result<String[]>() != null);
system\guid.cs (1)
1149Contract.Ensures(Contract.Result<Guid>() != Guid.Empty);
system\int16.cs (5)
86Contract.Ensures(Contract.Result<String>() != null); 92Contract.Ensures(Contract.Result<String>() != null); 97Contract.Ensures(Contract.Result<String>() != null); 102Contract.Ensures(Contract.Result<String>() != null); 108Contract.Ensures(Contract.Result<String>() != null);
system\int32.cs (4)
93Contract.Ensures(Contract.Result<String>() != null); 100Contract.Ensures(Contract.Result<String>() != null); 107Contract.Ensures(Contract.Result<String>() != null); 114Contract.Ensures(Contract.Result<String>() != null);
system\int64.cs (4)
91Contract.Ensures(Contract.Result<String>() != null); 97Contract.Ensures(Contract.Result<String>() != null); 103Contract.Ensures(Contract.Result<String>() != null); 109Contract.Ensures(Contract.Result<String>() != null);
system\intptr.cs (1)
152Contract.Ensures(Contract.Result<String>() != null);
system\io\binaryreader.cs (11)
112Contract.Ensures(Contract.Result<int>() >= -1); 125Contract.Ensures(Contract.Result<int>() >= -1); 245Contract.Ensures(Contract.Result<String>() != null); 313Contract.Ensures(Contract.Result<int>() >= 0); 314Contract.Ensures(Contract.Result<int>() <= count); 481Contract.Ensures(Contract.Result<char[]>() != null); 482Contract.Ensures(Contract.Result<char[]>().Length <= count); 513Contract.Ensures(Contract.Result<int>() >= 0); 514Contract.Ensures(Contract.Result<int>() <= count); 523Contract.Ensures(Contract.Result<byte[]>() != null); 524Contract.Ensures(Contract.Result<byte[]>().Length <= Contract.OldValue(count));
system\io\bufferedstream.cs (1)
641Contract.Ensures(Contract.Result<Int32>() >= 0);
system\io\directory.cs (21)
598Contract.Ensures(Contract.Result<String[]>() != null); 614Contract.Ensures(Contract.Result<String[]>() != null); 632Contract.Ensures(Contract.Result<String[]>() != null); 670Contract.Ensures(Contract.Result<String[]>() != null); 686Contract.Ensures(Contract.Result<String[]>() != null); 704Contract.Ensures(Contract.Result<String[]>() != null); 719Contract.Ensures(Contract.Result<String[]>() != null); 732Contract.Ensures(Contract.Result<String[]>() != null); 744Contract.Ensures(Contract.Result<String[]>() != null); 760Contract.Ensures(Contract.Result<String[]>() != null); 778Contract.Ensures(Contract.Result<String[]>() != null); 894Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 908Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 924Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 937Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 948Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 962Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 978Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 991Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 1002Contract.Ensures(Contract.Result<IEnumerable<String>>() != null); 1016Contract.Ensures(Contract.Result<String[]>() != null);
system\io\stream.cs (15)
107Contract.Ensures(Contract.Result<int>() >= 0); 118Contract.Ensures(Contract.Result<int>() >= 0); 293Contract.Ensures(Contract.Result<WaitHandle>() != null); 300Contract.Ensures(Contract.Result<IAsyncResult>() != null); 307Contract.Ensures(Contract.Result<IAsyncResult>() != null); 367Contract.Ensures(Contract.Result<int>() >= 0); 447Contract.Ensures(Contract.Result<IAsyncResult>() != null); 454Contract.Ensures(Contract.Result<IAsyncResult>() != null); 749Contract.Ensures(Contract.Result<int>() >= -1); 750Contract.Ensures(Contract.Result<int>() < 256); 778Contract.Ensures(Contract.Result<Stream>() != null); 795Contract.Ensures(Contract.Result<IAsyncResult>() != null); 821Contract.Ensures(Contract.Result<int>() >= 0); 828Contract.Ensures(Contract.Result<IAsyncResult>() != null); 1252Contract.Ensures(Contract.Result<int>() >= 0);
system\io\textreader.cs (8)
96Contract.Ensures(Contract.Result<int>() >= -1); 108Contract.Ensures(Contract.Result<int>() >= -1); 127Contract.Ensures(Contract.Result<int>() >= 0); 128Contract.Ensures(Contract.Result<int>() <= Contract.OldValue(count)); 144Contract.Ensures(Contract.Result<String>() != null); 161Contract.Ensures(Contract.Result<int>() >= 0); 162Contract.Ensures(Contract.Result<int>() <= count); 284Contract.Ensures(Contract.Result<TextReader>() != null);
system\io\textwriter.cs (1)
180Contract.Ensures(Contract.Result<TextWriter>() != null);
system\multicastdelegate.cs (1)
463Contract.Ensures(Contract.Result<Delegate[]>() != null);
system\object.cs (1)
182Contract.Ensures(Contract.Result<FieldInfo>() != null);
system\reflection\assembly.cs (33)
127Contract.Ensures(Contract.Result<Assembly>() != null); 128Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 168Contract.Ensures(Contract.Result<Assembly>() != null); 191Contract.Ensures(Contract.Result<Assembly>() != null); 216Contract.Ensures(Contract.Result<Assembly>() != null); 259Contract.Ensures(Contract.Result<Assembly>() != null); 260Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 280Contract.Ensures(Contract.Result<Assembly>() != null); 281Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 325Contract.Ensures(Contract.Result<Assembly>() != null); 336Contract.Ensures(Contract.Result<Assembly>() != null); 337Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 353Contract.Ensures(Contract.Result<Assembly>() != null); 354Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 372Contract.Ensures(Contract.Result<Assembly>() != null); 373Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 410Contract.Ensures(Contract.Result<Assembly>() != null); 411Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 433Contract.Ensures(Contract.Result<Assembly>() != null); 462Contract.Ensures(Contract.Result<Assembly>() != null); 463Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 487Contract.Ensures(Contract.Result<Assembly>() != null); 488Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 517Contract.Ensures(Contract.Result<Assembly>() != null); 518Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 548Contract.Ensures(Contract.Result<Assembly>() != null); 549Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 582Contract.Ensures(Contract.Result<Assembly>() != null); 583Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 601Contract.Ensures(Contract.Result<Assembly>() != null); 602Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 918Contract.Ensures(Contract.Result<Object[]>() != null); 924Contract.Ensures(Contract.Result<Object[]>() != null);
system\reflection\emit\assemblybuilder.cs (8)
501Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 515Contract.Ensures(Contract.Result<AssemblyBuilder>() != null); 597Contract.Ensures(Contract.Result<ModuleBuilder>() != null); 609Contract.Ensures(Contract.Result<ModuleBuilder>() != null); 641Contract.Ensures(Contract.Result<ModuleBuilder>() != null); 789Contract.Ensures(Contract.Result<ModuleBuilder>() != null); 813Contract.Ensures(Contract.Result<ModuleBuilder>() != null); 865Contract.Ensures(Contract.Result<ModuleBuilder>() != null);
system\reflection\emit\ilgenerator.cs (2)
36Contract.Ensures(Contract.Result<int[]>() != null); 37Contract.Ensures(Contract.Result<int[]>().Length > incoming.Length);
system\reflection\emit\methodbuilder.cs (2)
1115Contract.Ensures(Contract.Result<ILGenerator>() != null); 1126Contract.Ensures(Contract.Result<ILGenerator>() != null);
system\reflection\emit\modulebuilder.cs (24)
1139Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1150Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1161Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1179Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1194Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1206Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1217Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1229Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1240Contract.Ensures(Contract.Result<TypeBuilder>() != null); 1254Contract.Ensures(Contract.Result<EnumBuilder>() != null); 1275Contract.Ensures(Contract.Result<EnumBuilder>() != null); 1287Contract.Ensures(Contract.Result<IResourceWriter>() != null); 1295Contract.Ensures(Contract.Result<IResourceWriter>() != null); 1314Contract.Ensures(Contract.Result<IResourceWriter>() != null); 1464Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1472Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1504Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1526Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1538Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1559Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1600Contract.Ensures(Contract.Result<FieldBuilder>() != null); 1620Contract.Ensures(Contract.Result<FieldBuilder>() != null); 1632Contract.Ensures(Contract.Result<FieldBuilder>() != null); 1653Contract.Ensures(Contract.Result<FieldBuilder>() != null);
system\reflection\emit\typebuilder.cs (6)
1653Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1660Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1667Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1675Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1684Contract.Ensures(Contract.Result<MethodBuilder>() != null); 1703Contract.Ensures(Contract.Result<MethodBuilder>() != null);
system\reflection\parameterinfo.cs (2)
101Contract.Ensures(Contract.Result<MemberInfo>() != null); 218Contract.Ensures(Contract.Result<Object>() != null);
system\runtime\compilerservices\AsyncMethodBuilder.cs (1)
716EqualityComparer<TResult>.Default.Equals(result, Contract.Result<Task<TResult>>().Result),
system\runtime\designerservices\windowsruntimedesignercontext.cs (2)
145Contract.Ensures(Contract.Result<Assembly>() != null); 146Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly);
system\runtime\interopservices\typelibconverter.cs (2)
515Contract.Ensures(Contract.Result<Assembly>() != null && Contract.Result<Assembly>() is RuntimeAssembly);
system\runtime\interopservices\windowsruntime\clrireferenceimpl.cs (2)
294Contract.Ensures(Contract.Result<Object>() != null); 372Contract.Ensures(Contract.Result<Object>() != null);
system\runtime\versioning\binarycompatibility.cs (2)
118Contract.Ensures(Contract.Result<TargetFrameworkId>() > TargetFrameworkId.NotYetChecked); 132Contract.Ensures(Contract.Result<int>() > 0 || s_AppWasBuiltForFramework == TargetFrameworkId.Unspecified);
system\sbyte.cs (5)
88Contract.Ensures(Contract.Result<String>() != null); 94Contract.Ensures(Contract.Result<String>() != null); 99Contract.Ensures(Contract.Result<String>() != null); 104Contract.Ensures(Contract.Result<String>() != null); 110Contract.Ensures(Contract.Result<String>() != null);
system\single.cs (4)
181Contract.Ensures(Contract.Result<String>() != null); 187Contract.Ensures(Contract.Result<String>() != null); 193Contract.Ensures(Contract.Result<String>() != null); 199Contract.Ensures(Contract.Result<String>() != null);
system\string.cs (58)
125Contract.Ensures(Contract.Result<String>() != null); 164Contract.Ensures(Contract.Result<String>() != null); 976Contract.Ensures(Contract.Result<String[]>() != null); 992Contract.Ensures(Contract.Result<String[]>() != null); 998Contract.Ensures(Contract.Result<String[]>() != null); 1005Contract.Ensures(Contract.Result<String[]>() != null); 1018Contract.Ensures(Contract.Result<String[]>() != null); 1050Contract.Ensures(Contract.Result<String[]>() != null); 1103Contract.Ensures(Contract.Result<String[]>() != null); 1139Contract.Ensures(Contract.Result<String[]>() != null); 2641Contract.Ensures(Contract.Result<String>() != null); 2652Contract.Ensures(Contract.Result<String>() != null); 2660Contract.Ensures(Contract.Result<String>() != null); 2668Contract.Ensures(Contract.Result<String>() != null); 2680Contract.Ensures(Contract.Result<String>() != null); 2689Contract.Ensures(Contract.Result<String>() != null); 2697Contract.Ensures(Contract.Result<String>() != null); 2703Contract.Ensures(Contract.Result<String>() != null); 2711Contract.Ensures(Contract.Result<Object>() != null); 2737Contract.Ensures(Contract.Result<String>() != null); 2828Contract.Ensures(Contract.Result<String>() != null); 2829Contract.Ensures(Contract.Result<String>().Length == this.Length + value.Length); 2865Contract.Ensures(Contract.Result<String>() != null); 2866Contract.Ensures(Contract.Result<String>().Length == this.Length); 2884Contract.Ensures(Contract.Result<String>() != null); 2921Contract.Ensures(Contract.Result<String>() != null); 2922Contract.Ensures(Contract.Result<String>().Length == this.Length - count); 2954Contract.Ensures(Contract.Result<String>() != null); 2961Contract.Ensures(Contract.Result<String>() != null); 2966Contract.Ensures(Contract.Result<String>() != null); 2971Contract.Ensures(Contract.Result<String>() != null); 2982Contract.Ensures(Contract.Result<String>() != null); 2989Contract.Ensures(Contract.Result<String>() != null); 2994Contract.Ensures(Contract.Result<String>() != null); 2999Contract.Ensures(Contract.Result<String>() != null); 3010Contract.Ensures(Contract.Result<String>() != null); 3031Contract.Ensures(Contract.Result<String>() != null); 3046Contract.Ensures(Contract.Result<String>() != null); 3057Contract.Ensures(Contract.Result<String>() != null); 3072Contract.Ensures(Contract.Result<String>() != null); 3094Contract.Ensures(Contract.Result<String>() != null); 3125Contract.Ensures(Contract.Result<String>() != null); 3148Contract.Ensures(Contract.Result<String>() != null); 3171Contract.Ensures(Contract.Result<String>() != null); 3188Contract.Ensures(Contract.Result<String>() != null); 3189Contract.Ensures(Contract.Result<String>().Length == 3217Contract.Ensures(Contract.Result<String>() != null); 3218Contract.Ensures(Contract.Result<String>().Length == 3252Contract.Ensures(Contract.Result<String>() != null); 3253Contract.Ensures(Contract.Result<String>().Length == 3310Contract.Ensures(Contract.Result<String>() != null); 3336Contract.Ensures(Contract.Result<String>().Length == str.Length); 3337Contract.Ensures(str.Equals(Contract.Result<String>())); 3349Contract.Ensures(Contract.Result<String>() == null || Contract.Result<String>().Length == str.Length); 3464Contract.Ensures(Contract.Result<CharEnumerator>() != null); 3472Contract.Ensures(Contract.Result<IEnumerator<char>>() != null); 3480Contract.Ensures(Contract.Result<IEnumerator>() != null);
system\stringcomparer.cs (7)
26Contract.Ensures(Contract.Result<StringComparer>() != null); 33Contract.Ensures(Contract.Result<StringComparer>() != null); 40Contract.Ensures(Contract.Result<StringComparer>() != null); 47Contract.Ensures(Contract.Result<StringComparer>() != null); 54Contract.Ensures(Contract.Result<StringComparer>() != null); 61Contract.Ensures(Contract.Result<StringComparer>() != null); 70Contract.Ensures(Contract.Result<StringComparer>() != null);
system\stubhelpers.cs (1)
1512Contract.Ensures(Contract.Result<Exception>() != null || hr >= 0);
system\text\encoding.cs (2)
367Contract.Ensures(Contract.Result<byte[]>() != null); 388Contract.Ensures(Contract.Result<byte[]>() != null);
system\text\stringbuilder.cs (55)
331Contract.Ensures(Contract.Result<String>() != null); 374Contract.Ensures(Contract.Result<String>() != null); 458Contract.Ensures(Contract.Result<int>() >= 0); 558Contract.Ensures(Contract.Result<StringBuilder>() != null); 601Contract.Ensures(Contract.Result<StringBuilder>() != null); 635Contract.Ensures(Contract.Result<StringBuilder>() != null); 708Contract.Ensures(Contract.Result<StringBuilder>() != null); 743Contract.Ensures(Contract.Result<StringBuilder>() != null); 749Contract.Ensures(Contract.Result<StringBuilder>() != null); 824Contract.Ensures(Contract.Result<StringBuilder>() != null); 877Contract.Ensures(Contract.Result<StringBuilder>() != null); 906Contract.Ensures(Contract.Result<StringBuilder>() != null); 914Contract.Ensures(Contract.Result<StringBuilder>() != null); 921Contract.Ensures(Contract.Result<StringBuilder>() != null); 927Contract.Ensures(Contract.Result<StringBuilder>() != null); 939Contract.Ensures(Contract.Result<StringBuilder>() != null); 946Contract.Ensures(Contract.Result<StringBuilder>() != null); 953Contract.Ensures(Contract.Result<StringBuilder>() != null); 960Contract.Ensures(Contract.Result<StringBuilder>() != null); 967Contract.Ensures(Contract.Result<StringBuilder>() != null); 972Contract.Ensures(Contract.Result<StringBuilder>() != null); 980Contract.Ensures(Contract.Result<StringBuilder>() != null); 988Contract.Ensures(Contract.Result<StringBuilder>() != null); 996Contract.Ensures(Contract.Result<StringBuilder>() != null); 1003Contract.Ensures(Contract.Result<StringBuilder>() != null); 1015Contract.Ensures(Contract.Result<StringBuilder>() != null); 1041Contract.Ensures(Contract.Result<StringBuilder>() != null); 1060Contract.Ensures(Contract.Result<StringBuilder>() != null); 1071Contract.Ensures(Contract.Result<StringBuilder>() != null); 1081Contract.Ensures(Contract.Result<StringBuilder>() != null); 1091Contract.Ensures(Contract.Result<StringBuilder>() != null); 1101Contract.Ensures(Contract.Result<StringBuilder>() != null); 1118Contract.Ensures(Contract.Result<StringBuilder>() != null); 1132Contract.Ensures(Contract.Result<StringBuilder>() != null); 1177Contract.Ensures(Contract.Result<StringBuilder>() != null); 1187Contract.Ensures(Contract.Result<StringBuilder>() != null); 1197Contract.Ensures(Contract.Result<StringBuilder>() != null); 1207Contract.Ensures(Contract.Result<StringBuilder>() != null); 1212Contract.Ensures(Contract.Result<StringBuilder>() != null); 1222Contract.Ensures(Contract.Result<StringBuilder>() != null); 1232Contract.Ensures(Contract.Result<StringBuilder>() != null); 1242Contract.Ensures(Contract.Result<StringBuilder>() != null); 1252Contract.Ensures(Contract.Result<StringBuilder>() != null); 1263Contract.Ensures(Contract.Result<StringBuilder>() != null); 1268Contract.Ensures(Contract.Result<StringBuilder>() != null); 1273Contract.Ensures(Contract.Result<StringBuilder>() != null); 1284Contract.Ensures(Contract.Result<String>() != null); 1291Contract.Ensures(Contract.Result<StringBuilder>() != null); 1296Contract.Ensures(Contract.Result<StringBuilder>() != null); 1301Contract.Ensures(Contract.Result<StringBuilder>() != null); 1312Contract.Ensures(Contract.Result<String>() != null); 1326Contract.Ensures(Contract.Result<StringBuilder>() != null); 1486Contract.Ensures(Contract.Result<StringBuilder>() != null); 1537Contract.Ensures(Contract.Result<StringBuilder>() != null); 1624Contract.Ensures(Contract.Result<StringBuilder>() != null);
system\threading\thread.cs (6)
823Contract.Ensures(Contract.Result<Thread>() != null); 1148Contract.Ensures(Contract.Result<CultureInfo>() != null); 1222Contract.Ensures(Contract.Result<CultureInfo>() != null); 1266Contract.Ensures(Contract.Result<CultureInfo>() != null); 1332Contract.Ensures(Contract.Result<CultureInfo>() != null); 1470Contract.Ensures(Contract.Result<AppDomain>() != null);
system\timezoneinfo.cs (3)
174Contract.Ensures(Contract.Result<TimeZoneInfo>() != null); 1030Contract.Ensures(Contract.Result<TimeZoneInfo>() != null); 1073Contract.Ensures(Contract.Result<TimeZoneInfo>() != null);
system\type.cs (6)
387Contract.Ensures(Contract.Result<int>() >= 0); 1318Contract.Ensures(Contract.Result<Type>() != null); 1364Contract.Ensures(Contract.Result<Type>() != null); 1390Contract.Ensures(Contract.Result<String[]>() != null); 1404Contract.Ensures(Contract.Result<Array>() != null); 1472Contract.Ensures(Contract.Result<Type>() != null);
system\uint16.cs (4)
83Contract.Ensures(Contract.Result<String>() != null); 89Contract.Ensures(Contract.Result<String>() != null); 96Contract.Ensures(Contract.Result<String>() != null); 102Contract.Ensures(Contract.Result<String>() != null);
system\uint32.cs (4)
94Contract.Ensures(Contract.Result<String>() != null); 100Contract.Ensures(Contract.Result<String>() != null); 106Contract.Ensures(Contract.Result<String>() != null); 112Contract.Ensures(Contract.Result<String>() != null);
system\uint64.cs (4)
90Contract.Ensures(Contract.Result<String>() != null); 96Contract.Ensures(Contract.Result<String>() != null); 102Contract.Ensures(Contract.Result<String>() != null); 108Contract.Ensures(Contract.Result<String>() != null);
system\uintptr.cs (1)
115Contract.Ensures(Contract.Result<String>() != null);
System (19)
net\System\Net\_ChunkParser.cs (11)
703Contract.Ensures((Contract.Result<DataParseStatus>() != DataParseStatus.Done) || 704(Contract.Result<DataParseStatus>() != DataParseStatus.DataTooBig)); 724Contract.Ensures((Contract.Result<DataParseStatus>() == DataParseStatus.ContinueParsing) || 725(Contract.Result<DataParseStatus>() == DataParseStatus.NeedMoreData) || 726(Contract.Result<DataParseStatus>() != DataParseStatus.DataTooBig)); 755Contract.Ensures((Contract.Result<DataParseStatus>() != DataParseStatus.Done) || 756(Contract.Result<DataParseStatus>() != DataParseStatus.DataTooBig)); 826Contract.Ensures((Contract.Result<DataParseStatus>() != DataParseStatus.Done) || 827(Contract.Result<DataParseStatus>() != DataParseStatus.DataTooBig)); 879Contract.Ensures((Contract.Result<DataParseStatus>() != DataParseStatus.Done) || 880(Contract.Result<DataParseStatus>() != DataParseStatus.DataTooBig));
net\System\Net\NetworkInformation\SystemNetworkInterface.cs (1)
77Contract.Ensures(Contract.Result<NetworkInterface[]>() != null);
net\System\Net\WebRequest.cs (2)
694Contract.Ensures(Contract.Result<WebHeaderCollection>() != null); 820Contract.Ensures(Contract.Result<WebResponse>() != null);
net\System\Net\WebResponse.cs (2)
188Contract.Ensures(Contract.Result<Stream>() != null); 240Contract.Ensures(Contract.Result<WebHeaderCollection>() != null);
services\monitoring\system\diagnosticts\ProcessManager.cs (1)
569Contract.Ensures(Contract.Result<ModuleInfo[]>().Length >= 1);
sys\System\IO\compression\DeflaterZLib.cs (2)
157Contract.Ensures(Contract.Result<int>() >= 0 && Contract.Result<int>() <= outputBuffer.Length);
System.AddIn (6)
System\Addin\Hosting\ActivationWorker.cs (1)
177System.Diagnostics.Contracts.Contract.Ensures(System.Diagnostics.Contracts.Contract.Result<System.AddIn.Contract.IContract>() != null);
System\Addin\Hosting\Store\PipelineComponent.cs (2)
205System.Diagnostics.Contracts.Contract.Ensures(System.Diagnostics.Contracts.Contract.Result<String>() != null); 214System.Diagnostics.Contracts.Contract.Ensures(System.Diagnostics.Contracts.Contract.Result<String>() != null);
System\Addin\Hosting\Utils.cs (1)
155System.Diagnostics.Contracts.Contract.Ensures(!Path.IsPathRooted(System.Diagnostics.Contracts.Contract.Result<String>()));
System\Addin\MiniReflection\MiniModule.cs (1)
71System.Diagnostics.Contracts.Contract.Ensures(System.Diagnostics.Contracts.Contract.Result<MiniAssembly>() != null);
System\Addin\MiniReflection\TypeInfo.cs (1)
267System.Diagnostics.Contracts.Contract.Ensures(System.Diagnostics.Contracts.Contract.Result<MiniAssembly>() != null);
System.Core (157)
Microsoft\Win32\SafeHandles\CapiSafeHandles.cs (3)
293Contract.Ensures(Contract.Result<SafeCapiKeyHandle>() != null && !Contract.Result<SafeCapiKeyHandle>().IsInvalid && !Contract.Result<SafeCapiKeyHandle>().IsClosed);
Microsoft\Win32\SafeHandles\NCryptSafeHandles.cs (6)
220Contract.Ensures(Contract.Result<T>() != null); 222Contract.Ensures(Contract.Result<T>().m_ownershipState == OwnershipState.Duplicate); 250Contract.Ensures(Contract.Result<T>() != null && 251Contract.Result<T>().m_ownershipState == OwnershipState.Duplicate); 286Contract.Ensures(Contract.Result<T>() != null && 287Contract.Result<T>().m_ownershipState == OwnershipState.Duplicate);
System\Security\Cryptography\AesCryptoServiceProvider.cs (12)
77Contract.Ensures(Contract.Result<byte[]>() != null && 78Contract.Result<byte[]>().Length == KeySizeValue / 8); 145Contract.Ensures(Contract.Result<ICryptoTransform>() != null); 159Contract.Ensures(Contract.Result<ICryptoTransform>() != null); 188Contract.Ensures(Contract.Result<ICryptoTransform>() != null); 206Contract.Ensures(Contract.Result<ICryptoTransform>() != null); 225Contract.Ensures(Contract.Result<ICryptoTransform>() != null); 254Contract.Ensures(Contract.Result<ICryptoTransform>() != null); 301Contract.Ensures(Contract.Result<KeySizes[]>() != null); 305Contract.Ensures(Contract.Result<KeySizes[]>().Length == 0 || 420((((int)Contract.Result<CapiNative.AlgorithmId>()) & (int)CapiNative.AlgorithmClass.DataEncryption) == (int)CapiNative.AlgorithmClass.DataEncryption) || 421Contract.Result<CapiNative.AlgorithmId>() == CapiNative.AlgorithmId.None);
System\Security\Cryptography\BCryptHashAlgorithm.cs (1)
214Contract.Ensures(Contract.Result<byte[]>() != null);
System\Security\Cryptography\BCryptNative.cs (4)
495Contract.Ensures(Contract.Result<byte[]>() != null); 581Contract.Ensures(Contract.Result<SafeBCryptAlgorithmHandle>() != null && 582!Contract.Result<SafeBCryptAlgorithmHandle>().IsInvalid && 583!Contract.Result<SafeBCryptAlgorithmHandle>().IsClosed);
System\Security\Cryptography\CapiHashAlgorithm.cs (1)
139Contract.Ensures(Contract.Result<byte[]>() != null);
System\Security\Cryptography\CapiNative.cs (10)
511Contract.Ensures(Contract.Result<SafeCspHandle>() != null && 512!Contract.Result<SafeCspHandle>().IsInvalid && 513!Contract.Result<SafeCspHandle>().IsClosed); 543Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length > 0); 598Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>())); 610Contract.Ensures(Contract.Result<byte[]>() != null); 721Contract.Ensures(Contract.Result<SafeCapiKeyHandle>() != null && 722!Contract.Result<SafeCapiKeyHandle>().IsInvalid && 723!Contract.Result<SafeCapiKeyHandle>().IsClosed);
System\Security\Cryptography\CapiSymmetricAlgorithm.cs (14)
114Contract.Ensures(Contract.Result<int>() >= 0); 169Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length <= block.Length); 247Contract.Ensures(Contract.Result<int>() >= 0); 282Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length % InputBlockSize == 0); 366(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length == blockSize / 8)); 397Contract.Ensures(Contract.Result<int>() >= 0); 475Contract.Ensures(Contract.Result<int>() >= 0); 515Contract.Ensures(Contract.Result<byte[]>() != null); 584Contract.Ensures(Contract.Result<SafeCapiKeyHandle>() != null && 585!Contract.Result<SafeCapiKeyHandle>().IsInvalid && 586!Contract.Result<SafeCapiKeyHandle>().IsClosed);
System\Security\Cryptography\CngAlgorithm.cs (15)
55Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>())); 107Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 117Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 129Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 141Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 153Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 165Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 177Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 189Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 201Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 213Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 225Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 237Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 249Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 261Contract.Ensures(Contract.Result<CngAlgorithm>() != null);
System\Security\Cryptography\CngAlgorithmGroup.cs (6)
47Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>())); 101Contract.Ensures(Contract.Result<CngAlgorithmGroup>() != null); 113Contract.Ensures(Contract.Result<CngAlgorithmGroup>() != null); 126Contract.Ensures(Contract.Result<CngAlgorithmGroup>() != null); 139Contract.Ensures(Contract.Result<CngAlgorithmGroup>() != null); 151Contract.Ensures(Contract.Result<CngAlgorithmGroup>() != null);
System\Security\Cryptography\CngKey.cs (12)
330Contract.Ensures(Contract.Result<CngUIPolicy>() != null); 360Contract.Ensures(Contract.Result<KeyContainerPermission>() != null || IsEphemeral); 399Contract.Ensures(Contract.Result<CngKey>() != null); 404Contract.Ensures(Contract.Result<CngKey>() != null); 410Contract.Ensures(Contract.Result<CngKey>() != null); 552Contract.Ensures(Contract.Result<CngKey>() != null); 557Contract.Ensures(Contract.Result<CngKey>() != null); 562Contract.Ensures(Contract.Result<CngKey>() != null); 569Contract.Ensures(Contract.Result<CngKey>() != null); 679Contract.Ensures(Contract.Result<CngKey>() != null); 684Contract.Ensures(Contract.Result<CngKey>() != null); 690Contract.Ensures(Contract.Result<CngKey>() != null);
System\Security\Cryptography\CngKeyBlobFormat.cs (9)
50Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>())); 102Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null); 114Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null); 126Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null); 138Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null); 150Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null); 162Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null); 174Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null); 186Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null);
System\Security\Cryptography\CngKeyCreationParameters.cs (3)
70Contract.Ensures(Contract.Result<CngPropertyCollection>() != null); 80Contract.Ensures(Contract.Result<CngPropertyCollection>() != null); 90Contract.Ensures(Contract.Result<CngProvider>() != null);
System\Security\Cryptography\CngProperty.cs (1)
45Contract.Ensures(Contract.Result<string>() != null);
System\Security\Cryptography\CngProvider.cs (3)
44Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>())); 98Contract.Ensures(Contract.Result<CngProvider>() != null); 110Contract.Ensures(Contract.Result<CngProvider>() != null);
System\Security\Cryptography\ECDiffieHellmanCng.cs (12)
123Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 152Contract.Ensures(Contract.Result<ECDiffieHellmanKeyDerivationFunction>() >= ECDiffieHellmanKeyDerivationFunction.Hash && 153Contract.Result<ECDiffieHellmanKeyDerivationFunction>() <= ECDiffieHellmanKeyDerivationFunction.Tls); 211Contract.Ensures(Contract.Result<CngKey>() != null); 212Contract.Ensures(Contract.Result<CngKey>().AlgorithmGroup == CngAlgorithmGroup.ECDiffieHellman); 298Contract.Ensures(Contract.Result<ECDiffieHellmanPublicKey>() != null); 314Contract.Ensures(Contract.Result<byte[]>() != null); 338Contract.Ensures(Contract.Result<byte[]>() != null); 418Contract.Ensures(Contract.Result<byte[]>() != null); 444Contract.Ensures(Contract.Result<byte[]>() != null); 470Contract.Ensures(Contract.Result<byte[]>() != null); 603Contract.Ensures(Contract.Result<string>() != null);
System\Security\Cryptography\ECDiffieHellmanCngPublicKey.cs (4)
42Contract.Ensures(Contract.Result<CngKeyBlobFormat>() != null); 80Contract.Ensures(Contract.Result<ECDiffieHellmanCngPublicKey>() != null); 118Contract.Ensures(Contract.Result<CngKey>() != null); 131Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>()));
System\Security\Cryptography\ECDsaCng.cs (7)
104Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 124Contract.Ensures(Contract.Result<CngKey>() != null); 125Contract.Ensures(IsEccAlgorithmGroup(Contract.Result<CngKey>().AlgorithmGroup)); 258Contract.Ensures(Contract.Result<byte[]>() != null); 269Contract.Ensures(Contract.Result<byte[]>() != null); 291Contract.Ensures(Contract.Result<byte[]>() != null); 342Contract.Ensures(Contract.Result<string>() != null);
System\Security\Cryptography\NCryptNative.cs (31)
940Contract.Ensures(Contract.Result<byte[]>() != null); 981Contract.Ensures(Contract.Result<SafeNCryptKeyHandle>() != null && 982!Contract.Result<SafeNCryptKeyHandle>().IsInvalid && 983!Contract.Result<SafeNCryptKeyHandle>().IsClosed); 1030Contract.Ensures(Contract.Result<byte[]>() != null); 1110Contract.Ensures(Contract.Result<byte[]>() != null); 1162Contract.Ensures(Contract.Result<byte[]>() != null); 1185Contract.Ensures(Contract.Result<byte[]>() != null); 1206Contract.Ensures(Contract.Result<byte[]>() != null); 1240Contract.Ensures(Contract.Result<SafeNCryptSecretHandle>() != null && 1241!Contract.Result<SafeNCryptSecretHandle>().IsClosed && 1242!Contract.Result<SafeNCryptSecretHandle>().IsInvalid); 1264Contract.Ensures(Contract.Result<byte[]>() != null); 1306Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length >= keySize / 8); 1535Contract.Ensures(Contract.Result<SafeNCryptKeyHandle>() != null && 1536!Contract.Result<SafeNCryptKeyHandle>().IsInvalid && 1537!Contract.Result<SafeNCryptKeyHandle>().IsClosed); 1564Contract.Ensures(Contract.Result<SafeNCryptKeyHandle>() != null && 1565!Contract.Result<SafeNCryptKeyHandle>().IsInvalid && 1566!Contract.Result<SafeNCryptKeyHandle>().IsClosed); 1612Contract.Ensures(Contract.Result<SafeNCryptProviderHandle>() != null && 1613!Contract.Result<SafeNCryptProviderHandle>().IsInvalid && 1614!Contract.Result<SafeNCryptProviderHandle>().IsClosed); 1633Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length == buffer.Length); 1648Contract.Ensures(Contract.Result<byte[]>() != null); 1649Contract.Ensures(Contract.Result<byte[]>().Length == (padWithZeroByte ? count + 1 : count)); 1650Contract.Ensures(padWithZeroByte ? Contract.Result<byte[]>()[count] == 0 : true); 1773Contract.Ensures(Contract.Result<byte[]>() != null); 1818Contract.Ensures(Contract.Result<byte[]>() != null);
System\Security\Cryptography\Rfc4050KeyFormatter.cs (3)
65Contract.Ensures(Contract.Result<CngKey>() != null); 99Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 356Contract.Ensures(Contract.Result<String>() != null);
System.Drawing (13)
commonui\System\Drawing\Bitmap.cs (2)
629Contract.Ensures(Contract.Result<BitmapData>() != null); 644Contract.Ensures(Contract.Result<BitmapData>() != null);
commonui\System\Drawing\Graphics.cs (1)
235Contract.Ensures(Contract.Result<Graphics>() != null);
commonui\System\Drawing\SystemIcons.cs (10)
43Contract.Ensures(Contract.Result<Icon>() != null); 57Contract.Ensures(Contract.Result<Icon>() != null); 71Contract.Ensures(Contract.Result<Icon>() != null); 85Contract.Ensures(Contract.Result<Icon>() != null); 99Contract.Ensures(Contract.Result<Icon>() != null); 113Contract.Ensures(Contract.Result<Icon>() != null); 127Contract.Ensures(Contract.Result<Icon>() != null); 141Contract.Ensures(Contract.Result<Icon>() != null); 155Contract.Ensures(Contract.Result<Icon>() != null); 169Contract.Ensures(Contract.Result<Icon>() != null);
System.Xml (3)
System\Xml\XPath\XPathNavigator.cs (3)
1004Contract.Ensures(Contract.Result<XPathNodeIterator>() != null); 1010Contract.Ensures(Contract.Result<XPathNodeIterator>() != null); 1016Contract.Ensures(Contract.Result<XPathNodeIterator>() != null);