if the given rule doesn't apply to the source file, implementation must return null. SourceFileScanner will then omit the source file in question.
93949596979899100101102103
File filesetBaseDir = ds.getBasedir(); for (int i = 0; i < includedFiles.length; i++) { String filename = includedFiles[i]; File absoluteFile = new File(filesetBaseDir, filename); File destinationFile = new File(toDir, m.mapFileName(filename)[0]); MathBase base = null; float baseline = 0; SVGGraphics2D canvas = null; Document inputDocument;
139140141142143144145146147148149
log("Cannot write to output file: " + se.getMessage()); throw new BuildException(); } if (baselineExtension != null) { File baselineFile = new File(toDir, m.mapFileName(filename)[0] + baselineExtension); try { Writer out = new OutputStreamWriter(new FileOutputStream(baselineFile), "UTF-8"); out.write("<baseline>"); out.write(Float.toString(baseline)); out.write("</baseline>\n");
337338339340341342343344345346347
} FileNameMapper fileNameMapper = mapper.getImplementation(); Vector mappedFiles = new Vector(); for (int i = 0; i < spaths.length; ++i) { String[] mapped = fileNameMapper.mapFileName(rpaths[i]); if (mapped != null) { for (int j = 0; j < mapped.length; ++j) { if (outOfDate(new File(spaths[i]), fileUtils.resolveFile( baseDir, mapped[j]))) {
212213214215216217218219220221222
for (int i=0;i<pathElements.length;i++) { if (mapper != null) { FileNameMapper m = mapper.getImplementation(); String mapped[] = m.mapFileName(pathElements[i]); for (int j=0;j<mapped.length;j++) values.addElement(mapped[j]); } else {
191192193194195196197198199200201
} String message = "Converting " + count + " file" + (count != 1 ? "s" : "") + " from "; log(message + srcDir + " to " + destDir); for (int i = 0; i < files.length; i++){ convert(files[i], m.mapFileName(files[i])[0]); } } /** * Convert a single file.
218219220221222223224225226227228
Properties properties = new Properties(); for (Enumeration e = names.elements(); e.hasMoreElements();) { String name = (String) e.nextElement(); String value = prj.getProperty(name); if (mapper != null) { String[] newname = mapper.mapFileName(name); if (newname != null) { name = newname[0]; } } properties.setProperty(name, value);
198199200201202203204205206207208
} String message = "Converting " + count + " file" + (count != 1 ? "s" : "") + " from "; log(message + srcDir + " to " + destDir); for (int i = 0; i < files.length; i++) { convert(files[i], m.mapFileName(files[i])[0]); } } /** * Convert a single file.
178179180181182183184185186187188
for(Iterator rcit = rc.iterator(); rcit.hasNext();) { FileResource fr = (FileResource) rcit.next(); File in = fr.getFile(); String[] mapped = mapper.mapFileName(in.getName()); if (mapped != null && mapped.length > 0) { for(int k = 0; k < mapped.length; k++) { File out = getProject().resolveFile(in.getParent() + File.separator + mapped[k]); try {