#include <state_file.h>
Inheritance diagram for StateOutFile
Public Methods | |
StateOutFile () | |
State information will be written to ExEnv::out(). | |
StateOutFile (std::ostream &s) | |
State information will be written to s. | |
StateOutFile (const char *name) | |
State information will be written to name. | |
~StateOutFile () | |
virtual int | open (const char *name) |
State information will be written to name. | |
virtual void | flush () |
Flush the output stream. | |
virtual void | close () |
Close the output stream. | |
Protected Attributes | |
int | opened_ |
std::streambuf* | buf_ |