Member predicate DataFlow::InstanceParameterNode::isParameterOf

Holds if this node is the parameter of c at the specified (zero-based) position. The implicit this parameter is considered to have index -1.