public final class SharedCoverageRecorder extends GrowableCoverageRecorder
GrowableCoverageRecorder.FixedProxyactiveFlusher, 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 |
|---|---|
static CoverageRecorder |
createFor(String dbName,
long dbVersion,
long cfgbits,
int maxNumElements)
Factory method.
|
String |
toString() |
compareCoverageWith, createEmptyHitsMask, getCoverageSnapshot, iget, inc, withCapacityFor, writechooseRecordingName, flush, flushNeeded, forceFlush, getDbName, getDbVersion, getRecordingName, getShutdownFlusher, globalSliceEnd, globalSliceEnd, globalSliceStart, globalSliceStart, maybeFlush, sliceEnd, sliceStart, startRun, writegetConfigBits, rethrowpublic static CoverageRecorder createFor(String dbName, long dbVersion, long cfgbits, int maxNumElements)
public String toString()
toString in class GrowableCoverageRecorderCopyright © 2023 OpenClover.org. All rights reserved.