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

Method get

src/main/java/wyil/lang/WyilFile.java:6230–6233  ·  view source on GitHub ↗
(int i)

Source from the content-addressed store, hash-verified

6228
6229
6230 @Override
6231 public Type get(int i) {
6232 return (Type) super.get(i);
6233 }
6234
6235 @Override
6236 public Type[] getAll() {

Callers 5

isWriteableMethod · 0.95
isReadableMethod · 0.95
filterMethod · 0.95
toStringMethod · 0.95
toCanonicalStringMethod · 0.95

Calls 1

getMethod · 0.65

Tested by

no test coverage detected