Member predicate Modifier::Modifiable::isFinal

Holds if this element has a final modifier or is implicitly final.

predicate isFinal()