Member predicate NameQualifiableElement :: hasGlobalQualifiedName
Holds if this element has a globally qualified name. For example,
::x is globally qualified. It is used to refer to x in the global
namespace.
predicate
hasGlobalQualifiedName
(
)