category

tool_diagnostics_common

Default definitions for diagnostics targets, rule enumeration, and summary/breakdown helpers.

Availability:
logtalk_load(tool_diagnostics(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-04-01
Compilation flags:
static
Implements:
public tool_diagnostics_protocol
Uses:
list
Remarks:
(none)
Inherited public predicates:
 diagnostic/2  diagnostic/3  diagnostic_rule/5  diagnostic_rules/1  diagnostic_target/1  diagnostics/2  diagnostics/3  diagnostics_preflight/2  diagnostics_preflight/3  diagnostics_summary/2  diagnostics_summary/3  diagnostics_tool/5

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

context_summaries/2

Returns a list of context summary terms for a list of diagnostics.

Compilation flags:
static
Template:
context_summaries(Diagnostics,ContextSummaries)
Mode and number of proofs:
context_summaries(+list(compound),-list(compound)) - one

diagnostics_breakdown/2

Returns a breakdown term with rule, severity, and confidence counts for a list of diagnostics.

Compilation flags:
static
Template:
diagnostics_breakdown(Diagnostics,Breakdown)
Mode and number of proofs:
diagnostics_breakdown(+list(compound),-compound) - one

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)