org.jbpm.util
Class ErrorTriggeredFileHandler.DecoratedMemoryHandler

java.lang.Object
  java.util.logging.Handler
      java.util.logging.MemoryHandler
          org.jbpm.util.ErrorTriggeredFileHandler.DecoratedMemoryHandler

Enclosing class:

ErrorTriggeredFileHandler

public class ErrorTriggeredFileHandler.DecoratedMemoryHandler
extends java.util.logging.MemoryHandler

Constructor Summary

ErrorTriggeredFileHandler.DecoratedMemoryHandler(java.util.logging.FileHandler target, int size, java.util.logging.Level pushLevel)

Method Summary

void

push()

Methods inherited from class java.util.logging.MemoryHandler

close, flush, getPushLevel, isLoggable, publish, setPushLevel

Methods inherited from class java.util.logging.Handler

getEncoding, getErrorManager, getFilter, getFormatter, getLevel, 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

ErrorTriggeredFileHandler.DecoratedMemoryHandler

public ErrorTriggeredFileHandler.DecoratedMemoryHandler(java.util.logging.FileHandler target,
                                                        int size,
                                                        java.util.logging.Level pushLevel)

Method Detail

push

public void push()

Overrides:

push in class java.util.logging.MemoryHandler