public interface GlobalRecordingWriteStrategy
| Modifier and Type | Field and Description |
|---|---|
static GlobalRecordingWriteStrategy |
WRITE_TO_FILE |
| Modifier and Type | Method and Description |
|---|---|
String |
write(String recordingFileName,
long dbVersion,
long lastFlush,
int[][] hits,
int elementCount) |
static final GlobalRecordingWriteStrategy WRITE_TO_FILE
String write(String recordingFileName, long dbVersion, long lastFlush, int[][] hits, int elementCount) throws IOException
IOExceptionCopyright © 2023 OpenClover.org. All rights reserved.