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 final SSAIdentifiers<LValue>	ident1
private final SSAIdentifiers<LValue>	ident2

Fields inherited from class DefaultEquivalenceConstraint

INSTANCE

Constructor Summary

Constructors

Constructor	Description
StatementEquivalenceConstraint(Op03SimpleStatement stm1, Op03SimpleStatement stm2)

Method Summary

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

Methods inherited from class DefaultEquivalenceConstraint

equivalent, equivalent

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

ident1

private final SSAIdentifiers<LValue> ident1

ident2

private final SSAIdentifiers<LValue> ident2

Constructor Details

StatementEquivalenceConstraint

public StatementEquivalenceConstraint(Op03SimpleStatement stm1,
 Op03SimpleStatement stm2)

Method Details

equivalent

public boolean equivalent(ComparableUnderEC o1,
 ComparableUnderEC o2)

Specified by:

equivalent in interface EquivalenceConstraint

Overrides:

equivalent in class DefaultEquivalenceConstraint