Skip to content

ST6RI-901 Missing implicit specializations of objects/subobjects #181

ST6RI-901 Missing implicit specializations of objects/subobjects

ST6RI-901 Missing implicit specializations of objects/subobjects #181

Triggered via pull request December 21, 2025 00:12
Status Failure
Total duration 6m 9s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
xt: src/org/omg/sysml/xpect/tests/simpletests.: xt: src/org/omg/sysml/xpect/tests/simpletests#L1
ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 47 column : 3) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 47 column : 3) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 52 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 52 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 53 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 53 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 54 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 54 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 55 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 55 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 56 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 56 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 57 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 57 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 58 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 58 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 60 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 60 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 61 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 61 column : 27) ERROR:A metadata usage must be typed by one metadata definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 62 column : 27) ERROR:Must have a concrete type (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/simpletests/AnnotationTest.sysml.xt line : 62 column : 27) expected:<...a ToolExecution { [ toolName = "ModelCenter"; uri = "aserv://localhost/Vehicle/Equation1"; } in dt : Real { @ToolVariable { name = "deltaT"; } } in whlpwr : Real { @ToolVariable { name = "power"; } } in Cd : Real { @ToolVariable { name = "C_D"; } } in Cf: Real { @ToolVariable { name = "C_F"; } } in tm :Real { @ToolVariable { name = "mass"; } } in v_in : Real { @ToolVariable { name = "v0"; } } in x_in : Real { @ToolVariable { name = "x0"; } } out a_out : Real { @ToolVariable { name = "a"; } } out v_out : Real { @ToolVariable { name = "v"; } } out x_out : Real { @ToolVariable { name = "x"; } }] } }> but was:<...a ToolExecution { [333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type toolName = "ModelCenter"; 3333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type uri = "aserv://localhost/Vehicle/Equation1"; 33333333333333333333333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type } 333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type in dt : Real { @ToolVariable { name = "deltaT"; } } 3333333333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type in whlpwr : Real { @ToolVariable { name = "power"; } } 333333333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type in Cd : Real { @ToolVariable { name = "C_D"; } } 3333333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type in Cf: Real { @ToolVariable { name = "C_F"; } } 3333333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type in tm :Real { @ToolVariable { name = "mass"; } } 33333333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type in v_in : Real { @ToolVariable { name = "v0"; } } 333333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type in x_in : Real { @ToolVariable { name = "x0"; } } 333333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type out a_out : Real { @ToolVariable { name = "a"; } } 33333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type out v_out : Real { @ToolVariable { name = "v"; } } 33333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type out x_out : Real { @ToolVariable { name = "x"; } } 33333333333333333333333333333 1: error - A metadata usage must be typed by one metadata definition. 2: error - Must have a concrete type] } }>
xt: src/org/omg/sysml/xpect/tests/validation/invalid.: xt: src/org/omg/sysml/xpect/tests/validation/invalid#L1
ERROR:A rendering must be typed by one rendering definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/ViewRendering_invalid.sysml.xt line : 32 column : 2) ERROR:A rendering must be typed by one rendering definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/ViewRendering_invalid.sysml.xt line : 35 column : 10) ERROR:A rendering must be typed by one rendering definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/ViewRendering_invalid.sysml.xt line : 38 column : 3) ERROR:A rendering must be typed by one rendering definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/ViewRendering_invalid.sysml.xt line : 42 column : 10) ERROR:A rendering must be typed by one rendering definition. (file:/home/runner/work/SysML-v2-Pilot-Implementation/SysML-v2-Pilot-Implementation/org.omg.sysml.xpect.tests/src/org/omg/sysml/xpect/tests/validation/invalid/ViewRendering_invalid.sysml.xt line : 47 column : 3) expected:<...id { rendering r; [ view def V { render rendering r1; // XPECT errors ---> "A view definition may have at most one view rendering." at "render rendering r2;" render rendering r2; rendering r3; } view v { render r; // XPECT errors ---> "A view may have at most one view rendering." at "render rendering r4;" render rendering r4; // XPECT errors ---> "A view may have at most one view rendering." at "render rendering r5;" render rendering r5; rendering r6;] } }> but was:<...id { rendering r; [111111111111 1: error - A rendering must be typed by one rendering definition. view def V { render rendering r1; 1111111111111 1: error - A rendering must be typed by one rendering definition. // XPECT errors ---> "A view definition may have at most one view rendering." at "render rendering r2;" render rendering r2; rendering r3; 1111111111111 1: error - A rendering must be typed by one rendering definition. } view v { render r; 11 1: error - A rendering must be typed by one rendering definition. // XPECT errors ---> "A view may have at most one view rendering." at "render rendering r4;" render rendering r4; // XPECT errors ---> "A view may have at most one view rendering." at "render rendering r5;" render rendering r5; rendering r6; 1111111111111 1: error - A rendering must be typed by one rendering definition.] } }>
build
Process completed with exit code 1.