Changeset 5296

Timestamp:

2003-08-27T15:05:14+12:00 (21 years ago)

Author:

jmt12

Message:

Added keylist functionality

Location:

trunk/gli/src/org/greenstone/gatherer

Files:

• Dictionary.java (modified) (6 diffs)
• Gatherer.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/Dictionary.java

@@ -36 +36 @@
  *########################################################################
  */
+import java.io.*;
 import java.util.*;
 import javax.swing.*;
@@ -69 +70 @@
 public class Dictionary 
     extends HashMap {
+
+    static final private boolean KEY_LIST_DEBUG = true;
+    static final private String KEY_LIST_FILENAME = "keylist.txt";
+
     /** A String which more explicitly states the Locale of this dictionary. */
     public String language = null;
@@ -79 +84 @@
     /** The ResourceBundle which contains the raw key-value mappings. Loaded from a file named "dictionary<I>locale</I>.properties*/
     private ResourceBundle dictionary = null;
+
+    private TreeSet key_list = null;;
+
     /**  Constructs the Dictionary class by first checking if a Locale has been set. If not the default locale is used, and a ResourceBundle is created. Finally a single important String, Language, is made available outside the class so a more read-able version of the Locale of this Dictionary is present.
      * @param locale The <strong>Locale</strong> used to load the desired dictionary resource bundle.
@@ -85 +93 @@
     super();
     this.self = this;
+
+    if(KEY_LIST_DEBUG) {
+        // Reload the keylist
+        File file = new File(KEY_LIST_FILENAME);
+        key_list = new TreeSet();
+        try {
+        BufferedReader br = new BufferedReader(new FileReader(file));
+        String line;
+        while((line = br.readLine()) != null) {
+            key_list.add(line);
+        }
+        br.close();
+        br = null;
+        }
+        catch(Exception error) {
+        error.printStackTrace();
+        }
+    }
+
     // Initialize.
     this.font = font;
@@ -146 +173 @@
     }
 
+    public void destroy() {
+    if(key_list != null) {
+        try {
+        FileOutputStream fos = new FileOutputStream(KEY_LIST_FILENAME);
+        for(Iterator iter = key_list.iterator(); iter.hasNext(); ) {
+            String value = (String) iter.next();
+            fos.write(value.getBytes());
+            fos.write('\n');
+            value = null;
+        }
+        fos.close();
+        fos = null;
+        }
+        catch(Exception error) {
+        error.printStackTrace();
+        }
+    }
+    }
+
     /** Overloaded to call get with both a key and an empty argument array.
       * @param key A <strong>String</strong> which is mapped to a initial String within the ResourceBundle.
@@ -166 +212 @@
       */
     public String get(String key, String args[]) {
+    if(key_list != null) {
+        synchronized(this) {
+        key_list.add(key);
+        }
+    }
     try {
         String initial = dictionary.getString(key);

trunk/gli/src/org/greenstone/gatherer/Gatherer.java

@@ -341 +341 @@
     // Save configuration.
     saveConfig();
+
+    // Flush dictionary
+    dictionary.destroy();
+
     // Flush debug
     if(debug != null) {
@@ -593 +597 @@
     // Splash screen.
     Splash splash = new Splash();
-
+    dictionary.destroy();
     gatherer.run(size, gsdl_path, exec_path, debug, perl_path, no_load, splash, filename);
     }