1 files changed, 233 insertions, 0 deletions
diff --git a/JLanguageTool/src/java/de/danielnaber/languagetool/gui/Configuration.java b/JLanguageTool/src/java/de/danielnaber/languagetool/gui/Configuration.java
new file mode 100644
index 0000000..932e1fe
--- /dev/null
+++ b/JLanguageTool/src/java/de/danielnaber/languagetool/gui/Configuration.java
@@ -0,0 +1,233 @@
+/* LanguageTool, a natural language style checker 
+ * Copyright (C) 2005 Daniel Naber (http://www.danielnaber.de)
+ * 
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2.1 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301
+ * USA
+ */
+package de.danielnaber.languagetool.gui;
+
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.FileNotFoundException;
+import java.io.FileOutputStream;
+import java.io.IOException;
+import java.util.*;
+
+import de.danielnaber.languagetool.Language;
+import de.danielnaber.languagetool.server.HTTPServer;
+
+/**
+ * Configuration -- currently this is just a list of disabled rule IDs.
+ * Configuration is loaded from and stored to a properties file.
+ * 
+ * @author Daniel Naber
+ */
+public class Configuration {
+
+  private static final String CONFIG_FILE = "languagetool.properties";
+  private static final String DISABLED_RULES_CONFIG_KEY = "disabledRules";
+  private static final String ENABLED_RULES_CONFIG_KEY = "enabledRules";
+  private static final String DISABLED_CATEGORIES_CONFIG_KEY = "disabledCategories";
+  private static final String MOTHER_TONGUE_CONFIG_KEY = "motherTongue";
+  private static final String SERVER_RUN_CONFIG_KEY = "serverMode";
+  private static final String SERVER_PORT_CONFIG_KEY = "serverPort";
+
+  private File configFile;
+
+  private Set<String> disabledRuleIds = new HashSet<String>();
+  private Set<String> enabledRuleIds = new HashSet<String>();
+  private Set<String> disabledCategoryNames = new HashSet<String>();
+  private Language motherTongue;
+  private boolean runServer;
+  private int serverPort = HTTPServer.DEFAULT_PORT;
+
+  public Configuration(final File baseDir, final String filename)
+      throws IOException {
+    if (!baseDir.isDirectory()) {
+      throw new IllegalArgumentException("Not a directory: " + baseDir);
+    }
+    configFile = new File(baseDir, filename);
+    loadConfiguration();
+  }
+
+  public Configuration(final File baseDir) throws IOException {
+    this(baseDir, CONFIG_FILE);
+  }
+
+  public Set<String> getDisabledRuleIds() {
+    return disabledRuleIds;
+  }
+
+  public Set<String> getEnabledRuleIds() {
+    return enabledRuleIds;
+  }
+
+  public Set<String> getDisabledCategoryNames() {
+    return disabledCategoryNames;
+  }
+
+  public void setDisabledRuleIds(final Set<String> ruleIDs) {
+    disabledRuleIds = ruleIDs;
+  }
+
+  public void setEnabledRuleIds(final Set<String> ruleIDs) {
+    enabledRuleIds = ruleIDs;
+  }
+
+  public void setDisabledCategoryNames(final Set<String> categoryNames) {
+    disabledCategoryNames = categoryNames;
+  }
+
+  public Language getMotherTongue() {
+    return motherTongue;
+  }
+
+  public void setMotherTongue(final Language motherTongue) {
+    this.motherTongue = motherTongue;
+  }
+
+  public boolean getRunServer() {
+    return runServer;
+  }
+
+  public void setRunServer(final boolean runServer) {
+    this.runServer = runServer;
+  }
+
+  public int getServerPort() {
+    return serverPort;
+  }
+
+  public void setServerPort(final int serverPort) {
+    this.serverPort = serverPort;
+  }
+
+  private void loadConfiguration() throws IOException {
+
+    // FIXME: disabling a rule X in language Y should not disable it in all
+    // languages - need to add a language parameter
+
+    FileInputStream fis = null;
+    try {
+      fis = new FileInputStream(configFile);
+      final Properties props = new Properties();
+      props.load(fis);
+      final String val = (String) props.get(DISABLED_RULES_CONFIG_KEY);
+      if (val != null) {
+        final String[] ids = val.split(",");
+        disabledRuleIds.addAll(Arrays.asList(ids));
+      }
+
+      final String enRul = (String) props.get(ENABLED_RULES_CONFIG_KEY);
+      if (enRul != null) {
+        final String[] ids = enRul.split(",");
+        enabledRuleIds.addAll(Arrays.asList(ids));
+      }
+
+      final String cat = (String) props.get(DISABLED_CATEGORIES_CONFIG_KEY);
+      if (cat != null) {
+        final String[] names = cat.split(",");
+        disabledCategoryNames.addAll(Arrays.asList(names));
+      }
+
+      final String motherTongueStr = (String) props
+          .get(MOTHER_TONGUE_CONFIG_KEY);
+      if (motherTongueStr != null) {
+        motherTongue = Language.getLanguageForShortName(motherTongueStr);
+      }
+      final String runServerString = (String) props.get(SERVER_RUN_CONFIG_KEY);
+      if (runServerString != null) {
+        runServer = runServerString.equals("true");
+      }
+      final String serverPortString = (String) props
+          .get(SERVER_PORT_CONFIG_KEY);
+      if (serverPortString != null) {
+        serverPort = Integer.parseInt(serverPortString);
+      }
+    } catch (final FileNotFoundException e) {
+      // file not found: okay, leave disabledRuleIds empty
+    } finally {
+      if (fis != null) {
+        fis.close();
+      }
+    }
+  }
+
+  public void saveConfiguration() throws IOException {
+    final Properties props = new Properties();
+
+    if (disabledRuleIds == null) {
+      props.setProperty(DISABLED_RULES_CONFIG_KEY, "");
+    } else {
+      final StringBuilder sb = new StringBuilder();
+      for (final Iterator<String> iter = disabledRuleIds.iterator(); iter
+          .hasNext();) {
+        final String id = iter.next();
+        sb.append(id);
+        if (iter.hasNext()) {
+          sb.append(',');
+        }
+      }
+      props.setProperty(DISABLED_RULES_CONFIG_KEY, sb.toString());
+    }
+
+    if (enabledRuleIds == null) {
+      props.setProperty(ENABLED_RULES_CONFIG_KEY, "");
+    } else {
+      final StringBuilder sb = new StringBuilder();
+      for (final Iterator<String> iter = enabledRuleIds.iterator(); iter.hasNext();) {
+        final String id = iter.next();
+        sb.append(id);
+        if (iter.hasNext()) {
+          sb.append(',');
+        }
+      }
+      props.setProperty(ENABLED_RULES_CONFIG_KEY, sb.toString());
+    }
+
+    if (disabledCategoryNames == null) {
+      props.setProperty(DISABLED_CATEGORIES_CONFIG_KEY, "");
+    } else {
+      final StringBuilder sb = new StringBuilder();
+      for (final Iterator<String> iter = disabledCategoryNames.iterator(); iter
+          .hasNext();) {
+        final String name = iter.next();
+        sb.append(name);
+        if (iter.hasNext()) {
+          sb.append(',');
+        }
+      }
+      props.setProperty(DISABLED_CATEGORIES_CONFIG_KEY, sb.toString());
+    }
+
+    if (motherTongue != null) {
+      props.setProperty(MOTHER_TONGUE_CONFIG_KEY, motherTongue.getShortName());
+    }
+    props.setProperty(SERVER_RUN_CONFIG_KEY, Boolean.valueOf(runServer)
+        .toString());
+    props.setProperty(SERVER_PORT_CONFIG_KEY, Integer.valueOf(serverPort)
+        .toString());
+    FileOutputStream fos = null;
+    try {
+      fos = new FileOutputStream(configFile);
+      props.store(fos, "LanguageTool configuration");
+    } finally {
+      if (fos != null) {
+        fos.close();
+      }
+    }
+  }
+
+}