Member predicate RefArg::isAnalyzable
Holds if the assignment to this ref
argument via parameter p
is
analyzable. That is, the target callable is non-overridable and from
source.
predicate isAnalyzable(Parameter p)
Holds if the assignment to this ref
argument via parameter p
is
analyzable. That is, the target callable is non-overridable and from
source.
predicate isAnalyzable(Parameter p)