Member predicate Annotatable::hasAnnotation
Holds if this element has the specified annotation.
predicate hasAnnotation(string package, string name)
Holds if this element has the specified annotation.
predicate hasAnnotation(string package, string name)