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

Constructors

Constructor and Description
DemandCSPointsTo.VarContextAndUp(VarNode var, ImmutableStack<java.lang.Integer> context, ImmutableStack<java.lang.Integer> upContext)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()
java.lang.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<java.lang.Integer> context,
                                ImmutableStack<java.lang.Integer> upContext)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class DemandCSPointsTo.VarAndContext

hashCode

public int hashCode()

Overrides:

hashCode in class DemandCSPointsTo.VarAndContext

toString

public java.lang.String toString()

Overrides:

toString in class DemandCSPointsTo.VarAndContext