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

Method getAll

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

Source from the content-addressed store, hash-verified

5931 }
5932
5933 @Override
5934 public Type[] getAll() {
5935 return (Type[]) super.getAll();
5936 }
5937
5938 @Override
5939 public Type.Tuple substitute(java.util.function.Function<Object, Syntactic.Item> binding) {

Callers

nothing calls this directly

Calls 1

getAllMethod · 0.65

Tested by

no test coverage detected