Member predicate RefType::hasQualifiedName
Holds if this type is declared in a specified package with the specified name.
For nested types the name of the nested type is prefixed with a $
and appended
to the name of the enclosing type, which might be a nested type as well.
predicate hasQualifiedName(string package, string type)