Package soot.jimple.spark.sets

Class HybridPointsToSet

java.lang.Object

soot.jimple.spark.sets.PointsToSetInternal

soot.jimple.spark.sets.HybridPointsToSet

All Implemented Interfaces:

EqualsSupportingPointsToSet, PointsToSet

public class HybridPointsToSet
extends PointsToSetInternal

Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets.

Author:

Ondrej Lhotak

Nested Class Summary

Nested classes/interfaces inherited from class soot.jimple.spark.sets.PointsToSetInternal

PointsToSetInternal.P2SetVisitorDefaultTrue, PointsToSetInternal.P2SetVisitorInt

Field Summary

Fields

Modifier and Type	Field	Description
protected BitVector	bits
protected boolean	empty
protected Node[]	nodes
protected PAG	pag

Fields inherited from class soot.jimple.spark.sets.PointsToSetInternal

type

Constructor Summary

Constructors

Constructor	Description
HybridPointsToSet(Type type, PAG pag)

Method Summary

Modifier and Type	Method	Description
boolean	add(Node n)	Adds n to this set, returns true if n was not already in this set.
boolean	addAll(PointsToSetInternal other, PointsToSetInternal exclude)	Adds contents of other into this set, returns true if this set changed.
boolean	contains(Node n)	Returns true iff the set contains n.
protected void	convertToBits()
protected boolean	fastAdd(Node n)
boolean	forall(P2SetVisitor v)	Calls v's visit method on all nodes in this set.
static P2SetFactory<HybridPointsToSet>	getFactory()
static HybridPointsToSet	intersection(HybridPointsToSet set1, HybridPointsToSet set2, PAG pag)
boolean	isEmpty()	Returns true if this set contains no run-time objects.
static void	setPointsToSetFactory(P2SetFactory<HybridPointsToSet> factory)

Methods inherited from class soot.jimple.spark.sets.PointsToSetInternal

flushNew, getBitMask, getNewSet, getOldSet, getType, hasNonEmptyIntersection, mergeWith, pointsToSetEquals, pointsToSetHashCode, possibleClassConstants, possibleStringConstants, possibleTypes, setType, size, toString, unFlushNew

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

nodes

protected Node[] nodes

bits

protected BitVector bits

pag

protected PAG pag

empty

protected boolean empty

Constructor Detail

HybridPointsToSet

public HybridPointsToSet(Type type,
                         PAG pag)

Method Detail

setPointsToSetFactory

public static void setPointsToSetFactory(P2SetFactory<HybridPointsToSet> factory)

isEmpty

public final boolean isEmpty()

Returns true if this set contains no run-time objects.

addAll

public boolean addAll(PointsToSetInternal other,
                      PointsToSetInternal exclude)

Adds contents of other into this set, returns true if this set changed.

Overrides:

addAll in class PointsToSetInternal

forall

public boolean forall(P2SetVisitor v)

Calls v's visit method on all nodes in this set.

Specified by:

forall in class PointsToSetInternal

add

public boolean add(Node n)

Adds n to this set, returns true if n was not already in this set.

Specified by:

add in class PointsToSetInternal

contains

public boolean contains(Node n)

Returns true iff the set contains n.

Specified by:

contains in class PointsToSetInternal

getFactory

public static P2SetFactory<HybridPointsToSet> getFactory()

fastAdd

protected boolean fastAdd(Node n)

convertToBits

protected void convertToBits()

intersection

public static HybridPointsToSet intersection(HybridPointsToSet set1,
                                             HybridPointsToSet set2,
                                             PAG pag)