safety.hara, safety.iso26262: add IProvideBasicContextMenus to Hazard…

… and ISO26262Hazard
mbeddr · Jan 31, 2025 · d14c3f4 · d14c3f4
1 parent d3cc5ed
commit d14c3f4
Show file tree

Hide file tree

Showing 4 changed files with 40 additions and 5 deletions.
diff --git a/...y/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.editor.mps b/...y/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.editor.mps
@@ -32,14 +32,17 @@
       <concept id="1186414536763" name="jetbrains.mps.lang.editor.structure.BooleanStyleSheetItem" flags="ln" index="VOi$J">
         <property id="1186414551515" name="flag" index="VOm3f" />
       </concept>
+      <concept id="1186414928363" name="jetbrains.mps.lang.editor.structure.SelectableStyleSheetItem" flags="ln" index="VPM3Z" />
       <concept id="1233758997495" name="jetbrains.mps.lang.editor.structure.PunctuationLeftStyleClassItem" flags="ln" index="11L4FC" />
       <concept id="1233759184865" name="jetbrains.mps.lang.editor.structure.PunctuationRightStyleClassItem" flags="ln" index="11LMrY" />
+      <concept id="3360401466585705291" name="jetbrains.mps.lang.editor.structure.CellModel_ContextAssistant" flags="ng" index="18a60v" />
       <concept id="1088013125922" name="jetbrains.mps.lang.editor.structure.CellModel_RefCell" flags="sg" stub="730538219795941030" index="1iCGBv">
         <child id="1088186146602" name="editorComponent" index="1sWHZn" />
       </concept>
       <concept id="1381004262292414836" name="jetbrains.mps.lang.editor.structure.ICellStyle" flags="ngI" index="1k5N5V">
         <reference id="1381004262292426837" name="parentStyleClass" index="1k5W1q" />
       </concept>
+      <concept id="701160265283677816" name="jetbrains.mps.lang.editor.structure.TransparentStyleSheetItem" flags="ln" index="3noiJN" />
       <concept id="1088185857835" name="jetbrains.mps.lang.editor.structure.InlineEditorComponent" flags="ig" index="1sVBvm" />
       <concept id="1139848536355" name="jetbrains.mps.lang.editor.structure.CellModel_WithRole" flags="ng" index="1$h60E">
         <property id="1139852716018" name="noTargetText" index="1$x2rV" />
@@ -120,8 +123,17 @@
     <node concept="2r0Tta" id="7TjUbLQ4522" role="2wV5jI">
       <node concept="2reCLk" id="7TjUbLQ4525" role="2r0Tv6">
         <node concept="2reCLy" id="7eb_1beMkiK" role="2reCL6">
-          <node concept="3F0A7n" id="7eb_1beMkiT" role="2reSmM">
-            <ref role="1NtTu8" to="cjwq:2N7iSwG$CrI" resolve="id" />
+          <node concept="3EZMnI" id="6xXHcqx9pA1" role="2reSmM">
+            <node concept="2iRfu4" id="6xXHcqx9pA2" role="2iSdaV" />
+            <node concept="3F0A7n" id="7eb_1beMkiT" role="3EZMnx">
+              <ref role="1NtTu8" to="cjwq:2N7iSwG$CrI" resolve="id" />
+            </node>
+            <node concept="18a60v" id="6xXHcqx9pA4" role="3EZMnx">
+              <node concept="VPM3Z" id="6xXHcqx9pA6" role="3F10Kt" />
+              <node concept="3noiJN" id="6xXHcqx9pA7" role="3F10Kt">
+                <property role="VOm3f" value="true" />
+              </node>
+            </node>
           </node>
           <node concept="2rfbtV" id="7eb_1beMkiW" role="2recC9">
             <property role="2rfbtB" value="Hazard ID" />

diff --git a/...anguages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.structure.mps b/...anguages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.structure.mps
@@ -8,6 +8,7 @@
   <imports>
     <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
     <import index="87nw" ref="r:ca2ab6bb-f6e7-4c0f-a88c-b78b9b31fff3(de.slisson.mps.richtext.structure)" />
+    <import index="uhu" ref="r:7b6bea6a-7952-48df-9449-f3f805640b2f(com.mpsbasics.core.structure)" implicit="true" />
   </imports>
   <registry>
     <language id="982eb8df-2c96-4bd7-9963-11712ea622e5" name="jetbrains.mps.lang.resources">
@@ -119,6 +120,9 @@
     <node concept="PrWs8" id="7TjUbLQ4gDe" role="PzmwI">
       <ref role="PrY4T" node="7TjUbLQ4gDb" resolve="IHazardLike" />
     </node>
+    <node concept="PrWs8" id="6xXHcqx99aZ" role="PzmwI">
+      <ref role="PrY4T" to="uhu:3pul3T6srr3" resolve="IProvideBasicContextMenus" />
+    </node>
     <node concept="1TJgyj" id="6RZi9iiwhYM" role="1TKVEi">
       <property role="IQ2ns" value="7926133672145657778" />
       <property role="20lmBu" value="fLJjDmT/aggregation" />

