Member predicate Argument::isArgumentOf
Holds if this expression is the ith argument of c.
predicate isArgumentOf(CallCfgNode c, ArgumentPosition pos)Holds if this expression is the ith argument of c.
predicate isArgumentOf(CallCfgNode c, ArgumentPosition pos)