public class PointsToSetVariable extends IntSetVariable<PointsToSetVariable>
| Modifier and Type | Field and Description |
|---|---|
static boolean |
CRY_ABOUT_BIG_POINTSTO_SETS
if set, emits a warning whenever a points-to set grows bigger than
SIZE_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 key
|
static int |
SIZE_THRESHOLD |
| Constructor and Description |
|---|
PointsToSetVariable(PointerKey key) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(int b)
Set a particular bit
|
boolean |
addAll(IntSet B)
Add all integers from the set B
|
boolean |
addAll(PointsToSetVariable other)
Add all integers from the other int set variable.
|
boolean |
equals(Object obj) |
PointerKey |
getPointerKey() |
String |
toString() |
addAllInIntersection, addAllInIntersection, contains, containsAny, copyState, getValue, remove, removeAll, sameValue, sizegetOrderNumber, hashCode, nextHash, setOrderNumbergetGraphNodeId, setGraphNodeIdclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetGraphNodeId, setGraphNodeIdpublic static final boolean CRY_ABOUT_BIG_POINTSTO_SETS
SIZE_THRESHOLDpublic static final int SIZE_THRESHOLD
public static final boolean PARANOID
public static MutableMapping<InstanceKey> instanceKeys
public PointsToSetVariable(PointerKey key)
public PointerKey getPointerKey()
public boolean equals(Object obj)
equals in class AbstractVariable<PointsToSetVariable>public void add(int b)
IntSetVariableadd in class IntSetVariable<PointsToSetVariable>b - the bit to setpublic boolean addAll(IntSet B)
IntSetVariableaddAll in class IntSetVariable<PointsToSetVariable>public boolean addAll(PointsToSetVariable other)
IntSetVariableaddAll in class IntSetVariable<PointsToSetVariable>public String toString()
toString in class IntSetVariable<PointsToSetVariable>