public class RecordingTranscripts extends Object
Modifier and Type | Class and Description |
---|---|
static class |
RecordingTranscripts.FileRef |
static class |
RecordingTranscripts.Filter |
Modifier and Type | Field and Description |
---|---|
static String |
NUM_R36 |
static String |
SLICE_SUFFIX |
static Pattern |
sliceRecordingSuffix |
static String |
STD_REC_SUFFIX |
static Pattern |
stdRecordingSuffix |
Constructor and Description |
---|
RecordingTranscripts() |
Modifier and Type | Method and Description |
---|---|
static RecordingTranscripts.FileRef |
fromFile(File dir,
String filename,
String dbname) |
static GlobalCoverageRecordingTranscript |
readCoverageFromDisk(File file,
CoverageDataSpec spec) |
static GlobalCoverageRecordingTranscript |
readCoverageFromDisk(File dir,
String file,
CoverageDataSpec spec) |
static PerTestRecordingTranscript |
readSliceFromDisk(File dir,
String file,
CoverageDataSpec spec) |
public static final String NUM_R36
public static final String STD_REC_SUFFIX
public static final String SLICE_SUFFIX
public static Pattern stdRecordingSuffix
public static Pattern sliceRecordingSuffix
public static GlobalCoverageRecordingTranscript readCoverageFromDisk(File file, CoverageDataSpec spec) throws IOException
IOException
public static GlobalCoverageRecordingTranscript readCoverageFromDisk(File dir, String file, CoverageDataSpec spec) throws IOException
IOException
public static PerTestRecordingTranscript readSliceFromDisk(File dir, String file, CoverageDataSpec spec) throws IOException
IOException
public static RecordingTranscripts.FileRef fromFile(File dir, String filename, String dbname)
Copyright © 2023 OpenClover.org. All rights reserved.