Package org.sosy_lab.common.log

Class ConsoleLogFormatter

java.lang.Object

java.util.logging.Formatter

org.sosy_lab.common.log.ConsoleLogFormatter

public class ConsoleLogFormatter
extends Formatter

Class to handle formatting for console output.

Constructor Summary

Constructors

Constructor	Description
ConsoleLogFormatter(LoggingOptions options)

Method Summary

Modifier and Type	Method	Description
final String	format(LogRecord lr)
protected void	format(LogRecord lr, StringBuilder sb)	Formats LogRecord using the provided StringBuilder. This method corresponds to Formatter.format(LogRecord) in a template method pattern.
String	toString()
static Formatter	withColorsIfPossible()
static Formatter	withoutColors()

Methods inherited from class java.util.logging.Formatter

formatMessage, getHead, getTail

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ConsoleLogFormatter

public ConsoleLogFormatter(LoggingOptions options)

Method Details

withoutColors

public static Formatter withoutColors()

withColorsIfPossible

public static Formatter withColorsIfPossible()

format

protected void format(LogRecord lr,
 StringBuilder sb)

Formats LogRecord using the provided StringBuilder.
This method corresponds to Formatter.format(LogRecord) in a template method pattern. The coloring behaviour is provided by superclass.

Parameters:

lr - the LogRecord to format.

sb - the StringBuilder for LogRecord formatting.

See Also:

• Formatter.format(LogRecord)

format

public final String format(LogRecord lr)

Specified by:

format in class Formatter

toString

public String toString()

Overrides:

toString in class Object