Member predicate SelfInstanceInternal::calleeAndOffset
Holds if the function scope
is called when this object is called and paramOffset
is the difference from the parameter position and the argument position.
For a normal function paramOffset
is 0. For classes and bound-methods it is 1.
Used by points-to to help determine flow from arguments to parameters.
predicate calleeAndOffset(Function scope, int paramOffset)