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

Method getTemplate

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

Source from the content-addressed store, hash-verified

1283 }
1284
1285 @Override
1286 public Tuple<Template.Variable> getTemplate() {
1287 return (Tuple<Template.Variable>) get(2);
1288 }
1289
1290 public Decl.Variable getVariableDeclaration() {
1291 return (Decl.Variable) get(3);

Callers 11

getConcreteTypeMethod · 0.45
getConcreteTypeMethod · 0.45
linkMethod · 0.45
allocateStubMethod · 0.45
isSubtypeMethod · 0.45
typeInvokeExpressionMethod · 0.45
checkMethod · 0.45
inferMethod · 0.45
toNameStringMethod · 0.45
bindingStringMethod · 0.45

Calls 1

getMethod · 0.65

Tested by

no test coverage detected