1 #ifdef SOPLEX_WITH_ZLIB 42 #define GZSTREAM_NAMESPACE gzstream 44 #ifdef GZSTREAM_NAMESPACE 45 namespace GZSTREAM_NAMESPACE {
60 :
public std::streambuf
68 static const int bufferSize = 47+256;
76 char buffer[bufferSize];
99 setp( buffer, buffer + (bufferSize-1));
121 gzstreambuf* open(
const char* name,
int open_mode );
123 gzstreambuf* close();
125 virtual int overflow(
int c = EOF );
127 virtual int underflow();
141 :
virtual public std::ios
163 gzstreambase(
const char* _name,
int _open_mode );
172 void open(
const char* _name,
int _open_mode );
197 :
public std::istream
198 ,
public gzstreambase
207 : std::istream( &buf)
210 igzstream(
const char* _name,
211 int _open_mode = std::ios::in )
212 : std::istream( &buf )
213 , gzstreambase( _name, _open_mode )
223 return gzstreambase::rdbuf();
226 void open(
const char* _name,
227 int _open_mode = std::ios::in )
229 gzstreambase::open( _name, _open_mode );
242 :
public gzstreambase
243 ,
public std::ostream
252 : std::ostream( &buf)
256 ogzstream(
const char* _name,
257 int _open_mode = std::ios::out )
258 : gzstreambase( _name, _open_mode )
259 , std::ostream( &buf)
269 return gzstreambase::rdbuf();
272 void open(
const char* _name,
273 int _open_mode = std::ios::out )
275 gzstreambase::open( _name, _open_mode );
279 #ifdef GZSTREAM_NAMESPACE