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 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 Description private
FinallyEquivalenceConstraint()
-
Method Summary
All Methods Instance Methods Concrete Methods 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(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
-
-
-
-
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
-
-
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 interfaceEquivalenceConstraint
- Overrides:
equivalent
in classDefaultEquivalenceConstraint
-
collect
public void collect(StackSSALabel lValue, StatementContainer<Statement> statementContainer, Expression value)
- Specified by:
collect
in interfaceLValueAssignmentCollector<Statement>
-
collectMultiUse
public void collectMultiUse(StackSSALabel lValue, StatementContainer<Statement> statementContainer, Expression value)
- Specified by:
collectMultiUse
in interfaceLValueAssignmentCollector<Statement>
-
collectMutatedLValue
public void collectMutatedLValue(LValue lValue, StatementContainer<Statement> statementContainer, Expression value)
- Specified by:
collectMutatedLValue
in interfaceLValueAssignmentCollector<Statement>
-
collectLocalVariableAssignment
public void collectLocalVariableAssignment(LocalVariable localVariable, StatementContainer<Statement> statementContainer, Expression value)
- Specified by:
collectLocalVariableAssignment
in interfaceLValueAssignmentCollector<Statement>
-
-