rfe/validation_rule_art_0040

Author: mattias-mohlin

art-comp-test/tests/art_0040/art_0040.art

@@ -0,0 +1,18 @@
+protocol PROTO {
+    in in1();
+    out out1();
+};
+
+capsule Top {   
+    service behavior port port1 : PROTO;
+    unwired publish behavior port port2 : PROTO;
+
+    statemachine {
+        state State, State2;
+        initial -> State;
+        State -> State2 on port1.rtBound, port2.rtUnbound
+        `
+            // Dead code here
+        `;
+    };
+};

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

@@ -0,0 +1,7 @@
+---
+group: validation
+steps: generate
+ac_output match1: WARNING[0040]|12:28|rtBound|port1
+ac_output match2: WARNING[0040]|12:39|rtUnbound|port2
+---
+Test validation rule `ART_0040_boundUnboundTriggerForNonNotificationPort`.

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

@@ -0,0 +1,3 @@
+let tc = TCF.define(TCF.ART_TO_CPP);
+tc.topCapsule = "Top";
+tc.targetFolder = 'art_0040_target';

art-comp-test/validation.code-workspace

@@ -113,9 +113,12 @@
         {
             "path": "tests/art_0038"
         },
-		{
+        {
             "path": "tests/art_0039"
         },
+        {
+            "path": "tests/art_0040"
+        },
         {
             "path": "tests/cpp_4000"
         },
@@ -172,6 +175,9 @@
         },
         {
             "path": "tests/tc_7015"
+        },
+        {
+            "path": "tests/tc_7017"
         }
     ]
 }

docs-sources/samples.md

@@ -63,7 +63,7 @@ This sample shows how to use [dependency injection](https://en.wikipedia.org/wik
 ## [QtTrafficLight]({$vars.github.repo$}/tree/main/art-samples/QtTrafficLight)
 This application has a user interface developed with [Qt](https://www.qt.io/) which controls a realtime application that implements the logic of a traffic light that works together with a pedestrian light. Note that you need to have [Qt](https://www.qt.io/) installed to build and run this sample.
 
-**Art:** [composite state with entry- and exitpoint](art-lang/index.md#hierarchical-state-machine), [external port](target-rts/integrate-with-external-code.md#external-port), [notification port](art-lang/index.md#notification-port), [internal transition](art-lang/index.md#internal-transition)
+**Art:** [composite state with entry- and exitpoint](art-lang/index.md#hierarchical-state-machine), [external port](target-rts/integrate-with-external-code.md#external-port), [notifying port](art-lang/index.md#notifying-port), [internal transition](art-lang/index.md#internal-transition)
 
 **TargetRTS:** [RTTiming](targetrts-api/class_timing_1_1_base.html)::cancelTimer()