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

Method getElement

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

Source from the content-addressed store, hash-verified

5457 }
5458
5459 public Type getElement() {
5460 return (Type) get(0);
5461 }
5462
5463 @Override
5464 public boolean isWriteable() {

Callers 15

substituteMethod · 0.95
toStringMethod · 0.95
toCanonicalStringMethod · 0.95
toStringMethod · 0.45
applyMethod · 0.45
getSourceMethod · 0.45
isMethod · 0.45
convertMethod · 0.45
isMethod · 0.45
isContractiveMethod · 0.45
isSubtypeMethod · 0.45
greatestLowerBoundMethod · 0.45

Calls 1

getMethod · 0.95

Tested by

no test coverage detected