Lines Matching defs:path
79 * Command path arguments are
232 // Read the input file a path at a time. # in column 1 is a comment.
234 String path = br.readLine();
235 if (path == null) {
239 path = path.trim();
240 if (path.length() == 0
241 || path.charAt(0) == '#') {
245 if (addClassSuffix && !path.endsWith(".class")) {
246 path = path + ".class";
251 File file = new File(dir, path);
254 // Normalize the path
255 String cleanPath = cleanPath(new File(dir, path));
263 System.err.println("WARNING: Path does not exist as file or directory: " + path);
296 // Normalized path to use
297 String path = cleanPath(f);
298 if (path != null && path.length() > 0
299 && !processed.contains(path)) {
302 includedFiles.add(path);
303 processed.add(path);
314 processed.add(path);
343 String path = f.getPath();
345 path = cleanFilePath(path);
347 path = cleanDirPath(path);
349 System.err.println("WARNING: Path does not exist as file or directory: " + path);
350 path = null;
352 return path;
355 private String cleanFilePath(String path) {
357 path = path.trim();
360 path = path.replace('\\', '/');
362 path = path.replace('/', '\\');
365 while (path.startsWith("." + File.separator)) {
366 path = path.substring(2);
368 return path;
371 private String cleanDirPath(String path) {
372 path = cleanFilePath(path);
374 if (!path.endsWith(File.separator)) {
375 path = path + File.separator;
377 // Remove any /./ in the path.
378 if (path.endsWith(File.separator + "." + File.separator)) {
379 path = path.substring(0, path.length() - 2);
381 return path;