Member predicate DataFlow :: SourceNode :: backtrack

Gets a node that may flow into this one using one heap and/or interprocedural step.

See TypeBackTracker for more details about how to use this.


                            
                                
                                    SourceNode
                                
                                 
                            
                            
                                backtrack
                            
                            
                                (
                                
                                    
                                        TypeBackTracker
                                    
                                     
                                    t2
                                
                                , 
                                
                                    
                                        TypeBackTracker
                                    
                                     
                                    t
                                
                                )