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

Method Action

src/main/java/wycc/util/testing/TestFile.java:222–227  ·  view source on GitHub ↗
(Kind kind, Trie filename, Range range, List<String> lines)

Source from the content-addressed store, hash-verified

220 public final String[] lines;
221
222 public Action(Kind kind, Trie filename, Range range, List<String> lines) {
223 this.kind = kind;
224 this.filename = filename;
225 this.range = range;
226 this.lines = lines.toArray(new String[lines.size()]);
227 }
228
229 public void apply(Map<Trie,TextFile> state) {
230 if (kind == Kind.REMOVE && state.containsKey(filename)) {

Callers

nothing calls this directly

Calls 2

sizeMethod · 0.65
toArrayMethod · 0.45

Tested by

no test coverage detected