public long Length() { return stream.Length; }
/// <exception cref="System.IO.IOException"/> public RandomAccessFileReader(RandomAccessFile file) { if (file == null) { throw new ArgumentNullException(); } _file = file; _length = _file.Length(); }