object

fail_insertion(Entity,Predicate,ClauseIndex,Occurrence,PrintMutation)

• Entity - Identifier of the entity being mutated.

• Predicate - Predicate or non-terminal indicator selecting clauses to mutate.

• ClauseIndex - 1-based clause index for the selected mutation (equal to Occurrence for this mutator).

• Occurrence - 1-based mutation occurrence index to target within selected predicate clauses.

• PrintMutation - Boolean flag to print the original and mutated term plus source location.

Hook object implementing the fail_insertion mutator by inserting fail at deterministic body positions for matching predicate clauses.

Availability:

logtalk_load(mutation_testing(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-03-20

Compilation flags:

static, context_switching_calls

Implements:

public expanding

public clause_mutator_protocol

Imports:

public mutator_common

Remarks:

(none)

Inherited public predicates:

 coverage_clause_mutator/0  goal_expansion/2  mutation/2  reset/0  term_expansion/2

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)