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

Class AssignmentPreMutation

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractStatement

org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractAssignment

org.benf.cfr.reader.bytecode.analysis.parse.statement.AssignmentPreMutation

All Implemented Interfaces:

HasByteCodeLoc, DeepCloneable<Statement>, Statement, ComparableUnderEC, Dumpable

public class AssignmentPreMutation
extends AbstractAssignment

In an assignment prechange, the LHS is by definition equal to the RHS after the statement. I.e. x = ++x;

y = y|=3;

We can always drop the assignment, and just display this as the expression.

As the name implies, this is not appropriate for postchanges, i.e. x++; In order to do those, we will have a copy of the value before increment. So we'll see

i = x; x = ++x; // (with our daft AssignmentMutation). if (i ... )

If we have a guaranteed single use of a pre-change, we can run it together with the PRIOR use, and convert it to a post change. Similarly, if we have a SINGLE use of a prechange AFTER, we can just move the prechange RHS.

x = ++x; if (x ) ......

Field Summary

Fields

Modifier and Type	Field and Description
private LValue	lvalue
private AbstractAssignmentExpression	rvalue

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AssignmentPreMutation(BytecodeLoc loc, LValue lvalue, AbstractAssignmentExpression rvalue)
	AssignmentPreMutation(BytecodeLoc loc, LValue lvalue, AbstractMutatingAssignmentExpression rvalue)

Method Summary

Modifier and Type	Method and Description
boolean	canThrow(ExceptionCheck caught)
SSAIdentifiers<LValue>	collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)
void	collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
void	collectObjectCreation(CreationCollector creationCollector)
Statement	deepClone(CloneHelper cloneHelper)
Dumper	dump(Dumper dumper)
boolean	equals(java.lang.Object o)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
LValue	getCreatedLValue()
AbstractAssignmentExpression	getInliningExpression()
Expression	getPostMutation()
Expression	getPreMutation()
Expression	getRValue()
StructuredStatement	getStructuredStatement()
boolean	isSelfMutatingOp1(LValue lValue, ArithOp arithOp)
boolean	isSelfMutatingOperation()
void	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers)
void	rewriteExpressions(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractStatement

addLoc, doesBlackListLValueReplacement, fallsToNext, getCompoundParts, getContainer, getLoc, getTargetStatement, isCompound, outerDeepClone, setContainer, setLifetimeHint, toString, wantsLifetimeHint

Methods inherited from class java.lang.Object

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

Field Detail

lvalue

private LValue lvalue

rvalue

private AbstractAssignmentExpression rvalue

Constructor Detail

AssignmentPreMutation

public AssignmentPreMutation(BytecodeLoc loc,
                             LValue lvalue,
                             AbstractMutatingAssignmentExpression rvalue)

AssignmentPreMutation

private AssignmentPreMutation(BytecodeLoc loc,
                              LValue lvalue,
                              AbstractAssignmentExpression rvalue)

Method Detail

deepClone

public Statement deepClone(CloneHelper cloneHelper)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

dump

public Dumper dump(Dumper dumper)

collectLValueAssignments

public void collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)

Specified by:

collectLValueAssignments in interface Statement

Overrides:

collectLValueAssignments in class AbstractStatement

collectLValueUsage

public void collectLValueUsage(LValueUsageCollector lValueUsageCollector)

collectObjectCreation

public void collectObjectCreation(CreationCollector creationCollector)

Specified by:

collectObjectCreation in interface Statement

Overrides:

collectObjectCreation in class AbstractStatement

collectLocallyMutatedVariables

public SSAIdentifiers<LValue> collectLocallyMutatedVariables(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)

Specified by:

collectLocallyMutatedVariables in interface Statement

Overrides:

collectLocallyMutatedVariables in class AbstractStatement

getCreatedLValue

public LValue getCreatedLValue()

Specified by:

getCreatedLValue in interface Statement

Overrides:

getCreatedLValue in class AbstractStatement

getRValue

public Expression getRValue()

Specified by:

getRValue in interface Statement

Overrides:

getRValue in class AbstractStatement

isSelfMutatingOperation

public boolean isSelfMutatingOperation()

Specified by:

isSelfMutatingOperation in class AbstractAssignment

isSelfMutatingOp1

public boolean isSelfMutatingOp1(LValue lValue,
                                 ArithOp arithOp)

Specified by:

isSelfMutatingOp1 in class AbstractAssignment

getPostMutation

public Expression getPostMutation()

Specified by:

getPostMutation in class AbstractAssignment

getPreMutation

public Expression getPreMutation()

Specified by:

getPreMutation in class AbstractAssignment

getInliningExpression

public AbstractAssignmentExpression getInliningExpression()

Specified by:

getInliningExpression in class AbstractAssignment

replaceSingleUsageLValues

public void replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                      SSAIdentifiers ssaIdentifiers)

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter,
                               SSAIdentifiers ssaIdentifiers)

getStructuredStatement

public StructuredStatement getStructuredStatement()

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Statement

Overrides:

canThrow in class AbstractStatement

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equivalentUnder

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