From 7f1ca6a36e75b8d0c93c48e101b3c83267300732 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 26 May 2022 18:54:31 +0200
Subject: [PATCH] add model-name attributes

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 Button/button2.json             | 4 +++-
 Button/button2.mch              | 4 ++--
 TrafficLight/traffic_light.json | 1 +
 Train_B_Book/train4.json        | 1 +
 4 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/Button/button2.json b/Button/button2.json
index 515f61f..2343be7 100644
--- a/Button/button2.json
+++ b/Button/button2.json
@@ -1,6 +1,8 @@
 {
   "svg": "button.svg",
-  
+  "model": "button2.mch",
+  "model-name": "button2",
+
   "items": [
     {
       "id": "button_%0",
diff --git a/Button/button2.mch b/Button/button2.mch
index 19ba020..da3522c 100644
--- a/Button/button2.mch
+++ b/Button/button2.mch
@@ -1,6 +1,6 @@
 MACHINE button2
 // a version of button with just two events
-DEFINITIONS 
+DEFINITIONS
      "LibraryMeta.def";
       VISB_JSON_FILE == "button2.json"
 VARIABLES
@@ -16,4 +16,4 @@ OPERATIONS
   release_button = PRE button=TRUE THEN
     button:=FALSE
   END
-END
\ No newline at end of file
+END
diff --git a/TrafficLight/traffic_light.json b/TrafficLight/traffic_light.json
index fdf8e3c..39d872d 100644
--- a/TrafficLight/traffic_light.json
+++ b/TrafficLight/traffic_light.json
@@ -1,5 +1,6 @@
 {
   "svg":"traffic_light.svg",
+  "model-name":"TrafficLight",
   "items":[
     {
       "id":"cars_red",
diff --git a/Train_B_Book/train4.json b/Train_B_Book/train4.json
index c00746a..01b0fb0 100644
--- a/Train_B_Book/train4.json
+++ b/Train_B_Book/train4.json
@@ -1,6 +1,7 @@
 {
     "svg": "train.svg",
     "include": "train1.json",
+    "model-name": "train_4_POR",
     "items": [
     {
 	    "for": {"from":1, "to":5},
-- 
GitLab