Class PointsToSetVariable

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractVariable<PointsToSetVariable>

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 final 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 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
static final int	SIZE_THRESHOLD
static final boolean	VERBOSE_PRINT	Print names of types of instance keys

Constructor Summary

Constructors

Constructor	Description
PointsToSetVariable(PointerKey key)

Method Summary

Modifier and Type	Method	Description
boolean	add(int b)	Set a particular bit
boolean	addAll(PointsToSetVariable other)	Add all integers from the other int set variable.
boolean	addAll(IntSet B)	Add all integers from the set B
boolean	equals(Object obj)
PointerKey	getPointerKey()
void	setPointerKey(PointerKey pointerKey)	Use this with extreme care, to add filters to this variable..
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 Details

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 than SIZE_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

VERBOSE_PRINT

public static final boolean VERBOSE_PRINT

Print names of types of instance keys

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 Details

PointsToSetVariable

public PointsToSetVariable(PointerKey key)

Method Details

getPointerKey

public PointerKey getPointerKey()

equals

public boolean equals(Object obj)

Overrides:

equals in class AbstractVariable<PointsToSetVariable>

add

public boolean add(int b)

Description copied from class: IntSetVariable

Set a particular bit

Overrides:

add in class IntSetVariable<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 class IntSetVariable<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 class IntSetVariable<PointsToSetVariable>

Returns:

true iff the contents of this variable changes.

setPointerKey

public void setPointerKey(PointerKey pointerKey)

Use this with extreme care, to add filters to this variable..

Parameters:

pointerKey - The pointerKey to set.

toString

public String toString()

Overrides:

toString in class IntSetVariable<PointsToSetVariable>