Member predicate SpecificInstanceInternal :: calleeAndOffset

Holds if the function scope is called when this object is called and paramOffset is the difference from the parameter position and the argument position. For a normal function paramOffset is 0. For classes and bound-methods it is 1. Used by points-to to help determine flow from arguments to parameters.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                calleeAndOffset
                            
                            
                                (
                                
                                    
                                        Function
                                    
                                     
                                    scope
                                
                                , 
                                
                                    
                                        int
                                    
                                     
                                    paramOffset
                                
                                )