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 protectedLoggingOptions()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()LevelgetConsoleLevel()List<Level>getFileExclude()LevelgetFileLevel()PathgetOutputFile()intgetTruncateSize()booleanuseColors()
-
-
-
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.
-
-