qilin.core.sets

Class DoublePointsToSet

java.lang.Object

qilin.core.sets.PointsToSetInternal

qilin.core.sets.DoublePointsToSet

public class DoublePointsToSet
extends PointsToSetInternal

Implementation of points-to set that holds two sets: one for new elements that have not yet been propagated, and the other for elements that have already been propagated.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field and Description
protected HybridPointsToSet	newSet
protected HybridPointsToSet	oldSet

Constructor Summary

Constructors

Constructor and Description
DoublePointsToSet()

Method Summary

Modifier and Type	Method and Description
boolean	add(int idx) Adds n 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 idx.
void	flushNew() Sets all newly-added nodes to old nodes.
boolean	forall(P2SetVisitor v) Calls v's visit method on all nodes in this set.
HybridPointsToSet	getNewSet() Returns set of newly-added nodes since last call to flushNew.
HybridPointsToSet	getNewSetCopy()
HybridPointsToSet	getOldSet() Returns set of nodes already present before last call to flushNew.
boolean	hasNonEmptyIntersection(PointsToSetInternal other) Returns true if this set shares some objects with other.
boolean	isEmpty() Returns true if this set contains no run-time objects.
Iterator<Integer>	iterator()
int	size()

Methods inherited from class java.lang.Object

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

Field Detail

newSet

protected HybridPointsToSet newSet

oldSet

protected HybridPointsToSet oldSet

Constructor Detail

DoublePointsToSet

public DoublePointsToSet()

Method Detail

isEmpty

public boolean isEmpty()

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

Specified by:

isEmpty in class PointsToSetInternal

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(PointsToSetInternal other)

Returns true if this set shares some objects with other.

Overrides:

hasNonEmptyIntersection in class PointsToSetInternal

size

public int size()

Specified by:

size in class PointsToSetInternal

iterator

public Iterator<Integer> iterator()

Specified by:

iterator 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

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(int idx)

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

Specified by:

add in class PointsToSetInternal

getOldSet

public HybridPointsToSet getOldSet()

Returns set of nodes already present before last call to flushNew.

getNewSet

public HybridPointsToSet getNewSet()

Returns set of newly-added nodes since last call to flushNew.

getNewSetCopy

public HybridPointsToSet getNewSetCopy()

flushNew

public void flushNew()

Sets all newly-added nodes to old nodes.

contains

public boolean contains(int idx)

Returns true iff the set contains idx.

Specified by:

contains in class PointsToSetInternal