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

use syster::ide::AnalysisHost;

fn main() {
    let mut host = AnalysisHost::new();
    let code = r#"package Test {
    part def Controller;
    part def MySignal;
    part def OtherSignal;
    
    state def VehicleState {
        entry; then on;
        
        state on;
        state off;
        
        transition on_To_off
            first on
            accept MySignal
            do send new OtherSignal() to controller
            then off;
            
        ref part controller : Controller;
    }
}"#;
    host.set_file_content("/test.sysml", code);

    let analysis = host.analysis();

    // Check for specific type refs we're looking for
    let mut found_my_signal = false;
    let mut found_other_signal = false;

    for sym in analysis.symbol_index().all_symbols() {
        for trk in &sym.type_refs {
            for tr in trk.as_refs() {
                if &*tr.target == "MySignal"
                    && tr.resolved_target.as_deref() == Some("Test::MySignal")
                {
                    found_my_signal = true;
                }
                if &*tr.target == "OtherSignal"
                    && tr.resolved_target.as_deref() == Some("Test::OtherSignal")
                {
                    found_other_signal = true;
                }
            }
        }
    }

    println!(
        "MySignal from 'accept MySignal' resolved: {}",
        found_my_signal
    );
    println!(
        "OtherSignal from 'send new OtherSignal()' resolved: {}",
        found_other_signal
    );

    if found_my_signal && found_other_signal {
        println!("\n✓ Both accept and send type refs are now working!");
    } else {
        println!("\n✗ Some type refs are still missing");
    }
}