39 void setStream(std::ostream* output_stream);
bool isActive() const
check if the stream is active
Interface to output streams.
std::ostream & getStream(const std::string &tag="")
returns current stream
InfoStream(std::ostream *output_stream)
void resume()
Continue output on the stream used before pausing.
void redirectToFile(const std::string &fname)
Open a file and output to that file.
void setStream(std::ostream *output_stream)
InfoStream & operator<<(InfoStream &o, const T &val)
void flush()
flush stream buffer
void redirectToSameStream(InfoStream &info)
Copy a stream.
InfoStream & operator=(const InfoStream &in)=delete
void shutOff()
Permanently turn off the stream.
std::ostream * outputStream
std::unique_ptr< std::ofstream > fileStream
std::ostream * currStream
void pause()
Stop output (redirect to a null stream)