Lines Matching defs:fileURI
126 * @param fileURI
129 public InputSource getCachedFile(String fileURI) {
135 if(fileURI.endsWith("#")) fileURI = fileURI.substring(0, fileURI.length() - 1);
137 String localFileName = cache.getProperty(fileURI);
147 System.err.println("INFO: Using cached file " + file + " for URI " + fileURI);
162 * @param fileURI URI for the remote file
165 public void addCachedFile(String fileURI, File localFile) {
166 cache.setProperty(fileURI, localFile.getName());