java.lang.Object
java.util.logging.Handler
de.grogra.pf.ui.LoggingHandler
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
close()
void
void
flush()
protected void
publish()
void
void
setMimeType
(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()
-