Next: mpg-ref-create_mutable, Previous: mpg-ref-copy_term, Up: mpg-bpr [Contents][Index]
coverage_data/1 developmentcoverage_data(-Data) since release 4.2
Data is the coverage data accumulated so far.
list of coverage_pair
where:
| coverage_pair | ::= counter(filename,pred_spec,clauseno,lineno)-tagged_hits |
| filename | ::= atom {file containing coverage site} |
| clauseno | ::= integer {file relative clause number containing coverage site} |
| lineno | ::= integer {line of code containing coverage site} |
| tagged_hits | ::= det(hits) {no nondet calls made from site} |
| nondet(hits) {some nondet calls made from site} | |
| hits | ::= integer {number of times that coverage site was hit} |
The coverage data accumulated so far is collected into a term of type list of coverage_pair and unified with Data.
Please note: A given line of code can contain more than one coverage site.
None.