Package org.sosy_lab.common.log

Class TimestampedLogFormatter

java.lang.Object

java.util.logging.Formatter

org.sosy_lab.common.log.TimestampedLogFormatter

Direct Known Subclasses:

FileLogFormatter

public class TimestampedLogFormatter
extends Formatter

Log formatter that produces output containing a timestamp. Each log message will look like this:

 timestamp Level (component:class.method) message
 

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TimestampedLogFormatter(boolean useColors)

Method Summary

Modifier and Type	Method	Description
final String	format(LogRecord lr)
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

TimestampedLogFormatter

protected TimestampedLogFormatter(boolean useColors)

Method Details

format

public 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)

withoutColors

public static Formatter withoutColors()

withColorsIfPossible

public static Formatter withColorsIfPossible()

format

public final String format(LogRecord lr)

Specified by:

format in class Formatter

toString

public String toString()

Overrides:

toString in class Object