Member predicate Parameter::isSourceDeclaration
Holds if this formal parameter is the same as its source declaration.
predicate isSourceDeclaration()
Holds if this formal parameter is the same as its source declaration.
predicate isSourceDeclaration()