gov.nasa.jpf.util

Class LogHandler.DefaultConsoleHandler

java.lang.Object

java.util.logging.Handler

gov.nasa.jpf.util.LogHandler

gov.nasa.jpf.util.LogHandler.DefaultConsoleHandler

Enclosing class:

LogHandler

public static class LogHandler.DefaultConsoleHandler
extends LogHandler

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.util.LogHandler

LogHandler.DefaultConsoleHandler

Field Summary

Fields inherited from class gov.nasa.jpf.util.LogHandler

LOG_HOST, LOG_PORT

Constructor Summary

Constructors

Constructor and Description
DefaultConsoleHandler()

Method Summary

Methods inherited from class gov.nasa.jpf.util.LogHandler

close, flush, printStatus, publish, setOutput

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

Constructor Detail

DefaultConsoleHandler

public DefaultConsoleHandler()