Package jason.runtime
Class MASConsoleLogHandler
java.lang.Object
java.util.logging.Handler
java.util.logging.StreamHandler
jason.runtime.MASConsoleLogHandler
public class MASConsoleLogHandler
extends java.util.logging.StreamHandler
Logger handler (redirect output to MASConsoleGUI)
-
Field Summary
Fields Modifier and Type Field Description private MASConsoleGUI
fGUI
static java.lang.String
formaterField
static java.lang.String
levelField
static java.lang.String
useColorsPropField
-
Constructor Summary
Constructors Constructor Description MASConsoleLogHandler()
-
Method Summary
Modifier and Type Method Description void
publish(java.util.logging.LogRecord l)
Methods inherited from class java.util.logging.StreamHandler
close, flush, isLoggable, setEncoding, setOutputStream
Methods inherited from class java.util.logging.Handler
getEncoding, getErrorManager, getFilter, getFormatter, getLevel, reportError, setErrorManager, setFilter, setFormatter, setLevel
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
formaterField
public static java.lang.String formaterField -
levelField
public static java.lang.String levelField -
useColorsPropField
public static java.lang.String useColorsPropField -
fGUI
-
-
Constructor Details
-
MASConsoleLogHandler
public MASConsoleLogHandler()
-
-
Method Details
-
publish
public void publish(java.util.logging.LogRecord l)- Overrides:
publish
in classjava.util.logging.StreamHandler
-