Skip to content

Commit

Permalink
safety.gsn: automatically refresh the project-pane after import
Browse files Browse the repository at this point in the history
  • Loading branch information
@danielratiu
danielratiu committed Dec 31, 2023
1 parent c779932 commit 3df2774
Show file tree
Hide file tree
Showing 2 changed files with 35 additions and 0 deletions.
2 changes: 2 additions & 0 deletions ...languages/com.mbeddr.formal.safety.gsn.importer/com.mbeddr.formal.safety.gsn.importer.mpl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@
<dependency reexport="false">b0f8641f-bd77-4421-8425-30d9088a82f7(org.apache.commons)</dependency>
<dependency reexport="false">e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn)</dependency>
<dependency reexport="false">92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext)</dependency>
<dependency reexport="false">86441d7a-e194-42da-81a5-2161ec62a379(MPS.Workbench)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
Expand Down Expand Up @@ -62,6 +63,7 @@
<module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
<module reference="86441d7a-e194-42da-81a5-2161ec62a379(MPS.Workbench)" version="0" />
<module reference="83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base)" version="0" />
<module reference="e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn)" version="0" />
<module reference="a7775cc7-19db-41cf-a724-3212ac4437b9(com.mbeddr.formal.safety.gsn.importer)" version="0" />
Expand Down
33 changes: 33 additions & 0 deletions ...mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,12 +10,15 @@
<imports>
<import index="dxuu" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:javax.swing(JDK/)" />
<import index="hyam" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.awt.event(JDK/)" />
<import index="rvbb" ref="86441d7a-e194-42da-81a5-2161ec62a379/java:jetbrains.mps.ide.projectPane(MPS.Workbench/)" />
<import index="64cq" ref="r:a10cf8fb-d7db-44ec-bd00-59dfaa3a8842(com.mbeddr.formal.safety.gsn.importer.structure)" implicit="true" />
<import index="tpco" ref="r:00000000-0000-4000-0000-011c89590284(jetbrains.mps.lang.core.editor)" implicit="true" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
<import index="cj4x" ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224/java:jetbrains.mps.openapi.editor(MPS.Editor/)" implicit="true" />
<import index="wzxk" ref="r:2931d8d2-dd6f-45fd-bbbd-056f34b734a8(com.mbeddr.formal.safety.gsn.importer.behavior)" implicit="true" />
<import index="w1kc" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel(MPS.Core/)" implicit="true" />
<import index="bnjk" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.ide.projectView(MPS.IDEA/)" implicit="true" />
</imports>
<registry>
<language id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor">
Expand Down Expand Up @@ -87,6 +90,9 @@
<concept id="1182160077978" name="jetbrains.mps.baseLanguage.structure.AnonymousClassCreator" flags="nn" index="YeOm9">
<child id="1182160096073" name="cls" index="YeSDq" />
</concept>
<concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
<reference id="1144433194310" name="classConcept" index="1Pybhc" />
</concept>
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
<child id="1068431790190" name="initializer" index="33vP2m" />
</concept>
Expand Down Expand Up @@ -353,6 +359,33 @@
</node>
</node>
</node>
<node concept="3clFbF" id="26E6nZcN5dt" role="3cqZAp">
<node concept="2OqwBi" id="26E6nZcNbke" role="3clFbG">
<node concept="2OqwBi" id="26E6nZcNa2o" role="2Oq$k0">
<node concept="2YIFZM" id="26E6nZcN7nn" role="2Oq$k0">
<ref role="37wK5l" to="rvbb:~ProjectPane.getInstance(jetbrains.mps.project.Project)" resolve="getInstance" />
<ref role="1Pybhc" to="rvbb:~ProjectPane" resolve="ProjectPane" />
<node concept="2OqwBi" id="26E6nZcN8WR" role="37wK5m">
<node concept="2OqwBi" id="26E6nZcN8xx" role="2Oq$k0">
<node concept="1Q80Hx" id="26E6nZcN88O" role="2Oq$k0" />
<node concept="liA8E" id="26E6nZcN8Lp" role="2OqNvi">
<ref role="37wK5l" to="cj4x:~EditorContext.getOperationContext()" resolve="getOperationContext" />
</node>
</node>
<node concept="liA8E" id="26E6nZcN9fU" role="2OqNvi">
<ref role="37wK5l" to="w1kc:~IOperationContext.getProject()" resolve="getProject" />
</node>
</node>
</node>
<node concept="liA8E" id="26E6nZcNaPk" role="2OqNvi">
<ref role="37wK5l" to="rvbb:~BaseLogicalViewProjectPane.getProjectView()" resolve="getProjectView" />
</node>
</node>
<node concept="liA8E" id="26E6nZcNbBC" role="2OqNvi">
<ref role="37wK5l" to="bnjk:~ProjectView.refresh()" resolve="refresh" />
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="6E_Wr0YLTow" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
Expand Down

0 comments on commit 3df2774

Please sign in to comment.