object

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

• Entity - Identifier of the entity being mutated.

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

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

• Occurrence - 1-based mutation occurrence index selecting which matching resource to delete.

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

Hook object implementing the uses_directive_resource_deletion mutator by deleting one matching resource from a uses/2 directive.

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)