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

Method Frame

src/main/java/wycc/util/testing/TestFile.java:69–72  ·  view source on GitHub ↗
(List<Action> actions, List<Error> markers)

Source from the content-addressed store, hash-verified

67 public final Error[] markers;
68
69 public Frame(List<Action> actions, List<Error> markers) {
70 this.actions = actions.toArray(new Action[actions.size()]);
71 this.markers = markers.toArray(new Error[markers.size()]);
72 }
73
74 public void apply(Map<Trie,TextFile> state) {
75 for(Action a : actions) {

Callers

nothing calls this directly

Calls 2

sizeMethod · 0.65
toArrayMethod · 0.45

Tested by

no test coverage detected