Changeset 15109

Show
Ignore:
Timestamp:
20.03.2008 20:22:41 (11 years ago)
Author:
ak19
Message:

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

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/src/org/greenstone/gatherer/cdm/PluginManager.java

    r14234 r15109  
    148148    return exploder_plugins;     
    149149    } 
    150  
    151150     
    152151    public boolean isFileExplodable(File file) 
     
    163162    } 
    164163 
     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    }    
    165193 
    166194    /** Method to assign a plugin