Replace count(getReceiver()) with 1

This commit is contained in:
Nick Rolfe
2021-05-13 16:59:05 +01:00
parent 004147984b
commit 5e6dddad3e

View File

@@ -915,9 +915,9 @@ module Trees {
final override ControlFlowTree getChildNode(int i) {
result = this.getReceiver() and i = 0
or
result = this.getArgument(i - count(this.getReceiver()))
result = this.getArgument(i - 1)
or
result = this.getBlock() and i = count(this.getReceiver()) + this.getNumberOfArguments()
result = this.getBlock() and i = 1 + this.getNumberOfArguments()
}
}