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

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 java.lang.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

Fields

Modifier and Type	Field and Description
private java.util.Map<StackSSALabel,java.util.List<LValueAssignmentAndAliasCondenser.LValueStatementContainer>>	possibleAliases
private java.util.Map<StackSSALabel,java.util.List<StatementContainer<Statement>>>	usages

Constructor Summary

Constructors

Constructor and Description
AliasRewriter()

Method Summary

Modifier and Type	Method and Description
void	checkPostConditions(LValue lValue, Expression rValue)
boolean	explicitlyReplaceThisLValue(LValue lValue)
private LValue	getAlias(StackSSALabel stackSSALabel, LValueAssignmentAndAliasCondenser.ExpressionStatementPair target)
Expression	getLValueReplacement(LValue lValue, SSAIdentifiers<LValue> ssaIdentifiers, StatementContainer<Statement> statementContainer)
LValueRewriter	getWithFixed(java.util.Set<SSAIdent> fixed)
void	inferAliases()
LValueRewriter<Statement>	keepConstant(java.util.Collection<LValue> usedLValues)
boolean	needLR()

Methods inherited from class java.lang.Object

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

Field Detail

usages

private final java.util.Map<StackSSALabel,java.util.List<StatementContainer<Statement>>> usages

possibleAliases

private final java.util.Map<StackSSALabel,java.util.List<LValueAssignmentAndAliasCondenser.LValueStatementContainer>> possibleAliases

Constructor Detail

AliasRewriter

public AliasRewriter()

Method Detail

getWithFixed

public LValueRewriter getWithFixed(java.util.Set<SSAIdent> fixed)

Specified by:

getWithFixed in interface LValueRewriter<Statement>

keepConstant

public LValueRewriter<Statement> keepConstant(java.util.Collection<LValue> usedLValues)

Specified by:

keepConstant in interface LValueRewriter<Statement>

needLR

public boolean needLR()

Specified by:

needLR in interface LValueRewriter<Statement>

getLValueReplacement

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

Specified by:

getLValueReplacement in interface LValueRewriter<Statement>

getAlias

private LValue getAlias(StackSSALabel stackSSALabel,
                        LValueAssignmentAndAliasCondenser.ExpressionStatementPair target)

inferAliases

public void inferAliases()

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>