com.ibm.wala.util.intset

Class MutableSharedBitVectorIntSet

java.lang.Object

com.ibm.wala.util.intset.MutableSharedBitVectorIntSet

All Implemented Interfaces:

IntSet, MutableIntSet, Serializable

public class MutableSharedBitVectorIntSet
extends Object
implements MutableIntSet

The shared bit vector implementation described by [Heintze 1999] TODO: much optimization possible.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
MutableSharedBitVectorIntSet()
MutableSharedBitVectorIntSet(BitVectorIntSet s)
MutableSharedBitVectorIntSet(MutableSharedBitVectorIntSet set)
MutableSharedBitVectorIntSet(SparseIntSet s)

Method Summary

Modifier and Type	Method and Description
boolean	add(int i) Add an integer value to this set.
boolean	addAll(IntSet set) Add all members of set to this.
boolean	addAllInIntersection(IntSet other, IntSet filter)
void	clear() remove all elements from this set
boolean	contains(int i)
boolean	containsAny(IntSet set)
void	copySet(IntSet set) Set the value of this to be the same as the value of set
void	foreach(IntSetAction action) Invoke an action on each element of the Set
void	foreachExcluding(IntSet X, IntSetAction action) Invoke an action on each element of the Set, excluding elements of Set X
boolean	hasSharedPart()
IntSet	intersection(IntSet that) This implementation must not despoil the original value of "this"
IntSet	intersection(MutableSharedBitVectorIntSet that)
void	intersectWith(IntSet set) Intersect this with another set.
IntIterator	intIterator()
boolean	isEmpty()
boolean	isSubset(IntSet that)
int	max()
boolean	remove(int i) Remove an integer from this set.
static boolean	sameSharedPart(MutableSharedBitVectorIntSet a, MutableSharedBitVectorIntSet b)
boolean	sameValue(IntSet that)
int	size()
String	toString()
IntSet	union(IntSet that) This implementation must not despoil the original value of "this"

Methods inherited from class java.lang.Object

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

Constructor Detail

MutableSharedBitVectorIntSet

public MutableSharedBitVectorIntSet()

MutableSharedBitVectorIntSet

public MutableSharedBitVectorIntSet(MutableSharedBitVectorIntSet set)

Throws:

IllegalArgumentException - if set is null

MutableSharedBitVectorIntSet

public MutableSharedBitVectorIntSet(SparseIntSet s)

Throws:

IllegalArgumentException - if s is null

MutableSharedBitVectorIntSet

public MutableSharedBitVectorIntSet(BitVectorIntSet s)

Throws:

IllegalArgumentException - if s is null

Method Detail

contains

public boolean contains(int i)

Specified by:

contains in interface IntSet

Returns:

true iff this set contains integer i

See Also:

IntSet.contains(int)

intersection

public IntSet intersection(IntSet that)

Description copied from interface: IntSet

This implementation must not despoil the original value of "this"

Specified by:

intersection in interface IntSet

Returns:

a new IntSet which is the intersection of this and that

See Also:

IntSet.intersection(com.ibm.wala.util.intset.IntSet)

union

public IntSet union(IntSet that)

Description copied from interface: IntSet

This implementation must not despoil the original value of "this"

Specified by:

union in interface IntSet

Returns:

a new IntSet containing all elements of this and that

See Also:

IntSet.union(com.ibm.wala.util.intset.IntSet)

intersection

public IntSet intersection(MutableSharedBitVectorIntSet that)

See Also:

IntSet.intersection(com.ibm.wala.util.intset.IntSet)

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface IntSet

Returns:

true iff this set is empty

See Also:

IntSet.isEmpty()

size

public int size()

Specified by:

size in interface IntSet

Returns:

the number of elements in this set

See Also:

IntSet.size()

intIterator

public IntIterator intIterator()

Specified by:

intIterator in interface IntSet

Returns:

a perhaps more efficient iterator

See Also:

IntSet.intIterator()

foreach

public void foreach(IntSetAction action)

Description copied from interface: IntSet

Invoke an action on each element of the Set

Specified by:

foreach in interface IntSet

See Also:

IntSet.foreach(com.ibm.wala.util.intset.IntSetAction)

foreachExcluding

public void foreachExcluding(IntSet X,
                             IntSetAction action)

Description copied from interface: IntSet

Invoke an action on each element of the Set, excluding elements of Set X

Specified by:

foreachExcluding in interface IntSet

See Also:

IntSet.foreachExcluding(com.ibm.wala.util.intset.IntSet, com.ibm.wala.util.intset.IntSetAction)

max

public int max()

Specified by:

max in interface IntSet

Returns:

maximum integer in this set.

See Also:

IntSet.max()

sameValue

public boolean sameValue(IntSet that)
                  throws IllegalArgumentException,
                         UnimplementedError

Specified by:

sameValue in interface IntSet

Returns:

true iff this has the same value as that.

Throws:

IllegalArgumentException

UnimplementedError

See Also:

IntSet.sameValue(com.ibm.wala.util.intset.IntSet)

isSubset

public boolean isSubset(IntSet that)

Specified by:

isSubset in interface IntSet

Returns:

true iff this is a subset of that.

See Also:

IntSet.isSubset(com.ibm.wala.util.intset.IntSet)

copySet

public void copySet(IntSet set)

Description copied from interface: MutableIntSet

Set the value of this to be the same as the value of set

Specified by:

copySet in interface MutableIntSet

addAll

public boolean addAll(IntSet set)
               throws IllegalArgumentException

Description copied from interface: MutableIntSet

Add all members of set to this.

Specified by:

addAll in interface MutableIntSet

Returns:

true iff the value of this changes.

Throws:

IllegalArgumentException

add

public boolean add(int i)

Description copied from interface: MutableIntSet

Add an integer value to this set.

Specified by:

add in interface MutableIntSet

Parameters:

i - integer to add

Returns:

true iff the value of this changes.

remove

public boolean remove(int i)

Description copied from interface: MutableIntSet

Remove an integer from this set.

Specified by:

remove in interface MutableIntSet

Parameters:

i - integer to remove

Returns:

true iff the value of this changes.

intersectWith

public void intersectWith(IntSet set)

Description copied from interface: MutableIntSet

Intersect this with another set.

Specified by:

intersectWith in interface MutableIntSet

sameSharedPart

public static boolean sameSharedPart(MutableSharedBitVectorIntSet a,
                                     MutableSharedBitVectorIntSet b)

toString

public String toString()

Overrides:

toString in class Object

hasSharedPart

public boolean hasSharedPart()

containsAny

public boolean containsAny(IntSet set)

Specified by:

containsAny in interface IntSet

Returns:

true iff this set contains integer i

See Also:

IntSet.containsAny(com.ibm.wala.util.intset.IntSet)

addAllInIntersection

public boolean addAllInIntersection(IntSet other,
                                    IntSet filter)

Specified by:

addAllInIntersection in interface MutableIntSet

clear

public void clear()

Description copied from interface: MutableIntSet

remove all elements from this set

Specified by:

clear in interface MutableIntSet