safety.gsn: unified the styles of attributes

mbeddr · Dec 25, 2023 · 5e67df2 · 5e67df2
1 parent 522b7d1
commit 5e67df2
Show file tree

Hide file tree

Showing 5 changed files with 40 additions and 0 deletions.
diff --git a/...t.process.artefacts/models/com.mbeddr.formal.safety.argument.process.artefacts.editor.mps b/...t.process.artefacts/models/com.mbeddr.formal.safety.argument.process.artefacts.editor.mps
@@ -1485,6 +1485,10 @@
           </node>
         </node>
       </node>
+      <node concept="3F0ifn" id="7NA168q7HZa" role="3EZMnx">
+        <property role="3F0ifm" value=";" />
+        <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+      </node>
     </node>
   </node>
   <node concept="24kQdi" id="1r1mR59J9xc">

diff --git a/...ormal.safety.argument.process/models/com.mbeddr.formal.safety.argument.process.editor.mps b/...ormal.safety.argument.process/models/com.mbeddr.formal.safety.argument.process.editor.mps
@@ -258,6 +258,10 @@
           </node>
         </node>
       </node>
+      <node concept="3F0ifn" id="7NA168q7HBb" role="3EZMnx">
+        <property role="3F0ifm" value=";" />
+        <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+      </node>
     </node>
   </node>
   <node concept="24kQdi" id="3f8ZVRYh47x">
@@ -563,6 +567,10 @@
           </node>
         </node>
       </node>
+      <node concept="3F0ifn" id="7NA168q7Hxa" role="3EZMnx">
+        <property role="3F0ifm" value=";" />
+        <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+      </node>
     </node>
   </node>
   <node concept="24kQdi" id="5gjf2NSk5Ae">

diff --git a/...l.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.editor.mps b/...l.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.editor.mps
@@ -109,6 +109,10 @@
             </node>
           </node>
         </node>
+        <node concept="3F0ifn" id="7NA168q7JtL" role="3EZMnx">
+          <property role="3F0ifm" value=";" />
+          <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+        </node>
         <node concept="l2Vlx" id="4lbNCDmRjvF" role="2iSdaV" />
       </node>
     </node>

diff --git a/...dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps b/...dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps
@@ -17,6 +17,7 @@
     <import index="6oah" ref="r:c3ace323-0a57-4f8d-b471-fad629604601(com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.structure)" />
     <import index="tpco" ref="r:00000000-0000-4000-0000-011c89590284(jetbrains.mps.lang.core.editor)" />
     <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
+    <import index="xnej" ref="r:bff9a19b-7e5d-44c3-8cfc-aec191022422(com.mbeddr.formal.base.editor)" implicit="true" />
     <import index="49qe" ref="r:20bb7136-9452-4bac-8213-62deb5681702(com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.behavior)" implicit="true" />
   </imports>
   <registry>
@@ -48,6 +49,9 @@
       <concept id="1103016434866" name="jetbrains.mps.lang.editor.structure.CellModel_JComponent" flags="sg" stub="8104358048506731196" index="3gTLQM">
         <child id="1176475119347" name="componentProvider" index="3FoqZy" />
       </concept>
+      <concept id="1381004262292414836" name="jetbrains.mps.lang.editor.structure.ICellStyle" flags="ng" index="1k5N5V">
+        <reference id="1381004262292426837" name="parentStyleClass" index="1k5W1q" />
+      </concept>
       <concept id="1223386653097" name="jetbrains.mps.lang.editor.structure.StrikeOutStyleSheet" flags="ln" index="3nxI2P" />
       <concept id="1139848536355" name="jetbrains.mps.lang.editor.structure.CellModel_WithRole" flags="ng" index="1$h60E">
         <reference id="1140103550593" name="relationDeclaration" index="1NtTu8" />
@@ -680,6 +684,10 @@
       <node concept="3F0A7n" id="48_A4oY40jH" role="3EZMnx">
         <ref role="1NtTu8" to="6oah:48_A4oY40ig" resolve="weight" />
       </node>
+      <node concept="3F0ifn" id="7NA168q7KUR" role="3EZMnx">
+        <property role="3F0ifm" value=";" />
+        <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+      </node>
       <node concept="l2Vlx" id="48_A4oY40jz" role="2iSdaV" />
     </node>
   </node>
@@ -1155,6 +1163,10 @@
           </node>
         </node>
       </node>
+      <node concept="3F0ifn" id="7NA168q7JV4" role="3EZMnx">
+        <property role="3F0ifm" value=";" />
+        <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+      </node>
       <node concept="2iRfu4" id="18nEFuhW21M" role="2iSdaV" />
     </node>
   </node>
@@ -1183,6 +1195,10 @@
           </node>
         </node>
       </node>
+      <node concept="3F0ifn" id="7NA168q7K9N" role="3EZMnx">
+        <property role="3F0ifm" value=";" />
+        <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+      </node>
       <node concept="2iRfu4" id="18nEFuhW4xq" role="2iSdaV" />
     </node>
   </node>
@@ -1198,6 +1214,10 @@
       <node concept="3F0A7n" id="18nEFui9ga3" role="3EZMnx">
         <ref role="1NtTu8" to="6oah:18nEFui9dM5" resolve="argtype" />
       </node>
+      <node concept="3F0ifn" id="7NA168q7JBo" role="3EZMnx">
+        <property role="3F0ifm" value=";" />
+        <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+      </node>
       <node concept="l2Vlx" id="18nEFui9g9F" role="2iSdaV" />
     </node>
   </node>

diff --git a/...ty.gsn.external_evidence/models/com.mbeddr.formal.safety.gsn.external_evidence.editor.mps b/...ty.gsn.external_evidence/models/com.mbeddr.formal.safety.gsn.external_evidence.editor.mps
@@ -1231,6 +1231,10 @@
         </node>
       </node>
       <node concept="2iRfu4" id="2ByFloRk$x$" role="2iSdaV" />
+      <node concept="3F0ifn" id="7NA168q7Lf3" role="3EZMnx">
+        <property role="3F0ifm" value=";" />
+        <ref role="1k5W1q" to="xnej:hFDgi_W" resolve="Semicolon" />
+      </node>
     </node>
   </node>
   <node concept="24kQdi" id="2ByFloRlqbR">