File tree Expand file tree Collapse file tree
org.omg.kerml.xpect.tests/src/org/omg/kerml/xpect/tests/visibility
org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ //*
2+ XPECT_SETUP org.omg.kerml.xpect.tests.visibility.KerMLVisibilityTest
3+ ResourceSet {
4+ ThisFile {}
5+ File {from = "/library/Base.kerml"}
6+ File {from = "/library/Occurrences.kerml"}
7+ File {from = "/library/Performances.kerml"}
8+ File {from = "/library/ControlFunctions.kerml"}
9+ }
10+ Workspace {
11+ JavaProject {
12+ SrcFolder {
13+ ThisFile {}
14+ File {from = "/library/Base.kerml"}
15+ File {from = "/library/Occurrences.kerml"}
16+ File {from = "/library/Performances.kerml"}
17+ File {from = "/library/ControlFunctions.kerml"}
18+ }
19+ }
20+ }
21+ END_SETUP
22+ */
23+ package Visibility_Protected_FeatureChaining {
24+ feature x {
25+ feature a;
26+ protected feature b;
27+ private feature c;
28+ }
29+
30+ feature y subsets x {
31+ feature redefines a;
32+ feature redefines b;
33+ // XPECT errors --> "Couldn't resolve reference to Feature 'c'." at "c"
34+ feature redefines c;
35+ }
36+
37+ feature redefines x.a;
38+ // XPECT errors --> "Couldn't resolve reference to Feature 'b'." at "b"
39+ feature redefines x.b;
40+ // XPECT errors --> "Couldn't resolve reference to Feature 'c'." at "c"
41+ feature redefines x.c;
42+
43+ feature x1 = x.a;
44+ // XPECT errors --> "Couldn't resolve reference to Element 'b'." at "b"
45+ feature x2 = x.b;
46+ // XPECT errors --> "Couldn't resolve reference to Element 'c'." at "c"
47+ feature x3 = x.c;
48+ }
Original file line number Diff line number Diff line change 1+ //*
2+ XPECT_SETUP org.omg.sysml.xpect.tests.validation.invalid.SysMLTests
3+ ResourceSet {
4+ ThisFile {}
5+ File {from ="/library.kernel/Base.kerml"}
6+ File {from ="/library.kernel/Occurrences.kerml"}
7+ File {from ="/library.kernel/Objects.kerml"}
8+ File {from ="/library.kernel/Performances.kerml"}
9+ File {from ="/library.kernel/FeatureReferencingPerformances.kerml"}
10+ File {from ="/library.systems/Attributes.sysml"}
11+ File {from ="/library.systems/Items.sysml"}
12+ File {from ="/library.systems/Actions.sysml"}
13+ }
14+ Workspace {
15+ JavaProject {
16+ SrcFolder {
17+ ThisFile {}
18+ File {from ="/library.kernel/Base.kerml"}
19+ File {from ="/library.kernel/Occurrences.kerml"}
20+ File {from ="/library.kernel/Objects.kerml"}
21+ File {from ="/library.kernel/Performances.kerml"}
22+ File {from ="/library.kernel/FeatureReferencingPerformances.kerml"}
23+ File {from ="/library.systems/Attributes.sysml"}
24+ File {from ="/library.systems/Items.sysml"}
25+ File {from ="/library.systems/Actions.sysml"}
26+ }
27+ }
28+ }
29+ END_SETUP
30+ */
31+ package AssignmentActionUsage_invalid {
32+ item i {
33+ attribute a;
34+ protected attribute b;
35+ private attribute c;
36+ }
37+ action def A {
38+ assign i.a := null;
39+ // XPECT errors --> "Couldn't resolve reference to Element 'b'." at "b"
40+ assign i.b := null;
41+ // XPECT errors --> "Couldn't resolve reference to Element 'c'." at "c"
42+ assign i.c := null;
43+ }
44+ }
You can’t perform that action at this time.
0 commit comments