sofya.ed
Interface BlockCoverageListener

All Known Implementing Classes:

BlockCoverageTrace

public interface BlockCoverageListener

A basic block coverage listener is issued notifications by an event dispatcher that are sufficient to guarantee that all basic blocks that were executed are reported as covered.

For any given basic block, the event dispatcher offers no guarantee that the number of times a coverage event is raised is equal to the number of times the basic block was actually executed. It is only guaranteed that if a basic block is executed, the coverage event will be raised at least once for that block. This design is intentional and enables the best performance.

Version:

03/17/2006

Author:

Alex Kinneer

Method Summary

void	blockCovered(int id, int blockType) Notification that a basic block was covered.

Method Detail

blockCovered

void blockCovered(int id,
                  int blockType)

Notification that a basic block was covered.

Parameters:

id - Identifier of the basic block that was executed. Correlates to the basic block identifiers reported in a CFG.

blockType - The type of the basic block that was executed. See SConstants.BlockType.