public static class BaseCoverageRecording.Header extends Object
BaseCoverageRecording.Header - the header for CoverageRecording files| Modifier and Type | Field and Description |
|---|---|
protected long |
dbVersion |
protected int |
format |
static int |
REC_FORMAT_VERSION |
static long |
REC_MAGIC |
protected long |
writeTimeStamp |
| Constructor and Description |
|---|
Header(long dbVersion,
long writeTimeStamp,
int format) |
| Modifier and Type | Method and Description |
|---|---|
long |
getDbVersion() |
int |
getFormat() |
long |
getWriteTimeStamp() |
protected void |
read(DataInputStream in) |
String |
toString() |
protected void |
write(DataOutputStream out) |
public static final long REC_MAGIC
public static final int REC_FORMAT_VERSION
protected long dbVersion
protected long writeTimeStamp
protected int format
protected void read(DataInputStream in) throws IOException
IOExceptionprotected void write(DataOutputStream out) throws IOException
IOExceptionpublic long getWriteTimeStamp()
public long getDbVersion()
public int getFormat()
Copyright © 2023 OpenClover.org. All rights reserved.