Next: , Previous: , Up: mpg-bpr   [Contents][Index]


11.3.45 coverage_data/1   development

Synopsis

coverage_data(-Data)   since release 4.2

Data is the coverage data accumulated so far.

Arguments

Data

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}

Description

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.

Exceptions

None.

See Also

Coverage Analysis.


Send feedback on this subject.