Predicate Dispatch::viableMethodImpl
Gets the implementations of top present on viable subtypes of t.
Import path
import semmle.code.java.dispatch.VirtualDispatchMethod viableMethodImpl(VirtCalledSrcMethod top, SrcRefType tsrc, RefType t)Gets the implementations of top present on viable subtypes of t.
import semmle.code.java.dispatch.VirtualDispatchMethod viableMethodImpl(VirtCalledSrcMethod top, SrcRefType tsrc, RefType t)