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

Interface ICoverage<T extends Counter>

All Known Implementing Classes:
Coverage, FastNonCollidingCoverage
public interface ICoverage<T extends Counter>

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    clear()
    Clears the coverage map.
    org.eclipse.collections.api.list.primitive.IntList
    computeNewCoverage(ICoverage baseline)
    Returns a set of edges in this coverage that don't exist in baseline
    ICoverage<T>
    copy()
     
    Counter
    getCounter()
     
    org.eclipse.collections.api.list.primitive.IntList
    getCovered()
    Returns a collection of branches that are covered.
    int
    getNonZeroCount()
    Returns the number of edges covered.
    int
    nonZeroHashCode()
    Returns a hash code of the list of edges that have been covered at least once.
    int
    size()
    Returns the size of the coverage map.
    boolean
    updateBits(ICoverage that)
    Updates this coverage with bits from the parameter.

  • Method Details

    • size

      int size()
      Returns the size of the coverage map.
      Returns:
      the size of the coverage map

    • getNonZeroCount

      int getNonZeroCount()
      Returns the number of edges covered.
      Returns:
      the number of edges with non-zero counts

    • getCovered

      org.eclipse.collections.api.list.primitive.IntList getCovered()
      Returns a collection of branches that are covered.
      Returns:
      a collection of keys that are covered

    • computeNewCoverage

      org.eclipse.collections.api.list.primitive.IntList computeNewCoverage(ICoverage baseline)
      Returns a set of edges in this coverage that don't exist in baseline
      Parameters:
      baseline - the baseline coverage
      Returns:
      the set of edges that do not exist in baseline

    • clear

      void clear()
      Clears the coverage map.

    • updateBits

      boolean updateBits(ICoverage that)
      Updates this coverage with bits from the parameter.
      Parameters:
      that - the run coverage whose bits to OR
      Returns:
      true iff that is not a subset of this, causing this to change.

    • nonZeroHashCode

      int nonZeroHashCode()
      Returns a hash code of the list of edges that have been covered at least once.
      Returns:
      a hash of non-zero entries

    • getCounter

      Counter getCounter()

    • copy

      ICoverage<T> copy()