Member predicate Declaration::hasGlobalName
Holds if this declaration has the given name in the global namespace.
predicate hasGlobalName(string name)Holds if this declaration has the given name in the global namespace.
predicate hasGlobalName(string name)