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

Method main

src/main/java/wycc/util/testing/TestFile.java:389–401  ·  view source on GitHub ↗
(String[] args)

Source from the content-addressed store, hash-verified

387 }
388
389 public static void main(String[] args) throws IOException {
390 FileInputStream fin = new FileInputStream("test.wytest");
391 TestFile tf = parse(fin);
392 for(String key : tf.keys()) {
393 System.out.println(key + " = " + tf.get(Object.class, key).get());
394 }
395 HashMap<Trie,TextFile> state = new HashMap<>();
396 for(TestFile.Frame f : tf) {
397 System.out.println(">" + f);
398 f.apply(state);
399 System.out.println("STATE: " + state.toString());
400 }
401 }
402}

Callers

nothing calls this directly

Calls 7

parseMethod · 0.95
keysMethod · 0.95
getMethod · 0.95
printlnMethod · 0.80
getMethod · 0.65
applyMethod · 0.65
toStringMethod · 0.45

Tested by

no test coverage detected