Package 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	Description
BitVectorIntSetFactory()

Method Summary

Modifier and Type	Method	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 Details

BitVectorIntSetFactory

public BitVectorIntSetFactory()

Method Details

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>