Class LambdaRewriter

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.LambdaRewriter

All Implemented Interfaces:

Op04Rewriter, ExpressionRewriter

public class LambdaRewriter
extends Object
implements Op04Rewriter, ExpressionRewriter

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	LambdaRewriter.CannotDelambaException
static class	LambdaRewriter.LambdaInternalRewriter

Field Summary

Fields

Modifier and Type	Field	Description
private final Method	method
private final LinkedList<Expression>	processingStack
private final DCCommonState	state
private final ClassFile	thisClassFile
private final JavaTypeInstance	typeInstance

Constructor Summary

Constructors

Constructor	Description
LambdaRewriter(DCCommonState state, Method method)

Method Summary

Modifier and Type	Method	Description
private void	couldBeAmbiguous(Expression fn, Expression arg, LambdaExpression res)
private List<JavaTypeInstance>	getExplicitLambdaTypes(JavaTypeInstance functionArgType)
private static Expression	getLambdaVariable(Expression e)
void	handleStatement(StatementContainer statementContainer)
private static boolean	isNewArrayLambda(Expression e, List<Expression> curriedArgs, List<LValue> anonymousLambdaArgs)
void	rewrite(Op04StructuredStatement root)
private Expression	rewriteDynamicExpression(DynamicInvokation dynamicExpression)
private Expression	rewriteDynamicExpression(DynamicInvokation dynamicExpression, StaticFunctionInvokation functionInvokation, List<Expression> curriedArgs)
ConditionalExpression	rewriteExpression(ConditionalExpression expression, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	rewriteExpression(Expression expression, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
StackSSALabel	rewriteExpression(StackSSALabel lValue, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
LValue	rewriteExpression(LValue lValue, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)

Methods inherited from class Object

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

Field Details

state

private final DCCommonState state

thisClassFile

private final ClassFile thisClassFile

typeInstance

private final JavaTypeInstance typeInstance

method

private final Method method

processingStack

private final LinkedList<Expression> processingStack

Constructor Details

LambdaRewriter

public LambdaRewriter(DCCommonState state,
 Method method)

Method Details

rewrite

public void rewrite(Op04StructuredStatement root)

Specified by:

rewrite in interface Op04Rewriter

handleStatement

public void handleStatement(StatementContainer statementContainer)

Specified by:

handleStatement in interface ExpressionRewriter

rewriteExpression

public Expression rewriteExpression(Expression expression,
 SSAIdentifiers ssaIdentifiers,
 StatementContainer statementContainer,
 ExpressionRewriterFlags flags)

Specified by:

rewriteExpression in interface ExpressionRewriter

rewriteExpression

public ConditionalExpression rewriteExpression(ConditionalExpression expression,
 SSAIdentifiers ssaIdentifiers,
 StatementContainer statementContainer,
 ExpressionRewriterFlags flags)

Specified by:

rewriteExpression in interface ExpressionRewriter

rewriteExpression

public LValue rewriteExpression(LValue lValue,
 SSAIdentifiers ssaIdentifiers,
 StatementContainer statementContainer,
 ExpressionRewriterFlags flags)

Specified by:

rewriteExpression in interface ExpressionRewriter

rewriteExpression

public StackSSALabel rewriteExpression(StackSSALabel lValue,
 SSAIdentifiers ssaIdentifiers,
 StatementContainer statementContainer,
 ExpressionRewriterFlags flags)

Specified by:

rewriteExpression in interface ExpressionRewriter

rewriteDynamicExpression

private Expression rewriteDynamicExpression(DynamicInvokation dynamicExpression)

couldBeAmbiguous

private void couldBeAmbiguous(Expression fn,
 Expression arg,
 LambdaExpression res)

getExplicitLambdaTypes

private List<JavaTypeInstance> getExplicitLambdaTypes(JavaTypeInstance functionArgType)

getLambdaVariable

private static Expression getLambdaVariable(Expression e)

rewriteDynamicExpression

private Expression rewriteDynamicExpression(DynamicInvokation dynamicExpression,
 StaticFunctionInvokation functionInvokation,
 List<Expression> curriedArgs)

isNewArrayLambda

private static boolean isNewArrayLambda(Expression e,
 List<Expression> curriedArgs,
 List<LValue> anonymousLambdaArgs)