Member predicate Modifier::Modifiable::hasModifier

Holds if this element has modifier m.

For most purposes, the more specialized predicates isAbstract, isPublic, etc. should be used, which also take implicit modifiers into account. For instance, non-default instance methods in interfaces are implicitly abstract, so isAbstract() will hold for them even if hasModifier("abstract") does not.

predicate hasModifier(string m)