tool_diagnostics_common — Logtalk 3.100.1

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)