object

predicate_directive_suppression(Entity,Predicate,DirectiveIndex,Occurrence,PrintMutation)

• Entity - Identifier of the entity being mutated.

• Predicate - Predicate or non-terminal indicator selecting directives.

• DirectiveIndex - 1-based index for the selected matching directive.

• Occurrence - 1-based mutation occurrence index to target within selected matching directives.

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

Hook object implementing the predicate_directive_suppression mutator by suppressing matching predicate or non-terminal directives.

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 directive_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)