Predicate findFunctionAccordingToMroKnownStartingClass

Gets a potential definition of the function name of the class cls according to our approximation of MRO for the class startingCls (see getNextClassInMroKnownStartingClass for more information).

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

Import path

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

Function findFunctionAccordingToMroKnownStartingClass(Class cls, Class startingClass, string name)