Class StatementEquivalenceConstraint
- java.lang.Object
-
- org.benf.cfr.reader.bytecode.analysis.parse.utils.DefaultEquivalenceConstraint
-
- org.benf.cfr.reader.bytecode.analysis.opgraph.op3rewriters.StatementEquivalenceConstraint
-
- All Implemented Interfaces:
EquivalenceConstraint
public class StatementEquivalenceConstraint extends DefaultEquivalenceConstraint
-
-
Field Summary
Fields Modifier and Type Field Description private SSAIdentifiers<LValue>
ident1
private SSAIdentifiers<LValue>
ident2
-
Fields inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.DefaultEquivalenceConstraint
INSTANCE
-
-
Constructor Summary
Constructors Constructor Description StatementEquivalenceConstraint(Op03SimpleStatement stm1, Op03SimpleStatement stm2)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equivalent(ComparableUnderEC o1, ComparableUnderEC o2)
-
Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.DefaultEquivalenceConstraint
equivalent, equivalent
-
-
-
-
Field Detail
-
ident1
private final SSAIdentifiers<LValue> ident1
-
ident2
private final SSAIdentifiers<LValue> ident2
-
-
Constructor Detail
-
StatementEquivalenceConstraint
public StatementEquivalenceConstraint(Op03SimpleStatement stm1, Op03SimpleStatement stm2)
-
-
Method Detail
-
equivalent
public boolean equivalent(ComparableUnderEC o1, ComparableUnderEC o2)
- Specified by:
equivalent
in interfaceEquivalenceConstraint
- Overrides:
equivalent
in classDefaultEquivalenceConstraint
-
-