UnCoVer (Using Coverability for Verification)
|
Contains classes used for handling logging. More...
Classes | |
class | DelayedLogMessage |
This class stores a log message and sends it at the end of the scope in which it was defined. More... | |
class | MessageLogger |
This class is used to stream log messages. More... | |
class | MultiStream |
class | MultiStreamBuffer |
Enumerations | |
enum | LogTypes { LT_None = -1, LT_UserInfo = 0, LT_CriticalError = 1, LT_Error = 2, LT_Warning = 3, LT_Debug = 4 } |
LogTypes defines all types of log-messages usable with a messageLogger stream. More... | |
Functions | |
string | gl_logTypeToString (LogTypes type) |
Takes a log-type defined by LogTypes and returns a string representation. More... | |
LogTypes | gl_LogLevel (LogTypes::LT_Debug) |
std::ostream & | endLogMessage (std::ostream &ost) |
Causes the current MessageLogger instance to end the current Message. More... | |
Variables | |
logging::LogTypes | gl_LogLevel |
gl_LogLevel is the default level of log-messages streamed using the messageLogger. | |
MessageLogger | logger |
The main logger for all log messages. More... | |
Contains classes used for handling logging.
enum LogTypes |
LogTypes defines all types of log-messages usable with a messageLogger stream.
std::ostream & endLogMessage | ( | std::ostream & | ost | ) |
Causes the current MessageLogger instance to end the current Message.
If this function is streamed (or simply called), the current MessageLogger instance will be informed that the current log message ended.
ost | an output stream |
std::string gl_logTypeToString | ( | LogTypes | type | ) |
Takes a log-type defined by LogTypes and returns a string representation.
type | the log-type to be converted |
MessageLogger logger |
The main logger for all log messages.
Has to be initialized by the main program.