Package org.evoludo

Class EvoLudoWeb.EvoLogHandler

Object
Handler
EvoLogHandler
Enclosing class:
EvoLudoWeb

public class EvoLudoWeb.EvoLogHandler extends Handler
Custom handler for logging system. Redirects notifications to EvoLudo console with minimal formatting (preserve <pre>-formatted string for help message) and encoding (to avoid the wrath of XHTML).
  • Field Details

    • console

      Console console
      The GUI console (or null).
  • Constructor Details

    • EvoLogHandler

      public EvoLogHandler(Console console)
      Construct new log handler that reports to the EvoLudo console (if one is present) and the EvoLudo status line.
      Parameters:
      console - for reporting log records
      See Also:
  • Method Details

    • publish

      public void publish(LogRecord record)

      If severity of notification is Level.WARNING or higher, the message is also shown in the status line of the GUI. Ignore log request if no console provided.

      Specified by:
      publish in class Handler
    • flush

      public void flush()
      Nothing to flush in GWT.
      Specified by:
      flush in class Handler
    • close

      public void close() throws SecurityException
      Nothing to close in GWT.
      Specified by:
      close in class Handler
      Throws:
      SecurityException