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

Modifier and Type	Field and 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 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

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 interface EquivalenceConstraint

Overrides:

equivalent in class DefaultEquivalenceConstraint