From 55cf98bf50331de9845cb57427a5ae31bcc727e8 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 1 Feb 2022 16:29:39 +0100
Subject: [PATCH] simplify observer for signals
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
Train_B_Book/train.json | 50 +++++------------------------------------
1 file changed, 6 insertions(+), 44 deletions(-)
diff --git a/Train_B_Book/train.json b/Train_B_Book/train.json
index 7837fc7..6b22370 100644
--- a/Train_B_Book/train.json
+++ b/Train_B_Book/train.json
@@ -72,54 +72,16 @@
"value": "IF N : OCC THEN \"#FF2222\" ELSE IF N : resbl THEN \"#2222FF\" ELSE \"#000000\" END END"
},
{
- "id": "s1_green",
+ "for": {"from":1, "to":5},
+ "id": "s%0_green",
"attr": "fill",
- "value": "IF S1 : GRN THEN \"#22FF22\" ELSE \"#F6FFD5\" END"
+ "value": "IF S%0 : GRN THEN \"#22FF22\" ELSE \"#F6FFD5\" END"
},
{
- "id": "s1_red",
+ "for": {"from":1, "to":5},
+ "id": "s%0_red",
"attr": "fill",
- "value": "IF S1 : GRN THEN \"#FFD5D5\" ELSE \"#FF2222\" END"
- },
- {
- "id": "s2_green",
- "attr": "fill",
- "value": "IF S2 : GRN THEN \"#22FF22\" ELSE \"#F6FFD5\" END"
- },
- {
- "id": "s2_red",
- "attr": "fill",
- "value": "IF S2 : GRN THEN \"#FFD5D5\" ELSE \"#FF2222\" END"
- },
- {
- "id": "s3_green",
- "attr": "fill",
- "value": "IF S3 : GRN THEN \"#22FF22\" ELSE \"#F6FFD5\" END"
- },
- {
- "id": "s3_red",
- "attr": "fill",
- "value": "IF S3 : GRN THEN \"#FFD5D5\" ELSE \"#FF2222\" END"
- },
- {
- "id": "s4_green",
- "attr": "fill",
- "value": "IF S4 : GRN THEN \"#22FF22\" ELSE \"#F6FFD5\" END"
- },
- {
- "id": "s4_red",
- "attr": "fill",
- "value": "IF S4 : GRN THEN \"#FFD5D5\" ELSE \"#FF2222\" END"
- },
- {
- "id": "s5_green",
- "attr": "fill",
- "value": "IF S5 : GRN THEN \"#22FF22\" ELSE \"#F6FFD5\" END"
- },
- {
- "id": "s5_red",
- "attr": "fill",
- "value": "IF S5 : GRN THEN \"#FFD5D5\" ELSE \"#FF2222\" END"
+ "value": "IF S%0 : GRN THEN \"#FFD5D5\" ELSE \"#FF2222\" END"
}
],
"events": [
--
GitLab