public class OutputStreamHandler extends Handler
Handler
that logs some benchmarking data, such
as used memory and running time.Constructor and Description |
---|
OutputStreamHandler(OutputStream output) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
flush() |
void |
publish(LogRecord record) |
getEncoding, getErrorManager, getFilter, getFormatter, getLevel, isLoggable, reportError, setEncoding, setErrorManager, setFilter, setFormatter, setLevel
public OutputStreamHandler(OutputStream output) throws IOException
IOException
public void close() throws SecurityException
close
in class Handler
SecurityException
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.