Predicate viableImpl_out
Gets a viable dispatch target for ma
. This is the output dispatch relation.
Import path
import semmle.code.java.dispatch.DispatchFlow
Gets a viable dispatch target for ma
. This is the output dispatch relation.
import semmle.code.java.dispatch.DispatchFlow