Class FinallyGraphHelper.FinallyEquivalenceConstraint

java.lang.Object

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

org.benf.cfr.reader.bytecode.analysis.parse.utils.finalhelp.FinallyGraphHelper.FinallyEquivalenceConstraint

All Implemented Interfaces:

EquivalenceConstraint, LValueAssignmentCollector<Statement>

Enclosing class:

FinallyGraphHelper

private class FinallyGraphHelper.FinallyEquivalenceConstraint
extends DefaultEquivalenceConstraint
implements LValueAssignmentCollector<Statement>

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<LocalVariable, LocalVariable>	rhsToLhsLVMap
private final Map<StackSSALabel, StackSSALabel>	rhsToLhsMap
private final Set<LocalVariable>	validLocal
private final Set<StackSSALabel>	validSSA

Fields inherited from class DefaultEquivalenceConstraint

INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	FinallyEquivalenceConstraint()

Method Summary

Modifier and Type	Method	Description
void	collect(StackSSALabel lValue, StatementContainer<Statement> statementContainer, Expression value)
void	collectLocalVariableAssignment(LocalVariable localVariable, StatementContainer<Statement> statementContainer, Expression value)
void	collectMultiUse(StackSSALabel lValue, StatementContainer<Statement> statementContainer, Expression value)
void	collectMutatedLValue(LValue lValue, StatementContainer<Statement> statementContainer, Expression value)
boolean	equivalent(Object o1, Object o2)
private LocalVariable	mapLocalVariable(LocalVariable s1, LocalVariable s2)
private StackSSALabel	mapSSALabel(StackSSALabel s1, StackSSALabel s2)

Methods inherited from class DefaultEquivalenceConstraint

equivalent, equivalent

Methods inherited from class Object

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

Field Details

rhsToLhsMap

private final Map<StackSSALabel, StackSSALabel> rhsToLhsMap

rhsToLhsLVMap

private final Map<LocalVariable, LocalVariable> rhsToLhsLVMap

validSSA

private final Set<StackSSALabel> validSSA

validLocal

private final Set<LocalVariable> validLocal

Constructor Details

FinallyEquivalenceConstraint

private FinallyEquivalenceConstraint()

Method Details

mapSSALabel

private StackSSALabel mapSSALabel(StackSSALabel s1,
 StackSSALabel s2)

mapLocalVariable

private LocalVariable mapLocalVariable(LocalVariable s1,
 LocalVariable s2)

equivalent

public boolean equivalent(Object o1,
 Object o2)

Specified by:

equivalent in interface EquivalenceConstraint

Overrides:

equivalent in class DefaultEquivalenceConstraint

collect

public void collect(StackSSALabel lValue,
 StatementContainer<Statement> statementContainer,
 Expression value)

Specified by:

collect in interface LValueAssignmentCollector<Statement>

collectMultiUse

public void collectMultiUse(StackSSALabel lValue,
 StatementContainer<Statement> statementContainer,
 Expression value)

Specified by:

collectMultiUse in interface LValueAssignmentCollector<Statement>

collectMutatedLValue

public void collectMutatedLValue(LValue lValue,
 StatementContainer<Statement> statementContainer,
 Expression value)

Specified by:

collectMutatedLValue in interface LValueAssignmentCollector<Statement>

collectLocalVariableAssignment

public void collectLocalVariableAssignment(LocalVariable localVariable,
 StatementContainer<Statement> statementContainer,
 Expression value)

Specified by:

collectLocalVariableAssignment in interface LValueAssignmentCollector<Statement>