Member predicate Type::EnumConstant::isFinal

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

predicate isFinal()