UnCoVer (Using Coverability for Verification)
|
This class stores a log message and sends it at the end of the scope in which it was defined. More...
#include <DelayedLogMessage.h>
Public Member Functions | |
DelayedLogMessage (LogTypes logType, string message) | |
Creates a new DelayedLogMessage of the given type and with the given content. More... | |
~DelayedLogMessage () | |
Destroys this DelayedLogMessage, immediately printing its stored message. | |
Private Attributes | |
LogTypes | logType |
Stores the log type of this DelayedLogMessage. | |
string | message |
Stores the content of this DelayedLogMessage. | |
This class stores a log message and sends it at the end of the scope in which it was defined.
DelayedLogMessage | ( | LogTypes | logType, |
string | message | ||
) |
Creates a new DelayedLogMessage of the given type and with the given content.
logType | the type of log message |
message | the content of the message |