Changeset 20446 for gli

Timestamp:

2009-08-31T14:38:34+12:00 (15 years ago)

Author:

kjdon

Message:

moved code to do with converting from old plugin names to new ones into Utility

File:

• gli/trunk/src/org/greenstone/gatherer/util/Utility.java (modified) (1 diff)

gli/trunk/src/org/greenstone/gatherer/util/Utility.java

@@ -429 +429 @@
     }
 
-
+  static private HashMap plugin_map = null;
+  
+  static private void setUpPluginNameMap() {
+    plugin_map = new HashMap();
+    plugin_map.put("GAPlug", "GreenstoneXMLPlugin");
+    plugin_map.put("RecPlug", "DirectoryPlugin");
+    plugin_map.put("ArcPlug","ArchivesInfPlugin");
+    plugin_map.put("TEXTPlug","TextPlugin");
+    plugin_map.put("XMLPlug","ReadXMLFile");
+    plugin_map.put("EMAILPlug","EmailPlugin");
+    plugin_map.put("SRCPlug","SourceCodePlugin");
+    plugin_map.put("NULPlug","NulPlugin");
+    plugin_map.put("W3ImgPlug","HTMLImagePlugin");
+    plugin_map.put("PagedImgPlug","PagedImagePlugin");
+    plugin_map.put("METSPlug", "GreenstoneMETSPlugin");
+    plugin_map.put("DBPlug", "DatabasePlugin");
+    plugin_map.put("PPTPlug", "PowerPointPlugin");
+    plugin_map.put("PSPlug", "PostScriptPlugin");
+  }
+
+  static public String ensureNewPluginName(String plugin) {
+    if (plugin.endsWith("Plugin")) return plugin;
+    if (plugin_map == null) {
+      setUpPluginNameMap();
+    }
+    String new_name = (String)plugin_map.get(plugin);
+    if (new_name != null) return new_name;
+    new_name = plugin.replaceAll("Plug", "Plugin");
+    return new_name;
+  }
+   
 }