ST6RI-901 Missing implicit specializations of objects/subobjects #181
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.
|