Member predicate CanonicalName::hasQualifiedName
Holds if this has the given qualified name, rooted in the global scope.
predicate hasQualifiedName(string globalName)
Holds if this has the given qualified name, rooted in the global scope.
predicate hasQualifiedName(string globalName)