Member predicate Class::Class::isFinal

Holds if this class was declared ‘final’.

predicate isFinal()