From f2b7e406b8e77df22ef379a5e880f64d1e5043b9 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 19 Sep 2017 14:05:52 +0200
Subject: Fixes case/when models, regroups properties.

---
 ast-to-instr/src/VHDLCSNode.java | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

(limited to 'ast-to-instr/src/VHDLCSNode.java')

diff --git a/ast-to-instr/src/VHDLCSNode.java b/ast-to-instr/src/VHDLCSNode.java
index 6682613..2eaa435 100644
--- a/ast-to-instr/src/VHDLCSNode.java
+++ b/ast-to-instr/src/VHDLCSNode.java
@@ -196,6 +196,22 @@ public class VHDLCSNode extends VHDLNode
 
       for (int i = 0; i < when_branches_length; ++i)
       {
+         final Node child;
+         final String child_xml_id;
+         final IDs child_local_id;
+
+         child = when_branches.item(i);
+         child_xml_id = XMLManager.get_attribute(child, "id");
+         child_local_id = IDs.get_id_from_xml_id(output, child_xml_id, "node");
+
+         Predicates.add_entry
+         (
+            output,
+            "node_connect",
+            local_id,
+            child_local_id
+         );
+
          waiting_list.add
          (
             new VHDLWNode
@@ -251,6 +267,20 @@ public class VHDLCSNode extends VHDLNode
       }
       else
       {
+         final String child_xml_id;
+         final IDs child_local_id;
+
+         child_xml_id = XMLManager.get_attribute(others_branch, "id");
+         child_local_id = IDs.get_id_from_xml_id(output, child_xml_id, "node");
+
+         Predicates.add_entry
+         (
+            output,
+            "node_connect",
+            local_id,
+            child_local_id
+         );
+
          waiting_list.push
          (
             new VHDLWNode
-- 
cgit v1.2.3-70-g09d2