Module Dispatch

Import path

import semmle.code.java.dispatch.VirtualDispatch

exactMethodImpl	Gets the implementation of `top` present on a value of precisely type `t`.
lowConfidenceDispatchTarget	Holds if `m` is a viable implementation of the method called in `ma` for which we only have imprecise open-world type-based dispatch resolution, and the dispatch type is likely to yield implausible dispatch targets.
viableImpl	Gets a viable implementation of the method called in the given method access.
viableImpl_v1	INTERNAL: Use `viableImpl` instead.
viableImpl_v2	INTERNAL: Use `viableImpl` instead.
viableImpl_v3	INTERNAL: Use `viableImpl` instead.
viableMethodImpl	Gets the implementations of `top` present on viable subtypes of `t`.