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)