Package com.ibm.wala.util.intset
Class DebuggingMutableIntSetFactory
- java.lang.Object
-
- com.ibm.wala.util.intset.DebuggingMutableIntSetFactory
-
- All Implemented Interfaces:
MutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
public class DebuggingMutableIntSetFactory extends java.lang.Object implements MutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
A debugging factory that creates debugging bitsets that are implemented as two bitsets that perform consistency checks for every operation.
-
-
Constructor Summary
Constructors Constructor Description DebuggingMutableIntSetFactory()
DebuggingMutableIntSetFactory(MutableIntSetFactory<?> p, MutableIntSetFactory<?> s)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description com.ibm.wala.util.intset.DebuggingMutableIntSet
make()
com.ibm.wala.util.intset.DebuggingMutableIntSet
make(int[] set)
com.ibm.wala.util.intset.DebuggingMutableIntSet
makeCopy(IntSet x)
com.ibm.wala.util.intset.DebuggingMutableIntSet
parse(java.lang.String string)
void
setPrimaryFactory(MutableIntSetFactory<?> x)
void
setSecondaryFactory(MutableIntSetFactory<?> x)
-
-
-
Constructor Detail
-
DebuggingMutableIntSetFactory
public DebuggingMutableIntSetFactory(MutableIntSetFactory<?> p, MutableIntSetFactory<?> s)
-
DebuggingMutableIntSetFactory
public DebuggingMutableIntSetFactory()
-
-
Method Detail
-
make
public com.ibm.wala.util.intset.DebuggingMutableIntSet make(int[] set)
- Specified by:
make
in interfaceMutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
-
parse
public com.ibm.wala.util.intset.DebuggingMutableIntSet parse(java.lang.String string)
- Specified by:
parse
in interfaceMutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
-
makeCopy
public com.ibm.wala.util.intset.DebuggingMutableIntSet makeCopy(IntSet x) throws UnimplementedError
- Specified by:
makeCopy
in interfaceMutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
- Throws:
UnimplementedError
-
make
public com.ibm.wala.util.intset.DebuggingMutableIntSet make()
- Specified by:
make
in interfaceMutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
-
setPrimaryFactory
public void setPrimaryFactory(MutableIntSetFactory<?> x)
-
setSecondaryFactory
public void setSecondaryFactory(MutableIntSetFactory<?> x)
-
-