object

subprocess_coverage_hook

Subprocess coverage hook object. Loaded in baseline coverage subprocesses to capture lgtunit coverage and persist it to a file.

Availability:

logtalk_load(mutation_testing(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-03-07

Compilation flags:

static, context_switching_calls

Provides:

logtalk::message_hook/4

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates

load_coverage_config/1

Loads a baseline coverage config file and enables coverage collection in the subprocess.

Compilation flags:

static

Template:

load_coverage_config(ConfigFile)

Mode and number of proofs:

load_coverage_config(+atom) - one

---

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

coverage_file_/1

Holds the baseline coverage output file path for the current subprocess.

Compilation flags:

dynamic

Template:

coverage_file_(CoverageFile)

Mode and number of proofs:

coverage_file_(?atom) - zero_or_more

---

coverage_entry_/4

Captured lgtunit coverage for one entity predicate: covered clauses and total clauses.

Compilation flags:

dynamic

Template:

coverage_entry_(Entity,Predicate,CoveredClauses,TotalClauses)

Mode and number of proofs:

coverage_entry_(?entity_identifier,?predicate_indicator,?list(integer),?integer) - zero_or_more

---

Operators

(none)