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
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

/// Supported file extensions for SysML and KerML files
pub const SUPPORTED_EXTENSIONS: &[&str] = &["sysml", "kerml"];

/// SysML file extension
pub const SYSML_EXT: &str = "sysml";

/// KerML file extension
pub const KERML_EXT: &str = "kerml";

/// Checks if a file extension is supported
pub fn is_supported_extension(ext: &str) -> bool {
    SUPPORTED_EXTENSIONS.contains(&ext)
}

// SysML relationship type constants
pub const REL_SPECIALIZATION: &str = "specialization";
pub const REL_REDEFINITION: &str = "redefinition";
pub const REL_SUBSETTING: &str = "subsetting";
pub const REL_TYPING: &str = "typing";
pub const REL_REFERENCE_SUBSETTING: &str = "reference_subsetting";
pub const REL_CROSS_SUBSETTING: &str = "cross_subsetting";

// Domain-specific SysML relationships
pub const REL_SATISFY: &str = "satisfy";
pub const REL_PERFORM: &str = "perform";
pub const REL_EXHIBIT: &str = "exhibit";
pub const REL_INCLUDE: &str = "include";
pub const REL_ASSERT: &str = "assert";
pub const REL_VERIFY: &str = "verify";

/// Relationship types that reference properties/features (for semantic token highlighting)
/// These should use TokenType::Property
pub const PROPERTY_REFERENCE_RELATIONSHIPS: &[&str] = &[
    REL_REDEFINITION,
    REL_SUBSETTING,
    REL_REFERENCE_SUBSETTING,
    REL_CROSS_SUBSETTING,
];

/// Relationship types that refer to types (for semantic token highlighting)
/// These should use TokenType::Type
/// Note: REL_TYPING is handled separately as a one-to-one relationship
pub const TYPE_REFERENCE_RELATIONSHIPS: &[&str] = &[
    REL_SPECIALIZATION,
    REL_SATISFY,
    REL_PERFORM,
    REL_EXHIBIT,
    REL_INCLUDE,
];

// Semantic role names for validation messages
pub const ROLE_REQUIREMENT: &str = "requirement";
pub const ROLE_ACTION: &str = "action";
pub const ROLE_STATE: &str = "state";
pub const ROLE_USE_CASE: &str = "use case";

/// Maps relationship type constants to human-readable labels
pub fn relationship_label(rel_type: &str) -> &str {
    match rel_type {
        REL_SPECIALIZATION => "Specializes",
        REL_REDEFINITION => "Redefines",
        REL_SUBSETTING => "Subsets",
        REL_TYPING => "Typed by",
        REL_REFERENCE_SUBSETTING => "Reference subsets",
        REL_CROSS_SUBSETTING => "Cross subsets",
        REL_SATISFY => "Satisfies",
        REL_PERFORM => "Performs",
        REL_EXHIBIT => "Exhibits",
        REL_INCLUDE => "Includes",
        REL_ASSERT => "Asserts",
        REL_VERIFY => "Verifies",
        _ => rel_type,
    }
}

// LSP server constants
pub const LSP_SERVER_NAME: &str = "SysML v2 Language Server";
pub const LSP_SERVER_VERSION: &str = env!("CARGO_PKG_VERSION");

// LSP initialization option keys
pub const OPT_STDLIB_ENABLED: &str = "stdlibEnabled";
pub const OPT_STDLIB_PATH: &str = "stdlibPath";

// Standard library directory name
pub const STDLIB_DIR: &str = "sysml.library";

// Completion trigger characters
pub const COMPLETION_TRIGGERS: &[&str] = &[":", " "];