|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface BranchCoverageListener
A branch coverage listener is issued notifications by an event dispatcher that are sufficient to guarantee that all branches that were executed are reported as covered.
For any given branch, the event dispatcher offers no guarantee that the number of times a coverage event is raised is equal to the number of times the branch was actually executed. It is only guaranteed that if a branch is executed, the coverage event will be raised at least once for that branch. This design is intentional and enables the best performance.
Method Summary | |
---|---|
void |
branchCovered(int id,
int branchType)
Notification that a branch was covered. |
Method Detail |
---|
void branchCovered(int id, int branchType)
id
- Identifier of the branch that was executed. Correlates
to the branch identifiers reported in a
CFG
.branchType
- The type of the branch that was executed. See
SConstants.BranchType
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |