OpenGrok

17 	public class GZipStream : Stream, IDisposable

48         /// Creates a new file as a writeable GZipStream

53 		public GZipStream(string fileName, CompressLevel level)

62         /// Opens an existing file as a readable GZipStream

66         public GZipStream(string fileName)

117         ~GZipStream()

160             if (_isDisposed) throw new ObjectDisposedException("GZipStream");

184             if (_isDisposed) throw new ObjectDisposedException("GZipStream");

205             if (_isDisposed) throw new ObjectDisposedException("GZipStream");

229             if (_isDisposed) throw new ObjectDisposedException("GZipStream");

261         /// Flushes the <c>GZipStream</c>.

271         /// Gets/sets the current position in the <c>GZipStream</c>. Not supported.

Indexes created Mon Oct 13 08:09:50 GMT 2025