Changeset 6086 for trunk/gli/src/org/greenstone/gatherer/Configuration.java

Timestamp:

2003-12-02T17:15:47+13:00 (20 years ago)

Author:

jmt12

Message:

Moved the special folder 'shortcuts' from collection based to shared for the installation of gli. This caused some added fun when it turned out one of the workspace tree refreshes was blocking the AWTEvent thread, despite me putting tests in place to stop that from happening. It had never reared its ugly head before, as there were never any shortcut collections being mapped when a collection had been closed, or when GLI was exiting before.

File:

• trunk/gli/src/org/greenstone/gatherer/Configuration.java (modified) (6 diffs)

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

@@ -45 +45 @@
 import javax.swing.plaf.*;
 import org.greenstone.gatherer.msm.MSMUtils;
+import org.greenstone.gatherer.util.StaticStrings;
 import org.greenstone.gatherer.util.Utility;
 import org.w3c.dom.*;
@@ -100 +101 @@
     /** The general configuration settings. */
     private Document general_config;
+    
+    /** The element, from glis config file, that contains the various directory mappings. */
+    private Element directory_mappings_element;
+
     private int cache_hit = 0;
     private int cache_miss = 0;
@@ -177 +182 @@
         Gatherer.println("Loaded current Gatherer configuration.");
     }
+
+    // Determine the Directory Mappings element
+    directory_mappings_element = (Element) MSMUtils.getNodeFromNamed(general_config.getDocumentElement(), StaticStrings.DIRECTORY_MAPPINGS_ELEMENT);
+
     // Re-establish the color settings.
     updateUI();
@@ -196 +205 @@
     Gatherer.println("EXEC_ADDRESS = " + exec_address);
     }
+
+    /** Add a special directory mapping. */
+    public boolean addDirectoryMapping(String name, File file) {
+    boolean result = false;
+    try {
+        // Ensure the name isn't already in use.
+        boolean found = false;
+        NodeList mappings = directory_mappings_element.getElementsByTagName(StaticStrings.MAPPING_ELEMENT);
+        for(int i = 0; !found && i < mappings.getLength(); i++) {
+        Element mapping_element = (Element) mappings.item(i);
+        if(mapping_element.getAttribute(StaticStrings.NAME_ATTRIBUTE).equalsIgnoreCase(name)) {
+            found = true;
+        }
+        mapping_element = null;
+        }
+        // Otherwise add the mapping.
+        if(!found) {
+        Element mapping_element = general_config.createElement(StaticStrings.MAPPING_ELEMENT);
+        mapping_element.setAttribute(StaticStrings.NAME_ATTRIBUTE, name);
+        mapping_element.setAttribute(StaticStrings.FILE_ATTRIBUTE, file.toString());
+        directory_mappings_element.appendChild(mapping_element);
+        result = true;
+        mapping_element = null;
+        }
+        mappings = null;
+    }
+    catch (Exception exception) {
+        Gatherer.printStackTrace(exception);
+    }
+    return result;
+    } /** addDirectoryMapping(String name, String file) **/
 
     /** The default get action retrieves the named property from the desired configuration, and returns a true or false. */
@@ -319 +359 @@
     } */
 
+    /** Retrieve the special directory mappings associated with this collection.
+     * @return A <strong>HashMap</strong> containing mappings from names to directories.
+     */
+    public HashMap getDirectoryMappings() {
+    HashMap special_directories = new HashMap();
+    try {
+        // Ensure the name isn't already in use.
+        boolean found = false;
+        NodeList mappings = directory_mappings_element.getElementsByTagName(StaticStrings.MAPPING_ELEMENT);
+        for(int i = 0; !found && i < mappings.getLength(); i++) {
+        Element mapping_element = (Element) mappings.item(i);
+        String name = mapping_element.getAttribute(StaticStrings.NAME_ATTRIBUTE);
+        File file = new File(mapping_element.getAttribute(StaticStrings.FILE_ATTRIBUTE));
+        special_directories.put(name, file);
+        file = null;
+        name = null;
+        mapping_element = null;
+        }
+        mappings = null;
+    }
+    catch(Exception exception) {
+        Gatherer.printStackTrace(exception);
+    }
+    return special_directories;
+    } /** getDirectoryMappings() */
+
     /** Retrieve the current users email. These are always stored in the general settings.
      * @return the email address, if it is set, as a String
@@ -443 +509 @@
     return gsdl_path + "bin" + File.separator + "script" + File.separator;
     }
+
+    /** Remove a previously defined special directory mapping.
+     * @param name The name of the mapping to remove as a <strong>String</strong>.
+     * @return The <strong>File</strong> of the mapping removed.
+     */
+    public File removeDirectoryMapping(String name) {
+    File file = null;
+    try {
+        // Ensure the name isn't already in use.
+        boolean found = false;
+        NodeList mappings = directory_mappings_element.getElementsByTagName(StaticStrings.MAPPING_ELEMENT);
+        for(int i = 0; !found && i < mappings.getLength(); i++) {
+        Element mapping_element = (Element) mappings.item(i);
+        if(mapping_element.getAttribute(StaticStrings.NAME_ATTRIBUTE).equalsIgnoreCase(name)) {
+            file = new File(MSMUtils.getValue(mapping_element));
+            directory_mappings_element.removeChild(mapping_element);
+            found = true;
+        }
+        mapping_element = null;
+        }
+        mappings = null;
+    }
+    catch(Exception error) {
+        Gatherer.printStackTrace(error);
+    }
+    return file;
+    } /** removeDirectoryMapping(String name) */
 
     /** Export the general configuration to file. */