944_readLen = 0; 1032_readLen = 0; 1243_readLen = 0; 1367_readLen = 0; 1416_readLen = 0; 1434_readLen = 0; 1461_readLen = 0; 1523_readLen = 0; 1531_readLen = n; 1561_readLen = 0; 1658_readLen -= _readPos; 1670_readLen -= (_readPos + diff); 1678_readLen = 0; 1741_readLen = 0; 1770_readLen = 0; 1958_readLen = EndRead(bufferRead); 1972_readLen = 0; 1996_readLen = 0; 2168_readLen = ReadCore(_buffer, 0, _bufferSize); 2245_readLen = 0; 2421_readLen = 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; 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); 1651if (_readLen > 0) { 1657Buffer.InternalBlockCopy(_buffer, _readPos, _buffer, 0, _readLen - _readPos); 1663if (_readLen > 0) 1664SeekCore(_readLen, SeekOrigin.Current); 1666else if (oldPos - _readPos < pos && pos < oldPos + _readLen - _readPos) { 1669Buffer.InternalBlockCopy(_buffer, _readPos+diff, _buffer, 0, _readLen - (_readPos + diff)); 1672if (_readLen > 0) 1673SeekCore(_readLen, SeekOrigin.Current); 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; 1941if (_readPos == _readLen) 1959int n = _readLen; 1978int n = _readLen - _readPos; 2162if (_readLen==0 && !CanRead) __Error.ReadNotSupported(); 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) 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();