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	Description
class	LValueAssignmentAndAliasCondenser.AliasRewriter
private static class	LValueAssignmentAndAliasCondenser.ExpressionStatementPair
private static class	LValueAssignmentAndAliasCondenser.LValueStatementContainer
class	LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass
class	LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass
private static final class	LValueAssignmentAndAliasCondenser.VersionedLValue

Nested classes/interfaces inherited from interface LValueRewriter

LValueRewriter.Util

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<StackSSALabel, Expression>	aliasReplacements
private final Set<StackSSALabel>	blacklisted
private final Map<Expression, Expression>	cache
private static final Set<SSAIdent>	emptyFixed
private final Map<StackSSALabel, LValueAssignmentAndAliasCondenser.ExpressionStatementPair>	found
private final Set<LValue>	keepConstant
private final Map<StackSSALabel, LValueAssignmentAndAliasCondenser.ExpressionStatementPair>	multiFound
private final Map<LValueAssignmentAndAliasCondenser.VersionedLValue, LValueAssignmentAndAliasCondenser.ExpressionStatementPair>	mutableFound

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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)
private Set<LValue>	findAssignees(Statement s)
LValueAssignmentAndAliasCondenser.AliasRewriter	getAliasRewriter()
Expression	getLValueReplacement(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> lvSc)
LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass	getMutationRewriterFirstPass()
LValueRewriter	getWithFixed(Set<SSAIdent> fixed)
private boolean	isSimple(Expression res)
private boolean	jumpsMethods(Op03SimpleStatement lvSc, Op03SimpleStatement statementContainer)
LValueRewriter<Statement>	keepConstant(Collection<LValue> usedLValues)
boolean	needLR()
void	reset()

Methods inherited from class Object

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

Field Details

found

private final Map<StackSSALabel, LValueAssignmentAndAliasCondenser.ExpressionStatementPair> found

blacklisted

private final Set<StackSSALabel> blacklisted

keepConstant

private final Set<LValue> keepConstant

aliasReplacements

private final Map<StackSSALabel, Expression> aliasReplacements

multiFound

private final Map<StackSSALabel, LValueAssignmentAndAliasCondenser.ExpressionStatementPair> multiFound

mutableFound

private final Map<LValueAssignmentAndAliasCondenser.VersionedLValue, LValueAssignmentAndAliasCondenser.ExpressionStatementPair> mutableFound

cache

private final Map<Expression, Expression> cache

emptyFixed

private static final Set<SSAIdent> emptyFixed

Constructor Details

LValueAssignmentAndAliasCondenser

public LValueAssignmentAndAliasCondenser()

LValueAssignmentAndAliasCondenser

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

Method Details

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>

findAssignees

private Set<LValue> findAssignees(Statement s)

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>

isSimple

private boolean isSimple(Expression res)

jumpsMethods

private boolean jumpsMethods(Op03SimpleStatement lvSc,
 Op03SimpleStatement statementContainer)

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()