soot
Interface EquivTo
- All Known Subinterfaces:
- AddExpr, AndExpr, AnyNewExpr, ArrayRef, BinopExpr, CastExpr, CaughtExceptionRef, CmpExpr, CmpgExpr, CmplExpr, ConcreteRef, ConditionExpr, DivExpr, EqExpr, Expr, FieldRef, GeExpr, GtExpr, IdentityRef, Immediate, InstanceFieldRef, InstanceInvokeExpr, InstanceOfExpr, InterfaceInvokeExpr, InvokeExpr, LeExpr, LengthExpr, Local, LtExpr, MulExpr, NeExpr, NegExpr, NewArrayExpr, NewExpr, NewInvokeExpr, NewMultiArrayExpr, OrExpr, PhiExpr, PiExpr, Ref, RemExpr, ShimpleExpr, ShlExpr, ShrExpr, SpecialInvokeExpr, StaticInvokeExpr, SubExpr, UnopExpr, UshrExpr, Value, VirtualInvokeExpr, XorExpr
- All Known Implementing Classes:
- AbstractBinopExpr, AbstractCastExpr, AbstractInstanceFieldRef, AbstractInstanceInvokeExpr, AbstractInstanceOfExpr, AbstractInterfaceInvokeExpr, AbstractInvokeExpr, AbstractLengthExpr, AbstractNegExpr, AbstractNewArrayExpr, AbstractNewExpr, AbstractNewMultiArrayExpr, AbstractSpecialInvokeExpr, AbstractStaticInvokeExpr, AbstractUnopExpr, AbstractVirtualInvokeExpr, BafLocal, Constant, DCmpExpr, DCmpgExpr, DCmplExpr, EquivalentValue, GAddExpr, GAndExpr, GCmpExpr, GCmpgExpr, GCmplExpr, GDivExpr, GEqExpr, GGeExpr, GGtExpr, GLeExpr, GLtExpr, GMulExpr, GNeExpr, GNewInvokeExpr, GOrExpr, GRemExpr, GShlExpr, GShrExpr, GSubExpr, GUshrExpr, GXorExpr, JAddExpr, JAndExpr, JArrayRef, JCaughtExceptionRef, JCmpExpr, JCmpgExpr, JCmplExpr, JDivExpr, JEqExpr, JGeExpr, JGtExpr, JimpleLocal, JLeExpr, JLtExpr, JMulExpr, JNeExpr, JOrExpr, JRemExpr, JShlExpr, JShrExpr, JSubExpr, JUshrExpr, JXorExpr, ParameterRef, SPhiExpr, SPiExpr, StaticFieldRef, ThisRef, ValueGraph.TypeValueWrapper, ValueUnitPair
- public interface EquivTo
An alternate equivalence relation
between objects. The standard interpretation will be structural
equality. We also demand that if x.equivTo(y), then x.equivHashCode() ==
y.equivHashCode.
Method Summary |
int |
equivHashCode()
Returns a (not necessarily fixed) hash code for this object. |
boolean |
equivTo(Object o)
Returns true if this object is equivalent to o. |
equivTo
public boolean equivTo(Object o)
- Returns true if this object is equivalent to o.
equivHashCode
public int equivHashCode()
- Returns a (not necessarily fixed) hash code for this object.
This hash code coincides with equivTo; it is undefined in the
presence of mutable objects.