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

Method TestFile

src/main/java/wycc/util/testing/TestFile.java:32–35  ·  view source on GitHub ↗
(Map<String, Object> config, List<Frame> frames)

Source from the content-addressed store, hash-verified

30 private final Frame[] frames;
31
32 public TestFile(Map<String, Object> config, List<Frame> frames) {
33 this.config = new HashMap<>(config);
34 this.frames = frames.toArray(new Frame[frames.size()]);
35 }
36
37 public <T> Optional<T> get(Class<T> kind, String option) {
38 Object o = config.get(option);

Callers

nothing calls this directly

Calls 2

sizeMethod · 0.65
toArrayMethod · 0.45

Tested by

no test coverage detected