Lines Matching defs:path
21 import java.nio.file.Path;
40 /** Validating converter for Paths. A Path is considered valid if it resolves to a file. */
41 public static class PathConverter implements Converter<Path> {
54 public Path convert(String input) throws OptionsParsingException {
56 Path path = FileSystems.getDefault().getPath(input);
57 if (mustExist && !Files.exists(path)) {
59 String.format("%s is not a valid path: it does not exist.", input));
61 return path;
64 String.format("%s is not a valid path: %s.", input, e.getMessage()), e);
70 return "a valid filesystem path";
75 * Validating converter for Paths. A Path is considered valid if it resolves to a file and exists.
