Member predicate SpecificInstanceInternal :: 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
)