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

Method apply

src/main/java/wycc/util/testing/TestStage.java:46–46  ·  view source on GitHub ↗

Apply this stage in a given directory, using configuration as appropriate from the test file. @param dir @param tf @return

(Trie path, Path dir, Map<Trie, TextFile> state, TestFile tf)

Source from the content-addressed store, hash-verified

44 * @return
45 */
46 public Result apply(Trie path, Path dir, Map<Trie, TextFile> state, TestFile tf) throws IOException;
47
48 /**
49 * Filter out all errors which could not be reported by this stage.

Callers 6

runMethod · 0.65
compileMethod · 0.65
mapMethod · 0.65
runMethod · 0.65
applyMethod · 0.65
mainMethod · 0.65

Implementers 2

WhileyCompileTestsrc/main/java/wyc/util/testing/WhileyC
WhileyExecuteTestsrc/main/java/wyc/util/testing/WhileyE

Calls

no outgoing calls

Tested by 3

runMethod · 0.52
applyMethod · 0.52
mainMethod · 0.52