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

Class LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass

java.lang.Object

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

All Implemented Interfaces:

LValueRewriter<Statement>

Enclosing class:

LValueAssignmentAndAliasCondenser

public class LValueAssignmentAndAliasCondenser.MutationRewriterFirstPass
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

Constructor Summary

Constructors

Constructor and Description
MutationRewriterFirstPass()

Method Summary

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()
LValueRewriter	getWithFixed(Set fixed)
LValueRewriter<Statement>	keepConstant(Collection<LValue> usedLValues)
boolean	needLR()

Methods inherited from class java.lang.Object

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

Constructor Detail

MutationRewriterFirstPass

public MutationRewriterFirstPass()

Method Detail

getLValueReplacement

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

Specified by:

getLValueReplacement in interface LValueRewriter<Statement>

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>

getWithFixed

public LValueRewriter getWithFixed(Set 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>

getSecondPassRewriter

public LValueAssignmentAndAliasCondenser.MutationRewriterSecondPass getSecondPassRewriter()