Package org.sosy_lab.common.log
Class ConsoleLogFormatter
java.lang.Object
java.util.logging.Formatter
org.sosy_lab.common.log.ConsoleLogFormatter
Class to handle formatting for console output.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionfinal Stringprotected voidformat(LogRecord lr, StringBuilder sb) FormatsLogRecordusing the providedStringBuilder.
This method corresponds toFormatter.format(LogRecord)in a template method pattern.toString()static Formatterstatic FormatterMethods inherited from class java.util.logging.Formatter
formatMessage, getHead, getTail
-
Constructor Details
-
ConsoleLogFormatter
-
-
Method Details
-
withoutColors
-
withColorsIfPossible
-
format
FormatsLogRecordusing the providedStringBuilder.
This method corresponds toFormatter.format(LogRecord)in a template method pattern. The coloring behaviour is provided by superclass.- Parameters:
lr- theLogRecordto format.sb- theStringBuilderforLogRecordformatting.- See Also:
-
format
-
toString
-