Package jason.runtime

Class MASConsoleLogHandler

java.lang.Object

java.util.logging.Handler

java.util.logging.StreamHandler

jason.runtime.MASConsoleLogHandler

public class MASConsoleLogHandler
extends StreamHandler

Logger handler (redirect output to MASConsoleGUI)

Field Summary

Fields

Modifier and Type	Field	Description
static String	formaterField
static String	levelField
static String	useColorsPropField

Constructor Summary

Constructors

Constructor	Description
MASConsoleLogHandler()

Method Summary

Modifier and Type	Method	Description
void	publish(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 String formaterField

levelField

public static String levelField

useColorsPropField

public static String useColorsPropField

Constructor Details

MASConsoleLogHandler

public MASConsoleLogHandler()

Method Details

publish

public void publish(LogRecord l)

Overrides:

publish in class StreamHandler