public abstract class BaseCoverageRecording extends Object implements CoverageRecording
| Modifier and Type | Class and Description |
|---|---|
static class |
BaseCoverageRecording.Header
BaseCoverageRecording.Header - the header for CoverageRecording files |
| Modifier and Type | Field and Description |
|---|---|
protected File |
fileOnDisk |
protected BaseCoverageRecording.Header |
header |
| Constructor and Description |
|---|
BaseCoverageRecording(BaseCoverageRecording.Header header,
File fileOnDisk) |
| Modifier and Type | Method and Description |
|---|---|
protected File |
createCoverageFolderFor(File file) |
long |
getDbVersion() |
File |
getFile() |
int |
getFormat() |
long |
getWriteTimeStamp() |
protected final BaseCoverageRecording.Header header
protected final File fileOnDisk
public BaseCoverageRecording(BaseCoverageRecording.Header header, File fileOnDisk)
public long getDbVersion()
getDbVersion in interface CoverageRecordingpublic long getWriteTimeStamp()
public int getFormat()
getFormat in interface CoverageRecordingprotected File createCoverageFolderFor(File file) throws IOException
IOExceptionpublic File getFile()
Copyright © 2023 OpenClover.org. All rights reserved.