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

Method size

src/main/java/wycc/util/testing/TestFile.java:50–52  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

48 }
49
50 public int size() {
51 return frames.length;
52 }
53
54 @Override
55 public Iterator<Frame> iterator() {

Callers 1

runMethod · 0.95

Calls

no outgoing calls

Tested by

no test coverage detected