Member predicate Annotation::Annotatable::hasAnnotation

Holds if this element has an annotation.

predicate hasAnnotation()