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
FieldsModifier and TypeFieldDescriptionprivate final Map<LocalVariable,
LocalVariable> private final Map<StackSSALabel,
StackSSALabel> private final Set<LocalVariable>
private final Set<StackSSALabel>
Fields inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.DefaultEquivalenceConstraint
INSTANCE
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
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
private StackSSALabel
mapSSALabel
(StackSSALabel s1, StackSSALabel s2) Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.DefaultEquivalenceConstraint
equivalent, equivalent
-
Field Details
-
rhsToLhsMap
-
rhsToLhsLVMap
-
validSSA
-
validLocal
-
-
Constructor Details
-
FinallyEquivalenceConstraint
private FinallyEquivalenceConstraint()
-
-
Method Details
-
mapSSALabel
-
mapLocalVariable
-
equivalent
- 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>
-