Lines Matching defs:src
79 String src = argv[i];
81 int j = src.lastIndexOf('.');
83 dst = src + ".xhtml";
84 else if (src.endsWith(".xhtml"))
85 dst = src + "_";
87 dst = src.substring(0, j) + ".xhtml";
88 System.err.println("src: " + src + " dst: " + dst);
90 process(src, os);
95 System.err.println("src: " + argv[i]);
127 private static void process(String src, OutputStream os)
195 if (src != "") {
196 s.setSystemId(src);