public class RegContents extends Object
| Constructor and Description |
|---|
RegContents(RandomAccessFile file,
long coverageLocation,
long lastSessionLocation,
long minSessionPosition) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
CoverageSegment |
getCoverage() |
Iterable<InstrSessionSegment> |
getSessions() |
public RegContents(RandomAccessFile file, long coverageLocation, long lastSessionLocation, long minSessionPosition)
public CoverageSegment getCoverage()
public Iterable<InstrSessionSegment> getSessions()
public void close()
throws IOException
IOExceptionCopyright © 2024 OpenClover.org. All rights reserved.