876 references to Ensures
mscorlib (654)
microsoft\win32\registrykey.cs (1)
2152Contract.Ensures(name != null);
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 (41)
43Contract.Ensures(Contract.Result<ReadOnlyCollection<T>>() != null); 53Contract.Ensures(Contract.ValueAtReturn(out array) != null); 54Contract.Ensures(Contract.ValueAtReturn(out array).Length == newSize); 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) || 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 (31)
108Contract.Ensures(Contract.Result<int>() >= Count); 115Contract.Ensures(Capacity >= 0); 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); 584Contract.Ensures(Count >= 0); 597Contract.Ensures(Count >= 0); 618Contract.Ensures(Count >= 0); 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 (4)
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 (36)
112Contract.Ensures(Contract.Result<int>() >= 0); 139Contract.Ensures(Contract.Result<int>() >= 0); 246Contract.Ensures(Count >= Contract.OldValue(Count)); 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 (30)
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 (22)
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 (3)
547/// This method can only be used within the argument to the <seealso cref="Ensures(bool)"/> contract. 563/// This method can only be used within the argument to the <seealso cref="Ensures(bool)"/> contract. 579/// This method can only be used within the argument to the <seealso cref="Ensures(bool)"/> contract.
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\memorystream.cs (3)
292Contract.Ensures(_capacity - _origin == value); 328Contract.Ensures(Position == value); 531Contract.Ensures(_length - _origin == value);
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\ConstructorInfo.cs (1)
273Contract.Ensures(methodAttributes == RuntimeMethodHandle.GetAttributes(handle));
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\methodinfo.cs (2)
255Contract.Ensures(!m_handle.IsNull()); 819Contract.Ensures(m_returnParameter != null);
system\reflection\parameterinfo.cs (2)
101Contract.Ensures(Contract.Result<MemberInfo>() != null); 218Contract.Ensures(Contract.Result<Object>() != null);
system\runtime\designerservices\windowsruntimedesignercontext.cs (2)
145Contract.Ensures(Contract.Result<Assembly>() != null); 146Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly);
system\runtime\interopservices\typelibconverter.cs (1)
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 (57)
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\ManualResetEventSlim.cs (1)
259Contract.Ensures(m_lock != 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 (8)
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); 1421Contract.Ensures(Contract.ValueAtReturn<String[]>(out enumNames) != null); 1422Contract.Ensures(Contract.ValueAtReturn<Array>(out enumValues) != 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 (12)
net\System\Net\_ChunkParser.cs (5)
703Contract.Ensures((Contract.Result<DataParseStatus>() != DataParseStatus.Done) || 724Contract.Ensures((Contract.Result<DataParseStatus>() == DataParseStatus.ContinueParsing) || 755Contract.Ensures((Contract.Result<DataParseStatus>() != DataParseStatus.Done) || 826Contract.Ensures((Contract.Result<DataParseStatus>() != DataParseStatus.Done) || 879Contract.Ensures((Contract.Result<DataParseStatus>() != DataParseStatus.Done) ||
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 (1)
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 (187)
Microsoft\Win32\SafeHandles\CapiSafeHandles.cs (1)
293Contract.Ensures(Contract.Result<SafeCapiKeyHandle>() != null && !Contract.Result<SafeCapiKeyHandle>().IsInvalid && !Contract.Result<SafeCapiKeyHandle>().IsClosed);
Microsoft\Win32\SafeHandles\NCryptSafeHandles.cs (10)
128Contract.Ensures(m_holder.m_ownershipState == OwnershipState.Holder); 129Contract.Ensures(m_ownershipState == OwnershipState.Duplicate); 220Contract.Ensures(Contract.Result<T>() != null); 221Contract.Ensures(m_ownershipState == OwnershipState.Duplicate); 222Contract.Ensures(Contract.Result<T>().m_ownershipState == OwnershipState.Duplicate); 249Contract.Ensures(m_ownershipState == OwnershipState.Duplicate); 250Contract.Ensures(Contract.Result<T>() != null && 285Contract.Ensures(m_ownershipState == OwnershipState.Duplicate); 286Contract.Ensures(Contract.Result<T>() != null && 420Contract.Ensures(!IsInvalid);
System\Security\Cryptography\AesCryptoServiceProvider.cs (17)
38Contract.Ensures(m_cspHandle != null && !m_cspHandle.IsInvalid && !m_cspHandle.IsClosed); 76Contract.Ensures(m_key != null && !m_key.IsInvalid && !m_key.IsClosed); 77Contract.Ensures(Contract.Result<byte[]>() != null && 93Contract.Ensures(m_key != null && !m_key.IsInvalid && !m_key.IsClosed); 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); 271Contract.Ensures(!disposing || m_key == null || m_key.IsClosed); 272Contract.Ensures(!disposing || m_cspHandle == null || m_cspHandle.IsClosed); 301Contract.Ensures(Contract.Result<KeySizes[]>() != null); 305Contract.Ensures(Contract.Result<KeySizes[]>().Length == 0 || 369Contract.Ensures(m_key != null && !m_key.IsInvalid & !m_key.IsClosed); 402Contract.Ensures(IVValue != null && IVValue.Length == BlockSizeValue / 8); 419Contract.Ensures(
System\Security\Cryptography\AesManaged.cs (2)
23Contract.Ensures(m_impl != null); 67Contract.Ensures(m_impl.Mode != CipherMode.CFB && m_impl.Mode != CipherMode.OFB);
System\Security\Cryptography\BCryptHashAlgorithm.cs (6)
70Contract.Ensures(m_algorithmHandle != null && !m_algorithmHandle.IsInvalid && !m_algorithmHandle.IsClosed); 71Contract.Ensures(m_hashHandle != null && !m_hashHandle.IsInvalid && !m_hashHandle.IsClosed); 93Contract.Ensures(m_hashHandle == null || m_hashHandle.IsClosed); 94Contract.Ensures(m_algorithmHandle == null || m_algorithmHandle.IsClosed); 114Contract.Ensures(m_hashHandle != null && !m_hashHandle.IsInvalid && !m_hashHandle.IsClosed); 214Contract.Ensures(Contract.Result<byte[]>() != null);
System\Security\Cryptography\BCryptNative.cs (2)
495Contract.Ensures(Contract.Result<byte[]>() != null); 581Contract.Ensures(Contract.Result<SafeBCryptAlgorithmHandle>() != null &&
System\Security\Cryptography\CapiHashAlgorithm.cs (6)
34Contract.Ensures(m_cspHandle != null && !m_cspHandle.IsInvalid && !m_cspHandle.IsClosed); 35Contract.Ensures(m_hashHandle != null && !m_hashHandle.IsInvalid && !m_hashHandle.IsClosed); 48Contract.Ensures(m_hashHandle == null || m_hashHandle.IsClosed); 49Contract.Ensures(m_cspHandle == null || m_cspHandle.IsClosed); 66Contract.Ensures(m_hashHandle != null && !m_hashHandle.IsInvalid && !m_hashHandle.IsClosed); 139Contract.Ensures(Contract.Result<byte[]>() != null);
System\Security\Cryptography\CapiNative.cs (5)
511Contract.Ensures(Contract.Result<SafeCspHandle>() != null && 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 &&
System\Security\Cryptography\CapiSymmetricAlgorithm.cs (14)
54Contract.Ensures(m_provider != null && !m_provider.IsInvalid && !m_provider.IsClosed); 86Contract.Ensures(m_key == null || m_key.IsClosed); 87Contract.Ensures(m_provider == null || m_provider.IsClosed); 88Contract.Ensures(m_depadBuffer == null); 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); 365Contract.Ensures(cipherMode == CipherMode.ECB || 397Contract.Ensures(Contract.Result<int>() >= 0); 428Contract.Ensures(m_depadBuffer == null); 475Contract.Ensures(Contract.Result<int>() >= 0); 515Contract.Ensures(Contract.Result<byte[]>() != null); 584Contract.Ensures(Contract.Result<SafeCapiKeyHandle>() != null &&
System\Security\Cryptography\CngAlgorithm.cs (16)
38Contract.Ensures(!String.IsNullOrEmpty(m_algorithm)); 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 (7)
30Contract.Ensures(!String.IsNullOrEmpty(m_algorithmGroup)); 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 (14)
41Contract.Ensures(m_keyHandle != null && !m_keyHandle.IsInvalid && !m_keyHandle.IsClosed); 42Contract.Ensures(kspHandle != null && !kspHandle.IsInvalid && !kspHandle.IsClosed); 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 (10)
33Contract.Ensures(!String.IsNullOrEmpty(m_format)); 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 (4)
27Contract.Ensures(!String.IsNullOrEmpty(m_provider)); 44Contract.Ensures(!String.IsNullOrEmpty(Contract.Result<string>())); 98Contract.Ensures(Contract.Result<CngProvider>() != null); 110Contract.Ensures(Contract.Result<CngProvider>() != null);
System\Security\Cryptography\ECDiffieHellmanCng.cs (19)
49Contract.Ensures(LegalKeySizesValue != null); 53Contract.Ensures(LegalKeySizesValue != null); 70Contract.Ensures(LegalKeySizesValue != null); 71Contract.Ensures(m_key != null && m_key.AlgorithmGroup == CngAlgorithmGroup.ECDiffieHellman); 123Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 128Contract.Ensures(m_hashAlgorithm != null); 152Contract.Ensures(Contract.Result<ECDiffieHellmanKeyDerivationFunction>() >= ECDiffieHellmanKeyDerivationFunction.Hash && 159Contract.Ensures(m_kdf >= ECDiffieHellmanKeyDerivationFunction.Hash && 211Contract.Ensures(Contract.Result<CngKey>() != null); 212Contract.Ensures(Contract.Result<CngKey>().AlgorithmGroup == CngAlgorithmGroup.ECDiffieHellman); 213Contract.Ensures(m_key != null && m_key.AlgorithmGroup == CngAlgorithmGroup.ECDiffieHellman); 256Contract.Ensures(m_key != null && m_key.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 (5)
30Contract.Ensures(m_format != null); 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\ECDiffieHellmanPublicKey.cs (1)
25Contract.Ensures(m_keyBlob != null);
System\Security\Cryptography\ECDsaCng.cs (14)
31Contract.Ensures(LegalKeySizesValue != null); 35Contract.Ensures(LegalKeySizesValue != null); 52Contract.Ensures(LegalKeySizesValue != null); 53Contract.Ensures(m_key != null && IsEccAlgorithmGroup(m_key.AlgorithmGroup)); 104Contract.Ensures(Contract.Result<CngAlgorithm>() != null); 109Contract.Ensures(m_hashAlgorithm != null); 124Contract.Ensures(Contract.Result<CngKey>() != null); 125Contract.Ensures(IsEccAlgorithmGroup(Contract.Result<CngKey>().AlgorithmGroup)); 126Contract.Ensures(m_key != null && IsEccAlgorithmGroup(m_key.AlgorithmGroup)); 169Contract.Ensures(m_key != null && IsEccAlgorithmGroup(m_key.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\MD5Cng.cs (1)
19Contract.Ensures(m_hashAlgorithm != null);
System\Security\Cryptography\NCryptNative.cs (19)
940Contract.Ensures(Contract.Result<byte[]>() != null); 981Contract.Ensures(Contract.Result<SafeNCryptKeyHandle>() != null && 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 && 1264Contract.Ensures(Contract.Result<byte[]>() != null); 1306Contract.Ensures(Contract.Result<byte[]>() != null && Contract.Result<byte[]>().Length >= keySize / 8); 1535Contract.Ensures(Contract.Result<SafeNCryptKeyHandle>() != null && 1564Contract.Ensures(Contract.Result<SafeNCryptKeyHandle>() != null && 1612Contract.Ensures(Contract.Result<SafeNCryptProviderHandle>() != null && 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\Security\Cryptography\SHA1Cng.cs (1)
20Contract.Ensures(m_hashAlgorithm != null);
System\Security\Cryptography\SHA256Cng.cs (1)
19Contract.Ensures(m_hashAlgorithm != null);
System\Security\Cryptography\SHA256CryptoServiceProvider.cs (1)
19Contract.Ensures(m_hashAlgorithm != null);
System\Security\Cryptography\SHA384Cng.cs (1)
19Contract.Ensures(m_hashAlgorithm != null);
System\Security\Cryptography\SHA384CryptoServiceProvider.cs (1)
19Contract.Ensures(m_hashAlgorithm != null);
System\Security\Cryptography\SHA512Cng.cs (1)
19Contract.Ensures(m_hashAlgorithm != null);
System\Security\Cryptography\SHA512CryptoServiceProvider.cs (1)
19Contract.Ensures(m_hashAlgorithm != 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.Numerics (1)
System\Numerics\NumericsHelpers.cs (1)
29Contract.Ensures(Contract.ValueAtReturn(out sign) == +1 || Contract.ValueAtReturn(out sign) == -1);
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);