object

coverage_report

Intercepts unit test execution messages and generates a coverage_report.xml file with a test suite code coverage results.

Availability:

logtalk_load(lgtunit(loader))

Author: Paulo Moura

Version: 3:2:0

Date: 2023-04-11

Compilation flags:

static, context_switching_calls

Provides:

logtalk::message_hook/4

Uses:

logtalk

user

Remarks:

• Usage: Simply load this object before running your tests using the goal logtalk_load(lgtunit(coverage_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

Cache of the starting tests timestamp.

Compilation flags:

dynamic

Template:

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

Mode and number of proofs:

timestamp_(-integer,-integer,-integer,-integer,-integer,-integer) - one

---

object_file_/2

Cache of test object - file pairs.

Compilation flags:

dynamic

Template:

object_file_(Object,File)

Mode and number of proofs:

object_file_(?object_identifier,?atom) - zero_or_more

---

Operators

(none)