Contract

microsoft\win32\oavariantlib.cs (1)

104Contract.Requires(ctype != null);

microsoft\win32\registrykey.cs (2)

1732Contract.Requires(path != null); 2152Contract.Ensures(name != null);

system\_localdatastore.cs (2)

220Contract.Assert(capacity >= m_DataTable.Length, "LocalDataStore corrupted: capacity >= m_DataTable.Length"); 233Contract.Assert(slotIdx < m_DataTable.Length, "LocalDataStore corrupted: slotIdx < m_DataTable.Length");

system\_localdatastoremgr.cs (1)

324Contract.EndContractBlock();

system\activationarguments.cs (3)

58Contract.EndContractBlock(); 70Contract.EndContractBlock(); 83Contract.EndContractBlock();

system\activationcontext.cs (5)

81Contract.EndContractBlock(); 113Contract.Assert(_definitionIdentities.Count == 2, "An application must have exactly 1 deployment component and 1 application component in Whidbey"); 126Contract.EndContractBlock(); 182Contract.Assert(_manifests.Count == 2, "An application must have exactly 1 deployment component and 1 application component in Whidbey"); 496Contract.EndContractBlock();

system\activator.cs (10)

75Contract.EndContractBlock(); 185Contract.EndContractBlock(); 433Contract.Assert(AppDomain.CurrentDomain.IsLegacyCasPolicyEnabled || securityInfo == null); 468Contract.EndContractBlock(); 486Contract.EndContractBlock(); 511Contract.EndContractBlock(); 537Contract.EndContractBlock(); 557Contract.EndContractBlock(); 584Contract.EndContractBlock(); 686Contract.EndContractBlock();

system\appdomain.cs (71)

system\appdomainmanager.cs (1)

65Contract.EndContractBlock();

system\AppDomainSetup.cs (19)

system\applicationactivator.cs (2)

132Contract.EndContractBlock(); 154Contract.EndContractBlock();

system\applicationid.cs (1)

45Contract.EndContractBlock();

system\argumentexception.cs (1)

92Contract.EndContractBlock();

system\argumentoutofrangeexception.cs (1)

99Contract.EndContractBlock();

system\array.cs (166)

system\arraysegment.cs (23)

system\attribute.cs (28)

system\bitconverter.cs (60)

system\boolean.cs (1)

160Contract.EndContractBlock();

system\buffer.cs (12)

73Contract.Assert(src != null, "src should not be null"); 245Contract.Assert( (srcIndex >= 0) && (destIndex >= 0) && (len >= 0), "Index and length must be non-negative!"); 246Contract.Assert(dest.Length - destIndex >= len, "not enough bytes in dest"); 260Contract.Assert( (srcIndex >= 0) && (destIndex >= 0) && (len >= 0), "Index and length must be non-negative!"); 261Contract.Assert(src.Length - srcIndex >= len, "not enough bytes in src"); 290Contract.Assert(len >= 0, "Negative length in memcopy!"); 330Contract.Assert(len > 16 && len <= 64); 369Contract.Assert(len > 16 && len <= 64); 386Contract.Assert(len >= 8 && len <= 16); 401Contract.Assert(len >= 4 && len < 8); 408Contract.Assert(len < 4); 423Contract.Assert(len > 64 && len <= CopyThreshold);

system\byte.cs (8)

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\cfgparser.cs (1)

260Contract.EndContractBlock();

system\char.cs (30)

system\charenumerator.cs (1)

30Contract.Requires(str != null);

system\collections\arraylist.cs (118)

system\collections\bitarray.cs (23)

system\collections\caseinsensitivecomparer.cs (5)

36Contract.EndContractBlock(); 44Contract.Ensures(Contract.Result<CaseInsensitiveComparer>() != null); 54Contract.Ensures(Contract.Result<CaseInsensitiveComparer>() != null);

system\collections\caseinsensitivehashcodeprovider.cs (6)

42Contract.EndContractBlock(); 50Contract.Ensures(Contract.Result<CaseInsensitiveHashCodeProvider>() != null); 60Contract.Ensures(Contract.Result<CaseInsensitiveHashCodeProvider>() != null); 73Contract.EndContractBlock();

system\collections\collectionbase.cs (5)

68Contract.EndContractBlock(); 107Contract.EndContractBlock(); 113Contract.EndContractBlock(); 169Contract.EndContractBlock(); 200Contract.EndContractBlock();

system\collections\comparer.cs (2)

43Contract.EndContractBlock(); 93Contract.EndContractBlock();

system\collections\compatiblecomparer.cs (1)

46Contract.EndContractBlock();

system\Collections\Concurrent\ConcurrentDictionary.cs (1)

2106Contract.Assert(condition);

system\Collections\Concurrent\ConcurrentQueue.cs (7)

83Contract.Assert(index >= 0 && index < SEGMENT_SIZE); 131Contract.Assert(m_serializationArray != null); 695Contract.Assert(index >= 0); 727Contract.Assert(m_high < SEGMENT_SIZE - 1); 743Contract.Assert(m_high >= SEGMENT_SIZE - 1); 759Contract.Assert(m_source.m_tail == this); 866Contract.Assert(m_source.m_head == this);

system\Collections\Concurrent\ConcurrentStack.cs (1)

147Contract.Assert(m_serializationArray != null);

system\collections\concurrent\PartitionerStatic.cs (29)

system\collections\emptyreadonlydictionaryinternal.cs (4)

51Contract.EndContractBlock(); 81Contract.EndContractBlock(); 94Contract.EndContractBlock(); 126Contract.EndContractBlock();

system\collections\generic\arraysorthelper.cs (154)

system\collections\generic\comparer.cs (4)

26Contract.Ensures(Contract.Result<Comparer<T>>() != null); 33Contract.Ensures(Contract.Result<Comparer<T>>() != null);

system\collections\generic\debugview.cs (1)

116Contract.EndContractBlock();

system\collections\generic\dictionary.cs (5)

137Contract.Ensures(Contract.Result<KeyCollection>() != null); 159Contract.Ensures(Contract.Result<ValueCollection>() != null); 444Contract.Assert(newSize >= entries.Length);

system\collections\generic\equalitycomparer.cs (5)

30Contract.Ensures(Contract.Result<EqualityComparer<T>>() != null); 41Contract.Ensures(Contract.Result<EqualityComparer<T>>() != null); 357Contract.EndContractBlock();

system\collections\generic\list.cs (104)

system\collections\hashtable.cs (33)

system\collections\listdictionaryinternal.cs (7)

39Contract.EndContractBlock(); 54Contract.EndContractBlock(); 141Contract.EndContractBlock(); 188Contract.EndContractBlock(); 209Contract.EndContractBlock(); 229Contract.EndContractBlock(); 340Contract.EndContractBlock();

system\collections\objectmodel\keyedcollection.cs (1)

229Contract.Assert(key != null, "key shouldn't be null!");

system\collections\objectmodel\readonlydictionary.cs (5)

41Contract.EndContractBlock(); 51Contract.Ensures(Contract.Result<KeyCollection>() != null); 61Contract.Ensures(Contract.Result<ValueCollection>() != null);

system\collections\queue.cs (7)

63Contract.EndContractBlock(); 79Contract.EndContractBlock(); 144Contract.EndContractBlock(); 189Contract.EndContractBlock(); 205Contract.EndContractBlock(); 219Contract.EndContractBlock(); 459Contract.EndContractBlock();

system\collections\sortedlist.cs (18)

system\collections\stack.cs (17)

50Contract.EndContractBlock(); 65Contract.EndContractBlock(); 73Contract.Ensures(Contract.Result<int>() >= 0); 99Contract.Ensures(Contract.Result<Object>() != null); 133Contract.EndContractBlock(); 153Contract.Ensures(Contract.Result<IEnumerator>() != null); 162Contract.EndContractBlock(); 172Contract.EndContractBlock(); 198Contract.Ensures(Contract.Result<Stack>() != null); 199Contract.EndContractBlock(); 207Contract.Ensures(Contract.Result<Object[]>() != null); 369Contract.EndContractBlock();

system\console.cs (40)

system\consolekeyinfo.cs (1)

32Contract.EndContractBlock();

system\convert.cs (150)

system\currenttimezone.cs (1)

176Contract.EndContractBlock();

system\datetime.cs (78)

system\datetimeoffset.cs (48)

system\decimal.cs (13)

282Contract.EndContractBlock(); 301Contract.EndContractBlock(); 500Contract.Ensures(Contract.Result<String>() != null); 506Contract.Ensures(Contract.Result<String>() != null); 512Contract.Ensures(Contract.Result<String>() != null); 518Contract.Ensures(Contract.Result<String>() != null); 572Contract.Requires((buffer != null && buffer.Length >= 16), "[GetBytes]buffer != null && buffer.Length >= 16"); 595Contract.Requires((buffer != null && buffer.Length >= 16), "[ToDecimal]buffer != null && buffer.Length >= 16"); 793Contract.EndContractBlock();

system\defaultbinder.cs (6)

44Contract.EndContractBlock(); 598if (indexes != null && !Contract.ForAll(indexes, delegate(Type t) { return t != null; })) 611Contract.EndContractBlock(); 744Contract.EndContractBlock(); 784Contract.EndContractBlock(); 998Contract.Assert(cur1.IsStatic != cur2.IsStatic, "hierarchyDepth1 == hierarchyDepth2");

system\delegate.cs (9)

54Contract.EndContractBlock(); 82Contract.EndContractBlock(); 380Contract.EndContractBlock(); 443Contract.EndContractBlock(); 491Contract.EndContractBlock(); 542Contract.EndContractBlock(); 611Contract.EndContractBlock(); 649Contract.EndContractBlock(); 685Contract.Assert((flags & DelegateBindingFlags.SkipSecurityChecks) == 0);

system\delegateserializationholder.cs (3)

29Contract.EndContractBlock(); 125Contract.EndContractBlock(); 187Contract.EndContractBlock();

system\diagnostics\contracts\contracts.cs (6)

295/// At runtime this is equivalent to an <seealso cref="System.Diagnostics.Contracts.Contract.Assert(bool)"/>. 316/// At runtime this is equivalent to an <seealso cref="System.Diagnostics.Contracts.Contract.Assert(bool)"/>. 663Contract.EndContractBlock(); 690Contract.EndContractBlock(); 725Contract.EndContractBlock(); 751Contract.EndContractBlock();

system\diagnostics\contracts\contractsbcl.cs (5)

66Assembly thisAssembly = typeof(Contract).Assembly; // In case we refactor mscorlib, use Contract class instead of Object. 106Contract.EndContractBlock(); 164Contract.Requires(originalException == null || failureKind == ContractFailureKind.PostconditionOnException); 344Contract.EndContractBlock(); 468Contract.Assume(false, "Unreachable code");

system\diagnostics\debuggerattributes.cs (9)

148Contract.EndContractBlock(); 173Contract.EndContractBlock(); 193Contract.EndContractBlock(); 264Contract.EndContractBlock(); 309Contract.EndContractBlock(); 318Contract.EndContractBlock(); 329Contract.EndContractBlock(); 338Contract.EndContractBlock(); 363Contract.EndContractBlock();

system\diagnostics\eventing\activitytracker.cs (5)

5using Contract = System.Diagnostics.Contracts.Contract; 76Contract.Assert((options & EventActivityOptions.Disable) == 0); 196Contract.Assert(orphan.m_stopped != 0); 527Contract.Assert(0 <= value && value < 16); 528Contract.Assert(ptr < endPtr);

system\diagnostics\eventing\eventdescriptor.cs (1)

15using Contract = System.Diagnostics.Contracts.Contract;

system\diagnostics\eventing\eventprovider.cs (4)

