Member predicate Method :: isFinalizer
Holds if this method is a destructor/finalizer.
predicate
isFinalizer
(
)