Package org.sosy_lab.common.log

Class StringBuildingLogHandler

java.lang.Object

java.util.logging.Handler

org.sosy_lab.common.log.StringBuildingLogHandler

public class StringBuildingLogHandler
extends Handler

This class may be used to read the log into a String.

Constructor Summary

Constructors

Constructor	Description
StringBuildingLogHandler()

Method Summary

Modifier and Type	Method	Description
void	clear()
void	close()
void	flush()
String	getLog()
void	publish(@Nullable 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

Constructor Details

StringBuildingLogHandler

public StringBuildingLogHandler()

Method Details

close

public void close()

Specified by:

close in class Handler

flush

public void flush()

Specified by:

flush in class Handler

publish

public void publish(@Nullable LogRecord record)

Specified by:

publish in class Handler

getLog

public String getLog()

clear

public void clear()