choco.util
Class LightFormatter

java.lang.Object
  java.util.logging.Formatter
      choco.util.LightFormatter

public class LightFormatter
extends java.util.logging.Formatter

A class for formatting trace messages in the lightest possible mode

Field Summary

protected static java.lang.String[]

logPrefix prefixes for log statements (visualize search depth)

Constructor Summary

LightFormatter()

Method Summary

java.lang.String	format(java.util.logging.LogRecord record) Format the given LogRecord.
protected java.lang.String	getLogPrefix(int n)

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, toString, wait, wait, wait

Field Detail

logPrefix

protected static java.lang.String[] logPrefix

prefixes for log statements (visualize search depth)

Constructor Detail

LightFormatter

public LightFormatter()

Method Detail

getLogPrefix

protected final java.lang.String getLogPrefix(int n)

format

public java.lang.String format(java.util.logging.LogRecord record)

Format the given LogRecord.

Specified by:

format in class java.util.logging.Formatter

Parameters:

record - the log record to be formatted.

Returns:

a formatted log record