File: Coverage.i3 Last modified on Fri Aug 21 17:28:49 PDT 1992 by kalsow

Coverage generates the tables and code necessary to instrument a module for coverage analysis.

INTERFACE Coverage;

IMPORT Value;

PROCEDURE NoteLine ();

note that the current line (Scanner.offset) will be counted

PROCEDURE NoteProcedure (v: Value.T);

note that procedure v will be counted

PROCEDURE GenerateTables ();

produce the C declarations necessary to hold the profile information

PROCEDURE CountLine ();

generate code to increment the counter associated with the current line (Scanner.offset). For any particular line, NoteLine must be called prior to CountLine.

PROCEDURE CountProcedure (v: Value.T);

generate code to increment the counter associated with procedure v. For any procedure v, NoteProcedure must be called prior to CountProcedure.

PROCEDURE Reset ();

END Coverage.