com.ibm.wala.ipa.summaries

Class LambdaMethodTargetSelector

java.lang.Object

com.ibm.wala.ipa.summaries.LambdaMethodTargetSelector

All Implemented Interfaces:

MethodTargetSelector

public class LambdaMethodTargetSelector
extends java.lang.Object
implements MethodTargetSelector

Generates synthetic summaries to model the behavior of Java 8 lambdas. See https://cr.openjdk.java.net/~briangoetz/lambda/lambda-translation.html for a good discussion of how lambdas look in bytecode.

We generate two types of summaries.

1. A summary class corresponding to an anonymous class generated for the lambda; see LambdaSummaryClass.
2. A summary method corresponding to the lambda factory generated by the bootstrap method; this is the method actually called by invokedynamic.

Constructor Summary

Constructors

Constructor and Description
LambdaMethodTargetSelector(MethodTargetSelector base)

Method Summary

Modifier and Type	Method and Description
IMethod	getCalleeTarget(CGNode caller, CallSiteReference site, IClass receiver) Return a synthetic method target for invokedynamic calls corresponding to Java lambdas

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LambdaMethodTargetSelector

public LambdaMethodTargetSelector(MethodTargetSelector base)

Method Detail

getCalleeTarget

public IMethod getCalleeTarget(CGNode caller,
                               CallSiteReference site,
                               IClass receiver)

Return a synthetic method target for invokedynamic calls corresponding to Java lambdas

Specified by:

getCalleeTarget in interface MethodTargetSelector

Parameters:

caller - the GCNode in the call graph containing the call

site - the call site reference of the call site

receiver - the type of the target object or null

Returns:

a synthetic method if the call is an invokedynamic for Java lambdas; the callee target from the base selector otherwise