soot.jimple.spark.ondemand
Class DemandCSPointsTo.VarAndContext

java.lang.Object
  extended by soot.jimple.spark.ondemand.DemandCSPointsTo.VarAndContext
Direct Known Subclasses:
DemandCSPointsTo.VarContextAndUp
Enclosing class:
DemandCSPointsTo

protected static class DemandCSPointsTo.VarAndContext
extends Object


Constructor Summary
DemandCSPointsTo.VarAndContext(VarNode var, ImmutableStack<Integer> context)
           
 
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.VarAndContext

public DemandCSPointsTo.VarAndContext(VarNode var,
                                      ImmutableStack<Integer> context)
Method Detail

equals

public boolean equals(Object o)
Overrides:
equals in class Object

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object