Member predicate CanonicalName::hasQualifiedName
Holds if this has the given qualified name, rooted in the given external module.
predicate hasQualifiedName(string moduleName, string exportedName)
Holds if this has the given qualified name, rooted in the given external module.
predicate hasQualifiedName(string moduleName, string exportedName)