Package org.sosy_lab.common.log
Class LoggingOptions
java.lang.Object
org.sosy_lab.common.log.LoggingOptions
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprotectedThis constructor is for inheritance, thus allowing users to use this class without sosy-lab'sConfiguration.LoggingOptions(Configuration config) -
Method Summary
Modifier and TypeMethodDescriptionintboolean
-
Constructor Details
-
LoggingOptions
- Throws:
InvalidConfigurationException
-
LoggingOptions
protected LoggingOptions()This constructor is for inheritance, thus allowing users to use this class without sosy-lab'sConfiguration.
-
-
Method Details
-
getFileLevel
-
getConsoleLevel
-
getFileExclude
-
getConsoleExclude
-
getOutputFile
-
getTruncateSize
public int getTruncateSize() -
useColors
public boolean useColors()
-