com.ibm.wala.util.intset

Class BitVectorIntSetFactory

java.lang.Object

com.ibm.wala.util.intset.BitVectorIntSetFactory

All Implemented Interfaces:

MutableIntSetFactory<BitVectorIntSet>

public class BitVectorIntSetFactory
extends Object
implements MutableIntSetFactory<BitVectorIntSet>

Constructor Summary

Constructors

Constructor and Description
BitVectorIntSetFactory()

Method Summary

Modifier and Type	Method and Description
BitVectorIntSet	make()
BitVectorIntSet	make(int[] set)
BitVectorIntSet	makeCopy(IntSet x)
BitVectorIntSet	parse(String string)

Methods inherited from class java.lang.Object

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

Constructor Detail

BitVectorIntSetFactory

public BitVectorIntSetFactory()

Method Detail

make

public BitVectorIntSet make(int[] set)

Specified by:

make in interface MutableIntSetFactory<BitVectorIntSet>

Throws:

IllegalArgumentException - if set is null

parse

public BitVectorIntSet parse(String string)
                      throws NumberFormatException

Specified by:

parse in interface MutableIntSetFactory<BitVectorIntSet>

Throws:

NumberFormatException

makeCopy

public BitVectorIntSet makeCopy(IntSet x)
                         throws IllegalArgumentException

Specified by:

makeCopy in interface MutableIntSetFactory<BitVectorIntSet>

Throws:

IllegalArgumentException

make

public BitVectorIntSet make()

Specified by:

make in interface MutableIntSetFactory<BitVectorIntSet>