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 voidclear()voidclose()voidflush()StringgetLog()voidpublish(@Nullable LogRecord record)-
Methods inherited from class java.util.logging.Handler
getEncoding, getErrorManager, getFilter, getFormatter, getLevel, isLoggable, reportError, setEncoding, setErrorManager, setFilter, setFormatter, setLevel
-
-