Package org.sosy_lab.common.log

Class FileLogFormatter

java.lang.Object

java.util.logging.Formatter

org.sosy_lab.common.log.TimestampedLogFormatter

org.sosy_lab.common.log.FileLogFormatter

@Deprecated
public class FileLogFormatter
extends TimestampedLogFormatter

Deprecated.

use TimestampedLogFormatter instead.

Constructor Summary

Constructors

Constructor	Description
FileLogFormatter()	Deprecated. use TimestampedLogFormatter.withoutColors()

Method Summary

Modifier and Type	Method	Description
final String	format(LogRecord lr)
String	toString()

Methods inherited from class org.sosy_lab.common.log.TimestampedLogFormatter

format, withColorsIfPossible, 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

FileLogFormatter

@Deprecated
public FileLogFormatter()

Deprecated.

use TimestampedLogFormatter.withoutColors()

Method Details

format

public final String format(LogRecord lr)

Specified by:

format in class Formatter

toString

public String toString()

Overrides:

toString in class Object