ontocore_diagnostics/
input.rs1use ontocore_core::{Annotation, Axiom, Diagnostic, Entity, Import, Namespace, OntologyDocument};
2
3#[derive(Debug, Clone, Default)]
5pub struct DiagnosticInput<'a> {
6 pub documents: &'a [OntologyDocument],
7 pub entities: &'a [Entity],
8 pub annotations: &'a [Annotation],
9 pub axioms: &'a [Axiom],
10 pub namespaces: &'a [Namespace],
11 pub imports: &'a [Import],
12}
13
14impl<'a> DiagnosticInput<'a> {
15 pub fn diagnostics(&self) -> Vec<Diagnostic> {
16 crate::engine::collect_diagnostics(self)
17 }
18}