Class LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass

java.lang.Object

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

All Implemented Interfaces:

LValueRewriter<Statement>

Enclosing class:

LValueAssignmentAndAliasCondenser

public class LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass
extends Object
implements LValueRewriter<Statement>

Nested Class Summary

Nested classes/interfaces inherited from interface LValueRewriter

LValueRewriter.Util

Field Summary

Fields

Modifier and Type	Field	Description
private final Set<SSAIdent>	fixed
private final Map<LValueAssignmentAndAliasCondenser.VersionedLValue, StatementContainer>	mutableReplacable

Constructor Summary

Constructors

Modifier	Constructor	Description
private	MutationRewriterSecondPass(Map<LValueAssignmentAndAliasCondenser.VersionedLValue, StatementContainer> mutableReplacable)
private	MutationRewriterSecondPass(Map<LValueAssignmentAndAliasCondenser.VersionedLValue, StatementContainer> mutableReplacable, Set<SSAIdent> fixed)

Method Summary

Modifier and Type	Method	Description
void	checkPostConditions(LValue lValue, Expression rValue)
boolean	explicitlyReplaceThisLValue(LValue lValue)
Expression	getLValueReplacement(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> statementContainer)
LValueRewriter	getWithFixed(Set<SSAIdent> fixed)
LValueRewriter<Statement>	keepConstant(Collection<LValue> usedLValues)
boolean	needLR()

Methods inherited from class Object

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

Field Details

fixed

private final Set<SSAIdent> fixed

mutableReplacable

private final Map<LValueAssignmentAndAliasCondenser.VersionedLValue, StatementContainer> mutableReplacable

Constructor Details

MutationRewriterSecondPass

private MutationRewriterSecondPass(Map<LValueAssignmentAndAliasCondenser.VersionedLValue, StatementContainer> mutableReplacable)

MutationRewriterSecondPass

private MutationRewriterSecondPass(Map<LValueAssignmentAndAliasCondenser.VersionedLValue, StatementContainer> mutableReplacable,
 Set<SSAIdent> fixed)

Method Details

needLR

public boolean needLR()

Specified by:

needLR in interface LValueRewriter<Statement>

keepConstant

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

Specified by:

keepConstant in interface LValueRewriter<Statement>

getLValueReplacement

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

Specified by:

getLValueReplacement in interface LValueRewriter<Statement>

getWithFixed

public LValueRewriter getWithFixed(Set<SSAIdent> fixed)

Specified by:

getWithFixed 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>