Preferences Editor

de.jppietsch.error
Class GUIHandler

java.lang.Object
  extended byjava.util.logging.Handler
      extended byde.jppietsch.error.GUIHandler

public class GUIHandler
extends Handler


Field Summary
private static HashMap map
           
 
Fields inherited from class java.util.logging.Handler
 
Constructor Summary
GUIHandler()
           
 
Method Summary
 void close()
           
 void flush()
           
 void publish(LogRecord aRecord)
           
 
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

map

private static final HashMap map
Constructor Detail

GUIHandler

public GUIHandler()
Method Detail

close

public void close()

flush

public void flush()

publish

public void publish(LogRecord aRecord)

Preferences Editor