CFG: add nodes for block arguments

This commit is contained in:
Arthur Baars
2020-12-16 10:47:51 +01:00
parent d016e3cae0
commit eafec4331b
2 changed files with 14 additions and 1 deletions

View File

@@ -313,13 +313,14 @@ module Trees {
}
private class CallTree extends StandardPostOrderTree, Call {
// this.getBlock() is not included as it uses a different scope
final override AstNode getChildNode(int i) {
result = this.getReceiver() and i = 0
or
result = this.getMethod() and i = 1
or
result = this.getArguments() and i = 2
or
result = this.getBlock() and i = 3
}
}