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

Class AssignmentExpression

java.lang.Object

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

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

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

All Implemented Interfaces:

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

public class AssignmentExpression
extends AbstractAssignmentExpression

Constructor Summary

Constructors

Constructor and Description
AssignmentExpression(BytecodeLoc loc, LValue lValue, Expression rValue)

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)
Expression	applyRValueOnlyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	collectTypeUsages(TypeUsageCollector collector)
void	collectUsedLValues(LValueUsageCollector lValueUsageCollector)
Expression	deepClone(CloneHelper cloneHelper)
Dumper	dumpInner(Dumper d)
boolean	equals(Object o)
boolean	equivalentUnder(Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
Literal	getComputedLiteral(Map<LValue,Literal> display)
LValue	getlValue()
ArithmeticPostMutationOperation	getPostMutation()
Precedence	getPrecedence()
ArithmeticPreMutationOperation	getPreMutation()
Expression	getrValue()
LValue	getUpdatedLValue()
boolean	isSelfMutatingOp1(LValue lValue, ArithOp arithOp)
boolean	isValidStatement()
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

AssignmentExpression

public AssignmentExpression(BytecodeLoc loc,
                            LValue lValue,
                            Expression rValue)

Method Detail

deepClone

public Expression deepClone(CloneHelper cloneHelper)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractExpression

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

replaceSingleUsageLValues

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

applyExpressionRewriter

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

applyReverseExpressionRewriter

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

applyRValueOnlyExpressionRewriter

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

isValidStatement

public boolean isValidStatement()

Specified by:

isValidStatement in interface Expression

Overrides:

isValidStatement in class AbstractExpression

isSelfMutatingOp1

public boolean isSelfMutatingOp1(LValue lValue,
                                 ArithOp arithOp)

Specified by:

isSelfMutatingOp1 in class AbstractAssignmentExpression

getPostMutation

public ArithmeticPostMutationOperation getPostMutation()

Specified by:

getPostMutation in class AbstractAssignmentExpression

getPreMutation

public ArithmeticPreMutationOperation getPreMutation()

Specified by:

getPreMutation in class AbstractAssignmentExpression

getUpdatedLValue

public LValue getUpdatedLValue()

Specified by:

getUpdatedLValue in class AbstractAssignmentExpression

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

getlValue

public LValue getlValue()

getrValue

public Expression getrValue()

equals

public boolean equals(Object o)

Specified by:

equals in class AbstractExpression

equivalentUnder

public final boolean equivalentUnder(Object o,
                                     EquivalenceConstraint constraint)

getComputedLiteral

public Literal getComputedLiteral(Map<LValue,Literal> display)

Specified by:

getComputedLiteral in interface Expression

Overrides:

getComputedLiteral in class AbstractExpression