syster-base 0.4.0-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

use pest::Parser;
use syster::parser::{SysMLParser, sysml::Rule};

#[test]
fn test_assert_constraint_with_expression() {
    let source = r#"
        package Test {
            item def Satellite {
                assert constraint { mass < 1000.0 }
            }
        }
    "#;
    let result = SysMLParser::parse(Rule::file, source);
    assert!(result.is_ok(), "Parse failed: {:?}", result.err());
}

#[test]
fn test_assert_constraint_empty() {
    let source = r#"
        package Test {
            item def Satellite {
                assert constraint { true }
            }
        }
    "#;
    assert!(SysMLParser::parse(Rule::file, source).is_ok());
}