Class LValueAssignmentAndAliasCondenser.AliasRewriter
java.lang.Object
org.benf.cfr.reader.bytecode.analysis.parse.utils.LValueAssignmentAndAliasCondenser.AliasRewriter
- All Implemented Interfaces:
LValueRewriter<Statement>
- Enclosing class:
- LValueAssignmentAndAliasCondenser
public class LValueAssignmentAndAliasCondenser.AliasRewriter
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 TypeFieldDescriptionprivate final Map<StackSSALabel,
List<StatementContainer<Statement>>> -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
checkPostConditions
(LValue lValue, Expression rValue) boolean
explicitlyReplaceThisLValue
(LValue lValue) private LValue
getAlias
(StackSSALabel stackSSALabel, LValueAssignmentAndAliasCondenser.ExpressionStatementPair target) getLValueReplacement
(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> statementContainer) getWithFixed
(Set<SSAIdent> fixed) void
keepConstant
(Collection<LValue> usedLValues) boolean
needLR()
-
Field Details
-
usages
-
possibleAliases
private final Map<StackSSALabel,List<LValueAssignmentAndAliasCondenser.LValueStatementContainer>> possibleAliases
-
-
Constructor Details
-
AliasRewriter
public AliasRewriter()
-
-
Method Details
-
getWithFixed
- Specified by:
getWithFixed
in interfaceLValueRewriter<Statement>
-
keepConstant
- Specified by:
keepConstant
in interfaceLValueRewriter<Statement>
-
needLR
public boolean needLR()- Specified by:
needLR
in interfaceLValueRewriter<Statement>
-
getLValueReplacement
public Expression getLValueReplacement(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> statementContainer) - Specified by:
getLValueReplacement
in interfaceLValueRewriter<Statement>
-
getAlias
private LValue getAlias(StackSSALabel stackSSALabel, LValueAssignmentAndAliasCondenser.ExpressionStatementPair target) -
inferAliases
public void inferAliases() -
explicitlyReplaceThisLValue
- Specified by:
explicitlyReplaceThisLValue
in interfaceLValueRewriter<Statement>
-
checkPostConditions
- Specified by:
checkPostConditions
in interfaceLValueRewriter<Statement>
-