Class PointsToSetVariable
- java.lang.Object
-
- com.ibm.wala.util.graph.impl.NodeWithNumber
-
- com.ibm.wala.fixpoint.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>
Representation of a points-to set during an andersen-style analysis.
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
CRY_ABOUT_BIG_POINTSTO_SETS
if set, emits a warning whenever a points-to set grows bigger thanSIZE_THRESHOLD
static MutableMapping<InstanceKey>
instanceKeys
used only for paranoid checking.static boolean
PARANOID
if set, check that all instance keys in a points-to set are consistent with the type of the corresponding pointer keystatic int
SIZE_THRESHOLD
-
Constructor Summary
Constructors Constructor Description PointsToSetVariable(PointerKey key)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(int b)
Set a particular bitboolean
addAll(PointsToSetVariable other)
Add all integers from the other int set variable.boolean
addAll(IntSet B)
Add all integers from the set Bboolean
equals(Object obj)
PointerKey
getPointerKey()
String
toString()
-
Methods inherited from class com.ibm.wala.fixpoint.IntSetVariable
addAllInIntersection, addAllInIntersection, contains, containsAny, copyState, getValue, remove, removeAll, sameValue, size
-
Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable
getOrderNumber, hashCode, nextHash, 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
-
-
-
-
Field Detail
-
CRY_ABOUT_BIG_POINTSTO_SETS
public static final boolean CRY_ABOUT_BIG_POINTSTO_SETS
if set, emits a warning whenever a points-to set grows bigger thanSIZE_THRESHOLD
- See Also:
- Constant Field Values
-
SIZE_THRESHOLD
public static final int SIZE_THRESHOLD
- See Also:
- Constant Field Values
-
PARANOID
public static final boolean PARANOID
if set, check that all instance keys in a points-to set are consistent with the type of the corresponding pointer key- See Also:
- Constant Field Values
-
instanceKeys
public static MutableMapping<InstanceKey> instanceKeys
used only for paranoid checking. a bit ugly, but avoids adding an instance field just for debugging
-
-
Constructor Detail
-
PointsToSetVariable
public PointsToSetVariable(PointerKey key)
-
-
Method Detail
-
getPointerKey
public PointerKey getPointerKey()
-
equals
public boolean equals(Object obj)
- Overrides:
equals
in classAbstractVariable<PointsToSetVariable>
-
add
public void add(int b)
Description copied from class:IntSetVariable
Set a particular bit- Overrides:
add
in classIntSetVariable<PointsToSetVariable>
- Parameters:
b
- the bit to set
-
addAll
public boolean addAll(IntSet B)
Description copied from class:IntSetVariable
Add all integers from the set B- Overrides:
addAll
in classIntSetVariable<PointsToSetVariable>
- Returns:
- true iff the value of this changes
-
addAll
public boolean addAll(PointsToSetVariable other)
Description copied from class:IntSetVariable
Add all integers from the other int set variable.- Overrides:
addAll
in classIntSetVariable<PointsToSetVariable>
- Returns:
- true iff the contents of this variable changes.
-
toString
public String toString()
- Overrides:
toString
in classIntSetVariable<PointsToSetVariable>
-
-