coverage_data/1 [development]coverage_data(-Data)
Data is the coverage data accumulated so far.
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.