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

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

All Implemented Interfaces:

IVariable, INodeWithNumber

public class PointsToSetVariable
extends IntSetVariable

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

hashCode

public int hashCode()

Specified by:

hashCode in class IntSetVariable

toString

public java.lang.String toString()

Overrides:

toString in class IntSetVariable

See Also:

Object.toString()