public class FileBasedGlobalCoverageRecording extends BaseCoverageRecording implements LiveGlobalCoverageRecording
BaseCoverageRecording.HeaderfileOnDisk, headerALT_SUFFIX, FORMAT| Constructor and Description |
|---|
FileBasedGlobalCoverageRecording(String path,
long dbVersion,
long timeStamp,
int[][] elements,
int numElements) |
| Modifier and Type | Method and Description |
|---|---|
String |
write()
Write the coverage in some way to somewhere, returning a memento of the operation (to log)
|
createCoverageFolderFor, getDbVersion, getFile, getFormat, getWriteTimeStampclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetDbVersion, getFormatpublic FileBasedGlobalCoverageRecording(String path, long dbVersion, long timeStamp, int[][] elements, int numElements)
public String write() throws IOException
LiveGlobalCoverageRecordingwrite in interface LiveGlobalCoverageRecordingIOExceptionCopyright © 2023 OpenClover.org. All rights reserved.