Merge branch 'main' of github01.hclpnp.com:Modeling/rtistic-pub-doc

Author: mattias-mohlin

art-comp-test/art-comp-test.code-workspace

@@ -60,8 +60,11 @@
             "path": "tests/choice_transition_exclude"
         },
         {
-            "path": "tests/class_with_template"
+            "path": "tests/class_trigger_guard"
         },
+        {
+            "path": "tests/class_with_template"
+        },        
         {
             "path": "tests/code_snippets"
         },

art-comp-test/tests/class_trigger_guard/class_trigger_guard.art

@@ -0,0 +1,52 @@
+class MyClass {
+    [[rt::impl_preface]]
+    `        
+        #include "testlib.art.h"
+    `
+    [[rt::decl]]
+    `
+        public: int x = 0, y = 0;
+    `
+    /* Trigger Operations */
+   trigger foo(`bool` b);
+    /* State Machine */
+    statemachine {
+        state S1, S2, S3;
+        initial -> S1;
+        S1 -> S2 on foo(`bool`) [`x == 0 && b`] when `y == 0 && b`
+        `
+          x = 1;
+          y = 1;
+          ASSERT(b, "Value of b is not true");                    
+        `;
+         S1 -> S3 on foo(`bool`) [`x == 1`] when `y == 1`
+        `
+          x = 2;
+          y = 2;          
+        `;
+    };
+};
+
+capsule Top {
+    [[rt::header_preface]]
+    `
+        #include "testlib.art.h"
+        #include <MyClass.h>
+    `
+    [[rt::decl]]
+    `
+        MyClass p;
+    `
+    /* State Machine */
+    statemachine {
+       state State1;
+        initial -> State1        
+        `
+            bool b = true;
+            p.foo(b);
+            ASSERT(p.x == 1, "Unexpected value of x");
+            ASSERT(p.y == 1, "Unexpected value of y");
+            PASS();           
+        `;        
+    };
+};

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

@@ -0,0 +1,4 @@
+---
+group: cpp_code_generation
+---
+In addition to a transition guard, each trigger of a transition can also have a guard. The transition function is only called if the transition guard and the guard of the matching trigger are both fulfilled in class statemachine.

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

@@ -0,0 +1,4 @@
+let tc = TCF.define(TCF.CPP_TRANSFORM);
+tc.topCapsule = 'Top';
+tc.prerequisites = ["../../TestUtils/testlib.tcjs"];
+tc.targetFolder = 'class_trigger_guard_target';

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

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>class_trigger_guard</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/class_trigger_guard/.settings/com.ibm.xtools.umldt.core.prefs

@@ -0,0 +1,3 @@
+active.config=Top.tcjs
+eclipse.preferences.version=1
+top.level.only=true

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

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

art-comp-test/testsEmx/class_trigger_guard/Top.emx

@@ -0,0 +1,12 @@
+let tc = TCF.define(TCF.CPP_TRANSFORM);
+tc.sources = [
+    'platform:/resource/class_trigger_guard/Top.emx#_OMKeAX_IEe-ybOKRD6Tr-A',
+];
+tc.prerequisites = [
+    'platform:/resource/TestRTSUtils/testRTSlib.tcjs',
+];
+tc.compilationMakeType = MakeType.GNU_make;
+tc.createTargetProject = true;
+tc.targetConfiguration = 'WinT.x64-MinGw-12.2.0';
+tc.targetProject = 'class_trigger_guard_target';
+tc.topCapsule = 'platform:/resource/class_trigger_guard/Top.emx#_OMLsIH_IEe-ybOKRD6Tr-A';