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 Details

  • Method Details

    • make

      public com.ibm.wala.util.intset.DebuggingMutableIntSet make(int[] set)
      Specified by:
      make in interface MutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
    • parse

      public com.ibm.wala.util.intset.DebuggingMutableIntSet parse(String string)
      Specified by:
      parse in interface MutableIntSetFactory<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 interface MutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
      Throws:
      UnimplementedError
    • make

      public com.ibm.wala.util.intset.DebuggingMutableIntSet make()
      Specified by:
      make in interface MutableIntSetFactory<com.ibm.wala.util.intset.DebuggingMutableIntSet>
    • setPrimaryFactory

      public void setPrimaryFactory(MutableIntSetFactory<?> x)
    • setSecondaryFactory

      public void setSecondaryFactory(MutableIntSetFactory<?> x)