917 references to Requires
mscorlib (549)
microsoft\win32\oavariantlib.cs (1)
104Contract.Requires(ctype != null);
microsoft\win32\registrykey.cs (1)
1732Contract.Requires(path != null);
system\appdomain.cs (7)
1036Contract.Requires(providedSecurityInfo != null); 1054Contract.Requires(activationContext != null); 1157Contract.Requires(args != null); 1175Contract.Requires(args != null); 3517Contract.Requires(info != null); 3729Contract.Requires(arg != null && arg is Object[]); 3730Contract.Requires(((Object[])arg).Length >= 8);
system\array.cs (1)
614Contract.Requires(low <= hi);
system\arraysegment.cs (4)
294Contract.Requires(arraySegment.Array != null); 295Contract.Requires(arraySegment.Offset >= 0); 296Contract.Requires(arraySegment.Count >= 0); 297Contract.Requires(arraySegment.Offset + arraySegment.Count <= arraySegment.Array.Length);
system\attribute.cs (13)
30Contract.Requires(element != null); 31Contract.Requires(type != null); 32Contract.Requires(type.IsSubclassOf(typeof(Attribute)) || type == typeof(Attribute)); 95Contract.Requires(property != null); 138Contract.Requires(element != null); 139Contract.Requires(type != null); 140Contract.Requires(type.IsSubclassOf(typeof(Attribute)) || type == typeof(Attribute)); 169Contract.Requires(ev != null); 187Contract.Requires(element != null); 218Contract.Requires(param != null); 239Contract.Requires(param != null); 329Contract.Requires(param != null); 330Contract.Requires(type != null);
system\charenumerator.cs (1)
30Contract.Requires(str != null);
system\collections\generic\arraysorthelper.cs (126)
295Contract.Requires(keys != null); 296Contract.Requires(comparer != null); 297Contract.Requires(left >= 0); 298Contract.Requires(length >= 0); 299Contract.Requires(length <= keys.Length); 300Contract.Requires(length + left <= keys.Length); 310Contract.Requires(keys != null); 311Contract.Requires(comparer != null); 312Contract.Requires(lo >= 0); 313Contract.Requires(hi < keys.Length); 357Contract.Requires(keys != null); 358Contract.Requires(comparer != null); 359Contract.Requires(lo >= 0); 360Contract.Requires(hi > lo); 361Contract.Requires(hi < keys.Length); 394Contract.Requires(keys != null); 395Contract.Requires(comparer != null); 396Contract.Requires(lo >= 0); 397Contract.Requires(hi > lo); 398Contract.Requires(hi < keys.Length); 414Contract.Requires(keys != null); 415Contract.Requires(comparer != null); 416Contract.Requires(lo >= 0); 417Contract.Requires(lo < keys.Length); 438Contract.Requires(keys != null); 439Contract.Requires(lo >= 0); 440Contract.Requires(hi >= lo); 441Contract.Requires(hi <= keys.Length); 597Contract.Requires(keys != null); 598Contract.Requires(0 <= a && a < keys.Length); 599Contract.Requires(0 <= b && b < keys.Length); 624Contract.Requires(keys != null); 625Contract.Requires(0 <= left && left < keys.Length); 626Contract.Requires(0 <= right && right < keys.Length); 696Contract.Requires(keys != null); 697Contract.Requires(left >= 0); 698Contract.Requires(length >= 0); 699Contract.Requires(length <= keys.Length); 700Contract.Requires(length + left <= keys.Length); 710Contract.Requires(keys != null); 711Contract.Requires(lo >= 0); 712Contract.Requires(hi < keys.Length); 756Contract.Requires(keys != null); 757Contract.Requires(lo >= 0); 758Contract.Requires(hi > lo); 759Contract.Requires(hi < keys.Length); 800Contract.Requires(keys != null); 801Contract.Requires(lo >= 0); 802Contract.Requires(hi > lo); 803Contract.Requires(hi < keys.Length); 819Contract.Requires(keys != null); 820Contract.Requires(lo >= 0); 821Contract.Requires(lo < keys.Length); 842Contract.Requires(keys != null); 843Contract.Requires(lo >= 0); 844Contract.Requires(hi >= lo); 845Contract.Requires(hi <= keys.Length); 947Contract.Requires(keys != null); 948Contract.Requires(values == null || values.Length >= keys.Length); 949Contract.Requires(comparer != null); 950Contract.Requires(0 <= a && a < keys.Length); 951Contract.Requires(0 <= b && b < keys.Length); 1050Contract.Requires(keys != null); 1051Contract.Requires(values != null); 1052Contract.Requires(comparer != null); 1053Contract.Requires(left >= 0); 1054Contract.Requires(length >= 0); 1055Contract.Requires(length <= keys.Length); 1056Contract.Requires(length + left <= keys.Length); 1057Contract.Requires(length + left <= values.Length); 1067Contract.Requires(keys != null); 1068Contract.Requires(values != null); 1069Contract.Requires(comparer != null); 1070Contract.Requires(lo >= 0); 1071Contract.Requires(hi < keys.Length); 1115Contract.Requires(keys != null); 1116Contract.Requires(values != null); 1117Contract.Requires(comparer != null); 1118Contract.Requires(lo >= 0); 1119Contract.Requires(hi > lo); 1120Contract.Requires(hi < keys.Length); 1153Contract.Requires(keys != null); 1154Contract.Requires(values != null); 1155Contract.Requires(comparer != null); 1156Contract.Requires(lo >= 0); 1157Contract.Requires(hi > lo); 1158Contract.Requires(hi < keys.Length); 1174Contract.Requires(keys != null); 1175Contract.Requires(comparer != null); 1176Contract.Requires(lo >= 0); 1177Contract.Requires(lo < keys.Length); 1203Contract.Requires(keys != null); 1204Contract.Requires(values != null); 1205Contract.Requires(comparer != null); 1206Contract.Requires(lo >= 0); 1207Contract.Requires(hi >= lo); 1208Contract.Requires(hi <= keys.Length); 1407Contract.Requires(keys != null); 1408Contract.Requires(values != null); 1409Contract.Requires(left >= 0); 1410Contract.Requires(length >= 0); 1411Contract.Requires(length <= keys.Length); 1412Contract.Requires(length + left <= keys.Length); 1413Contract.Requires(length + left <= values.Length); 1423Contract.Requires(keys != null); 1424Contract.Requires(values != null); 1425Contract.Requires(lo >= 0); 1426Contract.Requires(hi < keys.Length); 1470Contract.Requires(keys != null); 1471Contract.Requires(values != null); 1472Contract.Requires(lo >= 0); 1473Contract.Requires(hi > lo); 1474Contract.Requires(hi < keys.Length); 1515Contract.Requires(keys != null); 1516Contract.Requires(values != null); 1517Contract.Requires(lo >= 0); 1518Contract.Requires(hi > lo); 1519Contract.Requires(hi < keys.Length); 1535Contract.Requires(keys != null); 1536Contract.Requires(lo >= 0); 1537Contract.Requires(lo < keys.Length); 1563Contract.Requires(keys != null); 1564Contract.Requires(values != null); 1565Contract.Requires(lo >= 0); 1566Contract.Requires(hi >= lo); 1567Contract.Requires(hi <= keys.Length);
system\collections\hashtable.cs (6)
559Contract.Requires(array != null); 560Contract.Requires(array.Rank == 1); 575Contract.Requires(array != null); 576Contract.Requires(array.Rank == 1); 628Contract.Requires(array != null); 629Contract.Requires(array.Rank == 1);
system\diagnostics\contracts\contractsbcl.cs (1)
164Contract.Requires(originalException == null || failureKind == ContractFailureKind.PostconditionOnException);
system\enum.cs (4)
136Contract.Requires(eT != null); 137Contract.Requires(value != null); 156Contract.Requires(eT != null); 157Contract.Requires(value != null);
system\globalization\culturedata.cs (3)
2820Contract.Requires(str != null); 2821Contract.Requires(start >= 0); 2822Contract.Requires(end >= 0);
system\globalization\datetimeformat.cs (2)
914Contract.Requires(dtfi != null); 1069Contract.Requires(dtfi != null);
system\globalization\datetimeformatinfo.cs (6)
348Contract.Requires(cultureData != null); 349Contract.Requires(cal != null); 366Contract.Requires(cultureData != null); 1380Contract.Requires(values.Length >= length); 1660Contract.Requires(patterns1 != null); 1661Contract.Requires(patterns2 != null);
system\io\binaryreader.cs (2)
326Contract.Requires(buffer != null); 327Contract.Requires(index >= 0 && count >= 0);
system\io\bufferedstream.cs (3)
134Contract.Requires(_stream != null); 143Contract.Requires(_stream != null); 152Contract.Requires(_stream != null);
system\io\directory.cs (36)
107Contract.Requires(path != null); 108Contract.Requires(path.Length != 0); 644Contract.Requires(path != null); 645Contract.Requires(searchPattern != null); 646Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 656Contract.Requires(path != null); 657Contract.Requires(searchPattern != null); 658Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 716Contract.Requires(path != null); 717Contract.Requires(searchPattern != null); 718Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 729Contract.Requires(path != null); 730Contract.Requires(searchPattern != null); 731Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 788Contract.Requires(path != null); 789Contract.Requires(searchPattern != null); 790Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 802Contract.Requires(fullPath != null && fullPath.Length > 0); 803Contract.Requires(userPath != null && userPath.Length > 0); 804Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 826Contract.Requires(path != null); 827Contract.Requires(userPathOriginal != null); 828Contract.Requires(searchPattern != null); 829Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 881Contract.Requires(path != null); 882Contract.Requires(searchPattern != null); 883Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 934Contract.Requires(path != null); 935Contract.Requires(searchPattern != null); 936Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 988Contract.Requires(path != null); 989Contract.Requires(searchPattern != null); 990Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 999Contract.Requires(path != null); 1000Contract.Requires(searchPattern != null); 1001Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly);
system\io\directoryinfo.cs (13)
239Contract.Requires(path != null); 362Contract.Requires(searchPattern != null); 363Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 420Contract.Requires(searchPattern != null); 421Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 474Contract.Requires(searchPattern != null); 475Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 517Contract.Requires(searchPattern != null); 518Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 558Contract.Requires(searchPattern != null); 559Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 599Contract.Requires(searchPattern != null); 600Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly);
system\io\file.cs (23)
148Contract.Requires(sourceFileName != null); 149Contract.Requires(destFileName != null); 150Contract.Requires(sourceFileName.Length > 0); 151Contract.Requires(destFileName.Length > 0); 829Contract.Requires(path != null); 830Contract.Requires(encoding != null); 831Contract.Requires(path.Length > 0); 886Contract.Requires(path != null); 887Contract.Requires(encoding != null); 888Contract.Requires(path.Length > 0); 974Contract.Requires(path != null); 975Contract.Requires(path.Length != 0); 976Contract.Requires(bytes != null); 1017Contract.Requires(path != null); 1018Contract.Requires(encoding != null); 1019Contract.Requires(path.Length != 0); 1127Contract.Requires(writer != null); 1128Contract.Requires(contents != null); 1171Contract.Requires(path != null); 1172Contract.Requires(encoding != null); 1173Contract.Requires(path.Length > 0); 1303Contract.Requires(sourceFileName != null); 1304Contract.Requires(destinationFileName != null);
system\io\filesystemenumerable.cs (24)
43Contract.Requires(path != null); 44Contract.Requires(originalUserPath != null); 45Contract.Requires(searchPattern != null); 53Contract.Requires(path != null); 54Contract.Requires(originalUserPath != null); 55Contract.Requires(searchPattern != null); 64Contract.Requires(path != null); 65Contract.Requires(originalUserPath != null); 66Contract.Requires(searchPattern != null); 74Contract.Requires(path != null); 75Contract.Requires(originalUserPath != null); 76Contract.Requires(searchPattern != null); 195Contract.Requires(path != null); 196Contract.Requires(originalUserPath != null); 197Contract.Requires(searchPattern != null); 198Contract.Requires(searchOption == SearchOption.AllDirectories || searchOption == SearchOption.TopDirectoryOnly); 199Contract.Requires(resultHandler != null); 525Contract.Requires(localSearchData != null); 597Contract.Requires(searchPattern != null); 614Contract.Requires(fullSearchString != null); 615Contract.Requires(fullPathMod != null); 616Contract.Requires(fullSearchString.Length >= fullPathMod.Length); 635Contract.Requires(fullPath != null); 636Contract.Requires(searchPattern != null);
system\io\isolatedstorage\isolatedstoragefile.cs (2)
1250Contract.Requires(searchPattern != null); 1600Contract.Requires(path != null);
system\io\longpath.cs (34)
43Contract.Requires(path != null); 52Contract.Requires(path != null); 58Contract.Requires(path1 != null); 59Contract.Requires(path2 != null); 60Contract.Requires(path2.Length != 0); 61Contract.Requires(!IsPathRooted(path2)); 94Contract.Requires(path != null); 167Contract.Requires(path != null); 192Contract.Requires(sourceFileName != null); 193Contract.Requires(destFileName != null); 194Contract.Requires(sourceFileName.Length > 0); 195Contract.Requires(destFileName.Length > 0); 209Contract.Requires(fullSourceFileName != null); 210Contract.Requires(fullDestFileName != null); 211Contract.Requires(fullSourceFileName.Length > 0); 212Contract.Requires(fullDestFileName.Length > 0); 256Contract.Requires(path != null); 316Contract.Requires(path != null); 326Contract.Requires(path != null); 347Contract.Requires(path != null); 367Contract.Requires(path != null); 394Contract.Requires(sourceFileName != null); 395Contract.Requires(destFileName != null); 396Contract.Requires(sourceFileName.Length > 0); 397Contract.Requires(destFileName.Length > 0); 420Contract.Requires(path != null); 449Contract.Requires(path != null); 450Contract.Requires(path.Length > 0); 623Contract.Requires(sourceDirName != null); 624Contract.Requires(destDirName != null); 625Contract.Requires(sourceDirName.Length != 0); 626Contract.Requires(destDirName.Length != 0); 936Contract.Requires(path != null); 945Contract.Requires(path != null);
system\io\pathhelper.cs (4)
65Contract.Requires(charArrayPtr != null); 67Contract.Requires(length == Path.MaxPath); 120Contract.Requires(index >= 0 && index < Length); 130Contract.Requires(index >= 0 && index < Length);
system\io\ReadLinesIterator.cs (4)
35Contract.Requires(path != null); 36Contract.Requires(path.Length > 0); 37Contract.Requires(encoding != null); 38Contract.Requires(reader != null);
system\io\stream.cs (12)
164Contract.Requires(destination != null); 165Contract.Requires(bufferSize > 0); 166Contract.Requires(CanRead); 167Contract.Requires(destination.CanWrite); 220Contract.Requires(destination != null); 221Contract.Requires(CanRead); 222Contract.Requires(destination.CanWrite); 223Contract.Requires(bufferSize > 0); 537Contract.Requires(readWriteTask != null); 636Contract.Requires(function != null); 637Contract.Requires(stream != null); 638Contract.Requires(buffer != null);
system\io\streamwriter.cs (5)
546Contract.Requires(value != null); 635Contract.Requires(count == 0 || (count > 0 && buffer != null)); 636Contract.Requires(index >= 0); 637Contract.Requires(count >= 0); 638Contract.Requires(buffer == null || (buffer != null && buffer.Length - index >= count));
system\io\textreader.cs (8)
234Contract.Requires(buffer != null); 235Contract.Requires(index >= 0); 236Contract.Requires(count >= 0); 237Contract.Requires(buffer.Length - index >= count); 262Contract.Requires(buffer != null); 263Contract.Requires(index >= 0); 264Contract.Requires(count >= 0); 265Contract.Requires(buffer.Length - index >= count);
system\object.cs (6)
131Contract.Requires(typeName != null); 132Contract.Requires(fieldName != null); 166Contract.Requires(typeName != null); 167Contract.Requires(fieldName != null); 180Contract.Requires(typeName != null); 181Contract.Requires(fieldName != null);
system\reflection\customattribute.cs (44)
1189Contract.Requires(type != null); 1219Contract.Requires(method != null); 1220Contract.Requires(caType != null); 1247Contract.Requires(ctor != null); 1248Contract.Requires(caType != null); 1259Contract.Requires(property != null); 1260Contract.Requires(caType != null); 1271Contract.Requires(e != null); 1272Contract.Requires(caType != null); 1283Contract.Requires(field != null); 1284Contract.Requires(caType != null); 1295Contract.Requires(parameter != null); 1296Contract.Requires(caType != null); 1307Contract.Requires(assembly != null); 1308Contract.Requires(caType != null); 1319Contract.Requires(module != null); 1320Contract.Requires(caType != null); 1331Contract.Requires(type != null); 1332Contract.Requires(caType != null); 1414Contract.Requires(method is RuntimeMethodInfo || method is RuntimeConstructorInfo); 1435Contract.Requires(method != null); 1436Contract.Requires(caType != null); 1480Contract.Requires(ctor != null); 1481Contract.Requires(caType != null); 1493Contract.Requires(property != null); 1494Contract.Requires(caType != null); 1512Contract.Requires(e != null); 1513Contract.Requires(caType != null); 1530Contract.Requires(field != null); 1531Contract.Requires(caType != null); 1543Contract.Requires(parameter != null); 1544Contract.Requires(caType != null); 1556Contract.Requires(assembly != null); 1557Contract.Requires(caType != null); 1571Contract.Requires(module != null); 1572Contract.Requires(caType != null); 2182Contract.Requires(type != null); 2183Contract.Requires(caType != null); 2255Contract.Requires(method != null); 2256Contract.Requires(caType != null); 2320Contract.Requires(parameter != null); 2321Contract.Requires(caType != null); 2437Contract.Requires(field != null); 2438Contract.Requires(caType != null);
system\reflection\emit\assemblybuilder.cs (1)
231Contract.Requires(module != null);
system\reflection\emit\ilgenerator.cs (4)
35Contract.Requires(incoming != null); 124Contract.Requires(methodBuilder != null); 125Contract.Requires(methodBuilder is MethodBuilder || methodBuilder is DynamicMethod); 1604Contract.Requires(exc != null);
system\reflection\emit\signaturehelper.cs (2)
310Contract.Requires(clsArgument != null); 311Contract.Requires((optionalCustomModifiers == null && requiredCustomModifiers == null) || !clsArgument.ContainsGenericParameters);
system\reflection\emit\typebuilder.cs (2)
577Contract.Requires(declMeth != null); 587Contract.Requires(declType != null);
system\reflection\eventinfo.cs (2)
254Contract.Requires(declaredType != null); 255Contract.Requires(reflectedTypeCache != null);
system\reflection\mdimport.cs (1)
277Contract.Requires(0 <= index && index < Length);
system\reflection\parameterinfo.cs (1)
476Contract.Requires(member != null);
system\reflection\propertyinfo.cs (5)
215Contract.Requires(declaredType != null); 216Contract.Requires(reflectedTypeCache != null); 296Contract.Requires(Name.Equals(target.Name)); 297Contract.Requires(this != target); 298Contract.Requires(this.ReflectedType == target.ReflectedType);
system\resources\resourcewriter.cs (2)
600Contract.Requires(writer != null); 730Contract.Requires(store != null);
system\rttype.cs (11)
119Contract.Requires(index < Count); 929Contract.Requires(declaringType != null); 930Contract.Requires(ReflectedType != null); 982Contract.Requires(declaringType != null); 983Contract.Requires(ReflectedType != null); 1228Contract.Requires(ReflectedType != null); 1322Contract.Requires(ReflectedType != null); 2401Contract.Requires(memberInfo != null); 2402Contract.Requires(name == null || (bindingFlags & BindingFlags.IgnoreCase) == 0 || (name.ToLower(CultureInfo.InvariantCulture).Equals(name))); 2483Contract.Requires((object)type != null); 2518Contract.Requires(methodBase != null);
system\runtime\compilerservices\datetimeconstantattribute.cs (2)
31Contract.Requires(attr.Constructor.DeclaringType == typeof(DateTimeConstantAttribute)); 32Contract.Requires(attr.ConstructorArguments.Count == 1);
system\runtime\compilerservices\decimalconstantattribute.cs (1)
54Contract.Requires(attr.Constructor.DeclaringType == typeof(DecimalConstantAttribute));
system\runtime\interopservices\windowsruntime\clrikeyvaluepairimpl.cs (2)
42Contract.Requires(pair != null); 51Contract.Requires(wrapper != null);
system\runtime\interopservices\windowsruntime\clripropertyvalueimpl.cs (4)
514Contract.Requires(expectedBoxedType != null); 515Contract.Requires(Marshal.SizeOf(expectedBoxedType) == Marshal.SizeOf(typeof(T))); 535Contract.Requires(expectedArrayElementType != null); 536Contract.Requires(Marshal.SizeOf(expectedArrayElementType) == Marshal.SizeOf(typeof(T)));
system\runtime\interopservices\windowsruntime\clrireferenceimpl.cs (4)
86Contract.Requires(wrapper != null); 275Contract.Requires(wrapper != null); 370Contract.Requires(obj != null); 371Contract.Requires(obj.GetType().IsArray);
system\runtime\interopservices\windowsruntime\constantsplittablemap.cs (5)
243Contract.Requires(items != null); 244Contract.Requires(first >= 0); 245Contract.Requires(end >= 0); 246Contract.Requires(first < items.Length); 247Contract.Requires(end < items.Length);
system\runtime\interopservices\windowsruntime\enumeratortoiteratoradapter.cs (1)
83Contract.Requires(enumerator != null);
system\runtime\interopservices\windowsruntime\eventregistrationtokentable.cs (2)
80Contract.Requires(handler != null); 134Contract.Requires(handler != null);
system\runtime\interopservices\windowsruntime\icustompropertyprovider.cs (6)
53Contract.Requires(target != null); 54Contract.Requires(propertyName != null); 74Contract.Requires(target != null); 75Contract.Requires(propertyName != null); 85Contract.Requires(target != null); 86Contract.Requires(propertyName != null);
system\runtime\interopservices\windowsruntime\imapviewtoireadonlydictionaryadapter.cs (1)
116Contract.Requires(null != key);
system\runtime\interopservices\windowsruntime\iteratortoenumeratoradapter.cs (1)
118Contract.Requires(iterator != null);
system\runtime\interopservices\windowsruntime\maptodictionaryadapter.cs (2)
163Contract.Requires(null != key); 180Contract.Requires(null != key);
system\runtime\interopservices\windowsruntime\windowsruntimemarshal.cs (16)
232Contract.Requires(addMethod != null); 233Contract.Requires(removeMethod != null); 263Contract.Requires(instance != null); 264Contract.Requires(removeMethod != null); 265Contract.Requires(s_eventRegistrations != null); 290Contract.Requires(removeMethod != null); 332Contract.Requires(removeMethod != null); 498Contract.Requires(s_eventRegistrations != null); 640Contract.Requires(instance != null); 641Contract.Requires(removeMethod != null); 648Contract.Requires(instance != null); 649Contract.Requires(removeMethod != null); 657Contract.Requires(instance != null); 658Contract.Requires(removeMethod != null); 659Contract.Requires(s_eventRegistrations != null); 1054Contract.Requires(Environment.IsWinRTSupported);
system\runtime\serialization\formatterservices.cs (1)
301Contract.Requires(fi != null);
system\runtime\serialization\safeserializationmanager.cs (5)
325Contract.Requires(serializedObject != null); 326Contract.Requires(info != null); 327Contract.Requires(typeof(ISerializable).IsAssignableFrom(serializedObject.GetType())); 328Contract.Requires(serializedObject.GetType().IsAssignableFrom(info.ObjectType)); 356Contract.Requires(deserializedObject != null);
system\runtime\versioning\binarycompatibility.cs (2)
188Contract.Requires(buildAgainstVersion > 0 || builtAgainstFramework == TargetFrameworkId.Unspecified); 270Contract.Requires(!String.IsNullOrEmpty(targetFrameworkMoniker));
system\runtimehandles.cs (1)
1226Contract.Requires(method != null);
system\security\builtinpermissionsets.cs (3)
284Contract.Requires(!String.IsNullOrEmpty(permissionSetXml)); 286Contract.Requires(!String.IsNullOrEmpty(extensionXml)); 326Contract.Requires(!String.IsNullOrEmpty(extensionXml));
system\security\cryptography\cryptostream.cs (8)
345Contract.Requires(CanRead); 346Contract.Requires(offset >= 0); 347Contract.Requires(count >= 0); 348Contract.Requires(buffer.Length - offset >= count); 600Contract.Requires(CanWrite); 601Contract.Requires(offset >= 0); 602Contract.Requires(count >= 0); 603Contract.Requires(buffer.Length - offset >= count);
system\security\cryptography\hmac.cs (2)
187Contract.Requires(createStandardHashAlgorithmCallback != null); 188Contract.Requires(createFipsHashAlgorithmCallback != null);
system\security\cryptography\rsacryptoserviceprovider.cs (3)
352Contract.Requires(rgbHash != null); 379Contract.Requires(rgbHash != null); 380Contract.Requires(rgbSignature != null);
system\security\cryptography\x509certificates\x509utils.cs (4)
130Contract.Requires(key != null); 180Contract.Requires(oid != null); 200Contract.Requires(oid != null); 207Contract.Requires(friendlyName != null);
system\string.cs (18)
271Contract.Requires(strA != null); 272Contract.Requires(strB != null); 325Contract.Requires(strIn != null); 366Contract.Requires(strA != null); 367Contract.Requires(strB != null); 368Contract.Requires(strA.Length == strB.Length); 420Contract.Requires(strA != null); 421Contract.Requires(strB != null); 464Contract.Requires(strA != null); 465Contract.Requires(strB != null); 1101Contract.Requires(numReplaces >= 0); 1102Contract.Requires(count >= 2); 1137Contract.Requires(numReplaces >= 0); 1138Contract.Requires(count >= 2); 1405Contract.Requires(bytes != null); 1406Contract.Requires(byteLength >= 0); 1539Contract.Requires(dest != null); 1540Contract.Requires(src != null);
system\text\encoding.cs (2)
1013Contract.Requires(chars != null); 1014Contract.Requires(count >= 0);
system\text\normalization.cs (2)
189Contract.Requires(strInput != null); 226Contract.Requires(strInput != null);
system\threading\Tasks\Task.cs (6)
2370Contract.Requires(childTask != null); 2908Contract.Requires(unhandledException != null); 2966Contract.Requires(continuationAction != null); 4793Contract.Requires(tc != null); 5246Contract.Requires(tasks != null); 6593Contract.Requires(outerTask != null);
system\threading\Tasks\TaskContinuation.cs (6)
244Contract.Requires(task != null); 559Contract.Requires(action != null); 575Contract.Requires(action != null); 590Contract.Requires(action != null); 591Contract.Requires(scheduler != null); 748Contract.Requires(callback != null);
system\threading\Tasks\TaskFactory.cs (3)
1693Contract.Requires(tasksCopy != null); 1771Contract.Requires(tasksCopy != null); 2477Contract.Requires(tasks != null);
system\threading\Tasks\TaskScheduler.cs (1)
271Contract.Requires(task != null);
system\threading\Tasks\TaskToApm.cs (5)
47Contract.Requires(task != null); 127Contract.Requires(antecedent != null); 128Contract.Requires(callback != null); 129Contract.Requires(asyncResult != null); 174Contract.Requires(task != null);
system\type.cs (1)
1720Contract.Requires(ifaceType != null);
system\typenameparser.cs (2)
211Contract.Requires(asmName != null && asmName.Length > 0); 249Contract.Requires(names != null && names.Length > 0);
System (10)
net\System\Net\_ChunkParser.cs (8)
100Contract.Requires(dataSource != null); 101Contract.Requires(internalBuffer != null); 104Contract.Requires((initialBufferCount >= 0) && (initialBufferCount <= internalBuffer.Length)); 105Contract.Requires((initialBufferOffset >= 0) && 160Contract.Requires(userBuffer != null); 161Contract.Requires((userBufferCount > 0) && (userBufferCount <= userBuffer.Length)); 162Contract.Requires((userBufferOffset >= 0) && (userBufferOffset + userBufferCount <= userBuffer.Length)); 518Contract.Requires(bytesRead >= 0);
net\System\Net\NetworkInformation\SystemUnicastIPAddressInformation.cs (2)
151Contract.Requires((0 <= prefixLength) && (prefixLength <= 126)); 152Contract.Requires((family == AddressFamily.InterNetwork) || (family == AddressFamily.InterNetworkV6));
System.AddIn (77)
System\Addin\Hosting\ActivationWorker.cs (2)
36System.Diagnostics.Contracts.Contract.Requires(pipeline != null); 37System.Diagnostics.Contracts.Contract.Requires(pipeline.PipelineRootDirectory != null);
System\Addin\Hosting\AddInActivator.cs (1)
689System.Diagnostics.Contracts.Contract.Requires(assembly != null);
System\Addin\Hosting\AddInController.cs (1)
49System.Diagnostics.Contracts.Contract.Requires(impl != null);
System\Addin\Hosting\AddInControllerImpl.cs (5)
63System.Diagnostics.Contracts.Contract.Requires(environment != null); 64System.Diagnostics.Contracts.Contract.Requires(token != null); 105System.Diagnostics.Contracts.Contract.Requires(addIn != null); 156System.Diagnostics.Contracts.Contract.Requires(hostAddinView != null); 181System.Diagnostics.Contracts.Contract.Requires(value != null);
System\Addin\Hosting\AddInToken.cs (9)
129System.Diagnostics.Contracts.Contract.Requires(hostAdapter != null); 130System.Diagnostics.Contracts.Contract.Requires(contract != null); 131System.Diagnostics.Contracts.Contract.Requires(addinAdapter != null); 132System.Diagnostics.Contracts.Contract.Requires(addinBase != null); 133System.Diagnostics.Contracts.Contract.Requires(addin != null); 154System.Diagnostics.Contracts.Contract.Requires(value != null); 166System.Diagnostics.Contracts.Contract.Requires(value != null); 178System.Diagnostics.Contracts.Contract.Requires(value != null); 349System.Diagnostics.Contracts.Contract.Requires(rootDir != null || PipelineRootDirectory != null);
System\Addin\Hosting\InspectionWorker.cs (2)
194System.Diagnostics.Contracts.Contract.Requires(assemblyFileName != null); 195System.Diagnostics.Contracts.Contract.Requires(pipelineRootDirectory != null);
System\Addin\Hosting\PartialToken.cs (5)
37System.Diagnostics.Contracts.Contract.Requires(hostAdapter != null); 38System.Diagnostics.Contracts.Contract.Requires(contract != null); 39System.Diagnostics.Contracts.Contract.Requires(addinAdapter != null); 40System.Diagnostics.Contracts.Contract.Requires(addinBase != null); 55System.Diagnostics.Contracts.Contract.Requires(value != null);
System\Addin\Hosting\RemotingHelper.cs (1)
65System.Diagnostics.Contracts.Contract.Requires(guid != null && guid != s_emptyGuid);
System\Addin\Hosting\Store\AddIn.cs (1)
52System.Diagnostics.Contracts.Contract.Requires(Path.IsPathRooted(fullPathToAddin));
System\Addin\Hosting\Store\AddInAdapter.cs (1)
104System.Diagnostics.Contracts.Contract.Requires(addInBase != null);
System\Addin\Hosting\Store\PipelineComponent.cs (5)
164System.Diagnostics.Contracts.Contract.Requires(systemAddInInReflLoaderContext != null); 165System.Diagnostics.Contracts.Contract.Requires(systemAddInInReflLoaderContext.ReflectionOnly); 166System.Diagnostics.Contracts.Contract.Requires(systemAddInContractsInReflLoaderContext != null); 167System.Diagnostics.Contracts.Contract.Requires(systemAddInContractsInReflLoaderContext.ReflectionOnly); 179System.Diagnostics.Contracts.Contract.Requires(Path.IsPathRooted(root));
System\Addin\Hosting\Utils.cs (12)
52System.Diagnostics.Contracts.Contract.Requires(typeof(Attribute).IsAssignableFrom(attributeType)); 149System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(path)); 150System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(root)); 153System.Diagnostics.Contracts.Contract.Requires(String.Equals(path, Path.GetFullPath(path))); 154System.Diagnostics.Contracts.Contract.Requires(String.Equals(root, Path.GetFullPath(root))); 173System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(assemblyRef)); 174System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(assemblyDef)); 183System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(assemblyDef1)); 184System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(assemblyDef2)); 193System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(typeAndAssemblyName1)); 194System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(typeAndAssemblyName2)); 205System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(assemblyRef));
System\Addin\MiniReflection\MetadataReader\Metadata.cs (1)
18System.Diagnostics.Contracts.Contract.Requires((index & 0xFF000000U) == 0);
System\Addin\MiniReflection\MiniAssembly.cs (10)
51System.Diagnostics.Contracts.Contract.Requires(assembly != null); 105System.Diagnostics.Contracts.Contract.Requires(typeName != null); 143System.Diagnostics.Contracts.Contract.Requires(token.Table == MDTables.Tables.AssemblyRef); 195System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(simpleName)); 196System.Diagnostics.Contracts.Contract.Requires(searchDirs != null); 254System.Diagnostics.Contracts.Contract.Requires(assemblyA != null); 255System.Diagnostics.Contracts.Contract.Requires(peFileB != null); 256System.Diagnostics.Contracts.Contract.Requires(assemblyRefB.Table == MDTables.Tables.AssemblyRef); 276System.Diagnostics.Contracts.Contract.Requires(peFile != null); 277System.Diagnostics.Contracts.Contract.Requires(assemblyRef.Table == MDTables.Tables.AssemblyRef);
System\Addin\MiniReflection\MiniConstructorInfo.cs (1)
29System.Diagnostics.Contracts.Contract.Requires(parameters != null);
System\Addin\MiniReflection\MiniModule.cs (2)
36System.Diagnostics.Contracts.Contract.Requires(peFileName != null); 76System.Diagnostics.Contracts.Contract.Requires(value != null);
System\Addin\MiniReflection\MiniParameterInfo.cs (3)
30System.Diagnostics.Contracts.Contract.Requires(elementType <= CorElementType.String || 39System.Diagnostics.Contracts.Contract.Requires(parameterType != null); 40System.Diagnostics.Contracts.Contract.Requires(IsValid(elementType));
System\Addin\MiniReflection\TypeInfo.cs (15)
78System.Diagnostics.Contracts.Contract.Requires(assembly != null); 79System.Diagnostics.Contracts.Contract.Requires(typeDef.Table == MDTables.Tables.TypeDef); 96System.Diagnostics.Contracts.Contract.Requires(assembly != null); 97System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(typeName)); 98System.Diagnostics.Contracts.Contract.Requires(typeDef.Table == MDTables.Tables.TypeDef); 110System.Diagnostics.Contracts.Contract.Requires(assembly != null); 111System.Diagnostics.Contracts.Contract.Requires(module != null); 112System.Diagnostics.Contracts.Contract.Requires(!String.IsNullOrEmpty(typeName)); 113System.Diagnostics.Contracts.Contract.Requires(typeDef.Table == MDTables.Tables.TypeDef); 136System.Diagnostics.Contracts.Contract.Requires(referencingAssembly != null); 137System.Diagnostics.Contracts.Contract.Requires(typeRefToken.Table == MDTables.Tables.TypeRef); 188System.Diagnostics.Contracts.Contract.Requires(type != null); 724System.Diagnostics.Contracts.Contract.Requires(ifaceType != null); 760System.Diagnostics.Contracts.Contract.Requires(typeDefToken.Table == MDTables.Tables.TypeDef); 837System.Diagnostics.Contracts.Contract.Requires(typeRef.Table == MDTables.Tables.TypeRef);
System.Core (168)
Microsoft\Win32\SafeHandles\BCryptSafeHandles.cs (1)
54Contract.Requires(value != IntPtr.Zero);
Microsoft\Win32\SafeHandles\CapiSafeHandles.cs (2)
292Contract.Requires(!IsInvalid && !IsClosed); 371Contract.Requires(!IsInvalid && !IsClosed);
Microsoft\Win32\SafeHandles\NCryptSafeHandles.cs (4)
119Contract.Requires((m_ownershipState == OwnershipState.Duplicate && m_holder != null) || 121Contract.Requires(m_holder == null || m_holder.m_ownershipState == OwnershipState.Holder); 418Contract.Requires(newHandleValue != IntPtr.Zero); 419Contract.Requires(!IsClosed);
System\Linq\Parallel\Scheduling\OrderPreservingPipeliningSpoolingTask.cs (12)
70Contract.Requires(partition != null); 71Contract.Requires(taskGroupState != null); 72Contract.Requires(consumerWaiting != null); 73Contract.Requires(producerWaiting != null && producerWaiting.Length == consumerWaiting.Length); 74Contract.Requires(producerDone != null && producerDone.Length == consumerWaiting.Length); 75Contract.Requires(buffers != null && buffers.Length == consumerWaiting.Length); 76Contract.Requires(partitionIndex >= 0 && partitionIndex < consumerWaiting.Length); 157Contract.Requires(groupState != null); 158Contract.Requires(partitions != null); 159Contract.Requires(producerDone != null && producerDone.Length == partitions.PartitionCount); 160Contract.Requires(buffers != null && buffers.Length == partitions.PartitionCount); 161Contract.Requires(bufferLocks != null);
System\Linq\Parallel\Scheduling\OrderPreservingSpoolingTask.cs (7)
52Contract.Requires(groupState != null); 53Contract.Requires(results != null); 54Contract.Requires(sortHelper != null); 78Contract.Requires(groupState != null); 79Contract.Requires(partitions != null); 80Contract.Requires(results != null); 81Contract.Requires(results.Value == null);
System\Linq\Parallel\Scheduling\SpoolingTask.cs (6)
41Contract.Requires(partitions.PartitionCount == channels.Length); 42Contract.Requires(groupState != null); 94Contract.Requires(partitions.PartitionCount == channels.Length); 95Contract.Requires(groupState != null); 139Contract.Requires(groupState != null); 210Contract.Requires(source != null);
System\Security\Cryptography\AesCryptoServiceProvider.cs (3)
187Contract.Requires(key != null); 253Contract.Requires(key != null); 300Contract.Requires(csp != null);
System\Security\Cryptography\BCryptHashAlgorithm.cs (3)
68Contract.Requires(algorithm != null); 69Contract.Requires(!String.IsNullOrEmpty(implementation)); 234Contract.Requires(stream != null);
System\Security\Cryptography\BCryptNative.cs (7)
481Contract.Requires(algorithm != null); 482Contract.Requires(property == HashPropertyName.HashLength || 493Contract.Requires(algorithm != null); 494Contract.Requires(!String.IsNullOrEmpty(property)); 536Contract.Requires(!String.IsNullOrEmpty(algorithm)); 579Contract.Requires(!String.IsNullOrEmpty(algorithm)); 580Contract.Requires(!String.IsNullOrEmpty(implementation));
System\Security\Cryptography\CapiHashAlgorithm.cs (2)
32Contract.Requires(!String.IsNullOrEmpty(provider)); 33Contract.Requires((CapiNative.AlgorithmClass)((uint)algorithm & (uint)CapiNative.AlgorithmClass.Hash) == CapiNative.AlgorithmClass.Hash);
System\Security\Cryptography\CapiNative.cs (12)
542Contract.Requires(key != null); 608Contract.Requires(hashHandle != null); 609Contract.Requires(CapiNative.HashParameter.AlgorithmId <= parameter && parameter <= CapiNative.HashParameter.HashSize); 646Contract.Requires(provider != null); 647Contract.Requires(parameter == ProviderParameter.EnumerateAlgorithms); 718Contract.Requires(provider != null); 719Contract.Requires(((int)algorithm & (int)AlgorithmClass.DataEncryption) == (int)AlgorithmClass.DataEncryption); 720Contract.Requires(key != null); 777Contract.Requires(key != null); 778Contract.Requires(parameter == KeyParameter.Mode || parameter == KeyParameter.ModeBits); 789Contract.Requires(key != null && !key.IsInvalid && !key.IsClosed); 790Contract.Requires(value != null);
System\Security\Cryptography\CapiSymmetricAlgorithm.cs (31)
50Contract.Requires(0 < blockSize && blockSize % 8 == 0); 51Contract.Requires(0 <= feedbackSize); 52Contract.Requires(provider != null && !provider.IsInvalid && !provider.IsClosed); 53Contract.Requires(key != null && !key.IsInvalid && !key.IsClosed); 107Contract.Requires(m_key != null); 108Contract.Requires(inputBuffer != null && inputCount <= inputBuffer.Length - inputOffset); 109Contract.Requires(inputOffset >= 0); 110Contract.Requires(inputCount > 0 && inputCount % InputBlockSize == 0); 111Contract.Requires(outputBuffer != null && inputCount <= outputBuffer.Length - outputOffset); 112Contract.Requires(inputOffset >= 0); 113Contract.Requires(m_depadBuffer == null || (m_paddingMode != PaddingMode.None && m_paddingMode != PaddingMode.Zeros)); 166Contract.Requires(block != null && count >= block.Length - offset); 167Contract.Requires(0 <= offset); 168Contract.Requires(0 <= count); 243Contract.Requires(m_key != null); 244Contract.Requires(buffer != null && count <= buffer.Length - offset); 245Contract.Requires(offset >= 0); 246Contract.Requires(count > 0 && count % InputBlockSize == 0); 278Contract.Requires(m_provider != null); 279Contract.Requires(block != null && count <= block.Length - offset); 280Contract.Requires(0 <= offset); 281Contract.Requires(0 <= count); 364Contract.Requires(blockSize % 8 == 0); 393Contract.Requires(m_key != null); 394Contract.Requires(buffer != null && count <= buffer.Length - offset); 395Contract.Requires(offset >= 0); 396Contract.Requires(count > 0 && count % InputBlockSize == 0); 427Contract.Requires(m_key != null); 581Contract.Requires(key != null); 582Contract.Requires(cipherMode == CipherMode.ECB || iv != null); 583Contract.Requires(0 <= feedbackSize);
System\Security\Cryptography\CngKey.cs (4)
39Contract.Requires(keyHandle != null && !keyHandle.IsInvalid && !keyHandle.IsClosed); 40Contract.Requires(kspHandle != null && !kspHandle.IsInvalid && !kspHandle.IsClosed); 797Contract.Requires(keyHandle != null && !keyHandle.IsInvalid && !keyHandle.IsClosed); 798Contract.Requires(creationParameters != null);
System\Security\Cryptography\ECDiffieHellmanCng.cs (1)
255Contract.Requires(value != null);
System\Security\Cryptography\ECDiffieHellmanCngPublicKey.cs (2)
29Contract.Requires(format != null); 79Contract.Requires(key != null && key.AlgorithmGroup == CngAlgorithmGroup.ECDiffieHellman);
System\Security\Cryptography\ECDsaCng.cs (1)
168Contract.Requires(value != null);
System\Security\Cryptography\NCryptNative.cs (65)
939Contract.Requires(!String.IsNullOrEmpty(algorithm)); 979Contract.Requires(provider != null && !provider.IsInvalid && !provider.IsClosed); 980Contract.Requires(!String.IsNullOrEmpty(algorithm)); 1004Contract.Requires(key != null); 1026Contract.Requires(secretAgreement != null); 1027Contract.Requires(!String.IsNullOrEmpty(kdf)); 1028Contract.Requires(!String.IsNullOrEmpty(hashAlgorithm)); 1029Contract.Requires(hmacKey == null || kdf == BCryptNative.KeyDerivationFunction.Hmac); 1107Contract.Requires(secretAgreement != null); 1108Contract.Requires(!String.IsNullOrEmpty(kdf)); 1109Contract.Requires(parameters != null); 1160Contract.Requires(secretAgreement != null); 1161Contract.Requires(!String.IsNullOrEmpty(hashAlgorithm)); 1183Contract.Requires(secretAgreement != null); 1184Contract.Requires(!String.IsNullOrEmpty(hashAlgorithm)); 1204Contract.Requires(secretAgreement != null); 1205Contract.Requires(label != null && seed != null); 1238Contract.Requires(privateKey != null); 1239Contract.Requires(otherPartyPublicKey != null); 1262Contract.Requires(key != null); 1263Contract.Requires(!String.IsNullOrEmpty(format)); 1304Contract.Requires(key != null); 1305Contract.Requires(keySize > 0); 1331Contract.Requires(key != null && !key.IsInvalid && !key.IsClosed); 1347Contract.Requires(ncryptObject != null); 1348Contract.Requires(propertyName != null); 1397Contract.Requires(ncryptObject != null); 1398Contract.Requires(propertyName != null); 1416Contract.Requires(ncryptObject != null); 1417Contract.Requires(propertyName != null); 1445Contract.Requires(ncryptObject != null); 1446Contract.Requires(propertyName != null); 1478Contract.Requires(ncryptObject != null); 1479Contract.Requires(propertyName != null); 1508Contract.Requires(ncryptObject != null); 1509Contract.Requires(propertyName != null); 1532Contract.Requires(provider != null); 1533Contract.Requires(keyBlob != null); 1534Contract.Requires(!String.IsNullOrEmpty(format)); 1561Contract.Requires(provider != null); 1562Contract.Requires(keyBlob != null); 1563Contract.Requires(!String.IsNullOrEmpty(format)); 1593Contract.Requires(provider != null && !provider.IsInvalid && !provider.IsClosed); 1594Contract.Requires(name != null); 1611Contract.Requires(!String.IsNullOrEmpty(providerName)); 1632Contract.Requires(buffer != null); 1645Contract.Requires(buffer != null); 1646Contract.Requires(offset >= 0 && offset < buffer.Length); 1647Contract.Requires(count >= 0 && buffer.Length - count >= offset); 1678Contract.Requires(ncryptObject != null); 1679Contract.Requires(propertyName != null); 1692Contract.Requires(ncryptObject != null); 1693Contract.Requires(propertyName != null); 1714Contract.Requires(ncryptObject != null); 1715Contract.Requires(propertyName != null); 1752Contract.Requires(ncryptObject != null); 1753Contract.Requires(propertyName != null); 1771Contract.Requires(key != null); 1772Contract.Requires(hash != null); 1816Contract.Requires(key != null); 1817Contract.Requires(hash != null); 1866Contract.Requires(blob != null && blob.Length > 2 * sizeof(int)); 1889Contract.Requires(key != null); 1890Contract.Requires(hash != null); 1891Contract.Requires(signature != null);
System\Security\Cryptography\Rfc4050KeyFormatter.cs (5)
64Contract.Requires(xml != null); 98Contract.Requires(navigator != null); 155Contract.Requires(navigator != null); 249Contract.Requires(writer != null); 300Contract.Requires(writer != null);
System.Numerics (18)
System\Numerics\BigIntegerBuilder.cs (18)
104Contract.Requires(sign == +1 || sign == -1); 125Contract.Requires(sign == +1 || sign == -1); 134Contract.Requires(signSrc == +1 || signSrc == -1); 250Contract.Requires(cu > 0); 267Contract.Requires(cu > 0); 288Contract.Requires(cu > 0 && cuExtra >= 0); 319Contract.Requires(cu > 1 && cuExtra >= 0); 339Contract.Requires(cuExtra >= 0); 365Contract.Requires(cuExtra >= 0); 453Contract.Requires(sign == +1 || sign == -1); 481Contract.Requires(sign == +1 || sign == -1); 918Contract.Requires(cuShift >= 0); 919Contract.Requires(0 <= cbitShift); 969Contract.Requires(cuShift >= 0); 970Contract.Requires(0 <= cbitShift); 1017Contract.Requires(cu >= 2); 1031Contract.Requires(0 <= iu); 1049Contract.Requires(0 < iuMin);
System.Windows.Forms (95)
winforms\Managed\System\WinForms\Control.cs (80)
7948Contract.Requires(e != null); 7961Contract.Requires(e != null); 8001Contract.Requires(e != null); 8030Contract.Requires(e != null); 8049Contract.Requires(e != null); 8076Contract.Requires(e != null); 8100Contract.Requires(e != null); 8113Contract.Requires(e != null); 8126Contract.Requires(e != null); 8149Contract.Requires(e != null); 8164Contract.Requires(e != null); 8206Contract.Requires(e != null); 8255Contract.Requires(e != null); 8284Contract.Requires(e != null); 8328Contract.Requires(e != null); 8341Contract.Requires(e != null); 8351Contract.Requires(e != null); 8363Contract.Requires(e != null); 8375Contract.Requires(e != null); 8387Contract.Requires(e != null); 8445Contract.Requires(e != null); 8458Contract.Requires(e != null); 8470Contract.Requires(e != null); 8547Contract.Requires(e != null); 8560Contract.Requires(e != null); 8573Contract.Requires(e != null); 8588Contract.Requires(e != null); 8627Contract.Requires(e != null); 8645Contract.Requires(e != null); 8665Contract.Requires(e != null); 8676Contract.Requires(e != null); 8689Contract.Requires(e != null); 8700Contract.Requires(e != null); 8721Contract.Requires(e != null); 8846Contract.Requires(e != null); 8864Contract.Requires(e != null); 8917Contract.Requires(e != null); 8934Contract.Requires(drgevent != null); 8946Contract.Requires(drgevent != null); 8958Contract.Requires(e != null); 8970Contract.Requires(drgevent != null); 8983Contract.Requires(gfbevent != null); 8994Contract.Requires(e != null); 9019Contract.Requires(e != null); 9039Contract.Requires(hevent != null); 9061Contract.Requires(e != null); 9088Contract.Requires(e != null); 9099Contract.Requires(e != null); 9110Contract.Requires(e != null); 9125Contract.Requires(levent != null); 9169Contract.Requires(e != null); 9194Contract.Requires(e != null); 9204Contract.Requires(e != null); 9215Contract.Requires(e != null); 9226Contract.Requires(e != null); 9237Contract.Requires(e != null); 9248Contract.Requires(e != null); 9259Contract.Requires(e != null); 9270Contract.Requires(e != null); 9290Contract.Requires(e != null); 9308Contract.Requires(e != null); 9318Contract.Requires(e != null); 9329Contract.Requires(e != null); 9340Contract.Requires(e != null); 9351Contract.Requires(e != null); 9362Contract.Requires(e != null); 9376Contract.Requires(e != null); 9382Contract.Requires(e != null); 9400Contract.Requires(pevent != null); 9411Contract.Requires(e != null); 9435Contract.Requires(qcdevent != null); 9446Contract.Requires(e != null); 9459Contract.Requires(e != null); 9480Contract.Requires(e != null); 9493Contract.Requires(e != null); 9509Contract.Requires(e != null); 9521Contract.Requires(e != null); 9533Contract.Requires(e != null); 9556Contract.Requires(e != null); 9567Contract.Requires(e != null);
winforms\Managed\System\WinForms\TreeView.cs (15)
2191Contract.Requires(e != null); 2200Contract.Requires(e != null); 2209Contract.Requires(e != null); 2218Contract.Requires(e != null); 2227Contract.Requires(e != null); 2236Contract.Requires(e != null); 2245Contract.Requires(e != null); 2254Contract.Requires(e != null); 2263Contract.Requires(e != null); 2272Contract.Requires(e != null); 2281Contract.Requires(e != null); 2290Contract.Requires(e != null); 2299Contract.Requires(e != null); 2308Contract.Requires(e != null); 2370Contract.Requires(e != null);