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
All Methods Instance Methods Concrete Methods 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
-
-