equal
deleted
inserted
replaced
215 }, |
215 }, |
216 }; |
216 }; |
217 |
217 |
218 private static final String PROGNAME = "jdeps"; |
218 private static final String PROGNAME = "jdeps"; |
219 private final Options options = new Options(); |
219 private final Options options = new Options(); |
220 private final List<String> classes = new ArrayList<String>(); |
220 private final List<String> classes = new ArrayList<>(); |
221 |
221 |
222 private PrintWriter log; |
222 private PrintWriter log; |
223 void setLog(PrintWriter out) { |
223 void setLog(PrintWriter out) { |
224 log = out; |
224 log = out; |
225 } |
225 } |
612 } |
612 } |
613 } |
613 } |
614 } |
614 } |
615 |
615 |
616 private List<Archive> getArchives(List<String> filenames) throws IOException { |
616 private List<Archive> getArchives(List<String> filenames) throws IOException { |
617 List<Archive> result = new ArrayList<Archive>(); |
617 List<Archive> result = new ArrayList<>(); |
618 for (String s : filenames) { |
618 for (String s : filenames) { |
619 Path p = Paths.get(s); |
619 Path p = Paths.get(s); |
620 if (Files.exists(p)) { |
620 if (Files.exists(p)) { |
621 result.add(new Archive(p, ClassFileReader.newInstance(p))); |
621 result.add(new Archive(p, ClassFileReader.newInstance(p))); |
622 } else { |
622 } else { |