Package org.sosy_lab.common.log
Class LoggingOptions
- java.lang.Object
-
- org.sosy_lab.common.log.LoggingOptions
-
public class LoggingOptions extends Object
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
LoggingOptions()
This constructor is for inheritance, thus allowing users to use this class without sosy-lab'sConfiguration
.LoggingOptions(Configuration config)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description List<Level>
getConsoleExclude()
Level
getConsoleLevel()
List<Level>
getFileExclude()
Level
getFileLevel()
Path
getOutputFile()
int
getTruncateSize()
boolean
useColors()
-
-
-
Constructor Detail
-
LoggingOptions
public LoggingOptions(Configuration config) throws InvalidConfigurationException
- Throws:
InvalidConfigurationException
-
LoggingOptions
protected LoggingOptions()
This constructor is for inheritance, thus allowing users to use this class without sosy-lab'sConfiguration
.
-
-