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

      private MASConsoleGUI fGUI
  • Constructor Details

    • MASConsoleLogHandler

      public MASConsoleLogHandler()
  • Method Details

    • publish

      public void publish​(java.util.logging.LogRecord l)
      Overrides:
      publish in class java.util.logging.StreamHandler