Module WrappedInvocation

Provides classes and predicates for reasoning about calls that may invoke one of their arguments.

Import path

import semmle.code.java.dispatch.WrappedInvocation

FlowSummary	Provides classes and predicates for defining flow summaries.
VirtualDispatch	Provides predicates for reasoning about runtime call targets through virtual dispatch.
java	Provides all default Java QL imports.

Gets a method that can be invoked through a functional interface as an argument to ma.