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