<..FileInfo.java..>
package xtpipes;
/* FileInfo.java (2014-05-24-12:32), generated from xtpipes.tex
Copyright (C) 2009-2010 TeX Users Group
Copyright (C) 2002-2009 Eitan M. Gurari
<.TeX4ht copyright.> */
<.FileInfo imports.>
public class FileInfo{
<.FileInfo fields.>
public FileInfo(PrintWriter log, String iii_scriptDir, boolean trace) {
FileInfo.log = log;
FileInfo.ii_scriptDir = iii_scriptDir;
FileInfo.trace = trace;
<.classPaths[] := ....>
<.scriptPaths[] := ....>
}
<.static String searchFile( file ).>
<.static String [] getPaths( dirs ).>
<.static String cleanPath( path ).>
<.static String searchDirectory(dir, file).>
}
-_-_-
<..FileInfo fields..>
static String [] classPaths = null;
static String [] scriptPaths = null;
static java.util.HashMap <String,String> registry =
new java.util.HashMap <String,String>();
static String slash = System.getProperty("file.separator");
static String ii_scriptDir;
static PrintWriter log;
static boolean trace;
-_-_-
<..FileInfo imports..>
import java.io.File;
import java.io.PrintWriter;
-_-_-