object

head_arguments_mutation(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 selecting one compile-time bound head argument to mutate.

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

Hook object implementing the head_arguments_mutation mutator by mutating one compile-time bound predicate/non-terminal head argument using the type::mutation/3 predicate.

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
Uses:
type
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)