qilin.core.sets

Class HybridPointsToSet

java.lang.Object

qilin.core.sets.PointsToSetInternal

qilin.core.sets.HybridPointsToSet

public final 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

Constructor Summary

Constructors

Constructor and Description
HybridPointsToSet()

Method Summary

Modifier and Type	Method and Description
boolean	add(int idx) Adds idx to this set, returns true if idx 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.
void	clear()
boolean	contains(int idx) Returns true iff the set contains node idx.
boolean	forall(P2SetVisitor v) Calls v's visit method on all nodes in this set.
static HybridPointsToSet	getEmptySet()
boolean	isEmpty() Returns true if this set contains no run-time objects.
Iterator<Integer>	iterator()
int	size()

Methods inherited from class qilin.core.sets.PointsToSetInternal

hasNonEmptyIntersection

Methods inherited from class java.lang.Object

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

Constructor Detail

HybridPointsToSet

public HybridPointsToSet()

Method Detail

getEmptySet

public static HybridPointsToSet getEmptySet()

isEmpty

public boolean isEmpty()

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

Specified by:

isEmpty in class PointsToSetInternal

clear

public void clear()

Specified by:

clear in class PointsToSetInternal

addAll

public boolean addAll(PointsToSetInternal other,
                      PointsToSetInternal exclude)

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

Specified by:

addAll in class PointsToSetInternal

iterator

public Iterator<Integer> iterator()

Specified by:

iterator in class PointsToSetInternal

size

public int size()

Specified by:

size 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

contains

public boolean contains(int idx)

Returns true iff the set contains node idx.

Specified by:

contains in class PointsToSetInternal

add

public boolean add(int idx)

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

Specified by:

add in class PointsToSetInternal