Member predicate Type::RefType::hasQualifiedName
Holds if this type is declared in a specified package with the specified name.
predicate hasQualifiedName(string package, string type)
Holds if this type is declared in a specified package with the specified name.
predicate hasQualifiedName(string package, string type)