Changeset 15109
- Timestamp:
- 2008-03-20T20:22:41+13:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/cdm/PluginManager.java
r14234 r15109 148 148 return exploder_plugins; 149 149 } 150 151 150 152 151 public boolean isFileExplodable(File file) … … 163 162 } 164 163 164 // Works with replace_srcdoc_with_html.pl 165 public ArrayList getSrcReplacerPlugins(File file) 166 { 167 ArrayList srcreplacer_plugins = new ArrayList(); 168 ArrayList plugins_list = Plugins.getPluginsList(); 169 for (int i = 0; i < plugins_list.size(); i++) { 170 Plugin plugin = (Plugin) plugins_list.get(i); 171 if (plugin.doesReplaceSrcDocsWithHtml() == true && plugin.doesProcessFile(file)) { 172 srcreplacer_plugins.add(plugin); 173 } 174 } 175 176 return srcreplacer_plugins; 177 } 178 179 // Works with replace_srcdoc_with_html.pl 180 public boolean isFileSrcReplaceable(File file) 181 { 182 ArrayList plugins_list = Plugins.getPluginsList(); 183 for (int i = 0; i < plugins_list.size(); i++) { 184 Plugin plugin = (Plugin) plugins_list.get(i); 185 186 if (plugin.doesReplaceSrcDocsWithHtml() == true && plugin.doesProcessFile(file) == true) { 187 return true; 188 } 189 } 190 191 return false; 192 } 165 193 166 194 /** Method to assign a plugin
Note:
See TracChangeset
for help on using the changeset viewer.