Skip to content

Commit 870e130

Browse files
committed
ST6RI-895 Updated SysML Xpect tests for new occurrence validation msg.
1 parent eff06d7 commit 870e130

4 files changed

Lines changed: 20 additions & 20 deletions

File tree

org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/ItemUsage_invalid.sysml.xt

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -37,28 +37,28 @@ END_SETUP
3737
package pkg {
3838
public import ScalarValues::*;
3939
item def A {
40-
// XPECT errors --> "An item must be typed by item definitions." at "item i1: Real;"
40+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "item i1: Real;"
4141
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Item" at "item i1: Real;"
4242
item i1: Real;
43-
// XPECT errors --> "An item must be typed by item definitions." at "item i2: att;"
43+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "item i2: att;"
4444
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Item" at "item i2: att;"
4545
item i2: att;
46-
// XPECT errors --> "An item must be typed by item definitions." at "item i3: act;"
46+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "item i3: act;"
4747
//* XPECT warnings ---
4848
"Duplicate of inherited member name 'self' from Action, Item" at "item i3: act;"
4949
"Duplicate of inherited member name 'start' from Action, Item" at "item i3: act;"
5050
"Duplicate of inherited member name 'done' from Action, Item" at "item i3: act;"
5151
--- */
5252
item i3: act;
53-
// XPECT errors --> "An item must be typed by item definitions." at "item i4: AttDef;"
53+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "item i4: AttDef;"
5454
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Item" at "item i4: AttDef;"
5555
item i4: AttDef;
56-
// XPECT errors ---> "An item must be typed by item definitions." at "item i5: PartDef::aPort;"
56+
// XPECT errors ---> "An occurrence, item or part must be typed by occurrence definitions." at "item i5: PartDef::aPort;"
5757
// XPECT warnings --> "Duplicate of inherited member name 'self' from Item, Port" at "item i5: PartDef::aPort;"
5858
item i5: PartDef::aPort;
59-
// XPECT errors ---> "An item must be typed by item definitions." at "item i6: PartDef::aPart;"
59+
// XPECT errors ---> "An occurrence, item or part must be typed by occurrence definitions." at "item i6: PartDef::aPart;"
6060
item i6: PartDef::aPart;
61-
// XPECT errors --> "An item must be typed by item definitions." at "item i7: PartDef, AttDef;"
61+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "item i7: PartDef, AttDef;"
6262
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Part" at "item i7: PartDef, AttDef;"
6363
item i7: PartDef, AttDef;
6464
}

org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/OccurrenceUsage_invalid.sysml.xt

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,13 +37,13 @@ END_SETUP
3737
package pkg {
3838
public import ScalarValues::*;
3939
occurrence def A {
40-
// XPECT errors --> "An occurrence must be typed by occurrence definitions." at "occurrence areal: Real;"
40+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "occurrence areal: Real;"
4141
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Occurrence" at "occurrence areal: Real;"
4242
occurrence areal: Real;
43-
// XPECT errors --> "An occurrence must be typed by occurrence definitions." at "occurrence avalue :> aValue;"
43+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "occurrence avalue :> aValue;"
4444
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Occurrence" at "occurrence avalue :> aValue;"
4545
occurrence avalue:> aValue;
46-
// XPECT errors --> "An occurrence must be typed by occurrence definitions." at "occurrence twoTypes: PartDef, Real;"
46+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "occurrence twoTypes: PartDef, Real;"
4747
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Part" at "occurrence twoTypes: PartDef, Real;"
4848
occurrence twoTypes: PartDef, Real;
4949
}
@@ -55,7 +55,7 @@ package pkg {
5555
// XPECT errors --> "Must reference an occurrence." at "a"
5656
event a;
5757

58-
// XPECT errors --> "An occurrence must be typed by occurrence definitions." at "event a.areal;"
58+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "event a.areal;"
5959
//* XPECT warnings ---
6060
"Duplicate of inherited member name 'self' from DataValue, Occurrence" at "event a.areal;"
6161
"Duplicate of inherited member name 'self' from DataValue, Occurrence" at "a.areal"

org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/PartUsage_invalid.sysml.xt

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -37,28 +37,28 @@ END_SETUP
3737
package pkg {
3838
public import ScalarValues::*;
3939
part def A {
40-
// XPECT errors --> "A part must be typed by item definitions." at "part p1: Real;"
40+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "part p1: Real;"
4141
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Part" at "part p1: Real;"
4242
part p1: Real;
43-
// XPECT errors --> "A part must be typed by item definitions." at "part p2: att;"
43+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "part p2: att;"
4444
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Part" at "part p2: att;"
4545
part p2: att;
46-
// XPECT errors --> "A part must be typed by item definitions." at "part p3: act;"
46+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "part p3: act;"
4747
//* XPECT warnings ---
4848
"Duplicate of inherited member name 'self' from Action, Part" at "part p3: act;"
4949
"Duplicate of inherited member name 'start' from Action, Part" at "part p3: act;"
5050
"Duplicate of inherited member name 'done' from Action, Part" at "part p3: act;"
5151
--- */
5252
part p3: act;
53-
// XPECT errors --> "A part must be typed by item definitions." at "part p4: AttDef;"
53+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "part p4: AttDef;"
5454
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Part" at "part p4: AttDef;"
5555
part p4: AttDef;
56-
// XPECT errors --> "A part must be typed by item definitions." at "part p5: PartDef::aPort;"
56+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "part p5: PartDef::aPort;"
5757
// XPECT warnings --> "Duplicate of inherited member name 'self' from Part, Port" at "part p5: PartDef::aPort;"
5858
part p5: PartDef::aPort;
59-
// XPECT errors ---> "A part must be typed by item definitions." at "part p6: PartDef::aPart;"
59+
// XPECT errors ---> "An occurrence, item or part must be typed by occurrence definitions." at "part p6: PartDef::aPart;"
6060
part p6: PartDef::aPart;
61-
// XPECT errors --> "A part must be typed by item definitions." at "part p7: PartDef, AttDef;"
61+
// XPECT errors --> "An occurrence, item or part must be typed by occurrence definitions." at "part p7: PartDef, AttDef;"
6262
// XPECT warnings --> "Duplicate of inherited member name 'self' from DataValue, Part" at "part p7: PartDef, AttDef;"
6363
part p7: PartDef, AttDef;
6464
}

org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/UsageDefinition_invalid.sysml.xt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ package UsageDefinition_invalid {
4242
ref i1 : i, I;
4343
// XPECT errors ---> "A usage must be typed by definitions." at "ref i2 : i;"
4444
ref i2 : i;
45-
// XPECT errors ---> "An item must be typed by item definitions." at "item i3 : i;"
45+
// XPECT errors ---> "An occurrence, item or part must be typed by occurrence definitions." at "item i3 : i;"
4646
item i3 : i;
4747

4848
part def P;
@@ -51,7 +51,7 @@ package UsageDefinition_invalid {
5151
ref p1 : p, P;
5252
// XPECT errors ---> "A usage must be typed by definitions." at "ref p2 : p;"
5353
ref p2 : p;
54-
// XPECT errors ---> "A part must be typed by item definitions." at "part p3 : p;"
54+
// XPECT errors ---> "An occurrence, item or part must be typed by occurrence definitions." at "part p3 : p;"
5555
part p3 : p;
5656

5757
action def Ac;

0 commit comments

Comments
 (0)