Package edu.berkeley.cs.jqf.fuzz.util

Class NonZeroCachingCounter

  • public class NonZeroCachingCounter
extends Counter
    An extension of Counter that caches which entries are non-zero.

    This version of counter is used by classes such as Coverage, which require frequent queries of the non-zero locations.

    • Constructor Detail

      • NonZeroCachingCounter

        public NonZeroCachingCounter​(int size)

    • Method Detail

      • clear

        public void clear()
        Description copied from class: Counter
        Clears the counter by setting all values to zero.
        Overrides:
        clear in class Counter

      • incrementAtIndex

        public int incrementAtIndex​(int index,
                            int delta)
        Overrides:
        incrementAtIndex in class Counter

      • getNonZeroSize

        public int getNonZeroSize()
        Description copied from class: Counter
        Returns the number of indices with non-zero counts.
        Overrides:
        getNonZeroSize in class Counter
        Returns:
        the number of indices with non-zero counts

      • hasNonZeros

        public boolean hasNonZeros()
        Description copied from class: Counter
        Checks if all indices have zero counts and returns a boolean as result.
        Overrides:
        hasNonZeros in class Counter
        Returns:
        true if some indices have non-zero counts, otherwise false.

      • getNonZeroIndices

        public org.eclipse.collections.api.list.primitive.IntList getNonZeroIndices()
        Description copied from class: Counter
        Returns a set of indices at which the count is non-zero.

        Note that indices are different from keys, in that multiple keys can map to the same index due to hash collisions.

        Overrides:
        getNonZeroIndices in class Counter
        Returns:
        a set of indices at which the count is non-zero

      • getNonZeroValues

        public org.eclipse.collections.api.list.primitive.IntList getNonZeroValues()
        Description copied from class: Counter
        Returns a set of non-zero count values in this counter.
        Overrides:
        getNonZeroValues in class Counter
        Returns:
        a set of non-zero count values in this counter.

      • setAtIndex

        public void setAtIndex​(int index,
                       int newValue)
        Overrides:
        setAtIndex in class Counter