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
All Methods Instance Methods Abstract Methods 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 baselineICoverage<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 Detail
-
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
iffthat
is not a subset ofthis
, causingthis
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()
-
-