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

Method shape

src/main/java/wyil/lang/WyilFile.java:5898–5901  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

5896 }
5897
5898 @Override
5899 public int shape() {
5900 return size();
5901 }
5902
5903 @Override
5904 public Type dimension(int nth) {

Callers

nothing calls this directly

Calls 1

sizeMethod · 0.95

Tested by

no test coverage detected