Loading plugins/org.etsi.mts.tdl.tx.tests/src/models/TDL.expected +1 −0 Changes for plugins/org.etsi.mts.tdl.tx.tests/src/models/TDL.expected: 1 added line, 0 removed lines. Original line number Diff line number Diff line Loading @@ -23,6 +23,7 @@ Package: TDL AnnotationType: check AnnotationType: where AnnotationType: PICS AnnotationType: PIXIT AnnotationType: Initial conditions AnnotationType: Expected behaviour AnnotationType: Final conditions Loading plugins/org.etsi.mts.tdl.tx.tests/src/models/testExpressionForms.expected +34 −0 Changes for plugins/org.etsi.mts.tdl.tx.tests/src/models/testExpressionForms.expected: 34 added lines, 0 removed lines. Original line number Diff line number Diff line Loading @@ -193,6 +193,40 @@ Package: ExpressionForms CastDataUse MemberReference DataElementUse Message Target CastDataUse MemberReference DataElementUse Message Target CastDataUse ParameterBinding LiteralValueUse DataElementUse Message Target CastDataUse ParameterBinding LiteralValueUse MemberReference DataElementUse Message Target CastDataUse DataElementUse MemberReference Message Target CastDataUse CastDataUse DataElementUse Message Target CastDataUse CastDataUse MemberReference DataElementUse Message Target DataElementUse Loading plugins/org.etsi.mts.tdl.tx.tests/src/models/testExpressionForms.tdltx +14 −0 Changes for plugins/org.etsi.mts.tdl.tx.tests/src/models/testExpressionForms.tdltx: 14 added lines, 0 removed lines. Original line number Diff line number Diff line Loading @@ -123,6 +123,20 @@ Package ExpressionForms { // member access after cast tester::g sends (origin as Point) .x to sut::g // member access after cast, without grouping: same model as the line above tester::g sends origin as Point .x to sut::g // bindings on the cast result tester::g sends origin as Point (x = 1) to sut::g // bindings on the cast result, then member access tester::g sends origin as Point (x = 1).y to sut::g // postfix chain mixing member access and casts, left to right tester::g sends origin.x as Integer to sut::g tester::g sends origin as Point as Point to sut::g tester::g sends origin as Point .x as Integer to sut::g // member access after grouping tester::g sends (origin).x to sut::g Loading Loading
plugins/org.etsi.mts.tdl.tx.tests/src/models/TDL.expected +1 −0 Changes for plugins/org.etsi.mts.tdl.tx.tests/src/models/TDL.expected: 1 added line, 0 removed lines. Original line number Diff line number Diff line Loading @@ -23,6 +23,7 @@ Package: TDL AnnotationType: check AnnotationType: where AnnotationType: PICS AnnotationType: PIXIT AnnotationType: Initial conditions AnnotationType: Expected behaviour AnnotationType: Final conditions Loading
plugins/org.etsi.mts.tdl.tx.tests/src/models/testExpressionForms.expected +34 −0 Changes for plugins/org.etsi.mts.tdl.tx.tests/src/models/testExpressionForms.expected: 34 added lines, 0 removed lines. Original line number Diff line number Diff line Loading @@ -193,6 +193,40 @@ Package: ExpressionForms CastDataUse MemberReference DataElementUse Message Target CastDataUse MemberReference DataElementUse Message Target CastDataUse ParameterBinding LiteralValueUse DataElementUse Message Target CastDataUse ParameterBinding LiteralValueUse MemberReference DataElementUse Message Target CastDataUse DataElementUse MemberReference Message Target CastDataUse CastDataUse DataElementUse Message Target CastDataUse CastDataUse MemberReference DataElementUse Message Target DataElementUse Loading
plugins/org.etsi.mts.tdl.tx.tests/src/models/testExpressionForms.tdltx +14 −0 Changes for plugins/org.etsi.mts.tdl.tx.tests/src/models/testExpressionForms.tdltx: 14 added lines, 0 removed lines. Original line number Diff line number Diff line Loading @@ -123,6 +123,20 @@ Package ExpressionForms { // member access after cast tester::g sends (origin as Point) .x to sut::g // member access after cast, without grouping: same model as the line above tester::g sends origin as Point .x to sut::g // bindings on the cast result tester::g sends origin as Point (x = 1) to sut::g // bindings on the cast result, then member access tester::g sends origin as Point (x = 1).y to sut::g // postfix chain mixing member access and casts, left to right tester::g sends origin.x as Integer to sut::g tester::g sends origin as Point as Point to sut::g tester::g sends origin as Point .x as Integer to sut::g // member access after grouping tester::g sends (origin).x to sut::g Loading