sysml-v2-parser

SysML v2 textual notation parser for Rust. Parses SysML v2 and KerML textual syntax into an AST, with a resilient editor mode that returns partial trees plus diagnostics.

Release notes: CHANGELOG.md.

Features

• Strict parse() and resilient parse_for_editor() entry points
• Broad SysML v2 subset including port-def directed features (in/out/inout attribute and item usages)
• BNF coverage gate: 640 textual productions classified as implemented (docs/BNF_COVERAGE.md)
• Green default test suite; full validation and std-library gates with SysML v2 release fixtures

API

use sysml_v2_parser::parse;

fn main() {
    let model = parse("package Demo;").expect("valid SysML");
    assert_eq!(model.elements.len(), 1);
}

• parse(input) — strict parse; returns Result<RootNamespace, ParseError>
• parse_for_editor(input) — partial AST + diagnostics for editors and language servers

Development

cargo test
cargo clippy -- -W clippy::all

Full validation suite (CI validation job — includes ignored slow/corpus tests):

./scripts/fetch-sysml-v2-release.sh   # or scripts/fetch-sysml-v2-release.ps1
cargo test -- --include-ignored

Set SYSML_V2_RELEASE_DIR if fixtures are not in ./sysml-v2-release.

Optional MBSE vacuum corpus (ignored integration tests; skips when unset):

export MBSE_VACUUM_EXAMPLE_DIR=/path/to/MBSE_AG_vacuum-cleaner-robot-example
cargo test --test vacuuming_types_parse -- --include-ignored

When changing AST fields or body-element shapes, refresh checked-in snapshots in the same PR — see tests/validation/README.md.

Documentation