1 #ifdef SOPLEX_WITH_ZLIB 42 #define GZSTREAM_NAMESPACE gzstream 44 #ifdef GZSTREAM_NAMESPACE 45 namespace GZSTREAM_NAMESPACE
61 :
public std::streambuf
69 static const int bufferSize = 47 + 256;
77 char buffer[bufferSize];
100 setp(buffer, buffer + (bufferSize - 1));
122 gzstreambuf* open(
const char* name,
int open_mode);
124 gzstreambuf* close();
126 virtual int overflow(
int c = EOF);
128 virtual int underflow();
142 :
virtual public std::ios
164 gzstreambase(
const char* _name,
int _open_mode);
173 void open(
const char* _name,
int _open_mode);
198 :
public std::istream
199 ,
public gzstreambase
211 igzstream(
const char* _name,
212 int _open_mode = std::ios::in)
214 , gzstreambase(_name, _open_mode)
224 return gzstreambase::rdbuf();
227 void open(
const char* _name,
228 int _open_mode = std::ios::in)
230 gzstreambase::open(_name, _open_mode);
243 :
public gzstreambase
244 ,
public std::ostream
257 ogzstream(
const char* _name,
258 int _open_mode = std::ios::out)
259 : gzstreambase(_name, _open_mode)
270 return gzstreambase::rdbuf();
273 void open(
const char* _name,
274 int _open_mode = std::ios::out)
276 gzstreambase::open(_name, _open_mode);
280 #ifdef GZSTREAM_NAMESPACE