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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145

//! Parser Tests - Requirements and Verification
//!
//! Phase 1: Parser/AST Layer
//! Tests for requirements, verification, analysis, and related constructs.
//!
//! 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()
}

// ============================================================================
// Requirement Definitions
// ============================================================================

#[rstest]
#[case("requirement def MyReq;")]
#[case("requirement def MyReq {}")]
#[case("requirement def MyReq { doc /* text */ }")]
#[case("requirement def MyReq { subject mySubject; }")]
fn test_requirement_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Requirement Usages
// ============================================================================

#[rstest]
#[case("package P { requirement myReq; }")]
#[case("package P { requirement myReq { assume myConstraint; } }")]
#[case("package P { requirement myReq { require myConstraint; } }")]
fn test_requirement_usage(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Constraint Definitions
// ============================================================================

#[rstest]
#[case("constraint def MyConstraint;")]
#[case("constraint def MyConstraint {}")]
#[case("constraint def MyConstraint { x > 0 }")]
fn test_constraint_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Constraint Usages
// ============================================================================

#[rstest]
#[case("package P { constraint myConstraint; }")]
#[case("package P { constraint myConstraint { a == b } }")]
#[case("package P { assert constraint c { true } }")]
fn test_constraint_usage(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Verification Definitions
// ============================================================================

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

// ============================================================================
// Analysis Definitions
// ============================================================================

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

// ============================================================================
// Case Definitions
// ============================================================================

#[rstest]
#[case("case def MyCase;")]
#[case("case def MyCase {}")]
#[case("case def MyCase { objective obj; }")]
fn test_case_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Use Case Definitions
// ============================================================================

#[rstest]
#[case("use case def MyUseCase;")]
#[case("use case def MyUseCase {}")]
#[case("use case def MyUseCase { actor myActor; }")]
fn test_use_case_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Concern and Stakeholder
// ============================================================================

#[rstest]
#[case("concern def MyConcern;")]
#[case("concern def MyConcern {}")]
#[case("concern def MyConcern { stakeholder myStakeholder; }")]
fn test_concern_def(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Satisfy and Verify
// ============================================================================

#[rstest]
#[case("part def P { satisfy myReq; }")]
#[case("requirement def R { verify myVerification; }")]
fn test_satisfy_verify(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}

// ============================================================================
// Subject, Actor, Objective
// ============================================================================

#[rstest]
#[case("requirement def R { subject mySubject; }")]
#[case("use case def UC { actor myActor; }")]
#[case("case def C { objective myObjective; }")]
#[case("concern def Co { stakeholder myStakeholder; }")]
fn test_special_memberships(#[case] input: &str) {
    assert!(parses_sysml(input), "Failed to parse: {}", input);
}