public class DelayedRecorder extends CoverageRecorder
CoverageRecorder
has been requested. The request should be honored and coverage recording should start
once Clover finishes initialisation.DISABLE_SHUTDOWNHOOK_MASK, DISABLE_SLICE_FLUSHING_MASK, FLUSH_INTERVAL_MASK, FLUSHPOLICY_DIRECTED, FLUSHPOLICY_INTERVAL, FLUSHPOLICY_MASK, FLUSHPOLICY_THREADED, USE_CURRENT_THREADGROUP_MASK| Constructor and Description |
|---|
DelayedRecorder(String initString,
long dbVersion,
long cfgbits,
int maxNumElements,
CloverProfile[] profiles,
String... nvpProperties) |
| Modifier and Type | Method and Description |
|---|---|
CloverBitSet |
compareCoverageWith(CoverageSnapshot before) |
CloverBitSet |
createEmptyHitsMask() |
void |
flush() |
void |
flushNeeded() |
void |
forceFlush() |
CoverageSnapshot |
getCoverageSnapshot() |
String |
getDbName() |
long |
getDbVersion() |
String |
getRecordingName() |
void |
globalSliceEnd(String runtimeType,
String method,
String runtimeTestName,
int id) |
void |
globalSliceEnd(String runtimeType,
String method,
String runtimeTestName,
int id,
int exitStatus,
Throwable throwable) |
void |
globalSliceStart(String runtimeType,
int id) |
void |
globalSliceStart(String runtimeType,
int id,
long startTime) |
int |
iget(int index) |
void |
inc(int index)
Increment slot at index
|
void |
maybeFlush() |
void |
sliceEnd(String runtimeType,
String method,
String runtimeTestName,
long ts,
int id,
int rid,
int exitStatus,
ErrorInfo errorInfo) |
void |
sliceStart(String runtimeType,
long ts,
int id,
int rid) |
void |
startRun() |
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.
|
getConfigBits, rethrowpublic DelayedRecorder(String initString, long dbVersion, long cfgbits, int maxNumElements, CloverProfile[] profiles, String... nvpProperties)
public String getDbName()
getDbName in class CoverageRecorderpublic String getRecordingName()
getRecordingName in class CoverageRecorderpublic long getDbVersion()
getDbVersion in class CoverageRecorderpublic CloverBitSet compareCoverageWith(CoverageSnapshot before)
compareCoverageWith in class CoverageRecorderpublic CloverBitSet createEmptyHitsMask()
createEmptyHitsMask in class CoverageRecorderpublic void startRun()
startRun in class CoverageRecorderpublic void flushNeeded()
flushNeeded in class CoverageRecorderpublic void maybeFlush()
maybeFlush in class CoverageRecorderpublic void forceFlush()
forceFlush in class CoverageRecorderpublic void flush()
flush in class CoverageRecorderpublic void sliceStart(String runtimeType, long ts, int id, int rid)
sliceStart in class CoverageRecorderpublic void sliceEnd(String runtimeType, String method, String runtimeTestName, long ts, int id, int rid, int exitStatus, ErrorInfo errorInfo)
sliceEnd in class CoverageRecorderpublic void inc(int index)
CoverageRecorderinc in class CoverageRecorderpublic int iget(int index)
iget in class CoverageRecorderpublic CoverageRecorder withCapacityFor(int maxNumElements)
CoverageRecorderwithCapacityFor in class CoverageRecorderpublic void globalSliceStart(String runtimeType, int id)
globalSliceStart in class CoverageRecorderpublic void globalSliceStart(String runtimeType, int id, long startTime)
globalSliceStart in class CoverageRecorderpublic void globalSliceEnd(String runtimeType, String method, String runtimeTestName, int id)
globalSliceEnd in class CoverageRecorderpublic void globalSliceEnd(String runtimeType, String method, String runtimeTestName, int id, int exitStatus, Throwable throwable)
globalSliceEnd in class CoverageRecorderpublic CoverageSnapshot getCoverageSnapshot()
getCoverageSnapshot in class CoverageRecorderCopyright © 2023 OpenClover.org. All rights reserved.