FileLogFormatter (Sosy-Lab Common Library)

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
  
  All Methods Instance Methods Concrete Methods Deprecated Methods
  Modifier and Type Method Description
  
  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 Detail
  - FileLogFormatter
```
@Deprecated
public FileLogFormatter()
```
    Deprecated.
    use TimestampedLogFormatter.withoutColors()
- Method Detail
  - format
```
public final String format(LogRecord lr)
```
    Specified by:
    
    format in class Formatter
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object