org.languagetool.gui
Class Configuration

Object
  Configuration

public class Configuration
extends Object

Configuration -- currently this is mostly a list of disabled rule IDs. Configuration is loaded from and stored to a properties file.

Author:

Daniel Naber

Constructor Summary

Configuration(File baseDir)

Configuration(File baseDir, String filename)

Method Summary

boolean	getAutoDetect()
Set<String>	getDisabledCategoryNames()
Set<String>	getDisabledRuleIds()
Set<String>	getEnabledRuleIds()
Language	getMotherTongue()
boolean	getRunServer()
int	getServerPort()
void	saveConfiguration()
void	setAutoDetect(boolean autoDetect)
void	setDisabledCategoryNames(Set<String> categoryNames)
void	setDisabledRuleIds(Set<String> ruleIDs)
void	setEnabledRuleIds(Set<String> ruleIDs)
void	setMotherTongue(Language motherTongue)
void	setRunServer(boolean runServer)
void	setServerPort(int serverPort)

Methods inherited from class Object

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

Constructor Detail

Configuration

public Configuration(File baseDir,
                     String filename)
              throws IOException

Throws:

IOException

Configuration

public Configuration(File baseDir)
              throws IOException

Throws:

IOException

Method Detail

getDisabledRuleIds

public Set<String> getDisabledRuleIds()

getEnabledRuleIds

public Set<String> getEnabledRuleIds()

getDisabledCategoryNames

public Set<String> getDisabledCategoryNames()

setDisabledRuleIds

public void setDisabledRuleIds(Set<String> ruleIDs)

setEnabledRuleIds

public void setEnabledRuleIds(Set<String> ruleIDs)

setDisabledCategoryNames

public void setDisabledCategoryNames(Set<String> categoryNames)

getMotherTongue

public Language getMotherTongue()

setMotherTongue

public void setMotherTongue(Language motherTongue)

getAutoDetect

public boolean getAutoDetect()

setAutoDetect

public void setAutoDetect(boolean autoDetect)

getRunServer

public boolean getRunServer()

setRunServer

public void setRunServer(boolean runServer)

getServerPort

public int getServerPort()

setServerPort

public void setServerPort(int serverPort)

saveConfiguration

public void saveConfiguration()
                       throws IOException

Throws:

IOException