org.openstreetmap.josm.tools

Class Logging.RememberWarningHandler

java.lang.Object

java.util.logging.Handler

org.openstreetmap.josm.tools.Logging.RememberWarningHandler

Enclosing class:

Logging

private static class Logging.RememberWarningHandler
extends java.util.logging.Handler

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String[]	log
private int	messagesLogged

Constructor Summary

Constructors

Modifier	Constructor and Description
private	RememberWarningHandler()

Method Summary

Modifier and Type	Method and Description
(package private) void	clear()
void	close()
void	flush()
(package private) java.util.List<java.lang.String>	getMessages()
private static java.lang.String	getPrefix(java.util.logging.LogRecord record)
void	publish(java.util.logging.LogRecord record)

Methods inherited from class java.util.logging.Handler

getEncoding, getErrorManager, getFilter, getFormatter, getLevel, isLoggable, reportError, setEncoding, setErrorManager, setFilter, setFormatter, setLevel

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

log

private final java.lang.String[] log

messagesLogged

private int messagesLogged

Constructor Detail

RememberWarningHandler

private RememberWarningHandler()

Method Detail

clear

void clear()

publish

public void publish(java.util.logging.LogRecord record)

Specified by:

publish in class java.util.logging.Handler

getPrefix

private static java.lang.String getPrefix(java.util.logging.LogRecord record)

getMessages

java.util.List<java.lang.String> getMessages()

flush

public void flush()

Specified by:

flush in class java.util.logging.Handler

close

public void close()

Specified by:

close in class java.util.logging.Handler