Package soot.toolkits.scalar

Class ArrayPackedSet<T>

java.lang.Object

soot.toolkits.scalar.AbstractFlowSet<T>

soot.toolkits.scalar.AbstractBoundedFlowSet<T>

soot.toolkits.scalar.ArrayPackedSet<T>

All Implemented Interfaces:

Iterable<T>, BoundedFlowSet<T>, FlowSet<T>

public class ArrayPackedSet<T>
extends AbstractBoundedFlowSet<T>

Reference implementation for a BoundedFlowSet. Items are stored in an Array.

Field Summary

Fields

Modifier and Type	Field	Description
protected BitSet	bits
protected ObjectIntMapper<T>	map

Constructor Summary

Constructors

Constructor	Description
ArrayPackedSet(FlowUniverse<T> universe)

Method Summary

Modifier and Type	Method	Description
void	add(T obj)	Adds obj to this.
void	clear()	implemented, but *very* inefficient.
ArrayPackedSet<T>	clone()	Clones the current FlowSet.
void	complement(FlowSet<T> destFlow)	Complements this BoundedFlowSet, putting the result into dest.
boolean	contains(T obj)	Returns true, if the object is in the set.
void	copy(FlowSet<T> destFlow)	Copies the current FlowSet into dest.
void	difference(FlowSet<T> otherFlow, FlowSet<T> destFlow)	Returns the set difference (this intersect ~other) of this FlowSet and other, putting result into dest.
FlowSet<T>	emptySet()	implemented, but inefficient.
boolean	equals(Object otherFlow)
void	intersection(FlowSet<T> otherFlow, FlowSet<T> destFlow)	Returns the intersection (meet) of this FlowSet and other, putting result into dest.
boolean	isEmpty()	Returns true if this FlowSet is the empty set.
boolean	isSubSet(FlowSet<T> other)	Returns true if the other FlowSet is a subset of this FlowSet.
Iterator<T>	iterator()	returns an iterator over the elements of the flowSet.
void	remove(T obj)	Removes obj from this.
int	size()	Returns the size of the current FlowSet.
List<T>	toList()	Returns an unbacked list of contained objects for this FlowSet.
List<T>	toList(int lowInclusive, int highInclusive)
void	union(FlowSet<T> otherFlow, FlowSet<T> destFlow)	Returns the union (join) of this FlowSet and other, putting result into dest.

Methods inherited from class soot.toolkits.scalar.AbstractBoundedFlowSet

complement, topSet

Methods inherited from class soot.toolkits.scalar.AbstractFlowSet

add, difference, hashCode, intersection, remove, toString, union

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface soot.toolkits.scalar.FlowSet

add, copyFreshToExisting, difference, intersection, remove, union

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

map

protected final ObjectIntMapper<T> map

bits

protected final BitSet bits

Constructor Detail

ArrayPackedSet

public ArrayPackedSet(FlowUniverse<T> universe)

Method Detail

clone

public ArrayPackedSet<T> clone()

Description copied from interface: FlowSet

Clones the current FlowSet.

Specified by:

clone in interface FlowSet<T>

Specified by:

clone in class AbstractFlowSet<T>

emptySet

public FlowSet<T> emptySet()

Description copied from class: AbstractFlowSet

implemented, but inefficient.

Specified by:

emptySet in interface FlowSet<T>

Overrides:

emptySet in class AbstractFlowSet<T>

size

public int size()

Description copied from interface: FlowSet

Returns the size of the current FlowSet.

Specified by:

size in interface FlowSet<T>

Specified by:

size in class AbstractFlowSet<T>

isEmpty

public boolean isEmpty()

Description copied from interface: FlowSet

Returns true if this FlowSet is the empty set.

Specified by:

isEmpty in interface FlowSet<T>

Specified by:

isEmpty in class AbstractFlowSet<T>

clear

public void clear()

Description copied from class: AbstractFlowSet

implemented, but *very* inefficient.

Specified by:

clear in interface FlowSet<T>

Overrides:

clear in class AbstractFlowSet<T>

toList

public List<T> toList(int lowInclusive,
                      int highInclusive)

toList

public List<T> toList()

Description copied from interface: FlowSet

Returns an unbacked list of contained objects for this FlowSet.

Specified by:

toList in interface FlowSet<T>

Specified by:

toList in class AbstractFlowSet<T>

add

public void add(T obj)

Description copied from interface: FlowSet

Adds obj to this.

Specified by:

add in interface FlowSet<T>

Specified by:

add in class AbstractFlowSet<T>

complement

public void complement(FlowSet<T> destFlow)

Description copied from interface: BoundedFlowSet

Complements this BoundedFlowSet, putting the result into dest. dest and this may be the same object.

Specified by:

complement in interface BoundedFlowSet<T>

Overrides:

complement in class AbstractBoundedFlowSet<T>

remove

public void remove(T obj)

Description copied from interface: FlowSet

Removes obj from this.

Specified by:

remove in interface FlowSet<T>

Specified by:

remove in class AbstractFlowSet<T>

isSubSet

public boolean isSubSet(FlowSet<T> other)

Description copied from interface: FlowSet

Returns true if the other FlowSet is a subset of this FlowSet.

Specified by:

isSubSet in interface FlowSet<T>

Overrides:

isSubSet in class AbstractFlowSet<T>

union

public void union(FlowSet<T> otherFlow,
                  FlowSet<T> destFlow)

Description copied from interface: FlowSet

Returns the union (join) of this FlowSet and other, putting result into dest. dest, other and this could be the same object.

Specified by:

union in interface FlowSet<T>

Overrides:

union in class AbstractFlowSet<T>

difference

public void difference(FlowSet<T> otherFlow,
                       FlowSet<T> destFlow)

Description copied from interface: FlowSet

Returns the set difference (this intersect ~other) of this FlowSet and other, putting result into dest. dest, other and this could be the same object.

Specified by:

difference in interface FlowSet<T>

Overrides:

difference in class AbstractFlowSet<T>

intersection

public void intersection(FlowSet<T> otherFlow,
                         FlowSet<T> destFlow)

Description copied from interface: FlowSet

Returns the intersection (meet) of this FlowSet and other, putting result into dest. dest, other and this could be the same object.

Specified by:

intersection in interface FlowSet<T>

Overrides:

intersection in class AbstractFlowSet<T>

contains

public boolean contains(T obj)

Returns true, if the object is in the set.

Specified by:

contains in interface FlowSet<T>

Specified by:

contains in class AbstractFlowSet<T>

equals

public boolean equals(Object otherFlow)

Overrides:

equals in class AbstractFlowSet<T>

copy

public void copy(FlowSet<T> destFlow)

Description copied from interface: FlowSet

Copies the current FlowSet into dest.

Specified by:

copy in interface FlowSet<T>

Overrides:

copy in class AbstractFlowSet<T>

iterator

public Iterator<T> iterator()

Description copied from interface: FlowSet

returns an iterator over the elements of the flowSet. Note that the iterator might be backed, and hence be faster in the creation, than doing toList().iterator().

Specified by:

iterator in interface FlowSet<T>

Specified by:

iterator in interface Iterable<T>

Specified by:

iterator in class AbstractFlowSet<T>