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
89
90
91
92
93
94
95
96
97
98
99

//! Parser Tests - KerML Relationships and Namespaces
//!
//! Phase 1: Parser/AST Layer
//! Tests for KerML relationships (redefinition, specialization, subset)
//! and namespace declarations.
//!
//! Test data from tests_parser_kerml_pest.rs.archived.

use rstest::rstest;
use syster::parser::{AstNode, SourceFile, parse_kerml};

fn parses_kerml(input: &str) -> bool {
    let parsed = parse_kerml(input);
    SourceFile::cast(parsed.syntax()).is_some()
}

// ============================================================================
// Namespace Declarations
// ============================================================================

#[rstest]
#[case("namespace MyNamespace;")]
#[case("namespace MyNamespace {}")]
#[case("namespace <short> named {}")]
fn test_namespace(#[case] input: &str) {
    assert!(parses_kerml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Redefinition Relationships
// ============================================================================

#[rstest]
#[case("package P { redefinition b.f redefines b.a; }")]
#[case("package P { redefinition a :>> b; }")]
fn test_redefinition(#[case] input: &str) {
    assert!(parses_kerml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Specialization Relationships
// ============================================================================

#[rstest]
#[case("package P { specialization id subtype A specializes B { } }")]
#[case("package P { specialization Super subclassifier A specializes B; }")]
fn test_specialization_relationship(#[case] input: &str) {
    assert!(parses_kerml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Subset Relationships
// ============================================================================

#[rstest]
#[case("package P { subset laterOccurrence.successors subsets earlierOccurrence.successors; }")]
fn test_subset_relationship(#[case] input: &str) {
    assert!(parses_kerml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Disjoining
// ============================================================================

#[rstest]
#[case("package P { disjoining disjoint A from B; }")]
fn test_disjoining(#[case] input: &str) {
    assert!(parses_kerml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Conjugation
// ============================================================================

#[rstest]
#[case("package P { conjugation conj conjugate A conjugates B; }")]
fn test_conjugation(#[case] input: &str) {
    assert!(parses_kerml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Featuring
// ============================================================================

#[rstest]
#[case("package P { featuring feat of A by B; }")]
fn test_featuring(#[case] input: &str) {
    assert!(parses_kerml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Inverting
// ============================================================================

#[rstest]
#[case("package P { inverting inv inverse A inverses B; }")]
fn test_inverting(#[case] input: &str) {
    assert!(parses_kerml(input), "Failed to parse: {}", input);
}