Predicate Dispatch::viableImpl
Gets a viable implementation of the method called in the given method access.
Import path
import semmle.code.java.dispatch.VirtualDispatchGets a viable implementation of the method called in the given method access.
import semmle.code.java.dispatch.VirtualDispatch