|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.logging.Handler
org.mitre.sim.api3.util.TextAreaHandler
Constructor Summary | |
TextAreaHandler(javax.swing.JTextArea jta,
java.util.Properties p)
|
Method Summary | |
void |
close()
|
void |
flush()
|
void |
publish(java.util.logging.LogRecord lr)
|
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 |
public TextAreaHandler(javax.swing.JTextArea jta, java.util.Properties p)
Method Detail |
public void close()
public void flush()
public void publish(java.util.logging.LogRecord lr)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |