Member predicate SyntheticCallable :: propagatesFlow

Holds if data may flow from input to output through this callable.

See SummarizedCallable::propagatesFlow for details.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                propagatesFlow
                            
                            
                                (
                                
                                    
                                        SummaryComponentStack
                                    
                                     
                                    input
                                
                                , 
                                
                                    
                                        SummaryComponentStack
                                    
                                     
                                    output
                                
                                , 
                                
                                    
                                        boolean
                                    
                                     
                                    preservesValue
                                
                                )