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

use syster::ide::AnalysisHost;

fn main() {
    let mut host = AnalysisHost::new();
    host.set_file_content(
        "/test.sysml",
        r#"package Requirements {
    requirement def MassRequirement;
    
    requirement vehicleSpecification {
        requirement vehicleMassRequirement : MassRequirement;
    }
    
    requirement engineSpecification {
        requirement engineMassRequirement : MassRequirement;
    }
    
    #derivation connection {
        end #original ::> vehicleSpecification.vehicleMassRequirement;
        end #derive ::> engineSpecification.engineMassRequirement;
    }
}"#,
    );

    // Get file_id before taking analysis snapshot
    let file_id = host.get_file_id("/test.sysml").expect("file should exist");
    let analysis = host.analysis();

    println!("=== Symbols ===");
    for sym in analysis.symbol_index().all_symbols() {
        println!(
            "  {} ({:?}) @ {}:{}-{}:{}",
            sym.qualified_name, sym.kind, sym.start_line, sym.start_col, sym.end_line, sym.end_col
        );
        for trk in &sym.type_refs {
            for tr in trk.as_refs() {
                println!(
                    "    type_ref: {} @ {}:{}-{}:{}",
                    tr.target, tr.start_line, tr.start_col, tr.end_line, tr.end_col
                );
            }
        }
    }

    println!("\n=== Hover at line 12, col 30 ===");
    match analysis.hover(file_id, 12, 30) {
        Some(h) => println!("Found: {}", h.contents),
        None => println!("Not found"),
    }
}