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

Method dimension

src/main/java/wyil/lang/WyilFile.java:5903–5906  ·  view source on GitHub ↗
(int nth)

Source from the content-addressed store, hash-verified

5901 }
5902
5903 @Override
5904 public Type dimension(int nth) {
5905 return get(nth);
5906 }
5907
5908 @Override
5909 public boolean isWriteable() {

Callers

nothing calls this directly

Calls 1

getMethod · 0.95

Tested by

no test coverage detected