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