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

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 and Description
private java.util.Map<LocalVariable,LocalVariable>	rhsToLhsLVMap
private java.util.Map<StackSSALabel,StackSSALabel>	rhsToLhsMap
private java.util.Set<LocalVariable>	validLocal
private java.util.Set<StackSSALabel>	validSSA

Fields inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.DefaultEquivalenceConstraint

INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	FinallyEquivalenceConstraint()

Method Summary

Modifier and Type	Method and 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(java.lang.Object o1, java.lang.Object o2)
private LocalVariable	mapLocalVariable(LocalVariable s1, LocalVariable s2)
private StackSSALabel	mapSSALabel(StackSSALabel s1, StackSSALabel s2)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.DefaultEquivalenceConstraint

equivalent, equivalent

Methods inherited from class java.lang.Object

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

Field Detail

rhsToLhsMap

private final java.util.Map<StackSSALabel,StackSSALabel> rhsToLhsMap

rhsToLhsLVMap

private final java.util.Map<LocalVariable,LocalVariable> rhsToLhsLVMap

validSSA

private final java.util.Set<StackSSALabel> validSSA

validLocal

private final java.util.Set<LocalVariable> validLocal

Constructor Detail

FinallyEquivalenceConstraint

private FinallyEquivalenceConstraint()

Method Detail

mapSSALabel

private StackSSALabel mapSSALabel(StackSSALabel s1,
                                  StackSSALabel s2)

mapLocalVariable

private LocalVariable mapLocalVariable(LocalVariable s1,
                                       LocalVariable s2)

equivalent

public boolean equivalent(java.lang.Object o1,
                          java.lang.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>