UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for MessageLogger, including all inherited members.
contMsg() | MessageLogger | |
currLevel | MessageLogger | private |
devnull | MessageLogger | private |
endMsg() | MessageLogger | |
mainstream | MessageLogger | private |
MessageLogger(std::ostream &ostr) | MessageLogger | |
messageStreaming | MessageLogger | private |
newCriticalError() | MessageLogger | |
newDebug() | MessageLogger | |
newError() | MessageLogger | |
newMsg(LogTypes logType) | MessageLogger | |
newUserInfo() | MessageLogger | |
newWarning() | MessageLogger | |
streamCurrentTime(std::ostream &ost) | MessageLogger | private |
streamHeader(std::ostream &ost, LogTypes logType) | MessageLogger | private |
~MessageLogger() | MessageLogger | virtual |