the callback function can both be the second and third argument

This commit is contained in:
Erik Krogh Kristensen
2019-11-26 13:00:00 +01:00
parent b06acd1ed0
commit 97718bf1d4

View File

@@ -110,7 +110,7 @@ module Typeahead {
(
pred = this
or
pred = this.getAFunctionValue().getParameter(1).getACall().getAnArgument()
pred = this.getAFunctionValue().getParameter(any(int i | i = 1 or i = 2)).getACall().getAnArgument()
) and
succ = successor
}