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)