.. index:: single: tool_diagnostics_common .. _tool_diagnostics_common/0:

.. rst-class:: right

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 :ref:`tool_diagnostics_protocol <tool_diagnostics_protocol/0>` | Uses: | :ref:`list <list/0>`

| Remarks: | (none)

| Inherited public predicates: |  :ref:`tool_diagnostics_protocol/0::diagnostic/2`  :ref:`tool_diagnostics_protocol/0::diagnostic/3`  :ref:`tool_diagnostics_protocol/0::diagnostic_rule/5`  :ref:`tool_diagnostics_protocol/0::diagnostic_rules/1`  :ref:`tool_diagnostics_protocol/0::diagnostic_target/1`  :ref:`tool_diagnostics_protocol/0::diagnostics/2`  :ref:`tool_diagnostics_protocol/0::diagnostics/3`  :ref:`tool_diagnostics_protocol/0::diagnostics_preflight/2`  :ref:`tool_diagnostics_protocol/0::diagnostics_preflight/3`  :ref:`tool_diagnostics_protocol/0::diagnostics_summary/2`  :ref:`tool_diagnostics_protocol/0::diagnostics_summary/3`  :ref:`tool_diagnostics_protocol/0::diagnostics_tool/5`  

.. contents:: :local: :backlinks: top

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

.. index:: context_summaries/2 .. _tool_diagnostics_common/0::context_summaries/2:

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

---

.. index:: diagnostics_breakdown/2 .. _tool_diagnostics_common/0::diagnostics_breakdown/2:

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)