safety.gsn, safety.cae: cosmetic fixes of the editor

mbeddr · Nov 13, 2023 · df5e0cf · df5e0cf
1 parent cdd0d63
commit df5e0cf
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/...ety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps b/...ety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps
@@ -348,6 +348,7 @@
         </node>
         <node concept="3F0ifn" id="6xcemMvtSWJ" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" to="g35p:4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="6xcemMvuhWL" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -418,6 +419,7 @@
           </node>
           <node concept="3F0ifn" id="1zMKqRpqUpe" role="3EZMnx">
             <property role="3F0ifm" value=":" />
+            <ref role="1k5W1q" to="g35p:4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
             <node concept="11L4FC" id="1zMKqRpqUpf" role="3F10Kt">
               <property role="VOm3f" value="true" />
             </node>
@@ -753,6 +755,7 @@
         </node>
         <node concept="3F0ifn" id="3VR5nzkXXnr" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" to="g35p:4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="3VR5nzkXXns" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -850,6 +853,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxAN" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" to="g35p:4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxAO" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>

diff --git a/...ety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps b/...ety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
@@ -3150,6 +3150,7 @@
         </node>
         <node concept="3F0ifn" id="6xcemMvtSWJ" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="6xcemMvuhWL" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -3361,6 +3362,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxAU" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxAV" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -3419,6 +3421,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxAN" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxAO" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -3501,6 +3504,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxm2" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxoH" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -3544,6 +3548,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxB1" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxB2" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -10456,6 +10461,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxAG" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxAH" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>