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

//! Tests for error display and kind_to_name coverage

use syster::parser::{SyntaxKind, kind_to_name};

#[test]
fn test_all_keywords_have_specific_names() {
    // Keywords that should have specific names, not "keyword" fallback
    let keywords_with_expected_names = [
        (SyntaxKind::PART_KW, "'part'"),
        (SyntaxKind::ACTION_KW, "'action'"),
        (SyntaxKind::STATE_KW, "'state'"),
        (SyntaxKind::PACKAGE_KW, "'package'"),
        (SyntaxKind::IMPORT_KW, "'import'"),
        (SyntaxKind::DEF_KW, "'def'"),
        (SyntaxKind::REQUIREMENT_KW, "'requirement'"),
        (SyntaxKind::CONSTRAINT_KW, "'constraint'"),
        (SyntaxKind::ATTRIBUTE_KW, "'attribute'"),
        (SyntaxKind::PORT_KW, "'port'"),
        (SyntaxKind::ITEM_KW, "'item'"),
        (SyntaxKind::FLOW_KW, "'flow'"),
        (SyntaxKind::CONNECTION_KW, "'connection'"),
        (SyntaxKind::INTERFACE_KW, "'interface'"),
        (SyntaxKind::IF_KW, "'if'"),
        (SyntaxKind::ELSE_KW, "'else'"),
        (SyntaxKind::THEN_KW, "'then'"),
        (SyntaxKind::WHILE_KW, "'while'"),
        (SyntaxKind::FOR_KW, "'for'"),
        (SyntaxKind::ACCEPT_KW, "'accept'"),
        (SyntaxKind::SEND_KW, "'send'"),
        (SyntaxKind::ENTRY_KW, "'entry'"),
        (SyntaxKind::EXIT_KW, "'exit'"),
        (SyntaxKind::TRANSITION_KW, "'transition'"),
        (SyntaxKind::CLASS_KW, "'class'"),
        (SyntaxKind::STRUCT_KW, "'struct'"),
        (SyntaxKind::FUNCTION_KW, "'function'"),
        (SyntaxKind::TRUE_KW, "'true'"),
        (SyntaxKind::FALSE_KW, "'false'"),
        (SyntaxKind::NULL_KW, "'null'"),
    ];

    for (kind, expected) in keywords_with_expected_names {
        let actual = kind_to_name(kind);
        assert_eq!(
            actual, expected,
            "kind_to_name({:?}) returned '{}', expected '{}'",
            kind, actual, expected
        );
    }
}

#[test]
fn test_no_keyword_returns_generic_keyword() {
    // Test a sampling of keywords to ensure none return "keyword"
    let sample_keywords = [
        SyntaxKind::PACKAGE_KW,
        SyntaxKind::PART_KW,
        SyntaxKind::ACTION_KW,
        SyntaxKind::STATE_KW,
        SyntaxKind::REQUIREMENT_KW,
        SyntaxKind::IMPORT_KW,
        SyntaxKind::CLASS_KW,
        SyntaxKind::FUNCTION_KW,
        SyntaxKind::ABSTRACT_KW,
        SyntaxKind::PUBLIC_KW,
        SyntaxKind::PRIVATE_KW,
    ];

    for kind in sample_keywords {
        let name = kind_to_name(kind);
        assert_ne!(
            name, "keyword",
            "{:?} should have a specific name, not 'keyword'",
            kind
        );
    }
}

#[test]
fn test_punctuation_has_quoted_names() {
    let punctuation = [
        (SyntaxKind::SEMICOLON, "';'"),
        (SyntaxKind::COLON, "':'"),
        (SyntaxKind::COMMA, "','"),
        (SyntaxKind::L_BRACE, "'{'"),
        (SyntaxKind::R_BRACE, "'}'"),
        (SyntaxKind::L_PAREN, "'('"),
        (SyntaxKind::R_PAREN, "')'"),
        (SyntaxKind::L_BRACKET, "'['"),
        (SyntaxKind::R_BRACKET, "']'"),
        (SyntaxKind::COLON_GT, "':>'"),
        (SyntaxKind::COLON_GT_GT, "':>>'"),
    ];

    for (kind, expected) in punctuation {
        let actual = kind_to_name(kind);
        assert_eq!(
            actual, expected,
            "kind_to_name({:?}) returned '{}', expected '{}'",
            kind, actual, expected
        );
    }
}

#[test]
fn test_literals_have_descriptive_names() {
    assert_eq!(kind_to_name(SyntaxKind::IDENT), "identifier");
    assert_eq!(kind_to_name(SyntaxKind::INTEGER), "integer");
    assert_eq!(kind_to_name(SyntaxKind::DECIMAL), "number");
    assert_eq!(kind_to_name(SyntaxKind::STRING), "string");
}