Common/Diagnostic/mod.rs
1// File: Common/Source/Diagnostic/mod.rs
2// Role: Public module interface for the Diagnostic service contract.
3// Responsibilities:
4// - Expose all necessary traits and effect constructors related to
5// diagnostics.
6
7//! # Diagnostic Service
8//!
9//! This module defines the abstract contract for the Diagnostic service, which
10//! is responsible for managing problems like errors and warnings detected in
11//! the workspace. It includes the `DiagnosticManager` trait and the
12//! `ActionEffect` constructors for all diagnostic operations.
13
14#![allow(non_snake_case, non_camel_case_types)]
15
16// --- Trait Definition ---
17pub mod DiagnosticManager;
18
19// --- Effect Constructors ---
20pub mod ClearDiagnostics;
21
22pub mod GetAllDiagnostics;
23
24pub mod SetDiagnostics;