18using Contract = System.Diagnostics.Contracts.Contract; 495Contract.Assert(0 <= providerInstance->NextOffset && providerInstance->NextOffset < buffSize); 1110Contract.Assert((EventOpcode)eventDescriptor.Opcode == EventOpcode.Send || 1180Contract.Assert(bitcount(n) == 1);

system\diagnostics\eventing\eventsource.cs (49)

System\Diagnostics\Eventing\TraceLogging\EventPayload.cs (2)

5using Contract = System.Diagnostics.Contracts.Contract; 25Contract.Assert(payloadNames.Count == payloadValues.Count);

System\Diagnostics\Eventing\TraceLogging\EventSourceActivity.cs (2)

4using Contract = System.Diagnostics.Contracts.Contract; 35Contract.EndContractBlock();

System\Diagnostics\Eventing\TraceLogging\TraceLoggingEventSource.cs (4)

25using Contract = System.Diagnostics.Contracts.Contract; 96Contract.EndContractBlock(); 112Contract.EndContractBlock(); 141Contract.EndContractBlock();

System\Diagnostics\Eventing\TraceLogging\TraceLoggingEventTypes.cs (6)

6using Contract = System.Diagnostics.Contracts.Contract; 96Contract.EndContractBlock(); 134Contract.EndContractBlock(); 214Contract.EndContractBlock(); 233Contract.EndContractBlock(); 253Contract.EndContractBlock();

System\Diagnostics\Eventing\TraceLogging\TraceLoggingTypeInfo.cs (3)

4using Contract = System.Diagnostics.Contracts.Contract; 36Contract.EndContractBlock(); 60Contract.EndContractBlock();

system\diagnostics\log.cs (1)

147Contract.EndContractBlock();

system\diagnostics\logswitch.cs (1)

42Contract.EndContractBlock();

system\diagnostics\stackframe.cs (2)

177Contract.Ensures(Contract.Result<MethodBase>() != null);

system\diagnostics\stacktrace.cs (6)

352Contract.EndContractBlock(); 372Contract.EndContractBlock(); 386Contract.EndContractBlock(); 402Contract.EndContractBlock(); 423Contract.EndContractBlock(); 445Contract.EndContractBlock();

system\double.cs (8)

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\empty.cs (1)

36Contract.EndContractBlock();

system\enum.cs (38)

system\environment.cs (22)

100Contract.Assert(false, "Environment::GetResourceString with null or empty key. Bug in caller, or weird recursive loading problem?"); 110Contract.Assert(false, "Environment::GetResourceString with null or empty key. Bug in caller, or weird recursive loading problem?"); 213Contract.Assert(s!=null, "Managed resource string lookup failed. Was your resource name misspelled? Did you rebuild mscorlib after adding a resource to resources.txt? Debug this w/ cordbg and bug whoever owns the code that called Environment.GetResourceString. Resource name was: \""+key+"\""); 413Contract.Assert(r < Path.MAX_PATH, "r < Path.MAX_PATH"); 436Contract.Assert(r < Path.MAX_PATH, "r < Path.MAX_PATH"); 449Contract.EndContractBlock(); 619Contract.EndContractBlock(); 659Contract.EndContractBlock(); 673Contract.Assert(environmentKey != null, @"HKLM\System\CurrentControlSet\Control\Session Manager\Environment is missing!"); 686Contract.Assert(environmentKey != null, @"HKCU\Environment is missing!"); 954Contract.EndContractBlock(); 985Contract.Assert(environmentKey != null, @"HKLM\System\CurrentControlSet\Control\Session Manager\Environment is missing!"); 1002Contract.Assert(environmentKey != null, @"HKCU\Environment is missing!"); 1069Contract.Ensures(Contract.Result<String>() != null); 1122Contract.Ensures(Contract.Result<OperatingSystem>() != null); 1148Contract.Assert(m_os != null, "m_os != null"); 1233Contract.Ensures(Contract.Result<String>() != null); 1448Contract.EndContractBlock(); 1461Contract.EndContractBlock();

system\exception.cs (5)

86Contract.EndContractBlock(); 497Contract.Assert(methBase is MethodInfo, "[Exception.GetExceptionMethodString]methBase is MethodInfo"); 519Contract.Assert(_exceptionMethodString != null, "Method string cannot be NULL!"); 555Contract.EndContractBlock(); 601Contract.Assert(((_safeSerializationManager != null) || (this.GetType().Assembly == typeof(object).Assembly)),

system\gc.cs (7)

154Contract.EndContractBlock(); 170Contract.EndContractBlock(); 230Contract.EndContractBlock(); 262Contract.EndContractBlock(); 275Contract.EndContractBlock(); 358Contract.EndContractBlock(); 375Contract.EndContractBlock();

system\globalization\calendar.cs (6)

197Contract.EndContractBlock(); 233Contract.Assert(BaseCalendarID > 0, "[Calendar.CurrentEraValue] Expected ID > 0"); 252Contract.EndContractBlock(); 533Contract.Assert(offset >= 0, "Calendar.GetFirstDayWeekOfYear(): offset >= 0"); 658Contract.EndContractBlock(); 822Contract.EndContractBlock();

system\globalization\calendardata.cs (1)

129Contract.Assert(false, "[CalendarData] nativeGetCalendarData call isn't expected to fail for calendar " + calendarId + " locale " +localeName);

system\globalization\CalendricalCalculationsHelper.cs (8)

system\globalization\charunicodeinfo.cs (21)

151Contract.Assert(s != null, "s != null"); 152Contract.Assert(index >= 0 && index < s.Length, "index < s.Length"); 189Contract.Assert(s != null, "s != null"); 190Contract.Assert(s.Length > 0, "s.Length > 0"); 191Contract.Assert(index >= 0 && index < s.Length, "index >= 0 && index < s.Length"); 217Contract.Assert(s != null, "s!=null"); 218Contract.Assert(index >= 0 && index < s.Length, "index >= 0 && index < s.Length"); 255Contract.Assert(ch >= 0 && ch <= 0x10ffff, "ch is not in valid Unicode range."); 288Contract.Assert(ch >= 0 && ch <= 0x10ffff, "ch is not in valid Unicode range."); 339Contract.EndContractBlock(); 374Contract.EndContractBlock(); 411Contract.EndContractBlock(); 427Contract.EndContractBlock(); 451Contract.Assert(ch >= 0 && ch <= 0x10ffff, "ch is not in valid Unicode range."); 479Contract.EndContractBlock(); 497Contract.Assert(value != null, "value can not be null"); 498Contract.Assert(index < value.Length, "index < value.Length"); 511Contract.Assert(str != null, "str can not be null"); 512Contract.Assert(str.Length > 0, "str.Length > 0");; 513Contract.Assert(index >= 0 && index < str.Length, "index >= 0 && index < str.Length"); 519Contract.Assert(uc >= 0, "uc >= 0");

system\globalization\chineselunisolarcalendar.cs (2)

324Contract.EndContractBlock(); 345Contract.EndContractBlock();

system\globalization\compareinfo.cs (28)

system\globalization\culturedata.cs (25)

system\globalization\cultureinfo.cs (85)

system\globalization\culturenotfoundexception.cs (1)

80Contract.EndContractBlock();

system\globalization\datetimeformat.cs (7)

175Contract.Assert(value >= 0, "DateTimeFormat.FormatDigits(): value >= 0"); 181Contract.Assert(value >= 0, "DateTimeFormat.FormatDigits(): value >= 0"); 227Contract.Assert(dayOfWeek >= 0 && dayOfWeek <= 6, "dayOfWeek >= 0 && dayOfWeek <= 6"); 239Contract.Assert(month >=1 && month <= 12, "month >=1 && month <= 12"); 280Contract.Assert(repeatCount != 3 || repeatCount != 4, "repeateCount should be 3 or 4"); 914Contract.Requires(dtfi != null); 1069Contract.Requires(dtfi != null);

system\globalization\datetimeformatinfo.cs (82)

system\globalization\datetimeparse.cs (19)

system\globalization\eastasianlunisolarcalendar.cs (5)

72Contract.EndContractBlock(); 87Contract.EndContractBlock(); 163Contract.EndContractBlock(); 406Contract.EndContractBlock(); 637Contract.EndContractBlock();

system\globalization\encodingtable.cs (1)

142Contract.EndContractBlock();

system\globalization\globalizationassembly.cs (3)

41Contract.Assert(assembly != null, "assembly can not be null. This should be generally the mscorlib.dll assembly."); 42Contract.Assert(tableName != null, "table name can not be null"); 53Contract.Assert(

system\globalization\gregoriancalendar.cs (6)

140Contract.EndContractBlock(); 296Contract.EndContractBlock(); 471Contract.EndContractBlock(); 514Contract.EndContractBlock(); 540Contract.EndContractBlock(); 617Contract.EndContractBlock();

system\globalization\gregoriancalendarhelper.cs (5)

232Contract.EndContractBlock(); 363Contract.EndContractBlock(); 394Contract.EndContractBlock(); 576Contract.EndContractBlock(); 646Contract.EndContractBlock();

system\globalization\hebrewcalendar.cs (3)

609Contract.Assert(NumDays >= 1, "NumDays >= 1"); 813Contract.Assert(hebrewYearType>= 1 && hebrewYearType <= 6, 1056Contract.EndContractBlock();

system\globalization\hebrewnumber.cs (1)

102Contract.Assert(Number > 0 && Number <= 999, "Number is out of range.");;

system\globalization\hijricalendar.cs (3)

235Contract.EndContractBlock(); 510Contract.EndContractBlock(); 739Contract.EndContractBlock();

system\globalization\idnmapping.cs (20)

system\globalization\japanesecalendar.cs (1)

490Contract.EndContractBlock();

system\globalization\japaneselunisolarcalendar.cs (1)

213Contract.EndContractBlock();

system\globalization\juliancalendar.cs (2)

241Contract.EndContractBlock(); 427Contract.EndContractBlock();

system\globalization\koreancalendar.cs (1)

261Contract.EndContractBlock();

system\globalization\koreanlunisolarcalendar.cs (2)

1259Contract.EndContractBlock(); 1281Contract.EndContractBlock();

system\globalization\numberformatinfo.cs (26)

system\globalization\Persiancalendar.cs (10)

189Contract.Assert(ordinalDay <= 366); 199Contract.Assert(1 <= month && month <= 12); 229Contract.Assert(y >= 1); 248Contract.Assert(ordinalDay >= 1); 249Contract.Assert(m >= 1 && m <= 12); 256Contract.Assert(1 <= d); 257Contract.Assert(d <= 31); 301Contract.EndContractBlock(); 381Contract.Assert(daysInMonth == 30); 560Contract.EndContractBlock();

system\globalization\regioninfo.cs (3)

75Contract.EndContractBlock(); 319Contract.Assert(m_dataItem >= 0, "[RegionInfo.OnDeserialized] null name and invalid dataItem"); 391Contract.Assert(m_name != null, "Expected RegionInfo.m_name to be populated already");

system\globalization\sortkey.cs (3)

138Contract.EndContractBlock(); 143Contract.Assert(key1Data!=null, "key1Data!=null"); 144Contract.Assert(key2Data!=null, "key2Data!=null");

system\globalization\stringinfo.cs (6)

102Contract.EndContractBlock(); 213Contract.Assert(index >= 0 && len >= 0, "StringInfo.GetCurrentTextElementLen() : index = " + index + ", len = " + len); 214Contract.Assert(index < len, "StringInfo.GetCurrentTextElementLen() : index = " + index + ", len = " + len); 277Contract.EndContractBlock(); 306Contract.EndContractBlock(); 335Contract.EndContractBlock();

system\globalization\taiwancalendar.cs (1)

248Contract.EndContractBlock();

system\globalization\taiwanlunisolarcalendar.cs (1)

269Contract.EndContractBlock();

system\globalization\textelementenumerator.cs (3)

49Contract.Assert(str != null, "TextElementEnumerator(): str != null"); 50Contract.Assert(startIndex >= 0 && strLen >= 0, "TextElementEnumerator(): startIndex >= 0 && strLen >= 0"); 51Contract.Assert(strLen >= startIndex, "TextElementEnumerator(): strLen >= startIndex");

system\globalization\textinfo.cs (19)

267Contract.Assert(strA.Length >= indexA + lengthA, "[TextInfo.CompareOrdinalIgnoreCaseEx] Caller should've validated strA.Length >= indexA + lengthA"); 268Contract.Assert(strB.Length >= indexB + lengthB, "[TextInfo.CompareOrdinalIgnoreCaseEx] Caller should've validated strB.Length >= indexB + lengthB"); 276Contract.Assert(source != null, "[TextInfo.IndexOfStringOrdinalIgnoreCase] Caller should've validated source != null"); 277Contract.Assert(value != null, "[TextInfo.IndexOfStringOrdinalIgnoreCase] Caller should've validated value != null"); 278Contract.Assert(startIndex + count <= source.Length, "[TextInfo.IndexOfStringOrdinalIgnoreCase] Caller should've validated startIndex + count <= source.Length"); 305Contract.Assert(end - startIndex >= value.Length); 321Contract.Assert(source != null, "[TextInfo.LastIndexOfStringOrdinalIgnoreCase] Caller should've validated source != null"); 322Contract.Assert(value != null, "[TextInfo.LastIndexOfStringOrdinalIgnoreCase] Caller should've validated value != null"); 323Contract.Assert(startIndex - count+1 >= 0, "[TextInfo.LastIndexOfStringOrdinalIgnoreCase] Caller should've validated startIndex - count+1 >= 0"); 324Contract.Assert(startIndex <= source.Length, "[TextInfo.LastIndexOfStringOrdinalIgnoreCase] Caller should've validated startIndex <= source.Length"); 480Contract.EndContractBlock(); 495Contract.EndContractBlock(); 531Contract.EndContractBlock(); 560Contract.EndContractBlock(); 599Contract.EndContractBlock(); 716Contract.EndContractBlock(); 803Contract.Assert(charLen == 1 || charLen == 2, "[TextInfo.AddNonLetter] CharUnicodeInfo.InternalGetUnicodeCategory returned an unexpected charLen!"); 817Contract.Assert(charLen == 1 || charLen == 2, "[TextInfo.AddTitlecaseLetter] CharUnicodeInfo.InternalGetUnicodeCategory returned an unexpected charLen!"); 953Contract.EndContractBlock();

system\globalization\thaibuddhistcalendar.cs (1)

220Contract.EndContractBlock();

system\globalization\timespanformat.cs (14)

system\globalization\timespanparse.cs (10)

139Contract.Assert(ttt == TTT.Num); 140Contract.Assert(num > -1); 141Contract.Assert(maxValue > 0); 142Contract.Assert(maxPrecision == maxFractionDigits || maxPrecision == unlimitedDigits); 176Contract.Assert(m_pos > -1); 387Contract.Assert(dtfi != null); 429Contract.Assert(tokenCount == (SepCount + NumCount), "tokenCount == (SepCount + NumCount)"); 499Contract.Assert(false, "Unknown TimeSpanParseFailure: " + m_failure); 1171Contract.Assert(input != null, "input != null"); 1172Contract.Assert(format != null, "format != null");

system\globalization\umalquracalendar.cs (9)

342Contract.Assert( (HijriYear >= MinCalendarYear) && (HijriYear <= MaxCalendarYear), "Hijri year is out of range."); 343Contract.Assert( HijriMonth >= 1, "Hijri month is out of range."); 344Contract.Assert( HijriDay >= 1, "Hijri day is out of range."); 432Contract.Assert((time.Ticks >= minDate.Ticks) && (time.Ticks <= maxDate.Ticks), "Gregorian date is out of range."); 537Contract.EndContractBlock(); 633Contract.Assert( (year >= MinCalendarYear) && (year <= MaxCalendarYear), "Hijri year is out of range."); 642Contract.Assert((days == 354)||(days == 355), "Hijri year has to be 354 or 355 days."); 815Contract.EndContractBlock(); 829Contract.EndContractBlock();

system\guid.cs (8)

56Contract.EndContractBlock(); 97Contract.EndContractBlock(); 191Contract.Assert(failure != ParseFailureKind.NativeException, "ParseFailureKind.NativeException should not be used with this overload"); 220Contract.Assert(false, "Unknown GuidParseFailure: " + m_failure); 239Contract.EndContractBlock(); 258Contract.EndContractBlock(); 1149Contract.Ensures(Contract.Result<Guid>() != Guid.Empty);

system\iappdomainpausemanager.cs (2)

71Contract.Assert(!isPaused); 89Contract.Assert(isPaused);

system\int16.cs (10)

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 (8)

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 (8)

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 (3)

95Contract.EndContractBlock(); 152Contract.Ensures(Contract.Result<String>() != null);

system\io\__consolestream.cs (13)

52Contract.Assert(handle != null && !handle.IsInvalid, "__ConsoleStream expects a valid handle!"); 130Contract.EndContractBlock(); 157Contract.EndContractBlock(); 176Contract.Requires(offset >= 0, "offset >= 0"); 177Contract.Requires(count >= 0, "count >= 0"); 178Contract.Requires(bytes != null, "bytes != null"); 183Contract.EndContractBlock(); 238Contract.Requires(offset >= 0, "offset >= 0"); 239Contract.Requires(count >= 0, "count >= 0"); 240Contract.Requires(bytes != null, "bytes != null"); 241Contract.Requires(bytes.Length >= offset + count, "bytes.Length >= offset + count"); 256Contract.Assert(!writeSuccess || count == numBytesWritten); 269Contract.Assert(!writeSuccess || count / BytesPerWChar == charsWritten);

system\io\binaryreader.cs (38)

system\io\binarywriter.cs (6)

83Contract.EndContractBlock(); 172Contract.EndContractBlock(); 194Contract.EndContractBlock(); 196Contract.Assert(_encoding.GetMaxByteCount(1) <= 16, "_encoding.GetMaxByteCount(1) <= 16)"); 213Contract.EndContractBlock(); 359Contract.EndContractBlock();

system\io\bufferedstream.cs (78)

system\io\directory.cs (105)

system\io\directoryinfo.cs (32)

system\io\driveinfo.cs (1)

60Contract.EndContractBlock();

system\io\file.cs (59)

system\io\fileinfo.cs (5)

73Contract.EndContractBlock(); 143Contract.Assert(Path.GetRootLength(fullPath) > 0, "fullPath must be fully qualified!"); 289Contract.EndContractBlock(); 312Contract.EndContractBlock(); 462Contract.EndContractBlock();

system\io\filestream.cs (100)

system\io\filesystemenumerable.cs (28)

system\io\filesysteminfo.cs (1)

74Contract.EndContractBlock();

system\io\isolatedstorage\isolatedstorage.cs (2)

796Contract.Assert(m_ValidQuota == false, "Quota should be invalid here"); 966Contract.Assert(evidence != null, "evidence != null");

system\io\isolatedstorage\isolatedstoragefile.cs (23)

system\io\isolatedstorage\isolatedstoragefilestream.cs (7)

121Contract.EndContractBlock(); 340Contract.EndContractBlock(); 417Contract.EndContractBlock(); 468Contract.EndContractBlock(); 477Contract.EndContractBlock(); 703Contract.EndContractBlock(); 748Contract.EndContractBlock();

system\io\longpath.cs (36)

system\io\memorystream.cs (20)

system\io\path.cs (12)

364Contract.EndContractBlock(); 488Contract.Requires(path != null, "path can't be null"); 511Contract.Requires(path != null, "path can't be null"); 871Contract.Assert(lastSlash < newBuffer.Length, "path unexpectedly ended in a '\'"); 1079Contract.Assert(path != null, "path can't be null"); 1200Contract.EndContractBlock(); 1210Contract.EndContractBlock(); 1221Contract.EndContractBlock(); 1234Contract.EndContractBlock(); 1313Contract.Assert(((buff.Length % 5) == 0), "Unexpected hash length"); 1353Contract.Assert(((b2 & 0xF8) == 0), "Unexpected set bits"); 1400Contract.EndContractBlock();

system\io\pathhelper.cs (9)

65Contract.Requires(charArrayPtr != null); 67Contract.Requires(length == Path.MaxPath); 120Contract.Requires(index >= 0 && index < Length); 130Contract.Requires(index >= 0 && index < Length); 173Contract.Assert(result < Path.MaxPath, "did we accidently remove a PathTooLongException check?"); 210Contract.Assert(result < m_maxPath, "did we accidentally remove a PathTooLongException check?"); 392Contract.Requires(useStackAlloc, "This should never be called for PathHelpers wrapping a StringBuilder"); 397Contract.Requires(!useStackAlloc, "This should never be called for PathHelpers that wrap a stackalloc'd buffer"); 403Contract.Requires(useStackAlloc, "This should never be called for PathHelpers wrapping a StringBuilder");

system\io\pinnedbuffermemorystream.cs (1)

35Contract.Assert(array != null, "Array can't be null");

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 (66)

system\io\streamreader.cs (31)

system\io\streamwriter.cs (24)

system\io\stringreader.cs (4)

39Contract.EndContractBlock(); 94Contract.EndContractBlock(); 172Contract.EndContractBlock(); 186Contract.EndContractBlock();

system\io\stringwriter.cs (2)

60Contract.EndContractBlock(); 118Contract.EndContractBlock();

system\io\textreader.cs (31)

system\io\textwriter.cs (4)

180Contract.Ensures(Contract.Result<TextWriter>() != null); 181Contract.EndContractBlock(); 217Contract.EndContractBlock();

system\io\unmanagedmemoryaccessor.cs (13)

81Contract.EndContractBlock(); 550Contract.EndContractBlock(); 592Contract.EndContractBlock(); 1034Contract.EndContractBlock(); 1079Contract.EndContractBlock(); 1093Contract.Assert(CanRead, "UMA not readable"); 1094Contract.Assert(position >= 0, "position less than 0"); 1095Contract.Assert(position <= _capacity - sizeof(byte), "position is greater than capacity - sizeof(byte)"); 1116Contract.Assert(CanWrite, "UMA not writeable"); 1117Contract.Assert(position >= 0, "position less than 0"); 1118Contract.Assert(position <= _capacity - sizeof(byte), "position is greater than capacity - sizeof(byte)"); 1145Contract.EndContractBlock(); 1166Contract.EndContractBlock();

system\io\unmanagedmemorystream.cs (13)

system\io\unmanagedmemorystreamwrapper.cs (2)

133Contract.EndContractBlock(); 174Contract.EndContractBlock();

system\Lazy.cs (5)

96Contract.Assert(false, "ALREADY_INVOKED_SENTINEL should never be invoked."); 329Contract.Assert(m_boxed != null); 384Contract.Assert(m_boxed != null); 398Contract.Assert(exHolder != null); 409Contract.Assert(boxed != null);

system\marshalbyrefobject.cs (2)

136Contract.Assert(!RemotingServices.IsTransparentProxy(obj), "Use this method for server objects only"); 243Contract.EndContractBlock();

system\math.cs (10)

137Contract.EndContractBlock(); 151Contract.EndContractBlock(); 256Contract.Requires(value < 0, "AbsHelper should only be called for negative values! (hack for JIT inlining)"); 259Contract.EndContractBlock(); 271Contract.Requires(value < 0, "AbsHelper should only be called for negative values! (hack for JIT inlining)"); 274Contract.EndContractBlock(); 286Contract.Requires(value < 0, "AbsHelper should only be called for negative values! (hack for JIT inlining)"); 289Contract.EndContractBlock(); 301Contract.Requires(value < 0, "AbsHelper should only be called for negative values! (hack for JIT inlining)"); 304Contract.EndContractBlock();

system\missingmemberexception.cs (1)

92Contract.EndContractBlock();

system\multicastdelegate.cs (5)

147Contract.Assert((_invocationList as Object[]) != null, "empty invocation list on multicast delegate"); 179Contract.Assert(d != null && (_invocationList as Object[]) != null, "bogus delegate in multicast list comparison"); 254Contract.Assert(!IsUnmanagedFunctionPtr(), "dynamic method and unmanaged fntptr delegate combined"); 463Contract.Ensures(Contract.Result<Delegate[]>() != null);

system\notfinitenumberexception.cs (1)

66Contract.EndContractBlock();

system\nullable.cs (1)

136Contract.EndContractBlock();

system\number.cs (12)

system\object.cs (8)

131Contract.Requires(typeName != null); 132Contract.Requires(fieldName != null); 166Contract.Requires(typeName != null); 167Contract.Requires(fieldName != null); 180Contract.Requires(typeName != null); 181Contract.Requires(fieldName != null); 182Contract.Ensures(Contract.Result<FieldInfo>() != null);

system\operatingsystem.cs (2)

52Contract.EndContractBlock(); 85Contract.EndContractBlock();

system\progress.cs (1)

53Contract.Assert(m_synchronizationContext != null);

system\random.cs (3)

164Contract.EndContractBlock(); 185Contract.EndContractBlock(); 208Contract.EndContractBlock();

system\reflection\assembly.cs (79)

system\reflection\assemblyattributes.cs (1)

196Contract.EndContractBlock();

system\reflection\assemblyname.cs (3)

207Contract.EndContractBlock(); 323Contract.EndContractBlock(); 389Contract.EndContractBlock();

system\reflection\Associates.cs (3)

49Contract.Assert(declaredType != null); 50Contract.Assert(reflectedType != null); 68Contract.Assert(!associateMethodHandle.IsNullHandle(), "Failed to resolve associateRecord methodDef token");

system\reflection\ConstructorInfo.cs (5)

273Contract.Ensures(methodAttributes == RuntimeMethodHandle.GetAttributes(handle)); 405Contract.EndContractBlock(); 420Contract.EndContractBlock(); 540Contract.EndContractBlock(); 769Contract.EndContractBlock();

system\reflection\customattribute.cs (70)

system\reflection\emit\assemblybuilder.cs (30)

system\reflection\emit\constructorbuilder.cs (1)

239Contract.EndContractBlock();

system\reflection\emit\customattributebuilder.cs (4)

123Contract.EndContractBlock(); 332Contract.Assert(false, "Invalid primitive type"); 416Contract.Assert(false, "Invalid enum base type"); 494Contract.Assert(false, "Invalid primitive type");

system\reflection\emit\dynamicilgenerator.cs (13)

68Contract.EndContractBlock(); 97Contract.EndContractBlock(); 154Contract.EndContractBlock(); 182Contract.EndContractBlock(); 199Contract.EndContractBlock(); 220Contract.EndContractBlock(); 326Contract.EndContractBlock(); 357Contract.EndContractBlock(); 370Contract.Assert(opcode.Equals(OpCodes.Calli), 407Contract.EndContractBlock(); 1078Contract.EndContractBlock(); 1104Contract.EndContractBlock(); 1129Contract.EndContractBlock();

system\reflection\emit\dynamicmethod.cs (15)

278Contract.EndContractBlock(); 379Contract.Assert(owner == null && m == null, "owner and m cannot be set for transparent methods"); 392Contract.Assert(m != null || owner != null, "PerformSecurityCheck should ensure that either m or owner is set"); 393Contract.Assert(m == null || !m.Equals(s_anonymouslyHostedDynamicMethodsModule), "The user cannot explicitly use this assembly"); 394Contract.Assert(m == null || owner == null, "m and owner cannot both be set"); 445Contract.EndContractBlock(); 647Contract.Assert(assembly != null); 654Contract.Assert(assembly != null); 673Contract.Assert(assembly != null); 680Contract.Assert(assembly != null); 699Contract.Assert(assembly != null); 706Contract.Assert(assembly != null); 717Contract.EndContractBlock(); 937Contract.EndContractBlock(); 953Contract.EndContractBlock();

system\reflection\emit\eventbuilder.cs (3)

70Contract.EndContractBlock(); 118Contract.EndContractBlock(); 137Contract.EndContractBlock();

system\reflection\emit\fieldbuilder.cs (4)

52Contract.EndContractBlock(); 204Contract.EndContractBlock(); 235Contract.EndContractBlock(); 250Contract.EndContractBlock();

system\reflection\emit\generictypeparameterbuilder.cs (1)

87Contract.EndContractBlock();

system\reflection\emit\ilgenerator.cs (33)

system\reflection\emit\methodbuilder.cs (24)

system\reflection\emit\methodbuilderinstantiation.cs (1)

24Contract.EndContractBlock();

system\reflection\emit\methodrental.cs (1)

60Contract.EndContractBlock();

system\reflection\emit\modulebuilder.cs (80)

system\reflection\emit\modulebuilderdata.cs (1)

69Contract.Assert(m_strModuleName == AssemblyBuilder.MANIFEST_MODULE_NAME, "Changing names for non-manifest module");

system\reflection\emit\parameterbuilder.cs (3)

38Contract.EndContractBlock(); 73Contract.EndContractBlock(); 91Contract.EndContractBlock();

system\reflection\emit\propertybuilder.cs (1)

57Contract.EndContractBlock();

system\reflection\emit\signaturehelper.cs (4)

310Contract.Requires(clsArgument != null); 311Contract.Requires((optionalCustomModifiers == null && requiredCustomModifiers == null) || !clsArgument.ContainsGenericParameters); 331Contract.Assert(!MetadataToken.IsNullToken(token)); 354Contract.Assert(!MetadataToken.IsNullToken(token));

system\reflection\emit\symboltype.cs (3)

240Contract.EndContractBlock(); 308Contract.EndContractBlock(); 330Contract.EndContractBlock();

system\reflection\emit\typebuilder.cs (58)

system\reflection\emit\typebuilderinstantiation.cs (3)

27Contract.Requires(type != null, "this is only called from RuntimeType.MakeGenericType and TypeBuilder.MakeGenericType so 'type' cannot be null"); 34Contract.EndContractBlock(); 98Contract.EndContractBlock();

system\reflection\emit\xxxontypebuilderinstantiation.cs (7)

35Contract.Assert(method is MethodBuilder || method is RuntimeMethodInfo); 65Contract.Assert(m_method is RuntimeMethodInfo); 93Contract.EndContractBlock(); 127Contract.Assert(constructor is ConstructorBuilder || constructor is RuntimeConstructorInfo); 162Contract.Assert(m_ctor is RuntimeConstructorInfo); 236Contract.Assert(field is FieldBuilder || field is RuntimeFieldInfo); 263Contract.Assert(m_field is RuntimeFieldInfo);

system\reflection\eventinfo.cs (9)

130Contract.Assert(addMethod.ReturnType == typeof(void)); 147Contract.Assert(parameters != null && parameters.Length == 1); 153Contract.Assert(parameters[0].ParameterType.BaseType == typeof(MulticastDelegate)); 254Contract.Requires(declaredType != null); 255Contract.Requires(reflectedTypeCache != null); 256Contract.Assert(!reflectedTypeCache.IsGlobal); 313Contract.EndContractBlock(); 328Contract.EndContractBlock(); 385Contract.EndContractBlock();

system\reflection\fieldinfo.cs (5)

336Contract.EndContractBlock(); 351Contract.EndContractBlock(); 377Contract.EndContractBlock(); 749Contract.EndContractBlock(); 774Contract.EndContractBlock();

system\reflection\mdimport.cs (2)

184Contract.EndContractBlock(); 277Contract.Requires(0 <= index && index < Length);

system\reflection\memberinfoserializationholder.cs (2)

37Contract.EndContractBlock(); 71Contract.EndContractBlock();

system\reflection\methodbody.cs (1)

165public virtual Type LocalType { get { Contract.Assert(m_type != null, "type must be set!"); return m_type; } }

system\reflection\methodinfo.cs (10)

255Contract.Ensures(!m_handle.IsNull()); 257Contract.Assert(!handle.IsNullHandle()); 258Contract.Assert(methodAttributes == RuntimeMethodHandle.GetAttributes(handle)); 488Contract.EndContractBlock(); 502Contract.EndContractBlock(); 819Contract.Ensures(m_returnParameter != null); 895Contract.EndContractBlock(); 921Contract.EndContractBlock(); 990Contract.EndContractBlock(); 1033Contract.EndContractBlock();

system\reflection\missing.cs (1)

35Contract.EndContractBlock();

system\reflection\module.cs (6)

446Contract.EndContractBlock(); 464Contract.EndContractBlock(); 479Contract.EndContractBlock(); 1021Contract.EndContractBlock(); 1036Contract.EndContractBlock(); 1060Contract.EndContractBlock();

system\reflection\parameterinfo.cs (18)

101Contract.Ensures(Contract.Result<MemberInfo>() != null); 165Contract.EndContractBlock(); 174Contract.EndContractBlock(); 218Contract.Ensures(Contract.Result<Object>() != null); 271Contract.Assert(method is RuntimeMethodInfo || method is RuntimeConstructorInfo); 280Contract.Assert(method is RuntimeMethodInfo || method is RuntimeConstructorInfo); 399Contract.Assert(result != null); 411Contract.EndContractBlock(); 457Contract.Assert(m_originalMember != null); 476Contract.Requires(member != null); 477Contract.Assert(MdToken.IsNullToken(tkParamDef) == scope.Equals(MetadataImport.EmptyImport)); 478Contract.Assert(MdToken.IsNullToken(tkParamDef) || MdToken.IsTokenOfType(tkParamDef, MetadataTokenType.ParamDef)); 520Contract.Assert(parameterType != null); 603Contract.Assert(!m_noMetadata); 741Contract.EndContractBlock(); 759Contract.EndContractBlock();

system\reflection\parametermodifier.cs (1)

27Contract.EndContractBlock();

system\reflection\pointer.cs (1)

48Contract.EndContractBlock();

system\reflection\propertyinfo.cs (9)

215Contract.Requires(declaredType != null); 216Contract.Requires(reflectedTypeCache != null); 217Contract.Assert(!reflectedTypeCache.IsGlobal); 296Contract.Requires(Name.Equals(target.Name)); 297Contract.Requires(this != target); 298Contract.Requires(this.ReflectedType == target.ReflectedType); 382Contract.EndContractBlock(); 397Contract.EndContractBlock(); 684Contract.EndContractBlock();

system\reflection\reflectiontypeloadexception.cs (1)

75Contract.EndContractBlock();

system\reflection\strongnamekeypair.cs (3)

63Contract.EndContractBlock(); 81Contract.EndContractBlock(); 98Contract.EndContractBlock();

system\reflection\typedelegator.cs (1)

37Contract.EndContractBlock();

system\resources\__fastresourcecomparer.cs (5)

86Contract.Assert(a != null && bytes != null, "FastResourceComparer::CompareOrdinal must have non-null params"); 87Contract.Assert(bCharLength * 2 <= bytes.Length, "FastResourceComparer::CompareOrdinal - numChars is too big!"); 123Contract.Assert((byteLen & 1) == 0, "CompareOrdinal is expecting a UTF-16 string length, which must be even!"); 124Contract.Assert(a != null && b != null, "Null args not allowed."); 125Contract.Assert(byteLen >= 0, "byteLen must be non-negative.");

system\resources\filebasedresourcegroveler.cs (5)

36Contract.Assert(mediator != null, "mediator shouldn't be null; check caller"); 46Contract.Assert(culture != null, "culture shouldn't be null; check caller"); 114Contract.Assert(culture != null, "culture shouldn't be null; check caller"); 115Contract.Assert(fileName != null, "fileName shouldn't be null; check caller"); 157Contract.Assert(file != null, "file shouldn't be null; check caller");

system\resources\manifestbasedresourcegroveler.cs (16)

56Contract.Requires(mediator != null, "mediator shouldn't be null; check caller"); 64Contract.Assert(culture != null, "culture shouldn't be null; check caller"); 65Contract.Assert(localResourceSets != null, "localResourceSets shouldn't be null; check caller"); 236Contract.Assert(a != null, "assembly != null"); 269Contract.Assert(false, "mscorlib's NeutralResourcesLanguageAttribute is a malformed culture name! name: \"" + cultureName + "\" Exception: " + e); 286Contract.Assert(store != null, "I need a Stream!"); 366Contract.Assert(resSetTypeName != null, "We should have a ResourceSet type name from the custom resource file here."); 432Contract.Requires(satellite != null, "satellite shouldn't be null; check caller"); 433Contract.Requires(fileName != null, "fileName shouldn't be null; check caller"); 457Contract.Requires(satellite != null, "satellite shouldn't be null; check caller"); 458Contract.Requires(name != null, "name shouldn't be null; check caller"); 570Contract.Assert(false, "[This assert catches satellite assembly build/deployment problems - report this message to your build lab & loc engineer]" + Environment.NewLine + "GetSatelliteAssembly failed for culture " + lookForCulture.Name + " and version " + (_mediator.SatelliteContractVersion == null ? _mediator.MainAssembly.GetVersion().ToString() : _mediator.SatelliteContractVersion.ToString()) + " of assembly " + _mediator.MainAssembly.GetSimpleName() + " with error code 0x" + hr.ToString("X", CultureInfo.InvariantCulture) + Environment.NewLine + "Exception: " + fle); 577Contract.Assert(false, "[This assert catches satellite assembly build/deployment problems - report this message to your build lab & loc engineer]" + Environment.NewLine + "GetSatelliteAssembly failed for culture " + lookForCulture.Name + " and version " + (_mediator.SatelliteContractVersion == null ? _mediator.MainAssembly.GetVersion().ToString() : _mediator.SatelliteContractVersion.ToString()) + " of assembly " + _mediator.MainAssembly.GetSimpleName() + Environment.NewLine + "Exception: " + bife); 605Contract.Assert(readerTypeName != null, "readerTypeName shouldn't be null; check caller"); 606Contract.Assert(resSetTypeName != null, "resSetTypeName shouldn't be null; check caller"); 675Contract.Assert(false, "Couldn't get mscorlib" + ResourceManager.ResFileExtension + " from mscorlib's assembly" + Environment.NewLine + Environment.NewLine + "Are you building the runtime on your machine? Chances are the BCL directory didn't build correctly. Type 'build -c' in the BCL directory. If you get build errors, look at buildd.log. If you then can't figure out what's wrong (and you aren't changing the assembly-related metadata code), ask a BCL dev.\n\nIf you did NOT build the runtime, you shouldn't be seeing this and you've found a bug.");

system\resources\neutralresourceslanguageattribute.cs (2)

41Contract.EndContractBlock(); 53Contract.EndContractBlock();

system\resources\resourcemanager.cs (23)

system\resources\resourcereader.cs (27)

system\resources\resourceset.cs (2)

119Contract.EndContractBlock(); 299Contract.EndContractBlock();

system\resources\resourcewriter.cs (14)

system\resources\runtimeresourceset.cs (3)

295Contract.EndContractBlock(); 319Contract.Assert(dataPos >= 0, "data section offset cannot be negative!"); 380Contract.Assert(ignoreCase, "This should only happen for case-insensitive lookups");

system\resources\satellitecontractversionattribute.cs (1)

33Contract.EndContractBlock();

system\rttype.cs (98)

system\runtime\compilerservices\AsyncMethodBuilder.cs (27)

73Contract.EndContractBlock(); 117Contract.Assert(continuation != null, "GetCompletionAction should always return a valid action."); 127Contract.Assert(!Object.ReferenceEquals((object)stateMachine, (object)stateMachine), "Expected an unboxed state machine reference"); 163Contract.Assert(continuation != null, "GetCompletionAction should always return a valid action."); 173Contract.Assert(!Object.ReferenceEquals((object)stateMachine, (object)stateMachine), "Expected an unboxed state machine reference"); 204Contract.EndContractBlock(); 234Contract.Assert(m_synchronizationContext != null, "Must only be used with a non-null context."); 305Contract.EndContractBlock(); 460Contract.EndContractBlock(); 504Contract.Assert(continuation != null, "GetCompletionAction should always return a valid action."); 515Contract.Assert(!Object.ReferenceEquals((object)stateMachine, (object)stateMachine), "Expected an unboxed state machine reference"); 544Contract.Assert(continuation != null, "GetCompletionAction should always return a valid action."); 555Contract.Assert(!Object.ReferenceEquals((object)stateMachine, (object)stateMachine), "Expected an unboxed state machine reference"); 594Contract.Assert(m_task != null, "GetTaskForResult should never return null"); 623Contract.Requires(completedTask != null, "Expected non-null task"); 624Contract.Requires(completedTask.Status == TaskStatus.RanToCompletion, "Expected a successfully completed task"); 650Contract.EndContractBlock(); 715Contract.Ensures( 716EqualityComparer<TResult>.Default.Equals(result, Contract.Result<Task<TResult>>().Result), 818Contract.Assert(EXCLUSIVE_INT32_MAX >= INCLUSIVE_INT32_MIN, "Expected max to be at least min"); 887Contract.EndContractBlock(); 904Contract.Assert(m_defaultContextAction == null || m_stateMachine != null, 927Contract.Assert(m_stateMachine != null, "If the delegate was set, the state machine should have been as well."); 995Contract.Assert(runner.m_stateMachine == null, "The runner's state machine should not yet have been populated."); 996Contract.Assert(m_stateMachine != null, "The builder's state machine field should have been initialized."); 1059Contract.Assert(m_stateMachine != null, "The state machine must have been set before calling Run."); 1109Contract.Requires(continuation != null, "Expected non-null continuation");

system\runtime\compilerservices\datetimeconstantattribute.cs (2)

31Contract.Requires(attr.Constructor.DeclaringType == typeof(DateTimeConstantAttribute)); 32Contract.Requires(attr.ConstructorArguments.Count == 1);

system\runtime\compilerservices\decimalconstantattribute.cs (4)

54Contract.Requires(attr.Constructor.DeclaringType == typeof(DecimalConstantAttribute)); 61Contract.Assert(false, "Decimal cannot be represented directly in the metadata."); 67Contract.Assert(parameters.Length == 5); 70Contract.Assert(args.Count == 5);

system\runtime\compilerservices\RuntimeWrappedException.cs (1)

43Contract.EndContractBlock();

system\runtime\compilerservices\TaskAwaiter.cs (13)

73Contract.Requires(task != null, "Constructing an awaiter requires a task to await."); 149Contract.Assert(taskCompleted, "With an infinite timeout, the task should have always completed."); 162Contract.Requires(task.IsCompleted, "Task must have been completed by now."); 163Contract.Requires(task.Status != TaskStatus.RanToCompletion, "Task should not be completed successfully."); 177Contract.Assert(false, "Throw() should have thrown"); 188Contract.Assert(false, "Throw() should have thrown"); 193Contract.Assert(false, "There should be exceptions if we're Faulted."); 233Contract.Requires(task != null, "Need a task to wait on"); 234Contract.Requires(continuation != null, "Need a continuation to invoke when the wait completes"); 310Contract.Requires(task != null, "Constructing an awaiter requires a task to await."); 370Contract.Requires(task != null, "Constructing an awaitable requires a task to await."); 399Contract.Requires(task != null, "Constructing an awaiter requires a task to await."); 487Contract.Requires(task != null, "Constructing an awaiter requires a task to await.");

system\runtime\compilerservices\typedependencyattribute.cs (1)

22Contract.EndContractBlock();

system\runtime\compilerservices\YieldAwaitable.cs (1)

88Contract.EndContractBlock();

system\runtime\designerservices\windowsruntimedesignercontext.cs (5)

145Contract.Ensures(Contract.Result<Assembly>() != null); 146Contract.Ensures(!Contract.Result<Assembly>().ReflectionOnly); 158Contract.EndContractBlock();

system\runtime\gcsettings.cs (2)

61Contract.EndContractBlock(); 88Contract.EndContractBlock();

system\runtime\interopservices\attributes.cs (3)

582Contract.Assert(marshalTypeName != null); 886default: Contract.Assume(false); break; 895default: Contract.Assume(false); break;

system\runtime\interopservices\gchandle.cs (2)

67Contract.EndContractBlock(); 201Contract.EndContractBlock();

system\runtime\interopservices\marshal.cs (29)

system\runtime\interopservices\registrationservices.cs (6)

107Contract.EndContractBlock(); 170Contract.EndContractBlock(); 227Contract.EndContractBlock(); 265Contract.EndContractBlock(); 303Contract.Assert(baseComImportType != null, "baseComImportType != null"); 321Contract.EndContractBlock();

system\runtime\interopservices\safebuffer.cs (5)

108Contract.EndContractBlock(); 130Contract.EndContractBlock(); 256Contract.EndContractBlock(); 328Contract.EndContractBlock(); 390Contract.Assert(false, "Uninitialized SafeBuffer! Someone needs to call Initialize before using this instance!");

system\runtime\interopservices\tceadaptergen\eventproviderwriter.cs (33)

system\runtime\interopservices\tceadaptergen\eventsinkhelperwriter.cs (4)

69Contract.Assert(aParams.Length == 1, "All event interface methods must take a single delegate derived type and have a void return type"); 123Contract.Assert(DelegateInvokeMethod != null, "Unable to find method Delegate.Invoke()"); 233Contract.Assert(false, "Unexpected type for Primitive type."); 258Contract.Assert(DefaultBaseClsCons != null, "Unable to find the constructor for class " + m_InputType.Name);

system\runtime\interopservices\typelibconverter.cs (6)

108Contract.EndContractBlock(); 311Contract.Assert((asmFileName != null) && (asmFileName.Length > 0), "The assembly file name cannot be an empty string!"); 515Contract.Ensures(Contract.Result<Assembly>() != null && Contract.Result<Assembly>() is RuntimeAssembly); 516Contract.EndContractBlock();

system\runtime\interopservices\windowsruntime\bindablevectortocollectionadapter.cs (1)

33Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\bindablevectortolistadapter.cs (1)

33Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\clrikeyvaluepairimpl.cs (2)

42Contract.Requires(pair != null); 51Contract.Requires(wrapper != null);

system\runtime\interopservices\windowsruntime\clripropertyvalueimpl.cs (20)

system\runtime\interopservices\windowsruntime\clrireferenceimpl.cs (13)

86Contract.Requires(wrapper != null); 88Contract.Assert(reference != null, "CLRIReferenceImpl::UnboxHelper - QI'ed for IReference<"+typeof(T)+">, but that failed."); 275Contract.Requires(wrapper != null); 277Contract.Assert(reference != null, "CLRIReferenceArrayImpl::UnboxHelper - QI'ed for IReferenceArray<" + typeof(T) + ">, but that failed."); 293Contract.Requires(obj != null, "Null should not be boxed."); 294Contract.Ensures(Contract.Result<Object>() != null); 363Contract.Assert(false, "We should not see non-WinRT type here"); 370Contract.Requires(obj != null); 371Contract.Requires(obj.GetType().IsArray); 372Contract.Ensures(Contract.Result<Object>() != null); 376Contract.Assert(obj.Rank == 1 && obj.GetLowerBound(0) == 0 && !type.IsArray);

system\runtime\interopservices\windowsruntime\constantsplittablemap.cs (6)

54Contract.EndContractBlock(); 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\custompropertyimpl.cs (1)

128Contract.Assert(AppDomain.CurrentDomain.PermissionSet.IsUnrestricted());

system\runtime\interopservices\windowsruntime\dictionarytomapadapter.cs (2)

34Contract.Assert(false, "This class is never instantiated"); 76Contract.Assert(_this != null);

system\runtime\interopservices\windowsruntime\enumeratortoiteratoradapter.cs (3)

32Contract.Assert(false, "This class is never instantiated"); 48Contract.Assert(false, "This class is never instantiated"); 83Contract.Requires(enumerator != null);

system\runtime\interopservices\windowsruntime\eventregistrationtokentable.cs (2)

80Contract.Requires(handler != null); 134Contract.Requires(handler != null);

system\runtime\interopservices\windowsruntime\IClosable.cs (2)

31Contract.Assert(false, "This class is never instantiated"); 48Contract.Assert(false, "This class is never instantiated");

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 (3)

34Contract.Assert(false, "This class is never instantiated"); 43Contract.EndContractBlock(); 116Contract.Requires(null != key);

system\runtime\interopservices\windowsruntime\ireadonlydictionarytoimapviewadapter.cs (1)

34Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\ireadonlylisttoivectorviewadapter.cs (1)

34Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\iteratortoenumeratoradapter.cs (3)

34Contract.Assert(false, "This class is never instantiated"); 76Contract.Assert(false, "This class is never instantiated"); 118Contract.Requires(iterator != null);

system\runtime\interopservices\windowsruntime\ivectorviewtoireadonlylistadapter.cs (1)

36Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\listtobindablevectoradapter.cs (1)

34Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\listtobindablevectorviewadapter.cs (1)

33Contract.EndContractBlock();

system\runtime\interopservices\windowsruntime\listtovectoradapter.cs (2)

34Contract.Assert(false, "This class is never instantiated"); 67Contract.Assert(_this != null);

system\runtime\interopservices\windowsruntime\maptocollectionadapter.cs (2)

35Contract.Assert(false, "This class is never instantiated"); 156Contract.EndContractBlock();

system\runtime\interopservices\windowsruntime\maptodictionaryadapter.cs (6)

32Contract.Assert(false, "This class is never instantiated"); 42Contract.EndContractBlock(); 55Contract.EndContractBlock(); 101Contract.EndContractBlock(); 163Contract.Requires(null != key); 180Contract.Requires(null != key);

system\runtime\interopservices\windowsruntime\mapviewtoreadonlycollectionadapter.cs (1)

35Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\vectortocollectionadapter.cs (2)

32Contract.Assert(false, "This class is never instantiated"); 99Contract.EndContractBlock();

system\runtime\interopservices\windowsruntime\vectortolistadapter.cs (1)

32Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\vectorviewtoreadonlycollectionadapter.cs (1)

32Contract.Assert(false, "This class is never instantiated");

system\runtime\interopservices\windowsruntime\windowsruntimemarshal.cs (28)

system\runtime\interopservices\windowsruntime\windowsruntimemetadata.cs (1)

36Contract.EndContractBlock();

system\runtime\memoryfailpoint.cs (2)

165Contract.EndContractBlock(); 295Contract.Assert(false, "Fell through switch statement!");

system\runtime\remoting\activationservices.cs (32)

system\runtime\remoting\channelservices.cs (7)

124Contract.EndContractBlock(); 252Contract.Assert((oldList != null) && (oldList.Length != 0), "channel list should not be empty"); 459Contract.Assert(null != idObj,"null != idObj"); 1311Contract.Assert(nextSink != null, 1320Contract.Assert(RemotingServices.CORProfilerTrackRemoting(), 1322Contract.Assert(RemotingServices.CORProfilerTrackRemotingAsync(), 1343Contract.Assert(false, "ServerAsyncReplyTerminatorSink.AsyncProcessMessage called!");

system\runtime\remoting\configuration.cs (8)

1292Contract.EndContractBlock(); 1498Contract.Assert(null != URI, "null != URI"); 1517Contract.Assert(null != URI, "null != URI"); 1602Contract.Assert(null != srvID, "null != srvID"); 1620Contract.Assert(null != srvID, "null != srvID"); 1642Contract.Assert(null != srvID, "null != srvID"); 1685Contract.Assert(null != srvID, "null != srvID"); 1771Contract.Assert(_channel != null, "channel shouldn't be null");

system\runtime\remoting\context.cs (8)

247Contract.EndContractBlock(); 300Contract.Assert( 526Contract.Assert( (msg is IConstructionCallMessage) 529Contract.Assert( !((msg is IConstructionCallMessage) && 533Contract.Assert((_ctxFlags & CTX_FROZEN) == CTX_FROZEN, 635Contract.EndContractBlock(); 669Contract.Assert(targetCtxID != IntPtr.Zero, "Bad transition context"); 909Contract.EndContractBlock();

system\runtime\remoting\contextproperty.cs (3)

208Contract.EndContractBlock(); 210Contract.Assert(ctorMsg.ActivationType.IsMarshalByRef, "Activation on a non MarshalByRef object"); 235Contract.EndContractBlock();

system\runtime\remoting\dispatchchannelsink.cs (1)

66Contract.EndContractBlock();

system\runtime\remoting\identityholder.cs (17)

system\runtime\remoting\message.cs (25)

system\runtime\remoting\realproxy.cs (9)

120Contract.EndContractBlock(); 124Contract.Assert((IntPtr)0 != _defaultStub, "Default stub not set up"); 610Contract.Assert( 755Contract.Assert(rp!=null, "RemotingProxy expected here!"); 787Contract.Assert(false, "Unknown call type"); 802Contract.Assert(null != retMsg, "null != retMsg"); 806Contract.Assert(null != reqMsg, "null != reqMsg"); 918Contract.Assert(msgFlags != -1, "Unexpected msgFlags?"); 984Contract.Assert(null != serverID.ServerContext, "null != serverID.ServerContext");

system\runtime\remoting\remotingconfiguration.cs (9)

355Contract.EndContractBlock(); 368Contract.EndContractBlock(); 418Contract.EndContractBlock(); 427Contract.EndContractBlock(); 478Contract.EndContractBlock(); 491Contract.EndContractBlock(); 548Contract.EndContractBlock(); 562Contract.EndContractBlock(); 607Contract.Assert(appURI != null, "Bad remote app URI");

system\runtime\remoting\remotingservices.cs (26)

424Contract.Assert(!(obj is ContextBoundObject), "ContextBoundObject's shouldn't get here."); 432Contract.Assert(null != serverCtx, "null != serverCtx"); 438Contract.Assert(idObj == MarshalByRefObject.GetIdentity(obj), "Bad ID state!" ); 452Contract.Assert(obj is ContextBoundObject, "Object should have been a ContextBoundObject."); 529Contract.Assert(null != idObj.ObjURI,"null != idObj.ObjURI"); 534Contract.Assert(null != idObj,"null != idObj"); 545Contract.Assert(null != realProxy,"null != realProxy"); 688Contract.Assert(null != realProxy,"null != realProxy"); 707Contract.Assert(null != idObj, "null != idObj"); 719Contract.Assert(srvID != null && Obj is ContextBoundObject, 749Contract.Assert(srvID == idObj, "Bad ID Table state!"); 756Contract.Assert(idObj.ObjURI != null, "Client side id without URI!"); 774Contract.Assert(null != idObj.ObjURI,"null != idObj.ObjURI"); 821Contract.EndContractBlock(); 872Contract.EndContractBlock(); 975Contract.EndContractBlock(); 1066Contract.Assert(obj.GetType().IsContextful,"objType.IsContextful"); 2218Contract.Assert(IsTransparentProxy(tp),"Must be called only for TPs"); 2298Contract.Assert( 2348Contract.Assert(IsTransparentProxy(tp), "IsTransparentProxy(tp)"); 2354Contract.Assert(!(id is ServerIdentity), "(!id is ServerIdentity)"); 2471Contract.EndContractBlock(); 2511Contract.EndContractBlock(); 2605Contract.EndContractBlock(); 2642Contract.EndContractBlock(); 2780Contract.Assert(condition, message);

system\runtime\remoting\remotingsurrogateselector.cs (7)

63Contract.EndContractBlock(); 90Contract.EndContractBlock(); 146Contract.EndContractBlock(); 189Contract.EndContractBlock(); 272Contract.EndContractBlock(); 380Contract.Assert( 450Contract.EndContractBlock();

system\runtime\remoting\soap.cs (2)

173Contract.EndContractBlock(); 231Contract.EndContractBlock();

system\runtime\remoting\synchronizeddispatch.cs (24)

system\runtime\remoting\trackingservices.cs (2)

72Contract.EndContractBlock(); 107Contract.EndContractBlock();

system\runtime\serialization\formatterconverter.cs (17)

system\runtime\serialization\formatters\binary\binarycommonclasses.cs (4)

86Contract.Assert(objectInfo!=null, "[BinaryConverter.GetBinaryTypeInfo]objectInfo null for user object"); 154Contract.Assert(typeInformation!=null, "[BinaryConverter.WriteTypeInfo]typeInformation!=null"); 163Contract.Assert(typeInformation!=null, "[BinaryConverter.WriteTypeInfo]typeInformation!=null"); 167Contract.Assert(typeInformation!=null, "[BinaryConverter.WriteTypeInfo]typeInformation!=null");

system\runtime\serialization\formatters\binary\binaryconverter.cs (1)

480Contract.Assert((code != InternalPrimitiveTypeE.Invalid), "[Converter.FromString]!InternalPrimitiveTypeE.Invalid ");

system\runtime\serialization\formatters\binary\binaryformatter.cs (2)

185Contract.EndContractBlock(); 225Contract.EndContractBlock();

system\runtime\serialization\formatters\binary\binaryobjectreader.cs (4)

116Contract.EndContractBlock(); 147Contract.EndContractBlock(); 169Contract.Assert(!bFullDeserialization, "we just set bFullDeserialization to false"); 357Contract.Assert((index < crossAppDomainArray.Length),

system\runtime\serialization\formatters\binary\binaryobjectwriter.cs (1)

85Contract.EndContractBlock();

system\runtime\serialization\formatters\binary\binaryparser.cs (1)

1022Contract.Assert((pr.PRnewObj != null),"[BinaryParser expected a Primitive Array]");

system\runtime\serialization\formatters\sertrace.cs (2)

101Contract.Assert(condition, message); 115Contract.EndContractBlock();

system\runtime\serialization\formatterservices.cs (10)

89Contract.Assert((object)type != null, "[GetAllSerializableMembers]type!=null"); 190Contract.EndContractBlock(); 236Contract.EndContractBlock(); 250Contract.EndContractBlock(); 301Contract.Requires(fi != null); 342Contract.EndContractBlock(); 390Contract.EndContractBlock(); 405Contract.Assert(mi is RuntimeFieldInfo || mi is SerializationFieldInfo, 429Contract.EndContractBlock(); 443Contract.EndContractBlock();

system\runtime\serialization\objectidgenerator.cs (2)

97Contract.EndContractBlock(); 134Contract.EndContractBlock();

system\runtime\serialization\objectmanager.cs (44)

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\serialization\serializationattributes.cs (1)

36Contract.EndContractBlock();

system\runtime\serialization\serializationeventscache.cs (3)

96Contract.Assert(obj != null, "object should have been initialized"); 115Contract.Assert(obj != null, "object should have been initialized"); 134Contract.Assert(obj != null, "object should have been initialized");

system\runtime\serialization\serializationfieldinfo.cs (2)

43Contract.Assert(field!=null, "[SerializationFieldInfo.ctor]field!=null"); 44Contract.Assert(namePrefix!=null, "[SerializationFieldInfo.ctor]namePrefix!=null");

system\runtime\serialization\serializationinfo.cs (21)

system\runtime\serialization\serializationinfoenumerator.cs (7)

71Contract.Assert(members!=null, "[SerializationInfoEnumerator.ctor]members!=null"); 72Contract.Assert(info!=null, "[SerializationInfoEnumerator.ctor]info!=null"); 73Contract.Assert(types!=null, "[SerializationInfoEnumerator.ctor]types!=null"); 74Contract.Assert(numItems>=0, "[SerializationInfoEnumerator.ctor]numItems>=0"); 75Contract.Assert(members.Length>=numItems, "[SerializationInfoEnumerator.ctor]members.Length>=numItems"); 76Contract.Assert(info.Length>=numItems, "[SerializationInfoEnumerator.ctor]info.Length>=numItems"); 77Contract.Assert(types.Length>=numItems, "[SerializationInfoEnumerator.ctor]types.Length>=numItems");

system\runtime\serialization\surrogateselector.cs (5)

41Contract.EndContractBlock(); 52Contract.Assert(selector!=null, "[HasCycle]selector!=null"); 90Contract.EndContractBlock(); 179Contract.EndContractBlock(); 201Contract.EndContractBlock();

system\runtime\serialization\valuetypefixupinfo.cs (1)

43Contract.EndContractBlock();

system\runtime\versioning\binarycompatibility.cs (13)

118Contract.Ensures(Contract.Result<TargetFrameworkId>() > TargetFrameworkId.NotYetChecked); 132Contract.Ensures(Contract.Result<int>() > 0 || s_AppWasBuiltForFramework == TargetFrameworkId.Unspecified); 137Contract.Assert(s_AppWasBuiltForFramework != TargetFrameworkId.Unrecognized); 188Contract.Requires(buildAgainstVersion > 0 || builtAgainstFramework == TargetFrameworkId.Unspecified); 256Contract.Assert(false, "Bad framework kind"); 259Contract.Assert(false, "Error: we introduced a new Target Framework but did not update our binary compatibility map"); 270Contract.Requires(!String.IsNullOrEmpty(targetFrameworkMoniker)); 334Contract.Assert(false, "This is a phone app, but we can't tell what version this is!"); 340Contract.Assert(false, String.Format(CultureInfo.InvariantCulture, "Unrecognized Silverlight profile \"{0}\". What is this, an XBox app?", profile)); 347Contract.Assert(false, String.Format(CultureInfo.InvariantCulture, "Unrecognized Target Framework Moniker in our Binary Compatibility class. Framework name: \"{0}\"", targetFrameworkMoniker)); 370Contract.EndContractBlock();

system\runtime\versioning\resourceattributes.cs (1)

235Contract.Assert(requires == SxSRequirements.None, "Computed a strange set of required resource scoping. It's probably wrong.");

system\runtime\versioning\targetframeworkattribute.cs (1)

32Contract.EndContractBlock();

system\runtimehandles.cs (8)

649Contract.EndContractBlock(); 884Contract.EndContractBlock(); 899Contract.EndContractBlock(); 1053Contract.EndContractBlock(); 1068Contract.EndContractBlock(); 1226Contract.Requires(method != null); 1797Contract.EndContractBlock(); 1815Contract.EndContractBlock();

system\sbyte.cs (10)

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\security\accesscontrol\ace.cs (8)

143Contract.Assert( false, "Length > ushort.MaxValue" ); 692Contract.EndContractBlock(); 743Contract.EndContractBlock(); 793Contract.EndContractBlock(); 891Contract.Assert( false, "OpaqueLength somehow managed to exceed MaxOpaqueLength" ); 1205Contract.Assert( false, "Invalid ACE type" ); 1644Contract.Assert( false, "OpaqueLength somehow managed to exceed MaxOpaqueLength" ); 2210Contract.Assert( false, "OpaqueLength somehow managed to exceed MaxOpaqueLength" );

system\security\accesscontrol\acl.cs (26)

system\security\accesscontrol\commonobjectsecurity.cs (16)

system\security\accesscontrol\directoryobjectsecurity.cs (17)

system\security\accesscontrol\filesecurity.cs (4)

187Contract.EndContractBlock(); 297Contract.EndContractBlock(); 504Contract.EndContractBlock(); 549Contract.EndContractBlock();

system\security\accesscontrol\nativeobjectsecurity.cs (4)

166Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Win32GetSecurityInfo() failed with unexpected error code {0}", error )); 311Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Unexpected error code {0}", error )); 362Contract.EndContractBlock(); 388Contract.EndContractBlock();

system\security\accesscontrol\objectsecurity.cs (10)

89Contract.EndContractBlock(); 100Contract.Assert( newOne != null, "Must not supply a null parameter here" ); 382Contract.EndContractBlock(); 426Contract.EndContractBlock(); 447Contract.EndContractBlock(); 468Contract.EndContractBlock(); 618Contract.EndContractBlock(); 668Contract.EndContractBlock(); 702Contract.EndContractBlock(); 729Contract.EndContractBlock();

system\security\accesscontrol\privilege.cs (7)

139Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "LookupPrivilegeValue() failed with unrecognized error code {0}", error )); 250Contract.Assert( this.isImpersonating == false, "Incorrect isImpersonating state" ); 314Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "WindowsIdentity.GetCurrentThreadToken() failed with unrecognized error code {0}", error )); 411Contract.EndContractBlock(); 424Contract.Assert( !this.needToRevert, "Must revert privileges that you alter!" ); 579Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "AdjustTokenPrivileges() failed with unrecognized error code {0}", error )); 669Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "AdjustTokenPrivileges() failed with unrecognized error code {0}", error ));

system\security\accesscontrol\privilegenotheldexception.cs (1)

52Contract.EndContractBlock();

system\security\accesscontrol\rules.cs (2)

62Contract.EndContractBlock(); 159Contract.EndContractBlock();

system\security\accesscontrol\securitydescriptor.cs (9)

245Contract.Assert( false, "binaryForm produced invalid output" ); 250Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Win32.ConvertSdToSddl returned {0}", error )); 280Contract.EndContractBlock(); 518Contract.EndContractBlock(); 639Contract.EndContractBlock(); 678Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Unexpected error out of Win32.ConvertStringSdToSd: {0}", error )); 960Contract.EndContractBlock(); 1221Contract.EndContractBlock(); 1235Contract.EndContractBlock();

system\security\accesscontrol\win32.cs (1)

338Contract.Assert( false, "Internal error: both name and handle are null" );

system\security\builtinpermissionsets.cs (4)

284Contract.Requires(!String.IsNullOrEmpty(permissionSetXml)); 286Contract.Requires(!String.IsNullOrEmpty(extensionXml)); 308Contract.Assert(!String.IsNullOrEmpty(permissionSetXml)); 326Contract.Requires(!String.IsNullOrEmpty(extensionXml));

system\security\claims\Claim.cs (1)

208Contract.EndContractBlock();

system\security\claims\ClaimsIdentity.cs (9)

641Contract.EndContractBlock(); 668Contract.EndContractBlock(); 767Contract.EndContractBlock(); 795Contract.EndContractBlock(); 825Contract.EndContractBlock(); 857Contract.EndContractBlock(); 888Contract.EndContractBlock(); 914Contract.EndContractBlock(); 984Contract.EndContractBlock();

system\security\claims\ClaimsPrincipal.cs (12)

182Contract.EndContractBlock(); 199Contract.EndContractBlock(); 223Contract.EndContractBlock(); 336Contract.EndContractBlock(); 484Contract.EndContractBlock(); 500Contract.EndContractBlock(); 555Contract.EndContractBlock(); 587Contract.EndContractBlock(); 618Contract.EndContractBlock(); 650Contract.EndContractBlock(); 681Contract.EndContractBlock(); 715Contract.EndContractBlock();

system\security\codeaccesspermission.cs (8)

92Contract.Assert(new StackFrame().GetMethod().Name.Equals("Demand"), "This method needs to be named Demand"); 120Contract.Assert(new StackFrame().GetMethod().Name.Equals("Assert"), "This method needs to be named Assert"); 173Contract.Assert( perm.GetType().FullName.Equals( permname ), "Incorrect class name passed in! Was: " + permname + " Should be " + perm.GetType().FullName); 183Contract.EndContractBlock(); 263Contract.Assert( grant == null || grant.GetType().Equals( this.GetType() ), "CheckDemand not defined for permissions of different type" ); 269Contract.Assert( permitted == null || permitted.GetType().Equals( this.GetType() ), "CheckPermitOnly not defined for permissions of different type" ); 275Contract.Assert( denied == null || denied.GetType().Equals( this.GetType() ), "CheckDeny not defined for permissions of different type" ); 282Contract.Assert( asserted == null || asserted.GetType().Equals( this.GetType() ), "CheckPermitOnly not defined for permissions of different type" );

system\security\codeaccesssecurityengine.cs (12)

130Contract.Assert((assemblyOrString == null || assemblyOrString is RuntimeAssembly || assemblyOrString is String), "Must pass in an Assembly object or String object here"); 192Contract.Assert(demands != null, "Should not reach here with a null demand set"); 306Contract.Assert(demand != null, "Should not reach here with a null demand"); 347Contract.Assert(demand != null,"demand != null"); 429Contract.Assert(grantSet != null, "Missing grant set"); 499Contract.Assert(securityContext != null, "securityContext != null"); 555Contract.Assert( asm != null, "Must pass in a good assembly" ); 556Contract.Assert( demand != null, "Must pass in a good demand" ); 619Contract.Assert(AssertPermissionToken != null && AssertPermission != null, "Assert Permission not setup correctly"); 732Contract.Assert(evidence != null); 733Contract.Assert(!AppDomain.CurrentDomain.IsLegacyCasPolicyEnabled); // This API does not do CAS policy resolution 764Contract.Assert(evidence != null);

system\security\cryptography\asymmetricsignaturedeformatter.cs (1)

36Contract.EndContractBlock();

system\security\cryptography\asymmetricsignatureformatter.cs (1)

35Contract.EndContractBlock();

system\security\cryptography\base64transforms.cs (4)

54Contract.EndContractBlock(); 71Contract.EndContractBlock(); 149Contract.EndContractBlock(); 193Contract.EndContractBlock();

system\security\cryptography\capinative.cs (20)

system\security\cryptography\cryptoapitransform.cs (3)

207Contract.EndContractBlock(); 247Contract.EndContractBlock(); 307Contract.Assert((CspProviderFlags.UseMachineKeyStore |

system\security\cryptography\cryptoconfig.cs (9)

549Contract.EndContractBlock(); 574Contract.EndContractBlock(); 694Contract.EndContractBlock(); 723Contract.EndContractBlock(); 756Contract.EndContractBlock(); 834Contract.Assert(nameMappingNode != null, "No name mappings"); 835Contract.Assert(String.Compare(nameMappingNode.Name, "cryptoNameMapping", StringComparison.Ordinal) == 0, "Invalid name mapping root"); 884Contract.Assert(oidMappingNode != null, "No OID mappings"); 885Contract.Assert(String.Compare(oidMappingNode.Name, "oidMap", StringComparison.Ordinal) == 0, "Invalid OID mapping root");

system\security\cryptography\cryptostream.cs (12)

system\security\cryptography\des.cs (1)

55Contract.EndContractBlock();

system\security\cryptography\dsa.cs (1)

158Contract.EndContractBlock();

system\security\cryptography\dsacryptoserviceprovider.cs (10)

73Contract.EndContractBlock(); 274Contract.Assert(data != null); 275Contract.Assert(offset >= 0 && offset <= data.Length); 276Contract.Assert(count >= 0 && count <= data.Length - offset); 277Contract.Assert(!String.IsNullOrEmpty(hashAlgorithm.Name)); 290Contract.Assert(data != null); 291Contract.Assert(!String.IsNullOrEmpty(hashAlgorithm.Name)); 305Contract.EndContractBlock(); 329Contract.EndContractBlock(); 377Contract.EndContractBlock();

system\security\cryptography\dsasignaturedeformatter.cs (3)

35Contract.EndContractBlock(); 46Contract.EndContractBlock(); 60Contract.EndContractBlock();

system\security\cryptography\dsasignatureformatter.cs (3)

35Contract.EndContractBlock(); 46Contract.EndContractBlock(); 58Contract.EndContractBlock();

system\security\cryptography\hashalgorithm.cs (3)

101Contract.EndContractBlock(); 143Contract.EndContractBlock(); 166Contract.EndContractBlock();

system\security\cryptography\hmac.cs (2)

187Contract.Requires(createStandardHashAlgorithmCallback != null); 188Contract.Requires(createFipsHashAlgorithmCallback != null);

system\security\cryptography\mactripledes.cs (1)

58Contract.EndContractBlock();

system\security\cryptography\md5cryptoserviceprovider.cs (1)

32Contract.EndContractBlock();

system\security\cryptography\passwordderivebytes.cs (1)

108Contract.EndContractBlock();

system\security\cryptography\rc2cryptoserviceprovider.cs (1)

41Contract.EndContractBlock();

system\security\cryptography\rfc2898derivebytes.cs (7)

68Contract.EndContractBlock(); 107Contract.EndContractBlock(); 129Contract.EndContractBlock(); 142Contract.EndContractBlock(); 155Contract.EndContractBlock(); 157Contract.Assert(m_blockSize > 0); 175Contract.Assert(m_startIndex == 0 && m_endIndex == 0, "Invalid start or end index in the internal buffer." );

system\security\cryptography\rijndaelmanaged.cs (1)

30Contract.EndContractBlock();

system\security\cryptography\rijndaelmanagedtransform.cs (6)

57Contract.EndContractBlock(); 247Contract.EndContractBlock(); 315Contract.EndContractBlock(); 477Contract.Assert(m_blockSizeBytes <= m_Nb * sizeof(int), "m_blockSizeBytes <= m_Nb * sizeof(int)"); 482Contract.Assert(m_blockSizeBytes <= m_Nb * sizeof(int), "m_blockSizeBytes <= m_Nb * sizeof(int)"); 562Contract.Assert(m_blockSizeBytes <= m_lastBlockBuffer.Length * sizeof(int), "m_blockSizeBytes <= m_lastBlockBuffer.Length * sizeof(int)");

system\security\cryptography\ripemd160managed.cs (1)

42Contract.EndContractBlock();

system\security\cryptography\rngcryptoserviceprovider.cs (2)

95Contract.EndContractBlock(); 108Contract.EndContractBlock();

system\security\cryptography\rsa.cs (1)

267Contract.EndContractBlock();

system\security\cryptography\rsacryptoserviceprovider.cs (15)

113Contract.EndContractBlock(); 342Contract.EndContractBlock(); 352Contract.Requires(rgbHash != null); 371Contract.EndContractBlock(); 379Contract.Requires(rgbHash != null); 380Contract.Requires(rgbSignature != null); 402Contract.EndContractBlock(); 421Contract.EndContractBlock(); 485Contract.EndContractBlock(); 522Contract.Assert(data != null); 523Contract.Assert(offset >= 0 && offset <= data.Length); 524Contract.Assert(count >= 0 && count <= data.Length); 525Contract.Assert(!String.IsNullOrEmpty(hashAlgorithm.Name)); 536Contract.Assert(data != null); 537Contract.Assert(!String.IsNullOrEmpty(hashAlgorithm.Name));

system\security\cryptography\rsaoaepkeyexchangedeformatter.cs (2)

24Contract.EndContractBlock(); 56Contract.EndContractBlock();

system\security\cryptography\rsaoaepkeyexchangeformatter.cs (2)

26Contract.EndContractBlock(); 66Contract.EndContractBlock();

system\security\cryptography\rsapkcs1keyexchangedeformatter.cs (2)

24Contract.EndContractBlock(); 85Contract.EndContractBlock();

system\security\cryptography\rsapkcs1keyexchangeformatter.cs (2)

28Contract.EndContractBlock(); 52Contract.EndContractBlock();

system\security\cryptography\rsapkcs1signaturedeformatter.cs (3)

40Contract.EndContractBlock(); 51Contract.EndContractBlock(); 66Contract.EndContractBlock();

system\security\cryptography\rsapkcs1signatureformatter.cs (3)

33Contract.EndContractBlock(); 44Contract.EndContractBlock(); 57Contract.EndContractBlock();

system\security\cryptography\sha1managed.cs (1)

44Contract.EndContractBlock();

system\security\cryptography\sha256managed.cs (1)

46Contract.EndContractBlock();

system\security\cryptography\sha384managed.cs (1)

44Contract.EndContractBlock();

system\security\cryptography\sha512managed.cs (1)

36Contract.EndContractBlock();

system\security\cryptography\signaturedescription.cs (1)

33Contract.EndContractBlock();

system\security\cryptography\symmetricalgorithm.cs (2)

125Contract.EndContractBlock(); 140Contract.EndContractBlock();

system\security\cryptography\tripledes.cs (2)

54Contract.EndContractBlock(); 99Contract.EndContractBlock();

system\security\cryptography\utils.cs (5)

527Contract.Assert(Environment.OSVersion.Version.Major < 6, "CryptGetFIPSAlgorithmMode should be used on Vista+"); 577Contract.EndContractBlock(); 602Contract.EndContractBlock(); 663Contract.Assert(i < 8, "Got too big an int here!"); 689Contract.Assert(i < 4, "Got too big an int here!");

system\security\cryptography\x509certificates\x509certificate.cs (4)

192Contract.EndContractBlock(); 201Contract.EndContractBlock(); 787Contract.EndContractBlock(); 825Contract.EndContractBlock();

system\security\cryptography\x509certificates\x509utils.cs (5)

130Contract.Requires(key != null); 180Contract.Requires(oid != null); 200Contract.Requires(oid != null); 207Contract.Requires(friendlyName != null); 281Contract.EndContractBlock();

system\security\framesecuritydescriptor.cs (1)

303Contract.Assert(demand != null && !demand.CheckDemand(null), "Empty demands should have been filtered out by this point");

system\security\hostprotectionexception.cs (2)

59Contract.EndContractBlock(); 130Contract.EndContractBlock();

system\security\hostsecuritymanager.cs (2)

94Contract.EndContractBlock(); 162Contract.EndContractBlock();

system\security\namedpermissionset.cs (4)

88Contract.Assert(permissionSetXml != null); 101Contract.EndContractBlock(); 139Contract.Assert( this.GetType().FullName.Equals( "System.Security.NamedPermissionSet" ), "Class name changed!" ); 163Contract.EndContractBlock();

system\security\permissionlistset.cs (4)

66Contract.Assert(m_permSetTriples == null, "m_permSetTriples != null"); 429Contract.Assert(m_permSetTriples == null && m_firstPermSetTriple != null, "More than one PermissionSetTriple encountered in AD PermissionListSet"); 445Contract.Assert(m_permSetTriples == null && m_firstPermSetTriple != null, "More than one PermissionSetTriple encountered in AD PermissionListSet"); 511Contract.Assert(flags != 0, "Invalid permission flag demand");

system\security\permissions\environmentpermission.cs (2)

166Contract.EndContractBlock(); 180Contract.EndContractBlock();

system\security\permissions\filedialogpermission.cs (1)

192Contract.EndContractBlock();

system\security\permissions\fileiopermission.cs (5)

214Contract.EndContractBlock(); 1263Contract.Assert( this.m_pathDiscovery == operand.m_pathDiscovery, "Path discovery settings must match" ); 1283Contract.Assert( this.m_pathDiscovery == operand.m_pathDiscovery, "Path discovery settings must match" ); 1360Contract.Assert( this.m_pathDiscovery == operand.m_pathDiscovery, "Path discovery settings must match" ); 1448Contract.Assert( this.m_pathDiscovery == operand.m_pathDiscovery, "Path discovery settings must match" );

system\security\permissions\hostprotectionpermission.cs (2)

77Contract.EndContractBlock(); 205Contract.EndContractBlock();

system\security\permissions\keycontainerpermission.cs (7)

242Contract.EndContractBlock(); 257Contract.EndContractBlock(); 285Contract.EndContractBlock(); 308Contract.EndContractBlock(); 395Contract.EndContractBlock(); 606Contract.Assert(iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly"); 657Contract.EndContractBlock();

system\security\permissions\principalpermission.cs (1)

526Contract.Assert( this.GetType().FullName.Equals( "System.Security.Permissions.PrincipalPermission" ), "Class name changed!" );

system\security\permissions\reflectionpermission.cs (1)

266Contract.EndContractBlock();

system\security\permissions\securitypermission.cs (1)

260Contract.EndContractBlock();

system\security\permissions\strongnameidentitypermission.cs (3)

148Contract.EndContractBlock(); 167Contract.EndContractBlock(); 194Contract.EndContractBlock();

system\security\permissions\strongnamepublickeyblob.cs (1)

30Contract.EndContractBlock();

system\security\permissions\uipermission.cs (2)

166Contract.EndContractBlock(); 175Contract.EndContractBlock();

system\security\permissions\urlidentitypermission.cs (1)

117Contract.EndContractBlock();

system\security\permissions\zoneidentitypermission.cs (1)

193Contract.EndContractBlock();

system\security\permissionset.cs (44)

system\security\permissionsettriple.cs (3)

97Contract.Assert((!in_a.IsUnrestricted() || RefusedSet == null), "Cannot be unrestricted or refused must be null"); 247Contract.Assert(AssertSet == null, "AssertSet not null"); 255Contract.Assert(AssertSet == null, "AssertSet not null");

system\security\permissiontoken.cs (12)

70Contract.EndContractBlock(); 108Contract.Assert( c_mscorlibName == ((RuntimeAssembly)Assembly.GetExecutingAssembly()).GetSimpleName(), 163Contract.Assert( method != null, "IBuiltInPermission types should have a static method called 'GetTokenIndex'" ); 169Contract.Assert(getTokenIndex != null, "method is not a RuntimeMethodInfo"); 251Contract.Assert( method != null, "IBuiltInPermission types should have a static method called 'GetTokenIndex'" ); 257Contract.Assert(getTokenIndex != null, "method is not a RuntimeMethodInfo"); 293Contract.Assert( (m_type & PermissionTokenType.DontKnow) == 0, "Should have valid token type when ToXml is called" ); 309Contract.Assert( false, "Tried to deserialize non-PermissionToken element here" ); 320Contract.Assert((this.m_type & PermissionTokenType.DontKnow) == 0, "Should have valid token type when FromXml is called."); 403Contract.Assert( cls != null, "Must pass in valid type" ); 459Contract.Assert( !(perm is IBuiltInPermission), "This should not be called for built-ins" ); 467Contract.Assert( cls.GetInterface( "System.Security.Permissions.IBuiltInPermission" ) == null, "This shoudl not be called for built-ins" );

system\security\policy\allmembershipcondition.cs (2)

68Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.AllMembershipCondition" ), "Class name changed!" ); 84Contract.EndContractBlock();

system\security\policy\appdomainevidencefactory.cs (2)

24Contract.Assert(target != null); 25Contract.Assert(target == AppDomain.CurrentDomain, "AppDomainEvidenceFactory should not be used across domains.");

system\security\policy\applicationdirectory.cs (3)

32Contract.EndContractBlock(); 39Contract.Assert(appDirectory != null); 82Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.ApplicationDirectory" ), "Class name changed!" );

system\security\policy\applicationsecurityinfo.cs (5)

51Contract.EndContractBlock(); 67Contract.EndContractBlock(); 84Contract.EndContractBlock(); 158Contract.EndContractBlock(); 189Contract.EndContractBlock();

system\security\policy\applicationsecuritymanager.cs (1)

41Contract.EndContractBlock();

system\security\policy\applicationtrust.cs (8)

127Contract.EndContractBlock(); 466Contract.EndContractBlock(); 481Contract.EndContractBlock(); 500Contract.EndContractBlock(); 538Contract.EndContractBlock(); 552Contract.EndContractBlock(); 571Contract.EndContractBlock(); 625Contract.EndContractBlock();

system\security\policy\assemblyevidencefactory.cs (6)

35Contract.Assert(targetAssembly != null); 36Contract.Assert(peFileFactory != null); 131Contract.Assert(AppDomain.CurrentDomain.IsLegacyCasPolicyEnabled); 220Contract.Assert(peFileEvidence != null); 221Contract.Assert(targetAssembly != null); 222Contract.Assert(peFileEvidence.Target is PEFileEvidenceFactory, "Expected upgrade path is from PEFile to Assembly");

system\security\policy\codegroup.cs (9)

45Contract.Assert( membershipCondition != null, "membershipCondition != null" ); 46Contract.Assert( permSet != null, "permSet != null" ); 60Contract.EndContractBlock(); 78Contract.EndContractBlock(); 94Contract.EndContractBlock(); 152Contract.EndContractBlock(); 196Contract.EndContractBlock(); 336Contract.Assert( this.GetType().FullName.Equals( policyClassName ), "Incorrect class name passed in! Was: " + policyClassName + " Should be " + this.GetType().FullName); 401Contract.EndContractBlock();

system\security\policy\evidence.cs (53)

system\security\policy\evidencebase.cs (7)

91Contract.Assert(legacyEvidence != null); 92Contract.Assert(legacyEvidence.GetType() != typeof(EvidenceBase), "Attempt to wrap an EvidenceBase in a LegacyEvidenceWrapper"); 93Contract.Assert(legacyEvidence.GetType().IsSerializable, "legacyEvidence.GetType().IsSerializable"); 158Contract.Assert(m_legacyEvidenceList.Count > 0, "No items in LegacyEvidenceList, cannot tell what type they are"); 167Contract.Assert(evidence != null); 168Contract.Assert(m_legacyEvidenceList.Count == 0 || EvidenceType == evidence.GetType() || (evidence is LegacyEvidenceWrapper && (evidence as LegacyEvidenceWrapper).EvidenceType == EvidenceType), 170Contract.Assert(evidence.GetType() != typeof(LegacyEvidenceList),

system\security\policy\evidencetypedescriptor.cs (5)

48Contract.Assert(descriptor != null); 75Contract.Assert(value != null); 92Contract.Assert(value, "Attempt to clear the Generated flag"); 106Contract.Assert(value, "Attempt to clear HostCanGenerate flag"); 120Contract.Assert(value != null);

system\security\policy\filecodegroup.cs (3)

43Contract.EndContractBlock(); 86Contract.EndContractBlock(); 98Contract.EndContractBlock();

system\security\policy\firstmatchcodegroup.cs (2)

42Contract.EndContractBlock(); 119Contract.EndContractBlock();

system\security\policy\gacmembershipcondition.cs (1)

87Contract.EndContractBlock();

system\security\policy\hash.cs (16)

system\security\policy\hashmembershipcondition.cs (5)

59Contract.EndContractBlock(); 81Contract.EndContractBlock(); 95Contract.EndContractBlock(); 173Contract.Assert(this.GetType().FullName.Equals("System.Security.Policy.HashMembershipCondition"), "Class name changed!"); 189Contract.EndContractBlock();

system\security\policy\netcodegroup.cs (5)

136Contract.EndContractBlock(); 297Contract.EndContractBlock(); 365Contract.EndContractBlock(); 414Contract.EndContractBlock(); 428Contract.EndContractBlock();

system\security\policy\pefileevidencefactory.cs (1)

65Contract.Assert(peFile != null &&

system\security\policy\permissionrequestevidence.cs (1)

94Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.PermissionRequestEvidence" ), "Class name changed!" );

system\security\policy\policylevel.cs (16)

system\security\policy\policystatement.cs (2)

369Contract.EndContractBlock(); 443Contract.EndContractBlock();

system\security\policy\publisher.cs (2)

35Contract.EndContractBlock(); 117Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.Publisher" ), "Class name changed!" );

system\security\policy\publishermembershipcondition.cs (3)

59Contract.EndContractBlock(); 169Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.PublisherMembershipCondition" ), "Class name changed!" ); 187Contract.EndContractBlock();

system\security\policy\site.cs (3)

33Contract.EndContractBlock(); 40Contract.Assert(name != null); 106Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.Site" ), "Class name changed!" );

system\security\policy\sitemembershipcondition.cs (4)

53Contract.EndContractBlock(); 71Contract.EndContractBlock(); 152Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.SiteMembershipCondition" ), "Class name changed!" ); 171Contract.EndContractBlock();

system\security\policy\strongname.cs (2)

57Contract.EndContractBlock(); 163Contract.EndContractBlock();

system\security\policy\strongnamemembershipcondition.cs (4)

60Contract.EndContractBlock(); 79Contract.EndContractBlock(); 222Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.StrongNameMembershipCondition" ), "Class name changed!" ); 248Contract.EndContractBlock();

system\security\policy\unioncodegroup.cs (3)

47Contract.EndContractBlock(); 94Contract.EndContractBlock(); 110Contract.EndContractBlock();

system\security\policy\url.cs (4)

32Contract.EndContractBlock(); 41Contract.EndContractBlock(); 48Contract.Assert(url != null); 99Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.Url" ), "Class name changed!" );

system\security\policy\urlmembershipcondition.cs (4)

51Contract.EndContractBlock(); 72Contract.EndContractBlock(); 156Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.UrlMembershipCondition" ), "Class name changed!" ); 174Contract.EndContractBlock();

system\security\policy\zone.cs (4)

41Contract.EndContractBlock(); 48Contract.Assert(zone != null); 67Contract.EndContractBlock(); 130Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.Zone" ), "Class name changed!" );

system\security\policy\zonemembershipcondition.cs (3)

100Contract.EndContractBlock(); 167Contract.Assert( this.GetType().FullName.Equals( "System.Security.Policy.ZoneMembershipCondition" ), "Class name changed!" ); 186Contract.EndContractBlock();

system\security\policymanager.cs (3)

91Contract.Assert(AppDomain.CurrentDomain.IsLegacyCasPolicyEnabled); 278Contract.Assert(level != null, "No policy level to encode."); 459Contract.Assert(0 <= (int)zone && (int)zone < FullTrustMap.Length, "FullTrustMap does not contain a mapping for this zone.");

system\security\principal\genericidentity.cs (2)

45Contract.EndContractBlock(); 63Contract.EndContractBlock();

system\security\principal\genericprincipal.cs (1)

38Contract.EndContractBlock();

system\security\principal\ircollection.cs (9)

73Contract.EndContractBlock(); 84Contract.EndContractBlock(); 106Contract.EndContractBlock(); 143Contract.EndContractBlock(); 177Contract.EndContractBlock(); 218Contract.Assert( false, "Source type is an IdentityReference type which has not been included in translation logic."); 281Contract.Assert( false, "Source type is an IdentityReference type which has not been included in translation logic."); 378Contract.Assert( false, "Source type is an IdentityReference type which has not been included in translation logic."); 417Contract.EndContractBlock();

system\security\principal\ntaccount.cs (7)

61Contract.EndContractBlock(); 89Contract.EndContractBlock(); 126Contract.EndContractBlock(); 208Contract.EndContractBlock(); 262Contract.EndContractBlock(); 292Contract.Assert(false, "NTAccount::TranslateToSids - source account name is too long."); 348Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Win32Native.LsaLookupNames(2) returned unrecognized error {0}", win32ErrorCode ));

system\security\principal\sid.cs (13)

system\security\principal\win32.cs (4)

60Contract.Assert( r, "OSVersion native call failed." ); 87Contract.Assert( r, "OSVersion native call failed"); 322Contract.Assert(referencedDomains != null, "referencedDomains != null"); 347Contract.Assert(bufferSize > 0, "bufferSize > 0");

system\security\principal\windowsidentity.cs (7)

172Contract.EndContractBlock(); 396Contract.EndContractBlock(); 886Contract.Assert(!m_safeTokenHandle.IsInvalid && !m_safeTokenHandle.IsClosed, "!m_safeTokenHandle.IsInvalid && !m_safeTokenHandle.IsClosed"); 889Contract.Assert(information.ByteLength >= (ulong)Marshal.SizeOf(typeof(T)), 910Contract.Assert(hr == 0, "[WindowsIdentity..QueryImpersonation] - hr == 0"); 1072Contract.Assert(Marshal.SizeOf(typeof(Win32Native.KERB_S4U_LOGON)) % IntPtr.Size == 0, "Potential allignment issue setting up S4U logon buffer"); 1159Contract.EndContractBlock();

system\security\principal\windowsimpersonationcontext.cs (1)

45Contract.EndContractBlock();

system\security\principal\windowsprincipal.cs (3)

76Contract.EndContractBlock(); 210Contract.EndContractBlock(); 232Contract.EndContractBlock();

system\security\readonlypermissionset.cs (1)

137Contract.Assert(permissionSetEnumerator != null);

system\security\securestring.cs (15)

system\security\securitycontext.cs (10)

117Contract.Assert(currEC == Thread.CurrentThread.GetMutableExecutionContext(), "SecurityContextSwitcher used from another thread"); 118Contract.Assert(currSC == currEC.SecurityContext, "SecurityContextSwitcher context mismatch"); 126Contract.Assert(Thread.CurrentThread.GetExecutionContextReader().SecurityContext.IsSame(prevSC)); 345Contract.EndContractBlock(); 373Contract.Assert(GetCurrentWI(Thread.CurrentThread.GetExecutionContextReader()) == null); 531Contract.Assert(!this.isNewCapture); 642Contract.Assert(cachedAlwaysFlowImpersonationPolicy == _alwaysFlowImpersonationPolicy); 657Contract.Assert(currentEC.IsSame(Thread.CurrentThread.GetExecutionContextReader())); 658Contract.Assert(cachedAlwaysFlowImpersonationPolicy == _alwaysFlowImpersonationPolicy); 666Contract.Assert(_alwaysFlowImpersonationPolicy || currentEC.SecurityContext.WindowsIdentity == targetWI);

system\security\securitydocument.cs (1)

154Contract.Assert(bFoundEnd, "Malformed string in parse data");

system\security\securityelement.cs (21)

system\security\securityexception.cs (2)

234Contract.EndContractBlock(); 640Contract.EndContractBlock();

system\security\securitymanager.cs (5)

84Contract.EndContractBlock(); 169Contract.EndContractBlock(); 210Contract.EndContractBlock(); 414Contract.Assert(AppDomain.CurrentDomain.IsLegacyCasPolicyEnabled); 437Contract.Assert(AppDomain.CurrentDomain.IsLegacyCasPolicyEnabled);

system\security\securityruntime.cs (4)

140Contract.Assert(secObj != null,"Failure in SecurityRuntime.Assert() - secObj != null"); 161Contract.Assert(secObj != null, "Failure in SecurityRuntime.AssertAllPossible() - secObj != null"); 190Contract.Assert(secObj != null, "Failure in SecurityRuntime.Deny() - secObj != null"); 211Contract.Assert(secObj != null, "Failure in SecurityRuntime.PermitOnly() - secObj != null");

system\security\util\hex.cs (1)

81Contract.EndContractBlock();

system\security\util\sitestring.cs (1)

48Contract.EndContractBlock();

system\security\util\stringexpressionset.cs (3)

130Contract.EndContractBlock(); 197Contract.Assert( m_throwOnRelative, "This should only be called when throw on relative is set" ); 221Contract.EndContractBlock();

system\security\util\tokenbasedset.cs (1)

427Contract.Assert( (thisObj == null || otherObj == null), "Permission cannot be in both TokenBasedSets" );

system\security\util\tokenizer.cs (5)

211Contract.Assert( _inSavedCharacter == -1, "There was a lookahead character at the stream change point, that means the parser is changing encodings too late" ); 269Contract.Assert(false, "attempting to change encoding on a non-changable source, should have been prevented earlier" ); 277Contract.Assert(false, "A new input source type has been added to the Tokenizer but it doesn't support encoding changes"); 283Contract.Assert( reader._in.CurrentEncoding != null, "Tokenizer's StreamReader does not have an encoding" ); 290Contract.Assert(stream != null, "The XML stream with new encoding was not properly initialized for kind of input we had");

system\security\util\urlstring.cs (3)

620Contract.EndContractBlock(); 1097Contract.EndContractBlock(); 1176Contract.EndContractBlock();

system\security\util\xmlutil.cs (5)

73Contract.Assert( type.FullName.Equals( typename ), "Incorrect class name passed! Was : " + typename + " Shoule be: " + type.FullName); 210Contract.EndContractBlock(); 435Contract.EndContractBlock(); 496Contract.Assert( groupClass.Module.Assembly != Assembly.GetExecutingAssembly(), 509Contract.EndContractBlock();

system\sharedstatics.cs (2)

66Contract.Assert(_sharedStatics._Remoting_Identity_IDGuid != null, 145Contract.Assert(Volatile.Read(ref _sharedStatics._memFailPointReservedMemory) >= 0, "Process-wide MemoryFailPoint reserved memory was negative!");

system\single.cs (8)

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 (221)

system\stringcomparer.cs (20)

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); 71Contract.EndContractBlock(); 116Contract.EndContractBlock(); 184Contract.EndContractBlock(); 279Contract.EndContractBlock(); 357Contract.EndContractBlock(); 434Contract.EndContractBlock();

system\stubhelpers.cs (11)

486Contract.Assert(false, "NYI"); 492Contract.Assert(false, "NYI"); 498Contract.Assert(false, "NYI"); 600Contract.Assert(Environment.IsWinRTSupported); 943Contract.Assert(Environment.IsWinRTSupported); 1483Contract.Assert(Environment.IsWinRTSupported); 1512Contract.Ensures(Contract.Result<Exception>() != null || hr >= 0); 1527Contract.Assert(e != null || hr == 0 || hr == 1, "Unexpected HRESULT - it is a success HRESULT (without the high bit set) other than S_OK & S_FALSE."); 1777Contract.EndContractBlock(); 1793Contract.EndContractBlock();

system\text\asciiencoding.cs (43)

system\text\basecodepageencoding.cs (5)

189Contract.Assert(info!=null, "[BaseCodePageEncoding.GetObjectData] Expected null info to throw"); 256Contract.Assert(pCodePage->ByteCount == 1 || pCodePage->ByteCount == 2, 279Contract.Assert(pMemorySection != null, 320Contract.Assert(arrayUnicodeBestFit != null, 333Contract.Assert(arrayBytesBestFit != null,

system\text\codepageencoding.cs (4)

49Contract.EndContractBlock(); 102Contract.Assert(false, "Didn't expect to make it to CodePageEncoding ISerializable.GetObjectData"); 120Contract.EndContractBlock(); 138Contract.Assert(false, "Didn't expect to make it to CodePageEncoding.Decoder.GetObjectData");

system\text\dbcscodepageencoding.cs (40)

system\text\decoder.cs (6)

54Contract.EndContractBlock(); 141Contract.EndContractBlock(); 207Contract.EndContractBlock(); 223Contract.Assert(result <= charCount, "Returned more chars than we have space for"); 279Contract.EndContractBlock(); 326Contract.EndContractBlock();

system\text\decoderbestfitfallback.cs (3)

106Contract.Assert(iCount < 1, "[DecoderReplacementFallbackBuffer.Fallback] Calling fallback without a previously empty buffer"); 217Contract.Assert(index + 1 < oFallback.arrayBestFit.Length, 238Contract.Assert(index + 1 < oFallback.arrayBestFit.Length,

system\text\decoderfallback.cs (2)

157Contract.Assert(byteStart != null, "[DecoderFallback.InternalFallback]Used InternalFallback without calling InternalInitialize"); 218Contract.Assert(byteStart != null, "[DecoderFallback.InternalFallback]Used InternalFallback without calling InternalInitialize");

system\text\decodernls.cs (6)

99Contract.EndContractBlock(); 121Contract.EndContractBlock(); 158Contract.EndContractBlock(); 188Contract.EndContractBlock(); 226Contract.EndContractBlock(); 260Contract.EndContractBlock();

system\text\decoderreplacementfallback.cs (2)

28Contract.EndContractBlock(); 162Contract.Assert(fallbackIndex < strDefault.Length && fallbackIndex >= 0,

system\text\encoder.cs (6)

54Contract.EndContractBlock(); 137Contract.EndContractBlock(); 200Contract.EndContractBlock(); 216Contract.Assert(result <= byteCount, "Returned more bytes than we have space for"); 271Contract.EndContractBlock(); 318Contract.EndContractBlock();

system\text\encoderbestfitfallback.cs (5)

108Contract.Assert(iCount < 1, "[InternalEncoderBestFitFallbackBuffer.Fallback(non surrogate)] Fallback char " + ((int)cBestFit).ToString("X4", CultureInfo.InvariantCulture) + " caused recursive fallback"); 130Contract.EndContractBlock(); 135Contract.Assert(iCount < 1, "[InternalEncoderBestFitFallbackBuffer.Fallback(surrogate)] Fallback char " + ((int)cBestFit).ToString("X4", CultureInfo.InvariantCulture) + " caused recursive fallback"); 217Contract.Assert(index + 1 < oFallback.arrayBestFit.Length, 238Contract.Assert(index + 1 < oFallback.arrayBestFit.Length,

system\text\encoderexceptionfallback.cs (2)

77Contract.EndContractBlock(); 160Contract.EndContractBlock();

system\text\encoderfallback.cs (1)

171Contract.Assert(charStart != null,

system\text\encodernls.cs (6)

98Contract.EndContractBlock(); 124Contract.EndContractBlock(); 151Contract.EndContractBlock(); 180Contract.EndContractBlock(); 215Contract.EndContractBlock(); 248Contract.EndContractBlock();

system\text\encoderreplacementfallback.cs (3)

30Contract.EndContractBlock(); 161Contract.EndContractBlock(); 195Contract.Assert(fallbackIndex < strDefault.Length && fallbackIndex >= 0,

system\text\encoding.cs (38)

system\text\encodingnls.cs (11)

61Contract.EndContractBlock(); 82Contract.EndContractBlock(); 102Contract.EndContractBlock(); 131Contract.EndContractBlock(); 178Contract.EndContractBlock(); 212Contract.EndContractBlock(); 239Contract.EndContractBlock(); 264Contract.EndContractBlock(); 293Contract.EndContractBlock(); 327Contract.EndContractBlock(); 354Contract.EndContractBlock();

system\text\gb18030encoding.cs (19)

system\text\isciiencoding.cs (36)

system\text\iso2022encoding.cs (28)

system\text\latin1encoding.cs (28)

system\text\mlangcodepageencoding.cs (6)

51Contract.EndContractBlock(); 104Contract.Assert(false, "Didn't expect to make it to MLangCodePageEncoding ISerializable.GetObjectData"); 122Contract.EndContractBlock(); 140Contract.Assert(false, "Didn't expect to make it to MLangCodePageEncoding.MLangEncoder.GetObjectData"); 160Contract.EndContractBlock(); 178Contract.Assert(false, "Didn't expect to make it to MLangCodePageEncoding.MLangDecoder.GetObjectData");

system\text\normalization.cs (3)

189Contract.Requires(strInput != null); 226Contract.Requires(strInput != null); 282Contract.Assert(iLength > cBuffer.Length, "Buffer overflow should have iLength > cBuffer.Length");

system\text\sbcscodepageencoding.cs (38)

system\text\stringbuilder.cs (159)

system\text\surrogateencoder.cs (2)

35Contract.EndContractBlock(); 55Contract.Assert(false, "Didn't expect to make it to SurrogateEncoder.GetObjectData");

system\text\unicodeencoding.cs (47)

system\text\utf32encoding.cs (38)

system\text\utf7encoding.cs (31)

system\text\utf8encoding.cs (49)

system\threading\asynclocal.cs (7)

82Contract.Assert(m_valueChangedHandler != null); 138Contract.Assert(asyncLocalValueMap != null); 139Contract.Assert(asyncLocalValueMap == Empty || asyncLocalValueMap.GetType() != typeof(EmptyAsyncLocalValueMap)); 349Contract.Assert(count <= MaxMultiElements); 355Contract.Assert(index < _keyValues.Length); 484Contract.Assert(index == MultiElementAsyncLocalValueMap.MaxMultiElements); 497Contract.Assert(map.Count == count - 1);

system\threading\CancellationToken.cs (1)

172Contract.Assert(action != null, "Expected an Action here");

system\threading\CancellationTokenSource.cs (12)

system\threading\compressedstack.cs (2)

182Contract.EndContractBlock(); 287Contract.EndContractBlock();

system\threading\CountdownEvent.cs (3)

192Contract.Assert(m_event != null); 239Contract.Assert(m_event != null); 273Contract.Assert(m_currentCount >= 0, "latch was decremented below zero");

system\threading\eventwaithandle.cs (4)

63Contract.EndContractBlock(); 109Contract.EndContractBlock(); 238Contract.EndContractBlock(); 295Contract.EndContractBlock();

system\threading\executioncontext.cs (23)

system\threading\hostexecutioncontextmanager.cs (2)

206Contract.EndContractBlock(); 331Contract.Assert(_hostExecutionContextManager == null, "HostExecutionContextManager should be null");

system\threading\LazyInitializer.cs (1)

155Contract.Assert(target != null);

system\threading\ManualResetEventSlim.cs (11)

system\threading\monitor.cs (3)

61Contract.Assert(lockTaken); 243Contract.EndContractBlock(); 262Contract.EndContractBlock();

system\threading\mutex.cs (4)

67Contract.EndContractBlock(); 96Contract.EndContractBlock(); 367Contract.EndContractBlock(); 510Contract.EndContractBlock();

system\threading\overlapped.cs (5)

97Contract.Assert(helper != null,"_IOCompletionCallback cannot be null"); 183Contract.Assert(m_pinSelf.IsNull(), "OverlappedData has not been freed: m_pinSelf"); 186Contract.Assert(m_AppDomainId == 0 || m_AppDomainId == AppDomain.CurrentDomain.Id, "OverlappedData is not in the current domain"); 415Contract.EndContractBlock(); 428Contract.EndContractBlock();

system\threading\SemaphoreSlim.cs (14)

system\threading\SpinLock.cs (5)

129Contract.Assert(!IsThreadOwnerTrackingEnabled, "property should be false by now"); 398Contract.Assert((newOwner & WAITERS_MASK) >= 0); 440Contract.Assert((newOwner & WAITERS_MASK) >= 0); 502Contract.Assert(!IsThreadOwnerTrackingEnabled); // Make sure the waiters never be negative which will cause the thread tracking bit to be flipped 515Contract.Assert(IsThreadOwnerTrackingEnabled);

system\threading\SpinWait.cs (2)

314Contract.Assert(procCount > 0 && procCount <= 64, 355Contract.Assert(originalWaitMillisecondsTimeout != Timeout.Infinite);

system\threading\synchronizationcontext.cs (2)

160Contract.EndContractBlock(); 284Contract.Assert(Environment.IsWinRTSupported);

system\threading\Tasks\AsyncCausalityTracer.cs (1)

156Contract.Assert(token != default(EventRegistrationToken), "EventRegistrationToken is null");

system\threading\Tasks\BeginEndAwaitableAdapter.cs (7)

70Contract.Assert(asyncResult != null); 71Contract.Assert(asyncResult.IsCompleted); 72Contract.Assert(asyncResult.AsyncState is BeginEndAwaitableAdapter); 89Contract.Assert(continuation != CALLBACK_RAN); 119Contract.Assert(continuation != null); 128Contract.Assert(continuation != null); 147Contract.Assert(_asyncResult != null && _asyncResult.IsCompleted);

system\threading\Tasks\ConcurrentExclusiveSchedulerPair.cs (26)

110Contract.EndContractBlock(); 207Contract.Requires(ReadyToComplete, "The block must be ready to complete to be here."); 219Contract.Assert(!localCs.Task.IsCompleted, "Completion should only happen once."); 225Contract.Assert(success, "Expected to complete completion task."); 234Contract.Requires(faultedTask != null && faultedTask.IsFaulted && faultedTask.Exception.InnerExceptions.Count > 0, 342else Contract.Assert(m_processingCount == EXCLUSIVE_PROCESSING_SENTINEL, "The processing count must be the sentinel if it's not >= 0."); 351Contract.Requires(m_processingCount == EXCLUSIVE_PROCESSING_SENTINEL, "Processing exclusive tasks requires being in exclusive mode."); 352Contract.Requires(!m_exclusiveTaskScheduler.m_tasks.IsEmpty, "Processing exclusive tasks requires tasks to be processed."); 357Contract.Assert(!m_threadProcessingMapping.ContainsKey(Thread.CurrentThread.ManagedThreadId), 378Contract.Assert(currentMode == ProcessingMode.ProcessingExclusiveTask, 388Contract.Assert(m_processingCount == EXCLUSIVE_PROCESSING_SENTINEL, "The processing mode should not have deviated from exclusive."); 401Contract.Requires(m_processingCount > 0, "Processing concurrent tasks requires us to be in concurrent mode."); 406Contract.Assert(!m_threadProcessingMapping.ContainsKey(Thread.CurrentThread.ManagedThreadId), 438Contract.Assert(currentMode == ProcessingMode.ProcessingConcurrentTasks, 448Contract.Assert(m_processingCount > 0, "The procesing mode should not have deviated from concurrent."); 509Contract.Requires(pair != null, "Scheduler must be associated with a valid pair."); 510Contract.Requires(processingMode == ProcessingMode.ProcessingConcurrentTasks || processingMode == ProcessingMode.ProcessingExclusiveTask, 512Contract.Requires( 533Contract.Assert(task != null, "Infrastructure should have provided a non-null task."); 550Contract.Assert(task != null, "Infrastructure should have provided a non-null task."); 561Contract.Assert(task != null, "Infrastructure should have provided a non-null task."); 634Contract.Assert(t.IsFaulted, "Task should be faulted due to the scheduler faulting it and throwing the exception."); 674Contract.Requires(scheduler != null, "Need a scheduler with which to construct the debug view."); 697Contract.Requires(pair != null, "Need a pair with which to construct the debug view."); 740Contract.Requires(syncObj != null, "The monitor object to check must be provided."); 758Contract.Assert(Monitor.IsEntered(syncObj) == held, "The locking scheme was not correctly followed.");

system\threading\Tasks\Future.cs (11)

464Contract.Assert(m_action == null, "Task<T>.TrySetResult(): non-null m_action"); 504Contract.Assert(!IsCompleted, "The promise must not yet be completed."); 512Contract.Assert(success); 546Contract.Assert(!IsWaitNotificationEnabledOrNotRanToCompletion, 565Contract.Assert(IsRanToCompletion, "Task<T>.Result getter: Expected result to have been set."); 579Contract.Assert(m_action == null, "Task<T>.TrySetException(): non-null m_action"); 582Contract.Assert(exceptionObject != null, "Expected non-null exceptionObject argument"); 585Contract.Assert( 627Contract.Assert(m_action == null, "Task<T>.TrySetCanceled(): non-null m_action"); 676Contract.Assert(m_action != null); 689Contract.Assert(false, "Invalid m_action in Task<TResult>");

system\threading\Tasks\FutureFactory.cs (48)

system\threading\Tasks\Parallel.cs (19)

system\threading\Tasks\ParallelLoopState.cs (3)

52Contract.Assert(false); 109Contract.Assert(false); 157Contract.Assert(false);

system\threading\Tasks\ParallelRangeManager.cs (4)

193Contract.Assert((nFromInclusiveLocal <= Int32.MaxValue) && (nFromInclusiveLocal >= Int32.MinValue) && 252Contract.Assert((uSpan / uRangeSize) < Int32.MaxValue); 286Contract.Assert(i == nNumRanges - 1); 302Contract.Assert(m_indexRanges != null && m_indexRanges.Length != 0);

system\threading\Tasks\ProducerConsumerQueues.cs (15)

system\threading\Tasks\Task.cs (113)

system\threading\Tasks\TaskCompletionSource.cs (1)

215Contract.Assert(exceptions != null);

system\threading\Tasks\TaskContinuation.cs (32)

system\threading\Tasks\TaskExceptionHolder.cs (14)

63Contract.Requires(task != null, "Expected a non-null task."); 189Contract.Requires(exceptionObject != null, "TaskExceptionHolder.Add(): Expected a non-null exceptionObject"); 190Contract.Requires( 206Contract.Requires(exceptionObject != null, "Expected exceptionObject to be non-null."); 208Contract.Assert(m_cancellationException == null, 213Contract.Assert(m_faultExceptions == null, 227Contract.Assert(edi != null && edi.SourceException is OperationCanceledException, 243Contract.Requires(exceptionObject != null, "AddFaultException(): Expected a non-null exceptionObject"); 248else Contract.Assert(exceptions.Count > 0, "Expected existing exceptions list to have > 0 exceptions."); 376Contract.Assert(exceptions != null, "Expected an initialized list."); 377Contract.Assert(exceptions.Count > 0, "Expected at least one exception."); 406Contract.Assert(exceptions != null, "Expected an initialized list."); 407Contract.Assert(exceptions.Count > 0, "Expected at least one exception."); 422Contract.Assert(edi == null || edi.SourceException is OperationCanceledException,

system\threading\Tasks\TaskFactory.cs (44)

system\threading\Tasks\TaskScheduler.cs (2)

271Contract.Requires(task != null); 595Contract.Assert(scheduler != null, "Table returned an incorrect Count or CopyTo failed");

system\threading\Tasks\TaskToApm.cs (8)

47Contract.Requires(task != null); 82Contract.Assert(task != null, "TaskWrapperAsyncResult should never wrap a null Task."); 107Contract.Assert(twar.Task != null, "TaskWrapperAsyncResult should never wrap a null Task."); 127Contract.Requires(antecedent != null); 128Contract.Requires(callback != null); 129Contract.Requires(asyncResult != null); 174Contract.Requires(task != null); 175Contract.Requires(!completedSynchronously || task.IsCompleted, "If completedSynchronously is true, the task must be completed.");

system\threading\Tasks\ThreadPoolTaskScheduler.cs (2)

45Contract.Requires(obj != null, "TaskScheduler.LongRunningThreadWork: obj is null"); 47Contract.Assert(t != null, "TaskScheduler.LongRunningThreadWork: t is null");

system\threading\thread.cs (21)

234Contract.EndContractBlock(); 245Contract.EndContractBlock(); 253Contract.EndContractBlock(); 264Contract.EndContractBlock(); 402Contract.Assert(Thread.CurrentThread == this); 765Contract.Assert(ProcessorIdRefreshRate <= ProcessorIdCacheCountDownMask); 823Contract.Ensures(Contract.Result<Thread>() != null); 1148Contract.Ensures(Contract.Result<CultureInfo>() != null); 1166Contract.EndContractBlock(); 1222Contract.Ensures(Contract.Result<CultureInfo>() != null); 1266Contract.Ensures(Contract.Result<CultureInfo>() != null); 1287Contract.EndContractBlock(); 1332Contract.Ensures(Contract.Result<CultureInfo>() != null); 1470Contract.Ensures(Contract.Result<AppDomain>() != null); 1479Contract.Assert(CurrentThread.m_Context == null || CurrentThread.m_Context.AppDomain == ad, "AppDomains on the managed & unmanaged threads should match");

system\threading\ThreadLocal.cs (5)

199Contract.Assert(id >= 0 || !m_initialized, "expected id >= 0 if initialized"); 556Contract.Assert(table.Length < minLength); 594Contract.Assert(minSize > 0); 743Contract.Assert(slotArray != null); 771Contract.Assert(linkedSlot.Previous != null);

system\threading\threadpool.cs (32)

system\threading\timer.cs (19)

system\threading\waithandle.cs (6)

198Contract.EndContractBlock(); 242Contract.EndContractBlock(); 264Contract.EndContractBlock(); 327Contract.EndContractBlock(); 434Contract.EndContractBlock(); 564Contract.EndContractBlock();

system\throwhelper.cs (2)

233Contract.Assert(false, "The enum value is not defined, please checked ExceptionArgumentName Enum."); 434Contract.Assert( false, "The enum value is not defined, please checked ExceptionArgumentName Enum.");

system\timespan.cs (3)

200Contract.EndContractBlock(); 231Contract.EndContractBlock(); 250Contract.EndContractBlock();

system\timezoneinfo.cs (19)

system\tuple.cs (1)

1071Contract.Assert(false, "Missed all cases for computing Tuple hash code");

system\type.cs (39)

system\typedreference.cs (1)

34Contract.EndContractBlock();

system\typeloadexception.cs (2)

109Contract.EndContractBlock(); 129Contract.EndContractBlock();

system\typenameparser.cs (7)

89Contract.EndContractBlock(); 143Contract.Assert(asmName != null); 171Contract.Assert(throwOnError == false); 183Contract.Assert(typeArguments[i] != null); 193Contract.Assert(throwOnError == false); 211Contract.Requires(asmName != null && asmName.Length > 0); 249Contract.Requires(names != null && names.Length > 0);

system\uint16.cs (8)

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 (8)

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 (8)

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 (3)

79Contract.EndContractBlock(); 115Contract.Ensures(Contract.Result<String>() != null);

system\unityserializationholder.cs (1)

171Contract.EndContractBlock();

system\unsafecharbuffer.cs (3)

28Contract.Assert( buffer != null, "buffer pointer can't be null." ); 29Contract.Assert( bufferSize >= 0, "buffer size can't be negative." ); 50Contract.Assert(m_length <= m_totalSize, "Buffer has been overflowed!");

system\variant.cs (3)

327Contract.Assert(obj != null, "obj != null"); 333Contract.Assert(obj != null, "obj != null"); 358Contract.EndContractBlock();

system\version.cs (9)

54Contract.EndContractBlock(); 72Contract.EndContractBlock(); 85Contract.EndContractBlock(); 341Contract.Assert(num >= 0, "AppendPositiveNumber expect positive numbers"); 358Contract.EndContractBlock(); 453Contract.EndContractBlock(); 460Contract.EndContractBlock(); 520Contract.Assert(false, "Int32.Parse() did not throw exception but TryParse failed: " + m_exceptionArgument); 523Contract.Assert(false, "Unmatched case in Version.GetVersionParseException() for value: " + m_failure);

system\weakreference.cs (2)

59Contract.EndContractBlock(); 116Contract.EndContractBlock();

system\weakreferenceoft.cs (2)

52Contract.EndContractBlock(); 111Contract.EndContractBlock();