org.benf.cfr.reader.bytecode.analysis.parse.expression

Class LambdaExpression

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractExpression

org.benf.cfr.reader.bytecode.analysis.parse.expression.LambdaExpression

All Implemented Interfaces:

HasByteCodeLoc, Expression, LambdaExpressionCommon, DeepCloneable<Expression>, ComparableUnderEC, Dumpable, DumpableWithPrecedence, TypeUsageCollectable

public class LambdaExpression
extends AbstractExpression
implements LambdaExpressionCommon

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<LValue>	args
private java.util.List<JavaTypeInstance>	explicitArgTypes
private Expression	result

Constructor Summary

Constructors

Constructor and Description
LambdaExpression(BytecodeLoc loc, InferredJavaType castJavaType, java.util.List<LValue> args, java.util.List<JavaTypeInstance> explicitArgType, Expression result)

Method Summary

Modifier and Type	Method and Description
Expression	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
boolean	childCastForced()
void	collectTypeUsages(TypeUsageCollector collector)
void	collectUsedLValues(LValueUsageCollector lValueUsageCollector)
Expression	deepClone(CloneHelper cloneHelper)
Dumper	dumpInner(Dumper d)
boolean	equals(java.lang.Object o)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
java.util.List<JavaTypeInstance>	explicitArgTypes()
java.util.List<LValue>	getArgs()
BytecodeLoc	getCombinedLoc()
Precedence	getPrecedence()
Expression	getResult()
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
void	setExplicitArgTypes(java.util.List<JavaTypeInstance> types)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractExpression

addLoc, canPushDownInto, canThrow, dump, dumpWithOuterPrecedence, getComputedLiteral, getInferredJavaType, getLoc, isSimple, isValidStatement, outerDeepClone, pushDown, toString, visit

Methods inherited from class java.lang.Object

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

Field Detail

args

private java.util.List<LValue> args

explicitArgTypes

private java.util.List<JavaTypeInstance> explicitArgTypes

result

private Expression result

Constructor Detail

LambdaExpression

public LambdaExpression(BytecodeLoc loc,
                        InferredJavaType castJavaType,
                        java.util.List<LValue> args,
                        java.util.List<JavaTypeInstance> explicitArgType,
                        Expression result)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

deepClone

public Expression deepClone(CloneHelper cloneHelper)

Specified by:

deepClone in interface DeepCloneable<Expression>

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractExpression

setExplicitArgTypes

public void setExplicitArgTypes(java.util.List<JavaTypeInstance> types)

explicitArgTypes

public java.util.List<JavaTypeInstance> explicitArgTypes()

replaceSingleUsageLValues

public Expression replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                            SSAIdentifiers ssaIdentifiers,
                                            StatementContainer statementContainer)

Specified by:

replaceSingleUsageLValues in interface Expression

applyExpressionRewriter

public Expression applyExpressionRewriter(ExpressionRewriter expressionRewriter,
                                          SSAIdentifiers ssaIdentifiers,
                                          StatementContainer statementContainer,
                                          ExpressionRewriterFlags flags)

Specified by:

applyExpressionRewriter in interface Expression

applyReverseExpressionRewriter

public Expression applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter,
                                                 SSAIdentifiers ssaIdentifiers,
                                                 StatementContainer statementContainer,
                                                 ExpressionRewriterFlags flags)

Specified by:

applyReverseExpressionRewriter in interface Expression

childCastForced

public boolean childCastForced()

Specified by:

childCastForced in interface LambdaExpressionCommon

getPrecedence

public Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

Specified by:

getPrecedence in class AbstractExpression

dumpInner

public Dumper dumpInner(Dumper d)

Specified by:

dumpInner in class AbstractExpression

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

Specified by:

collectUsedLValues in interface Expression

getArgs

public java.util.List<LValue> getArgs()

getResult

public Expression getResult()

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class AbstractExpression

equivalentUnder

public final boolean equivalentUnder(java.lang.Object o,
                                     EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface Expression

Specified by:

equivalentUnder in interface ComparableUnderEC