This repository has been archived by the owner on May 28, 2024. It is now read-only.
forked from mbeddr/mbeddr.formal
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add OCRA plugin solution and initial menu entries
- Loading branch information
Showing
3 changed files
with
111 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
39 changes: 39 additions & 0 deletions
39
...solutions/com.mbeddr.formal.ocra.pluginSolution/com.mbeddr.formal.ocra.pluginSolution.msd
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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> | ||
|
|
71 changes: 71 additions & 0 deletions
71
...mbeddr.formal.ocra.pluginSolution/models/com.mbeddr.formal.ocra.pluginSolution.plugin.mps
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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> | ||
|
|