soot.jimple.spark.ondemand
Class DemandCSPointsTo.VarContextAndUp

java.lang.Object
  soot.jimple.spark.ondemand.DemandCSPointsTo.VarAndContext
      soot.jimple.spark.ondemand.DemandCSPointsTo.VarContextAndUp

Enclosing class:

DemandCSPointsTo

protected static final class DemandCSPointsTo.VarContextAndUp
extends DemandCSPointsTo.VarAndContext

Constructor Summary

DemandCSPointsTo.VarContextAndUp(VarNode var, ImmutableStack<Integer> context, ImmutableStack<Integer> upContext)

Method Summary

boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DemandCSPointsTo.VarContextAndUp

public DemandCSPointsTo.VarContextAndUp(VarNode var,
                                        ImmutableStack<Integer> context,
                                        ImmutableStack<Integer> upContext)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class DemandCSPointsTo.VarAndContext

hashCode

public int hashCode()

Overrides:

hashCode in class DemandCSPointsTo.VarAndContext

toString

public String toString()

Overrides:

toString in class DemandCSPointsTo.VarAndContext