Module Dispatch

Import path

import semmle.code.java.dispatch.VirtualDispatch

Predicates

exactMethodImpl

Gets the implementation of top present on a value of precisely type t.

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.