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

Class FILE

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

Source from the content-addressed store, hash-verified

215 }
216
217 private static final class FILE implements Kind {
218 @Override
219 public void process(String arg, String option,
220 Map<String, Object> options) {
221 options.put(arg, new File(option));
222 }
223 @Override
224 public String toString() {
225 return "<file>";
226 }
227 }
228
229 private static final class FILEDIR implements Kind {
230 @Override

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected