object

cobertura_report

Intercepts unit test execution messages and generates a cobertura.xml 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(cobertura_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

timestamp_/6

Test start date and time.

Compilation flags:

dynamic

Template:

timestamp_(Year,Month,Day,Hours,Minutes,Seconds)

Mode and number of proofs:

timestamp_(?integer,?integer,?integer,?integer,?integer,?integer) - zero_or_one

---

class_/5

Table of entity coverage data.

Compilation flags:

dynamic

Template:

class_(Entity,File,Line,Covered,Total)

Mode and number of proofs:

class_(?entity_identifier,?atom,?integer,?integer,?integer) - zero_or_more

---

method_/7

Table of predicate coverage data.

Compilation flags:

dynamic

Template:

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

Mode and number of proofs:

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

---

lines_covered_/1

Counter for total covered lines.

Compilation flags:

dynamic

Template:

lines_covered_(Covered)

Mode and number of proofs:

lines_covered_(?integer) - zero_or_one

---

lines_total_/1

Counter for total lines.

Compilation flags:

dynamic

Template:

lines_total_(Total)

Mode and number of proofs:

lines_total_(?integer) - zero_or_one

---

summary_/2

Coverage summary with covered and total entity counts.

Compilation flags:

dynamic

Template:

summary_(Covered,Total)

Mode and number of proofs:

summary_(?integer,?integer) - zero_or_one

---

Operators

(none)