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

Method get

src/main/java/wyil/lang/WyilFile.java:5928–5931  ·  view source on GitHub ↗
(int ith)

Source from the content-addressed store, hash-verified

5926 }
5927
5928 @Override
5929 public Type get(int ith) {
5930 return (Type) super.get(ith);
5931 }
5932
5933 @Override
5934 public Type[] getAll() {

Callers 6

dimensionMethod · 0.95
isWriteableMethod · 0.95
isReadableMethod · 0.95
substituteMethod · 0.95
toStringMethod · 0.95
toCanonicalStringMethod · 0.95

Calls 1

getMethod · 0.65

Tested by

no test coverage detected