gov.nasa.jpf.util

Class LogHandler

java.lang.Object

java.util.logging.Handler

gov.nasa.jpf.util.LogHandler

Direct Known Subclasses:

LogHandler.DefaultConsoleHandler

public class LogHandler
extends Handler

log handler class that deals with output selection and formatting. This is the only handler we use for our own logging. We do our own little formatting on the fly

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LogHandler.DefaultConsoleHandler

Field Summary

Fields

Modifier and Type	Field and Description
static String	LOG_HOST
static int	LOG_PORT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LogHandler()
	LogHandler(Config conf)

Method Summary

Methods

Modifier and Type	Method and Description
void	close()
void	flush()
void	printStatus(Logger log)
void	publish(LogRecord r)
void	setOutput(OutputStream ostream)

Methods inherited from class java.util.logging.Handler

getEncoding, getErrorManager, getFilter, getFormatter, getLevel, isLoggable, reportError, setEncoding, setErrorManager, setFilter, setFormatter, setLevel

Methods inherited from class java.lang.Object

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

Field Detail

LOG_HOST

public static String LOG_HOST

LOG_PORT

public static int LOG_PORT

Constructor Detail

LogHandler

public LogHandler(Config conf)

LogHandler

protected LogHandler()

Method Detail

setOutput

public void setOutput(OutputStream ostream)

close

public void close()
           throws SecurityException

Specified by:

close in class Handler

Throws:

SecurityException

flush

public void flush()

Specified by:

flush in class Handler

publish

public void publish(LogRecord r)

Specified by:

publish in class Handler

printStatus

public void printStatus(Logger log)