Module DispatchFlow

Import path

semmle.code.java.dispatch.DispatchFlow

Imports

java

Provides all default Java QL imports.

Predicates

viableImpl_out

Gets a viable dispatch target for ma. This is the output dispatch relation.