44 #define GZSTREAM_NAMESPACE gzstream 46 #ifdef GZSTREAM_NAMESPACE 47 namespace GZSTREAM_NAMESPACE
63 :
public std::streambuf
71 static const int bufferSize = 47 + 256;
79 char buffer[bufferSize];
102 setp(buffer, buffer + (bufferSize - 1));
124 gzstreambuf* open(
const char* name,
int open_mode);
126 gzstreambuf* close();
128 virtual int overflow(
int c = EOF);
130 virtual int underflow();
144 :
virtual public std::ios
166 gzstreambase(
const char* _name,
int _open_mode);
175 void open(
const char* _name,
int _open_mode);
200 :
public std::istream
201 ,
public gzstreambase
213 igzstream(
const char* _name,
214 int _open_mode = std::ios::in)
216 , gzstreambase(_name, _open_mode)
226 return gzstreambase::rdbuf();
229 void open(
const char* _name,
230 int _open_mode = std::ios::in)
232 gzstreambase::open(_name, _open_mode);
245 :
public gzstreambase
246 ,
public std::ostream
259 ogzstream(
const char* _name,
260 int _open_mode = std::ios::out)
261 : gzstreambase(_name, _open_mode)
272 return gzstreambase::rdbuf();
275 void open(
const char* _name,
276 int _open_mode = std::ios::out)
278 gzstreambase::open(_name, _open_mode);
282 #ifdef GZSTREAM_NAMESPACE
common defines and data types used in all packages of SCIP