UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Classes | Enumerations | Functions | Variables
uncover::logging Namespace Reference

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...
 

Detailed Description

Contains classes used for handling logging.

Author
Jan Stückrath

Enumeration Type Documentation

enum LogTypes

LogTypes defines all types of log-messages usable with a messageLogger stream.

Enumerator
LT_None 

No Logging is displayed.

LT_UserInfo 

Only status information of the computation is displayed.

LT_CriticalError 

Like LT_UserInfo, additionally displaying errors blocking or stopping normal computation.

LT_Error 

Like LT_CriticalError, additionally displaying errors which can be ignored but probably produce unintended side effects.

LT_Warning 

Like LT_Error, additionally displaying warnings.

LT_Debug 

Like LT_Warnings, additionally displaying debug messages.

Function Documentation

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.

Parameters
ostan output stream
Returns
the given output stream
std::string gl_logTypeToString ( LogTypes  type)

Takes a log-type defined by LogTypes and returns a string representation.

Parameters
typethe log-type to be converted
Returns
a string representation for the log-type

Variable Documentation

MessageLogger logger

The main logger for all log messages.

Has to be initialized by the main program.