Predicate Dispatch::exactMethodImpl
Gets the implementation of top present on a value of precisely type t.
Import path
import semmle.code.java.dispatch.VirtualDispatchGets the implementation of top present on a value of precisely type t.
import semmle.code.java.dispatch.VirtualDispatch