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)