Changeset 15109 for gli/trunk/src/org/greenstone/gatherer/cdm/PluginManager.java

Timestamp:

2008-03-20T20:22:41+13:00 (16 years ago)

Author:

ak19

Message:

Now works with replace_srcdoc_with_html.pl (mainly added 2 methods)

File:

• gli/trunk/src/org/greenstone/gatherer/cdm/PluginManager.java (modified) (2 diffs)

gli/trunk/src/org/greenstone/gatherer/cdm/PluginManager.java

@@ -148 +148 @@
     return exploder_plugins;    
     }
-
     
     public boolean isFileExplodable(File file)
@@ -163 +162 @@
     }
 
+    // Works with replace_srcdoc_with_html.pl
+    public ArrayList getSrcReplacerPlugins(File file)
+    {
+    ArrayList srcreplacer_plugins = new ArrayList();
+    ArrayList plugins_list = Plugins.getPluginsList();
+    for (int i = 0; i < plugins_list.size(); i++) {
+        Plugin plugin = (Plugin) plugins_list.get(i);
+        if (plugin.doesReplaceSrcDocsWithHtml() == true && plugin.doesProcessFile(file)) {
+        srcreplacer_plugins.add(plugin);
+        }
+    }
+
+    return srcreplacer_plugins; 
+    }   
+
+    // Works with replace_srcdoc_with_html.pl
+    public boolean isFileSrcReplaceable(File file)
+    {
+    ArrayList plugins_list = Plugins.getPluginsList();
+    for (int i = 0; i < plugins_list.size(); i++) {
+        Plugin plugin = (Plugin) plugins_list.get(i);
+       
+        if (plugin.doesReplaceSrcDocsWithHtml() == true && plugin.doesProcessFile(file) == true) { 
+        return true;
+        }
+    }
+
+    return false;
+    }   
 
     /** Method to assign a plugin