java.lang.Object
java.util.logging.Handler
de.grogra.pf.ui.LoggingHandler
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidvoidclose()voidvoidflush()protected voidpublish()voidvoidsetMimeType(String mimeType) Methods inherited from class java.util.logging.Handler
getEncoding, getErrorManager, getFilter, getFormatter, getLevel, isLoggable, reportError, setEncoding, setErrorManager, setFilter, setFormatter, setLevel
-
Field Details
-
groupingCount
protected int groupingCount -
groupedRecords
-
pendingRecords
-
-
Constructor Details
-
LoggingHandler
-
-
Method Details
-
beginGrouping
public void beginGrouping() -
endGrouping
public void endGrouping() -
publish
-
publish
protected void publish() -
setMimeType
-
getContext
-
getComponent
-
close
public void close() -
flush
public void flush()
-