public class FileBasedCoverageRecordingTranscript extends BaseCoverageRecording implements GlobalCoverageRecordingTranscript
BaseCoverageRecording.Header| Modifier and Type | Field and Description |
|---|---|
protected long |
coverageSum |
protected int[] |
hitCounts |
fileOnDisk, headerALT_SUFFIX, FORMAT| Constructor and Description |
|---|
FileBasedCoverageRecordingTranscript(BaseCoverageRecording.Header header,
File fileOnDisk) |
| Modifier and Type | Method and Description |
|---|---|
int |
addTo(int[] coverage) |
int |
get(int slotIndex) |
int |
getCount() |
long |
getCoverageSum() |
void |
read(DataInputStream in,
CoverageDataSpec spec) |
String |
toString() |
createCoverageFolderFor, getDbVersion, getFile, getFormat, getWriteTimeStampclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetWriteTimeStampgetDbVersion, getFormatpublic FileBasedCoverageRecordingTranscript(BaseCoverageRecording.Header header, File fileOnDisk)
public long getCoverageSum()
getCoverageSum in interface GlobalCoverageRecordingTranscriptpublic void read(DataInputStream in, CoverageDataSpec spec) throws IOException
read in interface RecordingTranscriptIOExceptionpublic int get(int slotIndex)
get in interface GlobalCoverageRecordingTranscriptpublic int getCount()
getCount in interface GlobalCoverageRecordingTranscriptpublic int addTo(int[] coverage)
addTo in interface GlobalCoverageRecordingTranscriptCopyright © 2024 OpenClover.org. All rights reserved.