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)