public interface ApplicationCoverage extends CoverageDataProvider
| Modifier and Type | Method and Description |
|---|---|
void |
addCoverage(GlobalCoverageRecordingTranscript recording) |
int |
getCoverageSize() |
getHitCountint getCoverageSize()
void addCoverage(GlobalCoverageRecordingTranscript recording)
Copyright © 2024 OpenClover.org. All rights reserved.