Public Member Functions | |
ColumnMessageFormatter | getColumnsFormatter () |
TimedMessageSequenceFormatter | getTimingFormatter () |
Package Functions | |
AutomatonCheckerLogger (final CheckerProgressMonitor monitor) | |
void | phaseLog (final String s) |
void | phaseBreak (final String s) |
void | note (final String s) |
void | pushTab () |
void | popTab () |
cz::muni::stanse::automatonchecker::AutomatonCheckerLogger::AutomatonCheckerLogger | ( | final CheckerProgressMonitor | monitor | ) | [inline, package] |
void cz::muni::stanse::automatonchecker::AutomatonCheckerLogger::phaseLog | ( | final String | s | ) | [inline, package] |
void cz::muni::stanse::automatonchecker::AutomatonCheckerLogger::phaseBreak | ( | final String | s | ) | [inline, package] |
void cz::muni::stanse::automatonchecker::AutomatonCheckerLogger::note | ( | final String | s | ) | [inline, package] |
void cz::muni::stanse::automatonchecker::AutomatonCheckerLogger::pushTab | ( | ) | [inline, package] |
void cz::muni::stanse::automatonchecker::AutomatonCheckerLogger::popTab | ( | ) | [inline, package] |
ColumnMessageFormatter cz::muni::stanse::automatonchecker::AutomatonCheckerLogger::getColumnsFormatter | ( | ) | [inline] |
TimedMessageSequenceFormatter cz::muni::stanse::automatonchecker::AutomatonCheckerLogger::getTimingFormatter | ( | ) | [inline] |