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
100
101
102
103
104
105
106
107
108
109
110
111
112
113

//! Parser Tests - Views and Metadata
//!
//! Phase 1: Parser/AST Layer
//! Tests for views, viewpoints, renderings, and metadata.
//!
//! Test data from tests_parser_sysml_pest.rs.archived.

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

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

// ============================================================================
// View Definitions
// ============================================================================

#[rstest]
#[case("view def MyView;")]
#[case("view def MyView {}")]
#[case("view def MyView { expose MyElement; }")]
fn test_view_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// View Usages
// ============================================================================

#[rstest]
#[case("package P { view myView; }")]
#[case("package P { view myView { } }")]
fn test_view_usage(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Viewpoint Definitions
// ============================================================================

#[rstest]
#[case("viewpoint def MyViewpoint;")]
#[case("viewpoint def MyViewpoint {}")]
fn test_viewpoint_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Rendering Definitions
// ============================================================================

#[rstest]
#[case("rendering def MyRendering;")]
#[case("rendering def MyRendering {}")]
fn test_rendering_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Metadata Definitions
// ============================================================================

#[rstest]
#[case("metadata def MyMetadata;")]
#[case("metadata def MyMetadata {}")]
fn test_metadata_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Metadata Usage (annotations)
// ============================================================================

#[rstest]
#[case("#MyMeta part def P;")]
#[case("@MyAnnotation part def P;")]
fn test_metadata_annotations(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Expose
// ============================================================================

#[rstest]
#[case("view def V { expose MyElement; }")]
#[case("view def V { expose MyElement::member; }")]
#[case("view def V { expose MyNamespace::*; }")]
fn test_expose(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Filter
// ============================================================================

#[rstest]
#[case("view def V { filter @MyMeta; }")]
fn test_filter(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Render
// ============================================================================

#[rstest]
#[case("view def V { render myRendering; }")]
fn test_render(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}