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 )