public class LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass extends java.lang.Object implements LValueRewriter<Statement>
LValueRewriter.Util
Modifier and Type | Field and Description |
---|---|
private java.util.Map<LValueAssignmentAndAliasCondenser.VersionedLValue,java.util.Set<StatementContainer>> |
mutableUseFound |
Constructor and Description |
---|
MutationRewriterFirstPass() |
Modifier and Type | Method and Description |
---|---|
void |
checkPostConditions(LValue lValue,
Expression rValue) |
boolean |
explicitlyReplaceThisLValue(LValue lValue) |
Expression |
getLValueReplacement(LValue lValue,
SSAIdentifiers<LValue> ssaIdentifiers,
StatementContainer<Statement> statementContainer) |
LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass |
getSecondPassRewriter() |
private StatementContainer |
getUniqueParent(StatementContainer start,
java.util.Set<StatementContainer> seen) |
LValueRewriter |
getWithFixed(java.util.Set fixed) |
LValueRewriter<Statement> |
keepConstant(java.util.Collection<LValue> usedLValues) |
boolean |
needLR() |
private final java.util.Map<LValueAssignmentAndAliasCondenser.VersionedLValue,java.util.Set<StatementContainer>> mutableUseFound
public Expression getLValueReplacement(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> statementContainer)
getLValueReplacement
in interface LValueRewriter<Statement>
public boolean needLR()
needLR
in interface LValueRewriter<Statement>
public LValueRewriter<Statement> keepConstant(java.util.Collection<LValue> usedLValues)
keepConstant
in interface LValueRewriter<Statement>
public LValueRewriter getWithFixed(java.util.Set fixed)
getWithFixed
in interface LValueRewriter<Statement>
public boolean explicitlyReplaceThisLValue(LValue lValue)
explicitlyReplaceThisLValue
in interface LValueRewriter<Statement>
public void checkPostConditions(LValue lValue, Expression rValue)
checkPostConditions
in interface LValueRewriter<Statement>
private StatementContainer getUniqueParent(StatementContainer start, java.util.Set<StatementContainer> seen)
public LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass getSecondPassRewriter()