943_readPos = 0; 1031_readPos = 0; 1242_readPos = 0; 1366_readPos = 0; 1415_readPos = 0; 1433_readPos = 0; 1460_readPos = 0; 1522_readPos = 0; 1530_readPos = 0; 1536_readPos += n; 1560_readPos = 0; 1659_readPos = 0; 1671_readPos = 0; 1677_readPos = 0; 1740_readPos = 0; 1769_readPos = 0; 1925_readPos += n; 1962_readPos = n; 1971_readPos = 0; 1981_readPos += n; 1995_readPos = 0; 2169_readPos = 0; 2175_readPos++; 2244_readPos = 0; 2420_readPos = 0;

1227Contract.Assert((_readPos == 0 && _readLen == 0 && _writePos >= 0) || (_writePos == 0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 1236return _pos + (_readPos - _readLen + _writePos); 1341else if (_readPos < _readLen && CanSeek) 1362if (_readPos - _readLen != 0) { 1364SeekCore(_readPos - _readLen, SeekOrigin.Current); 1374Contract.Assert(_readPos == 0 && _readLen == 0, "FileStream: Read buffer must be empty in FlushWrite!"); 1457else if (_readPos < _readLen) { 1510Contract.Assert((_readPos==0 && _readLen==0 && _writePos >= 0) || (_writePos==0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 1513int n = _readLen - _readPos; 1535Buffer.InternalBlockCopy(_buffer, _readPos, array, offset, n); 1555Contract.Assert(_readPos == _readLen, "Read buffer should be empty!"); 1616Contract.Assert((_readPos==0 && _readLen==0 && _writePos >= 0) || (_writePos==0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 1630offset -= (_readLen - _readPos); 1637long oldPos = _pos + (_readPos - _readLen); 1655if (_readPos > 0) { 1657Buffer.InternalBlockCopy(_buffer, _readPos, _buffer, 0, _readLen - _readPos); 1658_readLen -= _readPos; 1666else if (oldPos - _readPos < pos && pos < oldPos + _readLen - _readPos) { 1669Buffer.InternalBlockCopy(_buffer, _readPos+diff, _buffer, 0, _readLen - (_readPos + diff)); 1670_readLen -= (_readPos + diff); 1680Contract.Assert(_readLen >= 0 && _readPos <= _readLen, "_readLen should be nonnegative, and _readPos should be less than or equal _readLen"); 1768if (_readPos < _readLen) FlushRead(); 1830Contract.Assert(_readPos == _readLen, "_readPos == _readLen"); 1903Contract.Assert((_readPos == 0 && _readLen == 0 && _writePos >= 0) || (_writePos == 0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 1920if (_readPos < _readLen) 1922int n = _readLen - _readPos; 1924Buffer.InternalBlockCopy(_buffer, _readPos, array, offset, n); 1941if (_readPos == _readLen) 1978int n = _readLen - _readPos; 1980Buffer.InternalBlockCopy(_buffer, _readPos, array, offset, n); 2163Contract.Assert((_readPos==0 && _readLen==0 && _writePos >= 0) || (_writePos==0 && _readPos <= _readLen), "We're either reading or writing, but not both."); 2164if (_readPos == _readLen) { 2171if (_readPos == _readLen) 2174int result = _buffer[_readPos]; 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."); 2243if (_readPos < _readLen) FlushRead(); 2275Contract.Assert(_readPos == _readLen, "_readPos == _readLen"); 2419if (_readPos < _readLen) FlushRead();