diff --git a/...ges/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps b/...ges/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps
@@ -42,12 +42,18 @@
         <property id="1186403771423" name="style" index="Vbekb" />
       </concept>
       <concept id="1186404549998" name="jetbrains.mps.lang.editor.structure.ForegroundColorStyleClassItem" flags="ln" index="VechU" />
+      <concept id="1186414536763" name="jetbrains.mps.lang.editor.structure.BooleanStyleSheetItem" flags="ln" index="VOi$J">
+        <property id="1186414551515" name="flag" index="VOm3f" />
+      </concept>
+      <concept id="1186414928363" name="jetbrains.mps.lang.editor.structure.SelectableStyleSheetItem" flags="ln" index="VPM3Z" />
+      <concept id="3360401466585705291" name="jetbrains.mps.lang.editor.structure.CellModel_ContextAssistant" flags="ng" index="18a60v" />
       <concept id="1088013125922" name="jetbrains.mps.lang.editor.structure.CellModel_RefCell" flags="sg" stub="730538219795941030" index="1iCGBv">
         <child id="1088186146602" name="editorComponent" index="1sWHZn" />
       </concept>
       <concept id="1381004262292414836" name="jetbrains.mps.lang.editor.structure.ICellStyle" flags="ngI" index="1k5N5V">
         <reference id="1381004262292426837" name="parentStyleClass" index="1k5W1q" />
       </concept>
+      <concept id="701160265283677816" name="jetbrains.mps.lang.editor.structure.TransparentStyleSheetItem" flags="ln" index="3noiJN" />
       <concept id="1088185857835" name="jetbrains.mps.lang.editor.structure.InlineEditorComponent" flags="ig" index="1sVBvm" />
       <concept id="1139744628335" name="jetbrains.mps.lang.editor.structure.CellModel_Image" flags="sg" stub="8104358048506731195" index="1u4HXA">
         <property id="1139746504291" name="imageFile" index="1ubRXE" />
@@ -156,8 +162,17 @@
     <node concept="2r0Tta" id="24PsEXFbJNF" role="2wV5jI">
       <node concept="2reCLk" id="24PsEXFbJO3" role="2r0Tv6">
         <node concept="2reCLy" id="7eb_1beMnN5" role="2reCL6">
-          <node concept="3F0A7n" id="7eb_1beMnNn" role="2reSmM">
-            <ref role="1NtTu8" to="cjwq:2N7iSwG$CrI" resolve="id" />
+          <node concept="3EZMnI" id="6xXHcqx9DsA" role="2reSmM">
+            <node concept="2iRfu4" id="6xXHcqx9DsB" role="2iSdaV" />
+            <node concept="3F0A7n" id="7eb_1beMnNn" role="3EZMnx">
+              <ref role="1NtTu8" to="cjwq:2N7iSwG$CrI" resolve="id" />
+            </node>
+            <node concept="18a60v" id="6xXHcqx9DsD" role="3EZMnx">
+              <node concept="VPM3Z" id="6xXHcqx9DsF" role="3F10Kt" />
+              <node concept="3noiJN" id="6xXHcqx9DsG" role="3F10Kt">
+                <property role="VOm3f" value="true" />
+              </node>
+            </node>
           </node>
           <node concept="2rfbtV" id="7eb_1beMnNq" role="2recC9">
             <property role="2rfbtB" value="ID" />

diff --git a/.../com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.structure.mps b/.../com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.structure.mps
@@ -9,6 +9,7 @@
   <imports>
     <import index="cjwq" ref="r:7e1f4da1-19b3-4ceb-bcab-0237eb7a50b7(com.mbeddr.formal.safety.hara.structure)" />
     <import index="zqge" ref="r:59e90602-6655-4552-86eb-441a42a9a0e4(jetbrains.mps.lang.text.structure)" />
+    <import index="uhu" ref="r:7b6bea6a-7952-48df-9449-f3f805640b2f(com.mpsbasics.core.structure)" implicit="true" />
     <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
     <import index="87nw" ref="r:ca2ab6bb-f6e7-4c0f-a88c-b78b9b31fff3(de.slisson.mps.richtext.structure)" implicit="true" />
   </imports>
@@ -92,6 +93,9 @@
       <property role="20lbJX" value="fLJekj5/_0__n" />
       <ref role="20lvS9" node="55oVyA0lgqZ" resolve="HazardContext" />
     </node>
+    <node concept="PrWs8" id="6xXHcqx9Ds_" role="PzmwI">
+      <ref role="PrY4T" to="uhu:3pul3T6srr3" resolve="IProvideBasicContextMenus" />
+    </node>
   </node>
   <node concept="25R3W" id="24PsEXFbNKL">
     <property role="3F6X1D" value="2392944874760387633" />
@@ -223,7 +227,7 @@
         </node>
       </node>
       <node concept="1irPie" id="55oVyA0mF_p" role="1irR9h">
-        <property role="1irPi9" value="⁂" />
+        <property role="1irPi9" value="?" />
         <node concept="3PKj8D" id="55oVyA0mF_$" role="3PKjny">
           <property role="3PKj8l" value="FF0000" />
         </node>