Member predicate AnalysedExpr :: getNonNullSuccessor

Gets a successor of this in the control flow graph, where that successor is among the nodes to which control may flow when this tests v to be not null.


                            
                                
                                    ControlFlowNode
                                
                                 
                            
                            
                                getNonNullSuccessor
                            
                            
                                (
                                
                                    
                                        LocalScopeVariable
                                    
                                     
                                    v
                                
                                )