Predicate getNextClassInMroKnownStartingClass

Gets a class that, from an approximated MRO calculation, might be the next class after cls in the MRO for startingClass.

Note: this is almost the same as getNextClassInMro, except we know the startingClass, which can give slightly more precise results.

See QLDoc for getNextClassInMro.

Import path


                                import semmle.python.dataflow.new.internal.DataFlowDispatch


                            
                                
                                    Class
                                
                                 
                            
                            
                                getNextClassInMroKnownStartingClass
                            
                            
                                (
                                
                                    
                                        Class
                                    
                                     
                                    cls
                                
                                , 
                                
                                    
                                        Class
                                    
                                     
                                    startingClass
                                
                                )