Member predicate Parameter :: isEffectivelyFinal
Holds if the parameter is never assigned a value in the body of the callable.
predicate
isEffectivelyFinal
(
)