Member predicate ConditionBlock :: immediatelyControls

Holds if basic block succ is immediately controlled by this basic block with conditional value s. That is, succ is an immediate successor of this block, and succ can only be reached from the callable entry point by going via the s edge out of this basic block.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                immediatelyControls
                            
                            
                                (
                                
                                    
                                        BasicBlock
                                    
                                     
                                    succ
                                
                                , 
                                
                                    
                                        ConditionalSuccessor
                                    
                                     
                                    s
                                
                                )