syster-base 0.2.3-alpha

Core library for SysML v2 and KerML parsing, AST, and semantic analysis
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

//! High-level IR (HIR) — Semantic model with Salsa queries.
//!
//! This module contains the incremental computation engine using Salsa.
//! All semantic analysis is expressed as queries that are automatically
//! memoized and invalidated when inputs change.
//!
//! ## Key Types
//!
//! - [`Db`] — The Salsa database trait defining all queries
//! - [`RootDatabase`] — Concrete implementation of the database
//! - [`DefId`] — Identifier for a definition (part, port, action, etc.)
//! - [`HirSymbol`] — A symbol extracted from the AST
//! - [`SymbolIndex`] — Workspace-wide symbol index for name resolution
//! - [`Resolver`] — Name resolver with import handling
//!
//! ## Query Layers
//!
//! ```text
//! file_text(file)           ← INPUT: raw source text
//!     │
//!     ▼
//! parse(file)               ← Parse into AST (per-file)
//!     │
//!     ▼
//! file_symbols(file)        ← Extract symbols (per-file)
//!     │
//!     ▼
//! symbol_index              ← Workspace-wide index
//!     │
//!     ▼
//! resolve_name(scope, name) ← Name resolution
//!     │
//!     ▼
//! file_diagnostics(file)    ← Semantic errors
//! ```

mod db;
mod diagnostics;
mod ids;
mod input;
mod resolve;
mod source;
mod symbols;
mod views;

pub use db::{
    FileText, ParseResult, RootDatabase, SourceRootInput, file_symbols, file_symbols_from_text,
    parse_file,
};
pub use diagnostics::{
    Diagnostic, DiagnosticCollector, RelatedInfo, SemanticChecker, Severity, check_file,
};
pub use ids::{DefId, LocalDefId};
pub use input::SourceRoot;
pub use resolve::{ResolveResult, Resolver, SymbolIndex};
pub use source::FileSet;
pub use symbols::{
    ExtractionResult, HirRelationship, HirSymbol, RefKind, RelationshipKind, SymbolKind, TypeRef,
    TypeRefChain, TypeRefKind, extract_symbols_unified, extract_with_filters, new_element_id,
};
pub use views::{
    ExposeRelationship, FilterCondition, ImportPath, MetadataFilter, RenderingDefinition,
    RenderingSpec, RenderingUsage, ViewData, ViewDefinition, ViewUsage, ViewpointDefinition,
    ViewpointUsage, WildcardKind,
};