public class MemoryHandler extends Handler
Constructor and Description |
---|
MemoryHandler()
constructs a new MemoryHandler
|
MemoryHandler(int size)
constructs a new MemoryHandler
|
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
flush() |
Formatter |
getFormatter() |
int |
getSize()
returns the size
|
void |
publish(LogRecord logRecord) |
void |
push(Handler target)
pushes the memory to a handler
|
void |
setFormatter(Formatter arg0) |
void |
setSize(int size)
sets the number of records this handler can hold
|
getEncoding, getErrorManager, getFilter, getLevel, isLoggable, reportError, setEncoding, setErrorManager, setFilter, setLevel
public MemoryHandler()
public MemoryHandler(int size)
size
- the size of the memoryHandlerpublic void close()
close
in class Handler
Handler.close()
public void flush()
flush
in class Handler
Handler.flush()
public Formatter getFormatter()
getFormatter
in class Handler
Handler.getFormatter()
public int getSize()
public void publish(LogRecord logRecord)
publish
in class Handler
Handler.publish(java.util.logging.LogRecord)
public void push(Handler target)
target
- the targetpublic void setFormatter(Formatter arg0)
setFormatter
in class Handler
Handler.setFormatter(java.util.logging.Formatter)
public void setSize(int size)
size
- the sizeCopyright © 2002-2012 Delft University of Technology, the Netherlands. All Rights Reserved.