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

Author: mattias-mohlin

art-comp-test/Jenkinsfile

@@ -104,6 +104,27 @@ def prepareTests() {
 		echo -e '---\ngroup: sanity\nallow_stderr_printouts: true\n---\nSanity check with Art sample PiComputer' > testcase.md
 		cd $WORKSPACE
 
+		for ff in $(find ./art-samples -name '*.tcjs' -type f | xargs dirname)
+		do
+			folder=$(basename $ff)
+			[[ $folder == *_target ]] && continue
+			[ $folder == HelloWorld ] && continue
+			[ $folder == PiComputer ] && continue
+			[[ $folder == Qt* ]] && continue
+			[[ $folder == gRPC* ]] && continue
+			if [ $folder == TcpServer ]
+			then
+				cp -r $ff ./art-comp-test/tests/
+				continue
+			fi
+			cp -r $ff ./art-comp-test/tests/sample_$folder
+			cd ./art-comp-test/tests/sample_$folder
+			[ -f top.tcjs ] || mv *.tcjs top.tcjs
+			echo -e "\ntc.targetProject = 'sample_${folder}_target';" >> top.tcjs
+			echo -e "---\ngroup: samples\nsteps: generate-build\n---\nBuilding Art sample $folder" > testcase.md
+			cd $WORKSPACE
+		done
+
 		cp -r ./git/rsarte-tests-mc-exe/runner/ ./art-comp-test/
 		mkdir -p test-results
 		cd ./art-comp-test/runner

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

@@ -19,6 +19,11 @@ class MyClass {
           y = 1;
           ASSERT(b, "Value of b is not true");                    
         `;
+        S2 -> S3 on foo(`bool`)
+        `
+            x = 0;
+            y = 0;  
+        `;          
          S1 -> S3 on foo(`bool`) [`x == 1`] when `y == 1`
         `
           x = 2;
@@ -46,6 +51,9 @@ capsule Top {
             p.foo(b);
             ASSERT(p.x == 1, "Unexpected value of x");
             ASSERT(p.y == 1, "Unexpected value of y");
+            p.foo(false);
+            ASSERT(p.x == 0, "Unexpected value of x");
+            ASSERT(p.y == 0, "Unexpected value of y");
             PASS();           
         `;        
     };

art-comp-test/tests/send_to_owner_in_initial_transition/send_to_owner_in_initial_transition.art

@@ -38,7 +38,7 @@ capsule Top {
 
     behavior port p~ : Prot[100];
     behavior port frame : Frame;
-    optional part a : A[100];
+    optional part a [[rt::properties(rule_config="X0039")]] : A[100];
 
     connect a.p with p;
     statemachine {

art-samples/TrafficLight/Light.art

@@ -34,7 +34,7 @@ class Light  {
         `
             theLogger->logMsg("Yellow");
         `;
-        goRed: Yellow -> Red when `true `
+        goRed: Yellow -> Red on switchLights()
         `
             theLogger->logMsg("Red");
         `;