org.benf.cfr.reader.bytecode.analysis.opgraph.op3rewriters

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 inherited from class org.benf.cfr.reader.bytecode.analysis.parse.utils.DefaultEquivalenceConstraint

INSTANCE

Constructor Summary

Constructors

Constructor and Description
StatementEquivalenceConstraint(Op03SimpleStatement stm1, Op03SimpleStatement stm2)

Method Summary

Modifier and Type	Method and Description
boolean	equivalent(ComparableUnderEC o1, ComparableUnderEC o2)

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

Constructor Detail

StatementEquivalenceConstraint

public StatementEquivalenceConstraint(Op03SimpleStatement stm1,
                                      Op03SimpleStatement stm2)

Method Detail

equivalent

public boolean equivalent(ComparableUnderEC o1,
                          ComparableUnderEC o2)

Specified by:

equivalent in interface EquivalenceConstraint

Overrides:

equivalent in class DefaultEquivalenceConstraint