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 org.benf.cfr.reader.bytecode.analysis.parse.utils.LValueRewriter
LValueRewriter.Util
-
Field Summary
FieldsModifier and TypeFieldDescription -
Constructor Summary
ConstructorsModifierConstructorDescriptionprivate
MutationRewriterSecondPass
(Map<LValueAssignmentAndAliasCondenser.VersionedLValue, StatementContainer> mutableReplacable) private
MutationRewriterSecondPass
(Map<LValueAssignmentAndAliasCondenser.VersionedLValue, StatementContainer> mutableReplacable, Set<SSAIdent> fixed) -
Method Summary
Modifier and TypeMethodDescriptionvoid
checkPostConditions
(LValue lValue, Expression rValue) boolean
explicitlyReplaceThisLValue
(LValue lValue) getLValueReplacement
(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> statementContainer) getWithFixed
(Set<SSAIdent> fixed) keepConstant
(Collection<LValue> usedLValues) boolean
needLR()
-
Field Details
-
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 interfaceLValueRewriter<Statement>
-
keepConstant
- Specified by:
keepConstant
in interfaceLValueRewriter<Statement>
-
getLValueReplacement
public Expression getLValueReplacement(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> statementContainer) - Specified by:
getLValueReplacement
in interfaceLValueRewriter<Statement>
-
getWithFixed
- Specified by:
getWithFixed
in interfaceLValueRewriter<Statement>
-
explicitlyReplaceThisLValue
- Specified by:
explicitlyReplaceThisLValue
in interfaceLValueRewriter<Statement>
-
checkPostConditions
- Specified by:
checkPostConditions
in interfaceLValueRewriter<Statement>
-