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's Configuration.
	LoggingOptions(Configuration config)

Method Summary

Modifier and Type	Method	Description
List<Level>	getConsoleExclude()
Level	getConsoleLevel()
List<Level>	getFileExclude()
Level	getFileLevel()
Path	getOutputFile()
int	getTruncateSize()
boolean	useColors()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

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's Configuration.

Method Details

getFileLevel

public Level getFileLevel()

getConsoleLevel

public Level getConsoleLevel()

getFileExclude

public List<Level> getFileExclude()

getConsoleExclude

public List<Level> getConsoleExclude()

getOutputFile

public Path getOutputFile()

getTruncateSize

public int getTruncateSize()

useColors

public boolean useColors()