soot.jimple.spark.ondemand

Class DemandCSPointsTo.VarAndContext

java.lang.Object

soot.jimple.spark.ondemand.DemandCSPointsTo.VarAndContext

Direct Known Subclasses:

DemandCSPointsTo.VarContextAndUp

Enclosing class:

DemandCSPointsTo

protected static class DemandCSPointsTo.VarAndContext
extends java.lang.Object

Constructor Summary

Constructors

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

Method Summary

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

VarAndContext

public VarAndContext(VarNode var,
                     ImmutableStack<java.lang.Integer> context)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object