Member predicate Parameter :: isEffectivelyFinal

Holds if the parameter is never assigned a value in the body of the callable.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                isEffectivelyFinal
                            
                            
                                (
                                )