Warning reductions in samples

Author: mattias-mohlin

art-samples/DistributedPingPong/Top.art

@@ -12,7 +12,7 @@ capsule TOP {
     /* Ports */
     /* Parts */
     part player : Player;
-    part pingPongServer : PingPongServer; // Ignore warning about unconnected "control" port since we don't use it
+    part pingPongServer [[rt::properties(rule_config="X0039")]] : PingPongServer; // Ignore warning about unconnected "control" port since we don't use it
     /* Connectors */
     connect   pingPongServer.player with player.server;
     /* State Machine */

art-samples/PiComputer/Adder.art

@@ -33,7 +33,7 @@ capsule Adder {
             increment_computed: WaitForIncrement -> ex1 on mul.returnIncrement;
         };
         choice more_increments;
-        request_received: Idle -> Computing on request_port.compute
+        request_received: [[rt::properties(rule_config="X0029")]] Idle -> Computing on request_port.compute
         `
             remainingIterations = *rtdata - 1;
             mul.getIncrement(remainingIterations).send();
@@ -51,7 +51,7 @@ capsule Adder {
             result = sqrt(12) * result;
             request_port.result(result).send();
         `;
-        compute_next_increment: more_increments -> Computing when `else`
+        compute_next_increment: [[rt::properties(rule_config="X0029")]] more_increments -> Computing when `else`
         `
             remainingIterations--;
             mul.getIncrement(remainingIterations).send();

art-samples/TcpRangeCounter/RangeCounter.art

@@ -68,17 +68,17 @@ capsule RangeCounter {
 
             setMin: on server.setMin
             `
-                min = * static_cast<const unsigned int*>(rtdata);
+                min = *rtdata;
                 std::cout << "Min set to " << min << std::endl;
             `;
             setMax: on server.setMax
             `
-                max = * static_cast<const unsigned int*>(rtdata);
+                max = *rtdata;
                 std::cout << "Max set to " << max << std::endl;
             `;
             setDelta: on server.setDelta
             `
-                int newDelta = * static_cast<const int*>(rtdata);
+                int newDelta = *rtdata;
                 if (newDelta != 0) {
                     delta = newDelta;
                     std::cout << "Delta set to " << delta << std::endl;

art-samples/TrafficLightWeb/PedLight.art

@@ -19,7 +19,7 @@ capsule PedLight {
 
             countdown: on pedControl.timeRemaining
             `
-                int time = * static_cast<const int*>(rtdata);
+                int time = *rtdata;
                 server.timeRemaining(time).send();
             `;
         };

art-samples/TrafficLightWeb/TrafficLight.art

@@ -130,7 +130,7 @@ capsule TrafficLight {
 
         pedRequestCustom : CycleLight.pedRequest -> j on server.pedestrianCustomTime
         `
-            pedestrianWalkTime = * static_cast<const int*>(rtdata);
+            pedestrianWalkTime = *rtdata;
         `;
 
         j -> PedestrianCrossing.pedRequest