Lines Matching defs:file
20 * @brief Gzipped file stream buffer class.
25 * file streambuf.
53 * @brief Check if file is open.
54 * @return True if file is open.
57 is_open() const { return (file != NULL); }
60 * @brief Open gzipped file.
70 * @brief Attach to already open gzipped file.
80 * @brief Close gzipped file.
100 * These characters can be read without accessing the gzipped file.
106 * @brief Fill get area from gzipped file.
109 * This actually reads characters from gzipped file to stream
116 * @brief Write put area to gzipped file.
121 * gzipped file. With unbuffered output this is done one
140 * @brief Flush stream buffer to file.
184 * Underlying file pointer.
186 gzFile file;
189 * Mode in which file was opened.
194 * @brief True if this object owns file descriptor.
196 * This makes the class responsible for closing the file
229 * @brief Gzipped file input stream class.
241 * @brief Construct stream on gzipped file to be opened.
250 * @brief Construct stream on already open gzipped file.
266 * @brief Check if file is open.
267 * @return True if file is open.
273 * @brief Open gzipped file.
277 * Stream will be in state good() if file opens successfully;
280 * won't allow you to reuse the stream for a second file unless
289 * @brief Attach to already open gzipped file.
301 * @brief Close gzipped file.
318 * @brief Gzipped file output stream class.
330 * @brief Construct stream on gzipped file to be opened.
339 * @brief Construct stream on already open gzipped file.
355 * @brief Check if file is open.
356 * @return True if file is open.
362 * @brief Open gzipped file.
366 * Stream will be in state good() if file opens successfully;
369 * won't allow you to reuse the stream for a second file unless
378 * @brief Attach to already open gzipped file.
390 * @brief Close gzipped file.
407 * @brief Gzipped file output stream manipulator class.