public class JLineLogHandler
extends java.util.logging.Handler
Handler
that emits log messages to a JLine ConsoleReader
.Constructor and Description |
---|
JLineLogHandler(jline.console.ConsoleReader reader,
ShellPromptAccessor shellPromptAccessor) |
Modifier and Type | Method and Description |
---|---|
static void |
cancelRedrawProhibition() |
void |
close() |
void |
flush() |
static boolean |
isSuppressDuplicateMessages() |
static void |
prohibitRedraw() |
void |
publish(java.util.logging.LogRecord record) |
static void |
resetMessageTracking() |
static void |
setIncludeThreadName(boolean include) |
static void |
setSuppressDuplicateMessages(boolean suppressDuplicateMessages) |
public JLineLogHandler(jline.console.ConsoleReader reader, ShellPromptAccessor shellPromptAccessor)
public void flush()
flush
in class java.util.logging.Handler
public void close() throws java.lang.SecurityException
close
in class java.util.logging.Handler
java.lang.SecurityException
public static void prohibitRedraw()
public static void cancelRedrawProhibition()
public static void setIncludeThreadName(boolean include)
public static void resetMessageTracking()
public static boolean isSuppressDuplicateMessages()
public static void setSuppressDuplicateMessages(boolean suppressDuplicateMessages)
public void publish(java.util.logging.LogRecord record)
publish
in class java.util.logging.Handler