com.ibm.wala.ipa.callgraph.propagation
Class PointsToSetVariable

java.lang.Object
  com.ibm.wala.util.graph.impl.NodeWithNumber
      com.ibm.wala.fixedpoint.impl.AbstractVariable<T>
          com.ibm.wala.fixpoint.IntSetVariable<PointsToSetVariable>
              com.ibm.wala.ipa.callgraph.propagation.PointsToSetVariable

All Implemented Interfaces:

IVariable<PointsToSetVariable>, INodeWithNumber

public class PointsToSetVariable
extends IntSetVariable<PointsToSetVariable>

Constructor Summary

PointsToSetVariable(PointerKey key)

Method Summary

boolean	equals(java.lang.Object obj)
PointerKey	getPointerKey()
int	hashCode()
java.lang.String	toString()

Methods inherited from class com.ibm.wala.fixpoint.IntSetVariable

add, addAll, addAll, addAllInIntersection, addAllInIntersection, contains, containsAny, copyState, getValue, remove, removeAll, sameValue, size

Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractVariable

getOrderNumber, setOrderNumber

Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber

getGraphNodeId, setGraphNodeId

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber

getGraphNodeId, setGraphNodeId

Constructor Detail

PointsToSetVariable

public PointsToSetVariable(PointerKey key)

Method Detail

getPointerKey

public PointerKey getPointerKey()

Returns:

Returns the pointerKey.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class AbstractVariable<PointsToSetVariable>

hashCode

public int hashCode()

Specified by:

hashCode in class IntSetVariable<PointsToSetVariable>

toString

public java.lang.String toString()

Overrides:

toString in class IntSetVariable<PointsToSetVariable>

See Also:

Object.toString()