sofya.ed
Interface BranchCoverageListener

All Known Implementing Classes:
BranchCoverageTrace

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.

Version:
03/17/2006
Author:
Alex Kinneer

Method Summary
 void branchCovered(int id, int branchType)
          Notification that a branch was covered.
 

Method Detail

branchCovered

void branchCovered(int id,
                   int branchType)
Notification that a branch was covered.

Parameters:
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.