MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / FILELIST

Class FILELIST

src/main/java/wycc/util/OptArg.java:245–258  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

243 }
244
245 private static final class FILELIST implements Kind {
246 @Override
247 public void process(String arg, String option, Map<String,Object> options) {
248 ArrayList<File> rs = new ArrayList<>();
249 for(String r : option.split(File.pathSeparator)) {
250 rs.add(new File(r));
251 }
252 options.put(arg, rs);
253 }
254 @Override
255 public String toString() {
256 return "<filelist>";
257 }
258 }
259
260 private static final class OPTIONSMAP implements Kind {
261 @Override

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected