RIC-1024: New test case choice_to_exitpoint (#70)

* RIC-1024: New test case choice_to_exitpoint

* RIC-1024: New emx model choice_to_exitpoint

* RIC-1024: Update choice_to_exitpoint

* RIC-1024: Fixed emx version of choice_to_exitpoint

Author: elena-volkova-hcl

art-comp-test/choice.code-workspace

@@ -0,0 +1,24 @@
+{ "folders": [
+        {
+            "path": "TestUtils"
+        },
+        {
+            "path": "tests/choice_and_junction"
+        },
+        {
+            "path": "tests/choice_guard_exclude"
+        },
+        {
+            "path": "tests/choice_guard_redefinition"
+        },
+        {
+            "path": "tests/choice_inheritance"
+        },
+        {
+            "path": "tests/choice_to_exitpoint"
+        },
+        {
+            "path": "tests/choice_transition_exclude"
+        }
+    ]
+}

art-comp-test/tests/choice_to_exitpoint/choice_to_exitpoint.art

@@ -0,0 +1,65 @@
+capsule Top {
+    behavior port timer : Timing;
+    statemachine {
+        initial -> CompositeState.entryPoint
+        `
+            timer.informIn(RTTimespec(0, 100));
+            std::cout << "initial -> CompositeState" << std::endl;
+        `;
+        state CompositeState {
+            entry
+            `
+                std::cout << "Entered CompositeState" << std::endl;
+            `;
+            entrypoint entryPoint;
+            exitpoint toGood;
+            exitpoint toBad;
+            
+            choice alwaysTrue;
+            
+            entryPoint -> alwaysTrue
+            `
+                std::cout << "entryPoint -> alwaysTrue" << std::endl;
+            `;
+            never: alwaysTrue -> toBad when `false`
+            `
+                std::cout << "alwaysTrue -> toBad" << std::endl;
+            `;
+            always: alwaysTrue -> SubState when `else`
+            `
+                std::cout << "alwaysTrue -> SubState" << std::endl;
+            `;
+            state SubState {
+                entry
+                `
+                    std::cout << "Entered SubState" << std::endl;
+                `;
+            };
+            SubState -> toGood on timer.timeout
+            `
+                std::cout << "SubState -> toGood" << std::endl;
+            `;
+        };
+        CompositeState.toBad -> BadState
+        `
+            std::cout << "toBad -> BadState" << std::endl;
+        `;
+        state BadState {
+            entry
+            `
+                FAIL("Entered BadState");
+            `;
+        };
+        CompositeState.toGood -> GoodState
+        `
+            std::cout << "toGood -> GoodState" << std::endl;
+        `;
+        state GoodState {
+            entry
+            `
+                std::cout << "Entered GoodState" << std::endl;
+                PASS();
+            `;
+        };
+    };
+};

art-comp-test/tests/choice_to_exitpoint/testcase.md

@@ -0,0 +1,4 @@
+---
+group: cpp_code_generation
+---
+Test code generation for choice alternative when it goes to exitpoint from composite state. Expect several chain calls to be generated for choice alternative.

art-comp-test/tests/choice_to_exitpoint/top.tcjs

@@ -0,0 +1,8 @@
+let tc = TCF.define(TCF.ART_TO_CPP);
+tc.targetFolder = 'choice_to_exitpoint_target';
+tc.topCapsule = 'Top';
+tc.prerequisites = ["../../TestUtils/testlib.tcjs"];
+tc.commonPreface = `
+#include <iostream>
+#include "testlib.art.h"
+`;

art-comp-test/testsEmx/choice_to_exitpoint/.project

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>choice_to_exitpoint</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>com.ibm.xtools.umldt.core.internal.builders.UMLDevelopmentBuilder</name>
+			<triggers>clean,full,incremental,</triggers>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>com.ibm.xtools.umldt.core.internal.natures.MDDProjectNature</nature>
+	</natures>
+</projectDescription>

art-comp-test/testsEmx/choice_to_exitpoint/.settings/org.eclipse.core.resources.prefs

@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8

art-comp-test/testsEmx/choice_to_exitpoint/choice_to_exitpoint.emx

@@ -0,0 +1,13 @@
+let tc = TCF.define(TCF.CPP_TRANSFORM);
+tc.sources = [
+    'platform:/resource/choice_to_exitpoint/choice_to_exitpoint.emx#_TRO2kHZVEe-ltJuKXXDY4g',
+];
+tc.commonPreface = `
+#include <iostream>
+
+`;
+tc.compilationMakeType = MakeType.GNU_make;
+tc.createTargetProject = true;
+tc.targetConfiguration = 'WinT.x64-MinGw-12.2.0';
+tc.targetProject = 'choice_to_exitpoint_target';
+tc.topCapsule = 'platform:/resource/choice_to_exitpoint/choice_to_exitpoint.emx#_WSwt4HZVEe-ltJuKXXDY4g';