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

Imports

VirtualDispatch

Provides predicates for reasoning about runtime call targets through virtual dispatch.

java

Provides all default Java QL imports.

Predicates

getRunnerTarget

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

Classes

FunctionalInterface

A functional interface is an interface that has just one abstract method (aside from the methods of Object), and thus represents a single function contract.