From 501daa8770a9012ba516ff08a2b423a25afb933c Mon Sep 17 00:00:00 2001
From: Jens Buehl <jbuehl@itemis.com>
Date: Tue, 29 Sep 2020 15:09:44 +0200
Subject: [PATCH] Add OCRA plugin solution and initial menu entries

---
 .../com.mbeddr.formal.nusmv/.mps/modules.xml  |  1 +
 .../com.mbeddr.formal.ocra.pluginSolution.msd | 39 ++++++++++
 ...eddr.formal.ocra.pluginSolution.plugin.mps | 71 +++++++++++++++++++
 3 files changed, 111 insertions(+)
 create mode 100644 code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.ocra.pluginSolution/com.mbeddr.formal.ocra.pluginSolution.msd
 create mode 100644 code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.ocra.pluginSolution/models/com.mbeddr.formal.ocra.pluginSolution.plugin.mps

diff --git a/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml b/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml
index 19b9993cb..f14b6383b 100644
--- a/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml
+++ b/code/languages/com.mbeddr.formal.nusmv/.mps/modules.xml
@@ -35,6 +35,7 @@
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd" folder="lang.nusmv" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd" folder="lang.nusmv" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.nuxmv.pluginSolution/com.mbeddr.formal.nuxmv.pluginSolution.msd" folder="lang.nuxmv" />
+      <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.ocra.pluginSolution/com.mbeddr.formal.ocra.pluginSolution.msd" folder="lang.ocra" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.rcp.pluginSolution/com.mbeddr.formal.rcp.pluginSolution.msd" folder="rcp" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.rcp.tips_and_tricks/com.mbeddr.formal.rcp.tips_and_tricks.msd" folder="rcp" />
       <modulePath path="$PROJECT_DIR$/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd" folder="rcp" />
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.ocra.pluginSolution/com.mbeddr.formal.ocra.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.ocra.pluginSolution/com.mbeddr.formal.ocra.pluginSolution.msd
new file mode 100644
index 000000000..28dba60c9
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.ocra.pluginSolution/com.mbeddr.formal.ocra.pluginSolution.msd
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<solution name="com.mbeddr.formal.ocra.pluginSolution" uuid="86e53159-58c5-4a32-bbcd-cb3b210e3ff0" moduleVersion="0" compileInMPS="true">
+  <models>
+    <modelRoot contentPath="${module}" type="default">
+      <sourceRoot location="models" />
+    </modelRoot>
+  </models>
+  <facets>
+    <facet languageLevel="JAVA_8" type="java">
+      <classes generated="true" path="${module}/classes_gen" />
+    </facet>
+  </facets>
+  <sourcePath />
+  <dependencies>
+    <dependency reexport="false">945808cb-09a0-4d70-9f2a-186b7f5c6219(com.mbeddr.formal.base.pluginSolution)</dependency>
+    <dependency reexport="false">498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)</dependency>
+  </dependencies>
+  <languageVersions>
+    <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="11" />
+    <language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
+    <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
+    <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
+    <language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
+    <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
+    <language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
+    <language slang="l:28f9e497-3b42-4291-aeba-0a1039153ab1:jetbrains.mps.lang.plugin" version="4" />
+    <language slang="l:ef7bf5ac-d06c-4342-b11d-e42104eb9343:jetbrains.mps.lang.plugin.standalone" version="0" />
+    <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="17" />
+    <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+  </languageVersions>
+  <dependencyVersions>
+    <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
+    <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
+    <module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
+    <module reference="945808cb-09a0-4d70-9f2a-186b7f5c6219(com.mbeddr.formal.base.pluginSolution)" version="0" />
+    <module reference="86e53159-58c5-4a32-bbcd-cb3b210e3ff0(com.mbeddr.formal.ocra.pluginSolution)" version="0" />
+  </dependencyVersions>
+</solution>
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.ocra.pluginSolution/models/com.mbeddr.formal.ocra.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.ocra.pluginSolution/models/com.mbeddr.formal.ocra.pluginSolution.plugin.mps
new file mode 100644
index 000000000..c11602bf3
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.ocra.pluginSolution/models/com.mbeddr.formal.ocra.pluginSolution.plugin.mps
@@ -0,0 +1,71 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:41418520-ea45-4c18-9cd9-8bf3b280fb49(com.mbeddr.formal.ocra.pluginSolution.plugin)">
+  <persistence version="9" />
+  <languages>
+    <use id="ef7bf5ac-d06c-4342-b11d-e42104eb9343" name="jetbrains.mps.lang.plugin.standalone" version="0" />
+    <use id="28f9e497-3b42-4291-aeba-0a1039153ab1" name="jetbrains.mps.lang.plugin" version="4" />
+    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="17" />
+  </languages>
+  <imports>
+    <import index="8js5" ref="r:896eeadf-a850-400e-b516-f92dfb5b5cd9(com.mbeddr.formal.base.pluginSolution.plugin)" />
+    <import index="qkt" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.actionSystem(MPS.IDEA/)" />
+  </imports>
+  <registry>
+    <language id="28f9e497-3b42-4291-aeba-0a1039153ab1" name="jetbrains.mps.lang.plugin">
+      <concept id="1207145163717" name="jetbrains.mps.lang.plugin.structure.ElementListContents" flags="ng" index="ftmFs">
+        <child id="1207145201301" name="reference" index="ftvYc" />
+      </concept>
+      <concept id="1203071646776" name="jetbrains.mps.lang.plugin.structure.ActionDeclaration" flags="ng" index="sE7Ow">
+        <property id="1205250923097" name="caption" index="2uzpH1" />
+        <child id="1203083461638" name="executeFunction" index="tncku" />
+      </concept>
+      <concept id="1203083511112" name="jetbrains.mps.lang.plugin.structure.ExecuteBlock" flags="in" index="tnohg" />
+      <concept id="1203087890642" name="jetbrains.mps.lang.plugin.structure.ActionGroupDeclaration" flags="ng" index="tC5Ba">
+        <child id="1204991552650" name="modifier" index="2f5YQi" />
+        <child id="1207145245948" name="contents" index="ftER_" />
+      </concept>
+      <concept id="1203088046679" name="jetbrains.mps.lang.plugin.structure.ActionInstance" flags="ng" index="tCFHf">
+        <reference id="1203088061055" name="action" index="tCJdB" />
+      </concept>
+      <concept id="1203092361741" name="jetbrains.mps.lang.plugin.structure.ModificationStatement" flags="lg" index="tT9cl">
+        <reference id="1204992316090" name="point" index="2f8Tey" />
+        <reference id="1203092736097" name="modifiedGroup" index="tU$_T" />
+      </concept>
+    </language>
+    <language id="ef7bf5ac-d06c-4342-b11d-e42104eb9343" name="jetbrains.mps.lang.plugin.standalone">
+      <concept id="7520713872864775836" name="jetbrains.mps.lang.plugin.standalone.structure.StandalonePluginDescriptor" flags="ng" index="2DaZZR" />
+    </language>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
+        <child id="1137022507850" name="body" index="2VODD2" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS" />
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="2DaZZR" id="65szyTAZ5eB" />
+  <node concept="sE7Ow" id="65szyTAZ5sG">
+    <property role="TrG5h" value="RunOcraOnSource" />
+    <property role="2uzpH1" value="Run OCRA" />
+    <node concept="tnohg" id="65szyTAZ5sH" role="tncku">
+      <node concept="3clFbS" id="65szyTAZ5sI" role="2VODD2" />
+    </node>
+  </node>
+  <node concept="tC5Ba" id="65szyTAZ5sR">
+    <property role="TrG5h" value="OcraGroup" />
+    <node concept="ftmFs" id="65szyTAZ5ui" role="ftER_">
+      <node concept="tCFHf" id="65szyTAZ5ul" role="ftvYc">
+        <ref role="tCJdB" node="65szyTAZ5sG" resolve="RunOcraOnSource" />
+      </node>
+    </node>
+    <node concept="tT9cl" id="65szyTAZ5wV" role="2f5YQi">
+      <ref role="tU$_T" to="8js5:53G_t0FcvfX" resolve="fastenPlatformEditorPopupGroup" />
+      <ref role="2f8Tey" to="8js5:53G_t0FcvgX" resolve="fastenPlatformEditorPopupExtensions" />
+    </node>
+  </node>
+</model>
+