public final class FixedSizeCoverageRecorder extends BaseCoverageRecorder
activeFlusher, alternateRecName, dbName, dbVersion, flushInterval, flushNeeded, lastFlush, recName, shutdownFlusher, testCoverage, useAlternate, writeStrategyDISABLE_SHUTDOWNHOOK_MASK, DISABLE_SLICE_FLUSHING_MASK, FLUSH_INTERVAL_MASK, FLUSHPOLICY_DIRECTED, FLUSHPOLICY_INTERVAL, FLUSHPOLICY_MASK, FLUSHPOLICY_THREADED, USE_CURRENT_THREADGROUP_MASK| Modifier and Type | Method and Description |
|---|---|
CloverBitSet |
compareCoverageWith(CoverageSnapshot before) |
CloverBitSet |
createEmptyHitsMask() |
static CoverageRecorder |
createFor(File dbFile,
long dbVersion,
int maxNumElements,
long cfgbits)
Factory method.
|
CoverageSnapshot |
getCoverageSnapshot() |
int |
iget(int index) |
void |
inc(int index)
Increment slot at index
|
String |
toString() |
CoverageRecorder |
withCapacityFor(int maxNumElements)
Returns an instance that *may* support recording the number of elements requested (throw growth)
else accepts (but harmlessly) discards recording for elements that can't be accepted.
|
protected String |
write()
Writes coverage data to disk
|
chooseRecordingName, flush, flushNeeded, forceFlush, getDbName, getDbVersion, getRecordingName, getShutdownFlusher, globalSliceEnd, globalSliceEnd, globalSliceStart, globalSliceStart, maybeFlush, sliceEnd, sliceStart, startRun, writegetConfigBits, rethrowpublic static CoverageRecorder createFor(File dbFile, long dbVersion, int maxNumElements, long cfgbits) throws IOException, RegistryFormatException
IOExceptionRegistryFormatExceptionpublic CloverBitSet compareCoverageWith(CoverageSnapshot before)
compareCoverageWith in class CoverageRecorderpublic CloverBitSet createEmptyHitsMask()
createEmptyHitsMask in class CoverageRecorderpublic void inc(int index)
inc in class BaseCoverageRecorderpublic int iget(int index)
iget in class BaseCoverageRecorderprotected String write() throws IOException
BaseCoverageRecorderwrite in class BaseCoverageRecorderIOExceptionpublic CoverageRecorder withCapacityFor(int maxNumElements)
CoverageRecorderwithCapacityFor in class CoverageRecorderpublic CoverageSnapshot getCoverageSnapshot()
getCoverageSnapshot in class CoverageRecorderCopyright © 2023 OpenClover.org. All rights reserved.