object

lcov_report

Intercepts unit test execution messages and generates a lcov.info file with code coverage results.

Availability:

logtalk_load(lgtunit(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-03-13

Compilation flags:

static, context_switching_calls

Provides:

logtalk::message_hook/4

Uses:

logtalk

Remarks:

• Usage: Simply load this object before running your tests using the goal logtalk_load(lgtunit(lcov_report)).

Inherited public predicates:

(none)

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

entity_file_/2

Table of entity source files.

Compilation flags:

dynamic

Template:

entity_file_(Entity,File)

Mode and number of proofs:

entity_file_(?entity_identifier,?atom) - zero_or_more

---

predicate_coverage_/7

Table of predicate coverage data.

Compilation flags:

dynamic

Template:

predicate_coverage_(Entity,Predicate,Line,Covered,Total,Percentage,Clauses)

Mode and number of proofs:

predicate_coverage_(?entity_identifier,?predicate_indicator,?integer,?integer,?integer,?float,?list) - zero_or_more

---

Operators

(none)