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

Class LValueAssignmentAndAliasCondenser

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.utils.LValueAssignmentAndAliasCondenser

All Implemented Interfaces:

LValueAssignmentCollector<Statement>, LValueRewriter<Statement>

public class LValueAssignmentAndAliasCondenser
extends Object
implements LValueRewriter<Statement>, LValueAssignmentCollector<Statement>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	LValueAssignmentAndAliasCondenser.AliasRewriter
class	LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass
class	LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass

Nested classes/interfaces inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.utils.LValueRewriter

LValueRewriter.Util

Constructor Summary

Constructors

Constructor and Description
LValueAssignmentAndAliasCondenser()
LValueAssignmentAndAliasCondenser(LValueAssignmentAndAliasCondenser other, Set<LValue> keepConstant)

Method Summary

Modifier and Type	Method and Description
void	checkPostConditions(LValue lValue, Expression rValue)
void	collect(StackSSALabel lValue, StatementContainer<Statement> statementContainer, Expression value)
void	collectLocalVariableAssignment(LocalVariable localVariable, StatementContainer<Statement> statementContainer, Expression value)
void	collectMultiUse(StackSSALabel lValue, StatementContainer<Statement> statementContainer, Expression value)
void	collectMutatedLValue(LValue lValue, StatementContainer<Statement> statementContainer, Expression value)
boolean	explicitlyReplaceThisLValue(LValue lValue)
LValueAssignmentAndAliasCondenser.AliasRewriter	getAliasRewriter()
Expression	getLValueReplacement(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> lvSc)
LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass	getMutationRewriterFirstPass()
LValueRewriter	getWithFixed(Set<SSAIdent> fixed)
LValueRewriter<Statement>	keepConstant(Collection<LValue> usedLValues)
boolean	needLR()
void	reset()

Methods inherited from class java.lang.Object

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

Constructor Detail

LValueAssignmentAndAliasCondenser

public LValueAssignmentAndAliasCondenser()

LValueAssignmentAndAliasCondenser

public LValueAssignmentAndAliasCondenser(LValueAssignmentAndAliasCondenser other,
                                         Set<LValue> keepConstant)

Method Detail

collect

public void collect(StackSSALabel lValue,
                    StatementContainer<Statement> statementContainer,
                    Expression value)

Specified by:

collect in interface LValueAssignmentCollector<Statement>

collectMultiUse

public void collectMultiUse(StackSSALabel lValue,
                            StatementContainer<Statement> statementContainer,
                            Expression value)

Specified by:

collectMultiUse in interface LValueAssignmentCollector<Statement>

collectMutatedLValue

public void collectMutatedLValue(LValue lValue,
                                 StatementContainer<Statement> statementContainer,
                                 Expression value)

Specified by:

collectMutatedLValue in interface LValueAssignmentCollector<Statement>

collectLocalVariableAssignment

public void collectLocalVariableAssignment(LocalVariable localVariable,
                                           StatementContainer<Statement> statementContainer,
                                           Expression value)

Specified by:

collectLocalVariableAssignment in interface LValueAssignmentCollector<Statement>

getWithFixed

public LValueRewriter getWithFixed(Set<SSAIdent> fixed)

Specified by:

getWithFixed in interface LValueRewriter<Statement>

keepConstant

public LValueRewriter<Statement> keepConstant(Collection<LValue> usedLValues)

Specified by:

keepConstant in interface LValueRewriter<Statement>

reset

public void reset()

needLR

public boolean needLR()

Specified by:

needLR in interface LValueRewriter<Statement>

getLValueReplacement

public Expression getLValueReplacement(LValue lValue,
                                       SSAIdentifiers<LValue> ssaIdentifiers,
                                       StatementContainer<Statement> lvSc)

Specified by:

getLValueReplacement in interface LValueRewriter<Statement>

explicitlyReplaceThisLValue

public boolean explicitlyReplaceThisLValue(LValue lValue)

Specified by:

explicitlyReplaceThisLValue in interface LValueRewriter<Statement>

checkPostConditions

public void checkPostConditions(LValue lValue,
                                Expression rValue)

Specified by:

checkPostConditions in interface LValueRewriter<Statement>

getAliasRewriter

public LValueAssignmentAndAliasCondenser.AliasRewriter getAliasRewriter()

getMutationRewriterFirstPass

public LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass getMutationRewriterFirstPass()