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