Assert

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\activationcontext.cs (2)

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

system\appdomain.cs (9)

498Contract.Assert(_domainManager == null, "_domainManager == null"); 825Contract.Assert(assembly != null, "assembly != null"); 826Contract.Assert(type != null, "type != null"); 2542Contract.Assert(false, "Need to handle new LoaderInformation value in AppDomain.GetData()"); 2902Contract.Assert( !(obj is IPermission), "IPermission should be xml deserialized" ); 2903Contract.Assert( !(obj is PermissionSet), "PermissionSet should be xml deserialized" ); 3222Contract.Assert(_FusionStore != null, 4210Contract.Assert(FusionStore.LoaderOptimization == LoaderOptimization.NotSpecified, 4703Contract.Assert(i != -1, "invalid image location");

system\AppDomainSetup.cs (17)

system\array.cs (6)

615Contract.Assert( hi - low >= 0, "Length overflow!"); 2063Contract.Assert(i >= left && j <= right, "(i>=left && j<=right) Sort failed - Is your IComparer bogus?"); 2380Contract.Assert(i >= left && j <= right, "(i>=left && j<=right) Sort failed - Is your IComparer bogus?"); 2578Contract.Assert(array.Rank == 1 && array.GetLowerBound(0) == 0, "SZArrayEnumerator only works on single dimension arrays w/ a lower bound of zero."); 2738Contract.Assert(false, "Hey! How'd I get here?"); 2863Contract.Assert((array == null && endIndex == -1) || (array.Rank == 1 && array.GetLowerBound(0) == 0),

system\arraysegment.cs (3)

69Contract.Assert( (null == _array && 0 == _offset && 0 == _count) 88Contract.Assert( (null == _array && 0 == _offset && 0 == _count) 107Contract.Assert( (null == _array && 0 == _offset && 0 == _count)

system\attribute.cs (1)

639Contract.Assert(false, "Invalid type for ParameterInfo member in Attribute class");

system\bitconverter.cs (3)

352Contract.Assert( i >=0 && i <16, "i is out of range."); 450Contract.Assert(IsLittleEndian, "This method is implemented assuming little endian with an ambiguous spec."); 461Contract.Assert(IsLittleEndian, "This method is implemented assuming little endian with an ambiguous spec.");

system\buffer.cs (6)

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!");

system\char.cs (1)

93Contract.Assert(IsLatin1(ch), "Char.GetLatin1UnicodeCategory(): ch should be <= 007f");

system\collections\bitarray.cs (3)

95Contract.Assert(bytes.Length - j >= 0, "BitArray byteLength problem"); 96Contract.Assert(bytes.Length - j < 4, "BitArray byteLength problem #2"); 469Contract.Assert(div > 0, "GetArrayLength: div arg must be greater than 0");

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

723Contract.Assert(m_useSingleChunking, "Expected m_useSingleChecking to be true"); 724Contract.Assert(requestedChunkSize == 1, "Got requested chunk size of " + requestedChunkSize + " when single-chunking was on"); 725Contract.Assert(actualNumElementsGrabbed == 0, "Expected actualNumElementsGrabbed == 0, instead it is " + actualNumElementsGrabbed); 726Contract.Assert(destArray.Length == 1, "Expected destArray to be of length 1, instead its length is " + destArray.Length); 773Contract.Assert(!m_useSingleChunking, "Did not expect to be in single-chunking mode"); 1731Contract.Assert((DEFAULT_BYTES_PER_CHUNK % IntPtr.Size) == 0, "bytes per chunk should be a multiple of pointer size");

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

system\collections\hashtable.cs (10)

293Contract.Assert( loadsize < hashsize, "Invalid hashtable loadsize!"); 447Contract.Assert(!isWriterInProgress, "Race condition detected in usages of Hashtable - multiple threads appear to be writing to a Hashtable instance simultaneously! Don't do that - use Hashtable.Synchronized."); 771Contract.Assert(loadsize < newsize, "Our current implementaion means this is not possible."); 823Contract.Assert(key != null, "key can't be null here!"); 1041Contract.Assert(false, "hash table insert failed! Load factor too high, or our double hashing function is incorrect."); 1047Contract.Assert(hashcode >= 0, "hashcode >= 0"); // make sure collision bit (sign bit) wasn't set. 1079Contract.Assert(!isWriterInProgress, "Race condition detected in usages of Hashtable - multiple threads appear to be writing to a Hashtable instance simultaneously! Don't do that - use Hashtable.Synchronized."); 1753Contract.Assert( MaxPrimeArrayLength == GetPrime(MaxPrimeArrayLength), "Invalid MaxPrimeArrayLength"); 1788Contract.Assert(false, "Missing case in GetRandomizedEqualityComparer!"); 1827Contract.Assert(bufferSize % 8 == 0, "We increment our current index by 8, so our buffer size must be a multiple of 8");

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

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

system\collections\sortedlist.cs (1)

218Contract.Assert( _size == 0, "Size is not zero");

system\console.cs (10)

381Contract.Assert((stdout && _out != null) || (!stdout && _error != null), "Didn't set Console::_out or _error appropriately!"); 464Contract.Assert(false, "Unexpected handleType value (" + handleType + ")"); 771Contract.Assert(_haveReadDefaultColors, "Setting the foreground color before we've read the default foreground color!"); 812Contract.Assert(_haveReadDefaultColors, "Setting the foreground color before we've read the default foreground color!"); 837Contract.Assert(_haveReadDefaultColors, "Setting the foreground color before we've read the default foreground color!"); 927Contract.Assert(numWritten == sourceWidth, "FillConsoleOutputCharacter wrote the wrong number of chars!"); 995Contract.Assert((int)Win32Native.Color.ColorMask == 0xff, "Make sure one byte is large enough to store a Console color value!"); 1759Contract.Assert(false, "ThreadPool.QueueUserWorkItem returned false without throwing. Unable to execute ControlC handler"); 1769Contract.Assert(false, "ThreadPool.QueueUserWorkItem did not execute the handler within 30 seconds."); 1829Contract.Assert(_cancelCallbacks == null || _cancelCallbacks.GetInvocationList().Length > 0, "Teach Console::CancelKeyPress to handle a non-null but empty list of callbacks");

system\datetimeoffset.cs (1)

798Contract.Assert(offset.Ticks >= MinOffset && offset.Ticks <= MaxOffset, "Offset not validated.");

system\defaultbinder.cs (1)

998Contract.Assert(cur1.IsStatic != cur2.IsStatic, "hierarchyDepth1 == hierarchyDepth2");

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

4504Contract.Assert(false, "EventSource did not have a registered EventListener!"); 4544Contract.Assert(eventSource.m_id == id, "Unexpected event source ID."); 4550Contract.Assert(allListeners.ContainsKey(dispatcher.m_Listener), "EventSource has a listener not on the global list."); 4560Contract.Assert(dispatcher != null, "Listener is not on all eventSources.");

system\enum.cs (7)

129Contract.Assert(false, "Invalid Object type in Format"); 236Contract.Assert(false, "Invalid Object type in ToUInt64"); 327Contract.Assert(false, "Unknown EnumParseFailure: " + m_failure); 726Contract.Assert(false, "Invalid primitive type"); 789Contract.Assert(false, "Invalid primitive type"); 843Contract.Assert(ret == retInvalidEnumType, "Enum.InternalCompareTo return code was invalid"); 947Contract.Assert(false, "Unknown underlying type.");

system\environment.cs (10)

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"); 673Contract.Assert(environmentKey != null, @"HKLM\System\CurrentControlSet\Control\Session Manager\Environment is missing!"); 686Contract.Assert(environmentKey != null, @"HKCU\Environment is missing!"); 985Contract.Assert(environmentKey != null, @"HKLM\System\CurrentControlSet\Control\Session Manager\Environment is missing!"); 1002Contract.Assert(environmentKey != null, @"HKCU\Environment is missing!"); 1148Contract.Assert(m_os != null, "m_os != null");

system\exception.cs (3)

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

system\globalization\calendar.cs (2)

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

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

220Contract.Assert(false, "Not expected to come here");

system\globalization\charunicodeinfo.cs (16)

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."); 451Contract.Assert(ch >= 0 && ch <= 0x10ffff, "ch is not in valid Unicode range."); 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\compareinfo.cs (5)

299Contract.Assert(m_name != null, "CompareInfo.OnSerializing - expected m_name to be set already"); 329Contract.Assert(m_name != null, "CompareInfo.Name Expected m_name to be set"); 361Contract.Assert(options != CompareOptions.OrdinalIgnoreCase, "[CompareInfo.GetNativeCompareFlags]CompareOptions.OrdinalIgnoreCase should be handled separately"); 376Contract.Assert(((options & ~(CompareOptions.IgnoreCase | 384Contract.Assert((nativeCompareFlags & RESERVED_FIND_ASCII_STRING) == 0, "[CompareInfo.GetNativeCompareFlags] RESERVED_FIND_ASCII_STRING shouldn't be set here");

system\globalization\culturedata.cs (22)

system\globalization\cultureinfo.cs (10)

454Contract.Assert(cultureID >=0, "[CultureInfo.OnDeserialized] cultureID >= 0"); 460Contract.Assert(m_name != null, "[CultureInfo.OnDeserialized] m_name != null"); 528Contract.Assert(m_createdDomainID != 0, "[CultureInfo.IsSafeCrossDomain] m_createdDomainID != 0"); 535Contract.Assert(m_createdDomainID != 0, "[CultureInfo.CreatedDomain] m_createdDomainID != 0"); 689Contract.Assert(culture!=null, "[CultureInfo.VerifyCultureName]culture!=null"); 1135Contract.Assert(m_name != null, "[CultureInfo.DisplayName]Always expect m_name to be set"); 1360Contract.Assert(m_name != null, "[CultureInfo.ToString]Always expect m_name to be set"); 1504Contract.Assert(calType!=Calendar.CAL_GREGORIAN, "calType!=Calendar.CAL_GREGORIAN"); 1556Contract.Assert(this.m_cultureData.CalendarIds.Length > 0, "this.m_cultureData.CalendarIds.Length > 0"); 2028Contract.Assert(localeType == LOCALE_USER_DEFAULT || localeType == LOCALE_SYSTEM_DEFAULT, "[CultureInfo.GetDefaultLocaleName] localeType must be LOCALE_USER_DEFAULT or LOCALE_SYSTEM_DEFAULT");

system\globalization\datetimeformat.cs (5)

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");

system\globalization\datetimeformatinfo.cs (39)

system\globalization\datetimeparse.cs (19)

119Contract.Assert(dtfi != null, "dtfi == null"); 201Contract.Assert(dtfi != null, "dtfi == null"); 554Contract.Assert(hourOffset >= 0 && hourOffset <= 99, "hourOffset >= 0 && hourOffset <= 99"); 555Contract.Assert(minuteOffset >= 0 && minuteOffset <= 99, "minuteOffset >= 0 && minuteOffset <= 99"); 1949Contract.Assert(raw.numCount >= 2, "raw.numCount >= 2"); 1969Contract.Assert(raw.numCount >= 3, "raw.numCount >= 3"); 2340Contract.Assert(dtfi != null, "dtfi == null"); 2610Contract.Assert(result.parsedDate.Kind == DateTimeKind.Unspecified, "result.parsedDate.Kind == DateTimeKind.Unspecified"); 2900Contract.Assert(minDigitLen > 0, "minDigitLen > 0"); 2901Contract.Assert(maxDigitLen < 9, "maxDigitLen < 9"); 2902Contract.Assert(minDigitLen <= maxDigitLen, "minDigitLen <= maxDigitLen"); 4188Contract.Assert(false, "Unkown DateTimeParseFailure: " + result); 4417Contract.Assert(Index + count <= len, "__DTString::Advance: Index + count <= len"); 4712Contract.Assert(Index >= 0 && Index < len, "Index >= 0 && Index < len"); 4720Contract.Assert(Index >= 0 && Index < len, "Index >= 0 && Index < len"); 4721Contract.Assert(DateTimeParse.IsDigit(Value[Index]), "IsDigit(Value[Index])"); 4854Contract.Assert(number >= 0 && number <= 9, "number >= 0 && number <= 9"); 4873Contract.Assert(sub.index == Index, "sub.index == Index"); 4874Contract.Assert(sub.index + sub.length <= len, "sub.index + sub.length <= len");

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\hebrewcalendar.cs (2)

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

system\globalization\hebrewnumber.cs (1)

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

system\globalization\idnmapping.cs (13)

133Contract.Assert(unicode.Length >= 1, "[IdnMapping.GetAscii]Expected 0 length strings to fail before now."); 482Contract.Assert(d >= 0 && d < punycodeBase, "[IdnMapping.encode_digit]Expected 0 <= d < punycodeBase"); 519Contract.Assert(numpoints != 0, "[IdnMapping.adapt]Expected non-zero numpoints."); 527Contract.Assert(delta + skew != 0, "[IdnMapping.adapt]Expected non-zero delta+skew."); 577Contract.Assert(iNextDot <= unicode.Length, "[IdnMapping.punycode_encode]IndexOfAny is broken"); 627Contract.Assert(Char.IsLowSurrogate(unicode, basicCount) == false, 711Contract.Assert(delta > 0, "[IdnMapping.cs]1 punycode_encode - delta overflowed int"); 725Contract.Assert(delta > 0, "[IdnMapping.cs]2 punycode_encode - delta overflowed int"); 737Contract.Assert(punycodeBase != t, "[IdnMapping.punycode_encode]Expected punycodeBase (36) to be != t"); 756Contract.Assert(delta > 0, "[IdnMapping.cs]3 punycode_encode - delta overflowed int"); 947Contract.Assert(w > 0, "[IdnMapping.punycode_decode]Expected w > 0"); 956Contract.Assert(punycodeBase != t, "[IdnMapping.punycode_decode]Expected t != punycodeBase (36)"); 968Contract.Assert((output.Length - iOutputAfterLastDot - numSurrogatePairs) + 1 > 0,

system\globalization\regioninfo.cs (2)

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

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

system\globalization\stringinfo.cs (2)

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

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

system\globalization\timespanformat.cs (13)

148Contract.Assert(dtfi != null, "dtfi == null"); 376Contract.Assert(field >= 0 && field <= 5, "field >= 0 && field <= 5"); 396Contract.Assert(false, "Unexpected special token '%', Bug in DateTimeFormatInfo.FullTimeSpan[Positive|Negative]Pattern"); 406Contract.Assert((field == 0 && sb.Length == 0) || field == 1, 414Contract.Assert((field == 1 && sb.Length == 0) || field == 2, 422Contract.Assert((field == 2 && sb.Length == 0) || field == 3, 430Contract.Assert((field == 3 && sb.Length == 0) || field == 4, 439Contract.Assert((field == 4 && sb.Length == 0) || field == 5, 454Contract.Assert(0 < dd && dd < 3, "0 < dd && dd < 3, Bug in System.Globalization.DateTimeFormatInfo.FullTimeSpan[Positive|Negative]Pattern"); 455Contract.Assert(0 < hh && hh < 3, "0 < hh && hh < 3, Bug in System.Globalization.DateTimeFormatInfo.FullTimeSpan[Positive|Negative]Pattern"); 456Contract.Assert(0 < mm && mm < 3, "0 < mm && mm < 3, Bug in System.Globalization.DateTimeFormatInfo.FullTimeSpan[Positive|Negative]Pattern"); 457Contract.Assert(0 < ss && ss < 3, "0 < ss && ss < 3, Bug in System.Globalization.DateTimeFormatInfo.FullTimeSpan[Positive|Negative]Pattern"); 458Contract.Assert(0 < ff && ff < 8, "0 < ff && ff < 8, Bug in System.Globalization.DateTimeFormatInfo.FullTimeSpan[Positive|Negative]Pattern");

system\globalization\timespanparse.cs (4)

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

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."); 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.");

system\guid.cs (2)

191Contract.Assert(failure != ParseFailureKind.NativeException, "ParseFailureKind.NativeException should not be used with this overload"); 220Contract.Assert(false, "Unknown GuidParseFailure: " + m_failure);

system\io\__consolestream.cs (1)

52Contract.Assert(handle != null && !handle.IsInvalid, "__ConsoleStream expects a valid handle!");

system\io\binaryreader.cs (7)

78Contract.Assert(m_decoder!=null, "[BinaryReader.ctor]m_decoder!=null"); 178Contract.Assert(mStream != null, "m_stream as MemoryStream != null"); 360Contract.Assert(mStream != null, "m_stream as MemoryStream != null"); 376Contract.Assert(byteBuffer != null, "expected byteBuffer to be non-null"); 402Contract.Assert(charsRemaining >= 0, "We read too many characters."); 451Contract.Assert(numBytes == 1 || numBytes == 2, "BinaryReader::InternalReadOneChar assumes it's reading one or 2 bytes only."); 468Contract.Assert(charsRead < 2, "InternalReadOneChar - assuming we only got 0 or 1 char, not 2!");

system\io\binarywriter.cs (1)

196Contract.Assert(_encoding.GetMaxByteCount(1) <= 16, "_encoding.GetMaxByteCount(1) <= 16)");

system\io\bufferedstream.cs (8)

247Contract.Assert(! (_writePos > 0 && _readPos != _readLen), "Read and Write buffers cannot both have data in them at the same time."); 402Contract.Assert(_writePos == 0, "BufferedStream: Write buffer must be empty in FlushRead!"); 416Contract.Assert(_readPos <= _readLen, "_readPos <= _readLen [" + _readPos +" <= " + _readLen + "]"); 440Contract.Assert(_readPos == 0 && _readLen == 0, 442Contract.Assert(_buffer != null && _bufferSize >= _writePos, 454Contract.Assert(_readPos == 0 && _readLen == 0, 456Contract.Assert(_buffer != null && _bufferSize >= _writePos, 1318Contract.Assert(newPos == Position, "newPos (=" + newPos + ") == Position (=" + Position + ")");

system\io\directory.cs (1)

422Contract.Assert(false, "Ignore this assert and send a repro to Microsoft. This assert was tracking purposes only.");

system\io\directoryinfo.cs (1)

113Contract.Assert(Path.GetRootLength(fullPath) > 0, "fullPath must be fully qualified!");

system\io\file.cs (2)

429Contract.Assert(path != null, "File.Exists: GetFullPathInternal returned null"); 1401Contract.Assert(false, "File::FillAttributeInfo - FindClose failed!");

system\io\fileinfo.cs (1)

143Contract.Assert(Path.GetRootLength(fullPath) > 0, "fullPath must be fully qualified!");

system\io\filestream.cs (63)

163Contract.Assert(_overlapped != null, "Did Overlapped.Pack or Overlapped.UnsafePack just return a null?"); 302Contract.Assert(_isComplete == true, "FileStreamAsyncResult::Wait - AsyncFSCallback didn't set _isComplete to true!"); 357Contract.Assert(!wh.SafeWaitHandle.IsClosed, "ManualResetEvent already closed!"); 359Contract.Assert(r, "ManualResetEvent::Set failed!"); 372Contract.Assert(_handle != null, "_handle should not be null."); 373Contract.Assert(_overlapped != null, "Cancel should only be called on true asynchronous FileStreamAsyncResult, i.e. _overlapped is not null"); 919Contract.Assert(!_exposedHandle, "Are we closing handle that we exposed/not own, how?"); 1025Contract.Assert(handleType == Win32Native.FILE_TYPE_DISK || handleType == Win32Native.FILE_TYPE_PIPE || handleType == Win32Native.FILE_TYPE_CHAR, "FileStream was passed an unknown file type!"); 1227Contract.Assert((_readPos == 0 && _readLen == 0 && _writePos >= 0) || (_writePos == 0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 1361Contract.Assert(_writePos == 0, "FileStream: Write buffer must be empty in FlushRead!"); 1363Contract.Assert(CanSeek, "FileStream will lose buffered read data now."); 1374Contract.Assert(_readPos == 0 && _readLen == 0, "FileStream: Read buffer must be empty in FlushWrite!"); 1474Contract.Assert(value >= 0, "value >= 0"); 1510Contract.Assert((_readPos==0 && _readLen==0 && _writePos >= 0) || (_writePos==0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 1555Contract.Assert(_readPos == _readLen, "Read buffer should be empty!"); 1570Contract.Assert(!_handle.IsClosed, "!_handle.IsClosed"); 1571Contract.Assert(CanRead, "CanRead"); 1573Contract.Assert(buffer != null, "buffer != null"); 1574Contract.Assert(_writePos == 0, "_writePos == 0"); 1575Contract.Assert(offset >= 0, "offset is negative"); 1576Contract.Assert(count >= 0, "count is negative"); 1602Contract.Assert(r >= 0, "FileStream's ReadCore is likely broken."); 1616Contract.Assert((_readPos==0 && _readLen==0 && _writePos >= 0) || (_writePos==0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 1680Contract.Assert(_readLen >= 0 && _readPos <= _readLen, "_readLen should be nonnegative, and _readPos should be less than or equal _readLen"); 1681Contract.Assert(pos == Position, "Seek optimization: pos != Position! Buffer math was mangled."); 1691Contract.Assert(!_handle.IsClosed && CanSeek, "!_handle.IsClosed && CanSeek"); 1692Contract.Assert(origin>=SeekOrigin.Begin && origin<=SeekOrigin.End, "origin>=SeekOrigin.Begin && origin<=SeekOrigin.End"); 1811Contract.Assert(_writePos == 0, "FileStream cannot have buffered data to write here! Your stream will be corrupted."); 1826Contract.Assert(!_handle.IsClosed, "!_handle.IsClosed"); 1827Contract.Assert(CanWrite, "CanWrite"); 1829Contract.Assert(buffer != null, "buffer != null"); 1830Contract.Assert(_readPos == _readLen, "_readPos == _readLen"); 1831Contract.Assert(offset >= 0, "offset is negative"); 1832Contract.Assert(count >= 0, "count is negative"); 1862Contract.Assert(r >= 0, "FileStream's WriteCore is likely broken."); 1903Contract.Assert((_readPos == 0 && _readLen == 0 && _writePos >= 0) || (_writePos == 0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 1932Contract.Assert(_writePos == 0, "FileStream must not have buffered write data here! Pipes should be unidirectional."); 1937Contract.Assert(!_isPipe, "Should not be a pipe."); 2012Contract.Assert(!_handle.IsClosed, "!_handle.IsClosed"); 2013Contract.Assert(CanRead, "CanRead"); 2014Contract.Assert(bytes != null, "bytes != null"); 2015Contract.Assert(_writePos == 0, "_writePos == 0"); 2016Contract.Assert(_isAsync, "BeginReadCore doesn't work on synchronous file streams!"); 2017Contract.Assert(offset >= 0, "offset is negative"); 2018Contract.Assert(numBytes >= 0, "numBytes is negative"); 2163Contract.Assert((_readPos==0 && _readLen==0 && _writePos >= 0) || (_writePos==0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 2166Contract.Assert(_bufferSize > 0, "_bufferSize > 0"); 2215Contract.Assert((_readPos == 0 && _readLen == 0 && _writePos >= 0) || (_writePos == 0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 2232Contract.Assert(_readPos == 0 && _readLen == 0, "FileStream must not have buffered data here! Pipes should be unidirectional."); 2272Contract.Assert(!_handle.IsClosed, "!_handle.IsClosed"); 2273Contract.Assert(CanWrite, "CanWrite"); 2274Contract.Assert(bytes != null, "bytes != null"); 2275Contract.Assert(_readPos == _readLen, "_readPos == _readLen"); 2276Contract.Assert(_isAsync, "BeginWriteCore doesn't work on synchronous file streams!"); 2277Contract.Assert(offset >= 0, "offset is negative"); 2278Contract.Assert(numBytes >= 0, "numBytes is negative"); 2422Contract.Assert(_bufferSize > 0, "_bufferSize > 0"); 2498Contract.Assert((_isAsync && overlapped != null) || (!_isAsync && overlapped == null), "Async IO parameter ----up in call to ReadFileNative."); 2555Contract.Assert((_isAsync && overlapped != null) || (!_isAsync && overlapped == null), "Async IO parameter ----up in call to WriteFileNative."); 2755Contract.Assert(asyncResult.IsCompleted, "How can we end up in the completion callback if the IAsyncResult is not completed?"); 2773Contract.Assert(cancellationToken.IsCancellationRequested, "How can the IO operation be aborted if cancellation was not requested?"); 2791Contract.Assert(asyncResult.IsCompleted, "How can we end up in the completion callback if the IAsyncResult is not completed?"); 2809Contract.Assert(cancellationToken.IsCancellationRequested, "How can the IO operation be aborted if cancellation was not requested?");

system\io\filesystemenumerable.cs (3)

265Contract.Assert(searchCriteria != null && searchData != null, "searchCriteria and searchData should be initialized"); 414Contract.Assert(searchData.searchOption != SearchOption.TopDirectoryOnly, "should not reach this code path if searchOption == TopDirectoryOnly"); 419Contract.Assert((searchData.fullPath != null), "fullpath can't be null!");

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

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

system\io\longpath.cs (2)

296Contract.Assert(path != null, "File.Exists: GetFullPathInternal returned null"); 925Contract.Assert(false, "Ignore this assert and file a bug to the BCL team. This assert was tracking purposes only.");

system\io\memorystream.cs (4)

274Contract.Assert(_position + n >= 0, "_position + n >= 0"); // len is less than 2^31 -1. 357Contract.Assert(_position + n >= 0, "_position + n >= 0"); // len is less than 2^31 -1. 395Contract.Assert(t == null || t.Status == TaskStatus.RanToCompletion, 513Contract.Assert(_position >= 0, "_position >= 0");

system\io\path.cs (4)

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

system\io\pathhelper.cs (2)

173Contract.Assert(result < Path.MaxPath, "did we accidently remove a PathTooLongException check?"); 210Contract.Assert(result < m_maxPath, "did we accidentally remove a PathTooLongException check?");

system\io\pinnedbuffermemorystream.cs (1)

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

system\io\stream.cs (7)

344Contract.Assert(thisTask != null, "Inside ReadWriteTask, InternalCurrent should be the ReadWriteTask"); 401Contract.Assert(_asyncActiveSemaphore != null, "Must have been initialized in order to get here."); 490Contract.Assert(thisTask != null, "Inside ReadWriteTask, InternalCurrent should be the ReadWriteTask"); 518Contract.Assert(asyncWaiter.IsRanToCompletion, "The semaphore wait should always complete successfully."); 525Contract.Assert(t.IsRanToCompletion, "The semaphore wait should always complete successfully."); 538Contract.Assert(_activeReadWriteTask == null, "Expected no other readers or writers"); 589Contract.Assert(_asyncActiveSemaphore != null, "Must have been initialized in order to get here.");

system\io\streamreader.cs (19)

system\io\streamwriter.cs (5)

384Contract.Assert(n > 0, "StreamWriter::Write(char[]) isn't making progress! This is most likely a ---- in user code."); 412Contract.Assert(n > 0, "StreamWriter::Write(char[], int, int) isn't making progress! This is most likely a race condition in user code."); 436Contract.Assert(n > 0, "StreamWriter::Write(String) isn't making progress! This is most likely a race condition in user code."); 563Contract.Assert(n > 0, "StreamWriter::Write(String) isn't making progress! This is most likely a race condition in user code."); 651Contract.Assert(n > 0, "StreamWriter::Write(char[], int, int) isn't making progress! This is most likely a race condition in user code.");

system\io\unmanagedmemoryaccessor.cs (6)

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)");

system\io\unmanagedmemorystream.cs (2)

419Contract.Assert(pos + nInt >= 0, "_position + n >= 0"); // len is less than 2^63 -1. 540Contract.Assert(finalPos >= 0, "_position >= 0");

system\Lazy.cs (1)

96Contract.Assert(false, "ALREADY_INVOKED_SENTINEL should never be invoked.");

system\marshalbyrefobject.cs (1)

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

system\multicastdelegate.cs (3)

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");

system\number.cs (11)

413Contract.Assert(p != null, ""); 432Contract.Assert(*p >= 'a' && *p <= 'f', ""); 458Contract.Assert(p != null, ""); 477Contract.Assert(*p >= 'a' && *p <= 'f', ""); 507Contract.Assert(p != null, ""); 541Contract.Assert(p != null, ""); 575Contract.Assert(p != null, ""); 603Contract.Assert(p != null, ""); 631Contract.Assert(p != null && str != null, ""); 1027Contract.Assert(info != null, ""); 1209Contract.Assert(numfmt != null, "");

system\reflection\assembly.cs (2)

2810Contract.Assert( codeBase != null, "Must pass in a valid CodeBase" ); 2835Contract.Assert( false, "Unable to create WebPermission" );

system\reflection\Associates.cs (1)

68Contract.Assert(!associateMethodHandle.IsNullHandle(), "Failed to resolve associateRecord methodDef token");

system\reflection\customattribute.cs (3)

1963Contract.Assert(decoratedToken.IsModule || decoratedToken.IsAssembly, 2163Contract.Assert(pca.BaseType == (RuntimeType)typeof(Attribute), "Pseudo CA Error"); 2165Contract.Assert(usage.Inherited == false, "Pseudo CA Error");

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

646Contract.Assert(m_assemblyData != null, "m_assemblyData is null in DefineDynamicModuleInternal");

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

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

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

370Contract.Assert(opcode.Equals(OpCodes.Calli),

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

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");

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

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

372Contract.Assert(false, "We should never get here!"); 772Contract.Assert(currentMethod == this, "We should have found this method in m_containingType.m_listMethods"); 773Contract.Assert(currentToken.Token != 0, "The token should not be 0"); 781Contract.Assert(m_tkMethod.Token == 0, "m_tkMethod should not have been initialized");

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

496Contract.Assert(!type.IsByRef, "Must not be ByRef."); 497Contract.Assert(!type.IsGenericType || type.IsGenericTypeDefinition, "Must not have generic arguments.");

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

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

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

458Contract.Assert(destType is RuntimeType, "destType is not a runtime type, an EnumBuilder, or a TypeBuilder.");

system\reflection\methodbody.cs (1)

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

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

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."); 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\resourcemanager.cs (4)

749Contract.Assert(culture != null, "culture != null"); 893Contract.Assert(attrs.Length == 1, "Cannot have multiple instances of SatelliteContractVersionAttribute on an assembly!"); 906Contract.Assert(false, "mscorlib's SatelliteContractVersionAttribute is a malformed version string!"); 935Contract.Assert(asmTypeName1 != null, "asmTypeName1 was unexpectedly null");

system\resources\resourcereader.cs (21)

system\resources\resourcewriter.cs (4)

466Contract.Assert((bw.BaseStream.Position & 7) == 0, "ResourceWriter: Name hashes array won't be 8 byte aligned! Ack!"); 483Contract.Assert((bw.BaseStream.Position & 3) == 0, "ResourceWriter: Name positions array won't be 4 byte aligned! Ack!"); 512Contract.Assert(startOfDataSection == bw.Seek(0, SeekOrigin.Current), "ResourceWriter::Generate - start of data section is wrong!"); 719Contract.Assert(typeCode >= ResourceTypeCode.StartOfUserTypes, String.Format(CultureInfo.InvariantCulture, "ResourceReader: Unsupported ResourceTypeCode in .resources file! {0}", typeCode));

system\resources\runtimeresourceset.cs (2)

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

system\rttype.cs (4)

5405Contract.Assert(!ace.m_hCtorMethodHandle.IsNullHandle(), "Expected the default ctor method handle for a reference type."); 5722Contract.Assert(false, "[RuntimeType.WrapArgsForInvokeCall]Invalid safe array wrapper type specified."); 5779Contract.Assert(false, "[RuntimeType.WrapArgsForInvokeCall]Invalid wrapper type specified."); 6017Contract.Assert(!hit.Equals(key), "Key was already in CerHashtable! Potential ---- (or bug) in the Reflection cache?");

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

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"); 234Contract.Assert(m_synchronizationContext != null, "Must only be used with a non-null context."); 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"); 818Contract.Assert(EXCLUSIVE_INT32_MAX >= INCLUSIVE_INT32_MIN, "Expected max to be at least min"); 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.");

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

61Contract.Assert(false, "Decimal cannot be represented directly in the metadata.");

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

149Contract.Assert(taskCompleted, "With an infinite timeout, the task should have always completed."); 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.");

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

2362Contract.Assert(caConstructorArgs.Count == 1, "caConstructorArgs.Count == 1"); 2365Contract.Assert(progIdConstructorArg.ArgumentType == typeof(String), "progIdConstructorArg.ArgumentType == typeof(String)");

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

303Contract.Assert(baseComImportType != null, "baseComImportType != null");

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

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

311Contract.Assert((asmFileName != null) && (asmFileName.Length > 0), "The assembly file name cannot be an empty string!");

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\clrireferenceimpl.cs (3)

88Contract.Assert(reference != null, "CLRIReferenceImpl::UnboxHelper - QI'ed for IReference<"+typeof(T)+">, but that failed."); 277Contract.Assert(reference != null, "CLRIReferenceArrayImpl::UnboxHelper - QI'ed for IReferenceArray<" + typeof(T) + ">, but that failed."); 363Contract.Assert(false, "We should not see non-WinRT type here");

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

549Contract.Assert(target == null || Marshal.IsComObject(target), "Must be null or a RCW"); 728Contract.Assert((key != null && tokens != null) || (key == null && tokens == null), 915Contract.Assert(owners > 0, "ReleasingReaderLock: releasing lock and no read lock taken"); 923Contract.Assert(owners == -1, "Calling ReleaseWriterLock when no write lock is held"); 935Contract.Assert(myLock != 0, "Lock must be held"); 936Contract.Assert(waitEvent == null, "Wait event must be null"); 955Contract.Assert(myLock != 0, "Lock must be held"); 983Contract.Assert(myLock != 0, "Lock must be held"); 1019Contract.Assert(myLock != 0, "Exiting spin lock that is not held");

system\runtime\memoryfailpoint.cs (1)

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

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

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

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

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

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

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

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

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

112Contract.Assert( 232Contract.Assert( 288Contract.Assert(null != serverCtx, "null != serverCtx"); 296Contract.Assert(srvID == MarshalByRefObject.GetIdentity(obj), "Bad ID state!" ); 302Contract.Assert(null != rp, "null != rp"); 389Contract.Assert(null != srvID,"null != srvID"); 404Contract.Assert(null != objURI,"null != objURI"); 473Contract.Assert(null != idObj,"null != idObj"); 491Contract.Assert(null != idObj,"null != idObj"); 494Contract.Assert( 506Contract.Assert(bServerIDSet,"idObj should be ServerIdentity"); 525Contract.Assert(null != idObj.URI,"null != idObj.URI"); 553Contract.Assert( 569Contract.Assert( 603Contract.Assert(false, "Invalid DuplicateIdentityOption"); 721Contract.Assert(uri!=null, "Null URI");

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

496Contract.Assert(mb != null, "null method base passed to CoerceArgs"); 1345Contract.Assert(_message == null, "Can't set frame twice on ConstructorCallMessage"); 2222Contract.Assert(_enumHash != null,"_enumHash != null"); 2249Contract.Assert(_enumHash != null,"_enumHash != null"); 3239Contract.Assert( 3973Contract.Assert(value==null, "Phoney type in CCM"); 4855Contract.Assert(_obj != null, "SerializationMonkey's _obj field should have been initialized elsewhere with a special hack."); 4962Contract.Assert(targetCtxID!=IntPtr.Zero, "bad target ctx for call back"); 4985Contract.Assert(targetCtxID != IntPtr.Zero, "bad target ctx for call back"); 4986Contract.Assert(targetDomainID !=0, "bad target ctx for call back"); 5015Contract.Assert(channelSink != null, "X-domain transition failure"); 5035Contract.Assert(_targetDomainID != 0, "target domain should be non-zero"); 5068Contract.Assert(Thread.CurrentContext.InternalContextID 5087Contract.Assert(ctx != null, "Null target context unexpected!"); 5153Contract.Assert(

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

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

607Contract.Assert(appURI != null, "Bad remote app URI");

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

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"); 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)"); 2780Contract.Assert(condition, message);

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

380Contract.Assert(

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

88Contract.Assert( 97Contract.Assert( 101Contract.Assert( 197Contract.Assert(ctx.GetProperty(PROPERTY_NAME) != this, 231Contract.Assert(_flavor == REQUIRED,"Use cli-ctx property only for the REQUIRED flavor"); 284Contract.Assert(_locked==true,"_locked==true"); 292Contract.Assert(work!=null,"work!=null"); 293Contract.Assert(work.IsSignaled() && !(work.IsDummy()),"work.IsSignaled() && !(work.IsDummy())"); 308Contract.Assert(_locked==true,"_locked==true"); 335Contract.Assert(_locked==true,"_locked==true"); 452Contract.Assert(_locked==true,"_locked==true"); 482Contract.Assert(_locked==true,"_locked==true"); 498Contract.Assert(_locked==true,"_locked==true"); 720Contract.Assert(!IsWaiting(),"!IsWaiting()"); 732Contract.Assert(!IsSignaled(),"!IsSignaled()"); 795Contract.Assert(IsSignaled(),"IsSignaled()"); 836Contract.Assert(_property.Locked == true,"_property.Locked == true"); 853Contract.Assert(_property.Locked == true,"_property.Locked == true"); 878Contract.Assert( 890Contract.Assert(lcid.Equals(_property.SyncCallOutLCID), "Bad synchronization domain state!"); 910Contract.Assert( 930Contract.Assert(_property.Locked == true,"_property.Locked == true"); 953Contract.Assert(

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\binaryobjectreader.cs (2)

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

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

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

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

101Contract.Assert(condition, message);

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

89Contract.Assert((object)type != null, "[GetAllSerializableMembers]type!=null"); 405Contract.Assert(mi is RuntimeFieldInfo || mi is SerializationFieldInfo,

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

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

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

52Contract.Assert(selector!=null, "[HasCycle]selector!=null");

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

256Contract.Assert(false, "Bad framework kind"); 259Contract.Assert(false, "Error: we introduced a new Target Framework but did not update our binary compatibility map"); 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));

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

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

system\security\accesscontrol\ace.cs (5)

143Contract.Assert( false, "Length > ushort.MaxValue" ); 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 (7)

380Contract.Assert( false, "aceLength % 4 != 0" ); 519Contract.Assert( false, "aceLength % 4 != 0" ); 555Contract.Assert( false, "aceLength % 4 != 0" ); 1365Contract.Assert(( ace.AccessMask & newAce.AccessMask) == newAce.AccessMask, "AceFlagsAreMergeable:: AccessMask of existing ace does not contain all access bits of new ace."); 1742Contract.Assert( false, "Audit and alarm ACEs must have been stripped by remove-meaningless logic" ); 1794Contract.Assert( ace != null, "How did a null ACE end up in a SACL?" ); 1826Contract.Assert( false, "Allow and deny ACEs must have been stripped by remove-meaningless logic" );

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

267Contract.Assert( false, "Invalid operation" ); 308Contract.Assert( false, "Invalid operation" ); 326Contract.Assert( false, "rule.AccessControlType unrecognized" );

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

316Contract.Assert(false, "Invalid operation"); 357Contract.Assert(false, "Invalid operation"); 375Contract.Assert(false, "rule.AccessControlType unrecognized"); 447Contract.Assert(false, "Invalid operation");

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

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 ));

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

100Contract.Assert( newOne != null, "Must not supply a null parameter here" );

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

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 )); 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\securitydescriptor.cs (3)

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

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

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

system\security\codeaccesspermission.cs (7)

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); 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 (9)

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");

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

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

307Contract.Assert((CspProviderFlags.UseMachineKeyStore |

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

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

175Contract.Assert(m_startIndex == 0 && m_endIndex == 0, "Invalid start or end index in the internal buffer." );

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

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\utils.cs (3)

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

system\security\framesecuritydescriptor.cs (1)

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

system\security\namedpermissionset.cs (1)

139Contract.Assert( this.GetType().FullName.Equals( "System.Security.NamedPermissionSet" ), "Class name changed!" );

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\fileiopermission.cs (4)

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

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

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

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

system\security\permissionset.cs (39)

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

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

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

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

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

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

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

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

222Contract.Assert(peFileEvidence.Target is PEFileEvidenceFactory, "Expected upgrade path is from PEFile to Assembly");

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

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

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

629Contract.Assert((m_target != null && m_target is PEFileEvidenceFactory && value != null && value is AssemblyEvidenceFactory) ||

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

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"); 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 (2)

92Contract.Assert(value, "Attempt to clear the Generated flag"); 106Contract.Assert(value, "Attempt to clear HostCanGenerate flag");

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

309Contract.Assert(hashType != null && typeof(HashAlgorithm).IsAssignableFrom(hashType), "Expected a hash algorithm"); 333Contract.Assert(hashType != null && typeof(HashAlgorithm).IsAssignableFrom(hashType), "Expected a hash algorithm");

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

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

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

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

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

1339Contract.Assert(iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly"); 1376Contract.Assert(iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly");

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

system\security\policymanager.cs (2)

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\ircollection.cs (3)

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.");

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

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

424Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Win32.CreateSidFromString returned unrecognized error {0}", Error )); 526Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Win32.GetWindowsAccountDomainSid returned unrecognized error {0}", ErrorCode) ); 549Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Win32.CreateWellKnownSid returned unrecognized error {0}", Error )); 757Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Win32.GetWindowsAccountDomainSid returned unrecognized error {0}", Error) ); 998Contract.Assert( false, string.Format( CultureInfo.InvariantCulture, "Win32Native.LsaLookupSids returned {0}", win32ErrorCode));

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

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");

system\security\securestring.cs (7)

316Contract.Assert(m_buffer != null, "Buffer is not initialized!"); 378Contract.Assert(size >= 0, "size must be non-negative"); 450Contract.Assert(!m_buffer.IsInvalid && m_buffer.Length != 0, "Invalid buffer!"); 451Contract.Assert(m_buffer.Length % BlockSize == 0, "buffer length must be multiple of blocksize!"); 651Contract.Assert(!m_buffer.IsInvalid && m_buffer.Length != 0, "Invalid buffer!"); 652Contract.Assert(m_buffer.Length % BlockSize == 0, "buffer length must be multiple of blocksize!"); 735Contract.Assert(Win32Native.SysStringLen((IntPtr)targetPtr) >= Win32Native.SysStringLen((IntPtr)sourcePtr), "Target buffer is not large enough!");

system\security\securitycontext.cs (2)

117Contract.Assert(currEC == Thread.CurrentThread.GetMutableExecutionContext(), "SecurityContextSwitcher used from another thread"); 118Contract.Assert(currSC == currEC.SecurityContext, "SecurityContextSwitcher context mismatch");

system\security\securitydocument.cs (1)

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

system\security\securityelement.cs (9)

176Contract.Assert( iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly" ); 301Contract.Assert( iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly" ); 405Contract.Assert( iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly" ); 500Contract.Assert( iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly" ); 511Contract.Assert( false, "Unable to find escape sequence for this character" ); 562Contract.Assert( iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly" ); 684Contract.Assert( iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly" ); 788Contract.Assert( iMax % 2 == 0, "Odd number of strings means the attr/value pairs were not added correctly" ); 845Contract.Assert((token.m_type & PermissionTokenType.DontKnow) == 0, "Token type not properly assigned");

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

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

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\xmlutil.cs (2)

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

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\string.cs (20)

262Contract.Assert(*(pointerToJointString + charBuffer.Length) == '\0', "String must be null-terminated!"); 286Contract.Assert((charA | charB) <= 0x7F, "strings have to be ASCII"); 339Contract.Assert(c <= 0x7F, "string has to be ASCII"); 347Contract.Assert(outBuff[length]=='\0', "outBuff[length]=='\0'"); 436Contract.Assert((charA | charB) <= 0x7F, "strings have to be ASCII"); 515Contract.Assert( *(a+1) != *(b+1), "This byte must be different if we reach here!"); 538Contract.Assert( *(a+1) != *(b+1), "This byte must be different if we reach here!"); 844Contract.Assert(src[this.Length] == '\0', "src[this.Length] == '\\0'"); 845Contract.Assert( ((int)src)%4 == 0, "Managed string should start at 4 bytes boundary"); 901Contract.Assert(src[this.Length] == '\0', "src[this.Length] == '\\0'"); 902Contract.Assert( ((int)src)%4 == 0, "Managed string should start at 4 bytes boundary"); 1231Contract.Assert(separators != null && separators.Length > 0, "separators != null && separators.Length > 0"); 1303Contract.Assert( startIndex >= 0 && startIndex <= this.Length, "StartIndex is out of range!"); 1304Contract.Assert( length >= 0 && startIndex <= this.Length - length, "length is out of range!"); 1410Contract.Assert(stringLength >= 0, "stringLength >= 0"); 1421Contract.Assert(stringLength == doubleCheck, 1441Contract.Assert(cbNativeBuffer >= (Length + 1) * Marshal.SystemMaxDBCSCharSize, "Insufficient buffer length passed to ConvertToAnsi"); 1708Contract.Assert(this == null, "this == null"); // this is the string constructor, we allocate it 1736Contract.Assert(this == null, "this == null"); // this is the string constructor, we allocate it 3297Contract.Assert((currPos <= totalLength - values[i].Length),

system\stubhelpers.cs (4)

486Contract.Assert(false, "NYI"); 492Contract.Assert(false, "NYI"); 498Contract.Assert(false, "NYI"); 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.");

system\text\asciiencoding.cs (30)

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

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

system\text\dbcscodepageencoding.cs (38)

system\text\decoder.cs (1)

223Contract.Assert(result <= charCount, "Returned more chars than we have space for");

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

162Contract.Assert(fallbackIndex < strDefault.Length && fallbackIndex >= 0,

system\text\encoder.cs (1)

216Contract.Assert(result <= byteCount, "Returned more bytes than we have space for");

system\text\encoderbestfitfallback.cs (4)

108Contract.Assert(iCount < 1, "[InternalEncoderBestFitFallbackBuffer.Fallback(non surrogate)] Fallback char " + ((int)cBestFit).ToString("X4", CultureInfo.InvariantCulture) + " caused recursive fallback"); 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\encoderfallback.cs (1)

171Contract.Assert(charStart != null,

system\text\encoderreplacementfallback.cs (1)

195Contract.Assert(fallbackIndex < strDefault.Length && fallbackIndex >= 0,

system\text\encoding.cs (7)

579Contract.Assert(codepage != 0 && codepage != 1200 && codepage != 1201 && codepage != 65001, 1140Contract.Assert(result <= byteCount, "[Encoding.GetBytes]Returned more bytes than we have space for"); 1300Contract.Assert(result <= charCount, "[Encoding.GetChars]Returned more chars than we have space for"); 1945Contract.Assert(fallbackBuffer.Remaining == 0, 2017Contract.Assert(bytes < byteEnd, "[EncodingCharBuffer.GetNextByte]Expected more date"); 2147Contract.Assert(moreBytesExpected >= 0, "[EncodingByteBuffer.AddByte]expected non-negative moreBytesExpected"); 2211Contract.Assert(chars > charStart ||

system\text\gb18030encoding.cs (15)

138Contract.Assert(info!=null, "[GB18030Encoding(Serialization...)] Expected null info to throw"); 150Contract.Assert(info!=null, "[GB18030.GetObjectData] Expected null info to throw"); 209Contract.Assert(count4Byte <= GBLast4ByteCode, 227Contract.Assert(unicodeCount == 0, 231Contract.Assert(count4Byte == GBLast4ByteCode + 1, 271Contract.Assert(byteCount >= 0, "[GB18030Encoding.GetBytes]byteCount is negative"); 272Contract.Assert(chars != null, "[GB18030Encoding.GetBytes]chars is null"); 273Contract.Assert(charCount >= 0, "[GB18030Encoding.GetBytes]charCount is negative"); 276Contract.Assert(encoderFallback != null, "[GB18030Encoding.GetBytes]Attempting to use null encoder fallback"); 299Contract.Assert(Char.IsHighSurrogate(charLeftOver), 329Contract.Assert(offset < 0x6f, 379Contract.Assert(iBytes < 0x7e, 459Contract.Assert(bytes != null, "[GB18030Encoding.GetChars]bytes is null"); 460Contract.Assert(byteCount >= 0, "[GB18030Encoding.GetChars]byteCount is negative"); 462Contract.Assert(charCount >= 0, "[GB18030Encoding.GetChars]charCount is negative");

system\text\isciiencoding.cs (34)

system\text\iso2022encoding.cs (26)

system\text\latin1encoding.cs (26)

system\text\mlangcodepageencoding.cs (3)

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

system\text\normalization.cs (1)

282Contract.Assert(iLength > cBuffer.Length, "Buffer overflow should have iLength > cBuffer.Length");

system\text\sbcscodepageencoding.cs (36)

system\text\stringbuilder.cs (29)

267Contract.Assert(currentBlock.m_MaxCapacity == maxCapacity, "Bad maxCapacity"); 268Contract.Assert(currentBlock.m_ChunkChars != null, "Empty Buffer"); 270Contract.Assert(currentBlock.m_ChunkLength <= currentBlock.m_ChunkChars.Length, "Out of range length"); 271Contract.Assert(currentBlock.m_ChunkLength >= 0, "Negative length"); 272Contract.Assert(currentBlock.m_ChunkOffset >= 0, "Negative offset"); 277Contract.Assert(currentBlock.m_ChunkOffset == 0, "First chunk's offset is not 0"); 281Contract.Assert(currentBlock.m_ChunkOffset == prevBlock.m_ChunkOffset + prevBlock.m_ChunkLength, "There is a gap between chunks!"); 478Contract.Assert(Capacity >= originalCapacity, "setting the Length should never decrease the Capacity"); 500Contract.Assert(newLen > chunk.m_ChunkChars.Length, "the new chunk should be larger than the one it is replacing"); 510Contract.Assert(Capacity >= originalCapacity, "setting the Length should never decrease the Capacity"); 576Contract.Assert(m_ChunkLength == 0, "Expand should create a new block"); 1608Contract.Assert(chunk != null || count == 0, "Chunks ended prematurely"); 1692Contract.Assert(m_ChunkLength == 0, "Expand did not make a new block"); 1758Contract.Assert(gapStart < sourceChunk.m_ChunkChars.Length, "gap starts at end of buffer. Should not happen"); 1759Contract.Assert(gapStart <= gapEnd, "negative gap size"); 1760Contract.Assert(gapEnd <= sourceChunk.m_ChunkLength, "gap too big"); 1770Contract.Assert(targetIndexInChunk <= targetChunk.m_ChunkLength, "gap not in chunk"); 1823Contract.Assert(lengthInChunk >= 0, "index not in chunk"); 1917Contract.Assert(0 <= index && index <= Length, "index not in string"); 1923Contract.Assert(ret != null, "index not in string"); 1934Contract.Assert(0 <= byteIndex && byteIndex <= Length*sizeof(char), "Byte Index not in string"); 1940Contract.Assert(ret != null, "Byte Index not in string"); 2027Contract.Assert(count > 0, "Count must be strictly positive"); 2028Contract.Assert(index >= 0, "Index can't be negative"); 2094Contract.Assert(size > 0, "size not positive"); 2095Contract.Assert(maxCapacity > 0, "maxCapacity not positive"); 2112Contract.Assert(startIndex >= 0 && startIndex < Length, "startIndex not in string"); 2141Contract.Assert(chunk != null, "fell off beginning of string!"); 2171Contract.Assert(chunk != null, "fell off beginning of string!");

system\text\surrogateencoder.cs (1)

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

system\text\unicodeencoding.cs (32)

system\text\utf32encoding.cs (25)

439Contract.Assert(chars!=null, "[UTF32Encoding.GetByteCount]chars!=null"); 440Contract.Assert(count >=0, "[UTF32Encoding.GetByteCount]count >=0"); 502Contract.Assert(chars > charStart, 555Contract.Assert(fallbackBuffer.Remaining == 0, 566Contract.Assert(chars!=null, "[UTF32Encoding.GetBytes]chars!=null"); 567Contract.Assert(bytes!=null, "[UTF32Encoding.GetBytes]bytes!=null"); 568Contract.Assert(byteCount >=0, "[UTF32Encoding.GetBytes]byteCount >=0"); 569Contract.Assert(charCount >=0, "[UTF32Encoding.GetBytes]charCount >=0"); 638Contract.Assert(chars > charStart + 1 || bytes == byteStart, 666Contract.Assert(chars > charStart, 707Contract.Assert(chars > charStart, 741Contract.Assert(highSurrogate == 0 || (encoder != null && !encoder.MustFlush), 760Contract.Assert(bytes!=null, "[UTF32Encoding.GetCharCount]bytes!=null"); 761Contract.Assert(count >=0, "[UTF32Encoding.GetCharCount]count >=0"); 786Contract.Assert(fallbackBuffer.Remaining == 0, 893Contract.Assert(fallbackBuffer.Remaining == 0, 904Contract.Assert(chars!=null, "[UTF32Encoding.GetChars]chars!=null"); 905Contract.Assert(bytes!=null, "[UTF32Encoding.GetChars]bytes!=null"); 906Contract.Assert(byteCount >=0, "[UTF32Encoding.GetChars]byteCount >=0"); 907Contract.Assert(charCount >=0, "[UTF32Encoding.GetChars]charCount >=0"); 934Contract.Assert(fallbackBuffer.Remaining == 0, 995Contract.Assert(bytes >= byteStart + 4 || chars == charStart, 1019Contract.Assert(bytes >= byteStart + 4 || chars == charStart, 1036Contract.Assert(bytes >= byteStart + 4 || chars == charStart, 1100Contract.Assert(fallbackBuffer.Remaining == 0,

system\text\utf7encoding.cs (14)

510Contract.Assert(chars!=null, "[UTF7Encoding.GetByteCount]chars!=null"); 511Contract.Assert(count >=0, "[UTF7Encoding.GetByteCount]count >=0"); 521Contract.Assert(byteCount >=0, "[UTF7Encoding.GetBytes]byteCount >=0"); 522Contract.Assert(chars!=null, "[UTF7Encoding.GetBytes]chars!=null"); 523Contract.Assert(charCount >=0, "[UTF7Encoding.GetBytes]charCount >=0"); 661Contract.Assert(count >=0, "[UTF7Encoding.GetCharCount]count >=0"); 662Contract.Assert(bytes!=null, "[UTF7Encoding.GetCharCount]bytes!=null"); 672Contract.Assert(byteCount >=0, "[UTF7Encoding.GetChars]byteCount >=0"); 673Contract.Assert(bytes!=null, "[UTF7Encoding.GetChars]bytes!=null"); 674Contract.Assert(charCount >=0, "[UTF7Encoding.GetChars]charCount >=0"); 693Contract.Assert(firstByte == false || decoder.bitCount <= 0, 1080Contract.Assert(iCount < 0, "[DecoderUTF7FallbackBuffer.Fallback] Can't have recursive fallbacks"); 1081Contract.Assert(bytesUnknown.Length == 1, "[DecoderUTF7FallbackBuffer.Fallback] Only possible fallback case should be 1 unknown byte"); 1141Contract.Assert(iCount < 0, "[DecoderUTF7FallbackBuffer.InternalFallback] Can't have recursive fallbacks");

system\text\utf8encoding.cs (32)

system\threading\CancellationToken.cs (1)

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

system\threading\CancellationTokenSource.cs (7)

643Contract.Assert(CanBeCanceled, "Cannot register for uncancelable token src"); 741Contract.Assert(IsCancellationCompleted, "Expected cancellation to have finished"); 753Contract.Assert(IsCancellationRequested, "ExecuteCallbackHandlers should only be called after setting IsCancellationRequested->true"); 754Contract.Assert(ThreadIDExecutingCallbacks != -1, "ThreadIDExecutingCallbacks should have been set."); 838Contract.Assert(exceptionList.Count > 0, "Expected exception count > 0"); 1113Contract.Assert(start >= 0 && start < c, "start is outside of bounds"); 1120Contract.Assert(tryIndex >= 0 && tryIndex < curr.m_elements.Length, "tryIndex is outside of bounds");

system\threading\CountdownEvent.cs (1)

273Contract.Assert(m_currentCount >= 0, "latch was decremented below zero");

system\threading\hostexecutioncontextmanager.cs (1)

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

system\threading\ManualResetEventSlim.cs (8)

149Contract.Assert(value >= 0, "SpinCount is a restricted-width integer. The value supplied is outside the legal range."); 150Contract.Assert(value <= SpinCountState_MaxValue, "SpinCount is a restricted-width integer. The value supplied is outside the legal range."); 169Contract.Assert(value >= 0, "NumWaiters should never be less than zero. This indicates an internal error."); 247Contract.Assert(DEFAULT_SPIN_SP >= 0, "Internal error - DEFAULT_SPIN_SP is outside the legal range."); 248Contract.Assert(DEFAULT_SPIN_SP <= SpinCountState_MaxValue, "Internal error - DEFAULT_SPIN_SP is outside the legal range."); 300Contract.Assert(currentIsSet, 751Contract.Assert(mre != null, "Expected a ManualResetEventSlim"); 772Contract.Assert((newBits | updateBitsMask) == updateBitsMask, "newBits do not fall within the updateBitsMask.");

system\threading\overlapped.cs (3)

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");

system\threading\SemaphoreSlim.cs (13)

96Contract.Assert(setSuccessfully, "Should have been able to complete task"); 368Contract.Assert(m_asyncTail != null, "tail should not be null if head isn't"); 400Contract.Assert(!waitSuccessful || m_currentCount > 0, 629Contract.Assert(m_currentCount == 0, "m_currentCount should never be negative"); 642Contract.Assert(Monitor.IsEntered(m_lockObj), "Requires the lock be held"); 650Contract.Assert(m_asyncTail == null, "If head is null, so too should be tail"); 656Contract.Assert(m_asyncTail != null, "If head is not null, neither should be tail"); 672Contract.Assert(Monitor.IsEntered(m_lockObj), "Requires the lock be held"); 682Contract.Assert((m_asyncHead == null) == (m_asyncTail == null), "Head is null iff tail is null"); 697Contract.Assert(asyncWaiter != null, "Waiter should have been constructed"); 698Contract.Assert(Monitor.IsEntered(m_lockObj), "Requires the lock be held"); 805Contract.Assert(m_asyncTail != null, "tail should not be null if head isn't null"); 889Contract.Assert(semaphore != null, "Expected a SemaphoreSlim");

system\threading\SpinLock.cs (1)

129Contract.Assert(!IsThreadOwnerTrackingEnabled, "property should be false by now");

system\threading\SpinWait.cs (1)

314Contract.Assert(procCount > 0 && procCount <= 64,

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

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

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

219Contract.Assert(!localCs.Task.IsCompleted, "Completion should only happen once."); 225Contract.Assert(success, "Expected to complete completion task."); 342else Contract.Assert(m_processingCount == EXCLUSIVE_PROCESSING_SENTINEL, "The processing count must be the sentinel if it's not >= 0."); 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."); 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."); 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."); 758Contract.Assert(Monitor.IsEntered(syncObj) == held, "The locking scheme was not correctly followed.");

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

464Contract.Assert(m_action == null, "Task<T>.TrySetResult(): non-null m_action"); 504Contract.Assert(!IsCompleted, "The promise must not yet be completed."); 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"); 689Contract.Assert(false, "Invalid m_action in Task<TResult>");

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

853Contract.Assert(asyncResult.IsCompleted, "If the operation completed synchronously, it must be completed."); 989Contract.Assert(asyncResult.IsCompleted, "If the operation completed synchronously, it must be completed."); 1134Contract.Assert(asyncResult.IsCompleted, "If the operation completed synchronously, it must be completed."); 1286Contract.Assert(asyncResult.IsCompleted, "If the operation completed synchronously, it must be completed."); 1336Contract.Assert(thisRef != null, "Expected a non-null thisRef"); 1337Contract.Assert(beginMethod != null, "Expected a non-null beginMethod"); 1338Contract.Assert(endMethod != null, "Expected a non-null endMethod"); 1351Contract.Assert(asyncResult.IsCompleted, "If the operation completed synchronously, it must be completed."); 1431Contract.Assert(!IsCompleted, "The task should not have been completed yet."); 1460Contract.Assert(successfullySet, "Expected the task to not yet be completed");

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

1042Contract.Assert(((body == null ? 0 : 1) + (bodyWithState == null ? 0 : 1) + (bodyWithLocal == null ? 0 : 1)) == 1, 1044Contract.Assert(bodyWithLocal != null || (localInit == null && localFinally == null), 1357Contract.Assert(((body == null ? 0 : 1) + (bodyWithState == null ? 0 : 1) + (bodyWithLocal == null ? 0 : 1)) == 1, 1359Contract.Assert(bodyWithLocal != null || (localInit == null && localFinally == null), 2225Contract.Assert(((body == null ? 0 : 1) + (bodyWithState == null ? 0 : 1) + 2228Contract.Assert((bodyWithStateAndLocal != null) || (bodyWithEverything != null) || (localInit == null && localFinally == null), 2290Contract.Assert(parallelOptions != null, "ForEachWorker(array): parallelOptions is null"); 2349Contract.Assert(parallelOptions != null, "ForEachWorker(list): parallelOptions is null"); 3202Contract.Assert(((simpleBody == null ? 0 : 1) + (bodyWithState == null ? 0 : 1) + 3205Contract.Assert((bodyWithStateAndLocal != null) || (bodyWithEverything != null) || (localInit == null && localFinally == null), 3209Contract.Assert((orderedSource != null) || (bodyWithStateAndIndex == null && bodyWithEverything == null), 3412Contract.Assert(false, "PartitionerForEach: illegal body type in Partitioner handler"); 3587Contract.Assert(m_timeLimit != 0, "Probably the default initializer for LoopTimer was used somewhere");

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

147Contract.Assert(INIT_SEGMENT_SIZE > 0, "Initial segment size must be > 0."); 148Contract.Assert((INIT_SEGMENT_SIZE & (INIT_SEGMENT_SIZE - 1)) == 0, "Initial segment size must be a power of 2"); 149Contract.Assert(INIT_SEGMENT_SIZE <= MAX_SEGMENT_SIZE, "Initial segment size should be <= maximum."); 150Contract.Assert(MAX_SEGMENT_SIZE < Int32.MaxValue / 2, "Max segment size * 2 must be < Int32.MaxValue, or else overflow could occur."); 190Contract.Assert(newSegmentSize > 0, "The max size should always be small enough that we don't overflow."); 463Contract.Assert(syncObj != null, "The syncObj parameter is null.");

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

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

51Contract.Assert(antecedent != null, 72Contract.Assert(false, "Invalid m_action in ContinuationTaskFromTask"); 99Contract.Assert(antecedent != null, 120Contract.Assert(false, "Invalid m_action in ContinuationResultTaskFromTask"); 147Contract.Assert(antecedent != null, 168Contract.Assert(false, "Invalid m_action in ContinuationTaskFromResultTask"); 195Contract.Assert(antecedent != null, 216Contract.Assert(false, "Invalid m_action in ContinuationResultTaskFromResultTask"); 325Contract.Assert(completedTask.IsCompleted, "ContinuationTask.Run(): completedTask not completed");

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

208Contract.Assert(m_cancellationException == null, 213Contract.Assert(m_faultExceptions == null, 227Contract.Assert(edi != null && edi.SourceException is OperationCanceledException, 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 (3)

1672Contract.Assert(_count >= 0, "Count should never go below 0"); 1750Contract.Assert(_count >= 0, "Count should never go below 0"); 2450Contract.Assert(success, "Only one task should have gotten to this point, and thus this must be successful.");

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

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

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

82Contract.Assert(task != null, "TaskWrapperAsyncResult should never wrap a null Task."); 107Contract.Assert(twar.Task != null, "TaskWrapperAsyncResult should never wrap a null Task.");

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

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

system\threading\thread.cs (1)

1479Contract.Assert(CurrentThread.m_Context == null || CurrentThread.m_Context.AppDomain == ad, "AppDomains on the managed & unmanaged threads should match");

system\threading\ThreadLocal.cs (1)

199Contract.Assert(id >= 0 || !m_initialized, "expected id >= 0 if initialized");

system\threading\threadpool.cs (1)

1328Contract.Assert(helper != null, "Null state passed to PerformWaitOrTimerCallback!");

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

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

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

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

system\version.cs (3)

341Contract.Assert(num >= 0, "AppendPositiveNumber expect positive numbers"); 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);