Class 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 Detail

      • DebuggingMutableIntSetFactory

        public DebuggingMutableIntSetFactory()
    • Method Detail

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

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