public class GuiHandler
extends java.util.logging.Handler
Modifier and Type | Field and Description |
---|---|
private static java.lang.String[] |
buffer |
private static int |
count |
private static int |
DEFAULT_SIZE |
private static int |
size |
private static int |
start |
Constructor and Description |
---|
GuiHandler() |
Modifier and Type | Method and Description |
---|---|
static void |
clear() |
void |
close() |
void |
flush() |
java.lang.String[] |
getLogLines(boolean reversed,
int lineCount) |
int |
getSize() |
private static java.util.logging.Filter |
makeFilter(java.lang.String name) |
private static java.util.logging.Formatter |
makeFormatter(java.lang.String name) |
void |
publish(java.util.logging.LogRecord record) |
private static final int DEFAULT_SIZE
private static int size
private static java.lang.String[] buffer
private static int start
private static int count
private static java.util.logging.Filter makeFilter(java.lang.String name)
private static java.util.logging.Formatter makeFormatter(java.lang.String name)
public final int getSize()
public final void publish(java.util.logging.LogRecord record)
publish
in class java.util.logging.Handler
public final java.lang.String[] getLogLines(boolean reversed, int lineCount)
public void flush()
flush
in class java.util.logging.Handler
public static void clear()
public void close() throws java.lang.SecurityException
close
in class java.util.logging.Handler
java.lang.SecurityException