syster-base 0.2.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
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119

//! Debug test for message event chain resolution
//!
//! Tests `sendSensedSpeed.sourceEvent` pattern - message event chains

use syster::hir::TypeRefKind;
use syster::ide::AnalysisHost;

#[test]
fn test_debug_message_event_chain() {
    let mut host = AnalysisHost::new();

    // Load the Flows library
    let flows_source = include_str!("../sysml.library/Systems Library/Flows.sysml");
    host.set_file_content("stdlib/Flows.sysml", flows_source);

    // Simplified vehicle example with message
    let source = r#"
package TestPkg {
    import Flows::*;
    
    part vehicle {
        port speedSensorPort {
            event sendSpeed.sourceEvent;
        }
        message sendSpeed of Real;
    }
}
"#;
    host.set_file_content("test.sysml", source);
    let analysis = host.analysis();
    let index = analysis.symbol_index();

    println!("\n=== Looking for sendSpeed symbol ===");
    for sym in index.all_symbols() {
        if sym.name.as_ref() == "sendSpeed" {
            println!("Found: {} ({:?})", sym.qualified_name, sym.kind);
            println!("  Supertypes: {:?}", sym.supertypes);
            println!("  Type refs:");
            for trk in &sym.type_refs {
                match trk {
                    TypeRefKind::Simple(tr) => {
                        println!(
                            "    Simple: '{}' kind={:?} resolved={:?}",
                            tr.target, tr.kind, tr.resolved_target
                        );
                    }
                    TypeRefKind::Chain(chain) => {
                        let names: Vec<&str> =
                            chain.parts.iter().map(|p| p.target.as_ref()).collect();
                        println!("    Chain: {:?}", names);
                    }
                }
            }
        }
    }

    println!("\n=== Looking for Message/sourceEvent in stdlib ===");
    for sym in index.all_symbols() {
        if sym.name.as_ref() == "sourceEvent" || sym.name.as_ref() == "Message" {
            println!("Found: {} ({:?})", sym.qualified_name, sym.kind);
        }
    }

    println!("\n=== Looking for chain containing sourceEvent ===");
    for sym in index.all_symbols() {
        for trk in &sym.type_refs {
            if let TypeRefKind::Chain(chain) = trk {
                let names: Vec<&str> = chain.parts.iter().map(|p| p.target.as_ref()).collect();
                if names.contains(&"sourceEvent") {
                    println!("Found chain {:?} on symbol:", names);
                    println!("  Symbol: {} ({:?})", sym.qualified_name, sym.kind);
                    for (i, part) in chain.parts.iter().enumerate() {
                        println!(
                            "    Part {}: '{}' resolved={:?}",
                            i, part.target, part.resolved_target
                        );
                    }
                }
            }
        }
    }

    // Try hover
    let file_id = analysis
        .get_file_id("test.sysml")
        .expect("file should exist");

    // Print the source with line numbers to verify positions
    println!("\n=== Source with line numbers ===");
    for (i, line) in source.lines().enumerate() {
        println!("{}: {}", i, line);
    }

    // Line 6 (0-indexed: 5): event sendSpeed.sourceEvent;
    // Let's check what cols the typeref covers
    println!("\n=== Type ref positions for speedSensorPort ===");
    for sym in index.all_symbols() {
        if sym.name.as_ref() == "speedSensorPort" {
            for trk in &sym.type_refs {
                if let TypeRefKind::Chain(chain) = trk {
                    for part in &chain.parts {
                        println!(
                            "  Part '{}': line {} cols {}-{}",
                            part.target, part.start_line, part.start_col, part.end_col
                        );
                    }
                }
            }
        }
    }

    // Try hovering at different positions on line 6 (0-indexed)
    // The chain is on line 6 (from output: Part 'sendSpeed': line 6 cols 18-27)
    for col in [18u32, 20, 25, 28, 30, 35, 39] {
        let hover = analysis.hover(file_id, 6, col);
        println!("\n=== Hover at line 7 col {} ===", col);
        println!("Hover result: {:?}", hover);
    }
}