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 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
ConstructorDescription -
Method Summary
-
Constructor Details
-
DebuggingMutableIntSetFactory
-
DebuggingMutableIntSetFactory
public DebuggingMutableIntSetFactory()
-
-
Method Details
-
make
public com.ibm.wala.util.intset.DebuggingMutableIntSet make(int[] set) - Specified by:
make
in interfaceMutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
-
parse
- Specified by:
parse
in interfaceMutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
-
makeCopy
@NullUnmarked public @Nullable 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
-
setSecondaryFactory
-