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

Class FILEDIR

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

Source from the content-addressed store, hash-verified

227 }
228
229 private static final class FILEDIR implements Kind {
230 @Override
231 public void process(String arg, String option,
232 Map<String, Object> options) {
233 File dir = new File(option);
234 if(!dir.isDirectory()) {
235 throw new IllegalArgumentException("invalid path --- " + arg);
236 }
237 options.put(arg, dir);
238 }
239 @Override
240 public String toString() {
241 return "<filedir>";
242 }
243 }
244
245 private static final class FILELIST implements Kind {
246 @Override

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected