|
Go to the documentation of this file. 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
|