Skip to content

Commit

Permalink
safety.gsn.importer: initial support for importing goal structures fr…
Browse files Browse the repository at this point in the history 
…om XML
  • Loading branch information
@danielratiu
danielratiu committed Dec 25, 2023
1 parent 84c0de1 commit 522b7d1
Show file tree
Hide file tree
Showing 14 changed files with 3,000 additions and 32 deletions.
58 changes: 57 additions & 1 deletion ...eddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.behavior.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -101,12 +101,16 @@
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<property id="1193676396447" name="virtualPackage" index="3GE5qa" />
</concept>
<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="13h7C7" id="6E_Wr0YLtOh">
<property role="3GE5qa" value="formats" />
<ref role="13h7C2" to="64cq:6E_Wr0YLqki" resolve="ImportFormatBase" />
<node concept="13i0hz" id="6E_Wr0YLtV0" role="13h7CS">
<property role="TrG5h" value="importGoalStructure" />
Expand All @@ -127,6 +131,7 @@
</node>
</node>
<node concept="13h7C7" id="6E_Wr0YLw8S">
<property role="3GE5qa" value="formats" />
<ref role="13h7C2" to="64cq:6E_Wr0YLv6b" resolve="CsvImportFormat" />
<node concept="13hLZK" id="6E_Wr0YLw8T" role="13h7CW">
<node concept="3clFbS" id="6E_Wr0YLw8U" role="2VODD2" />
Expand Down Expand Up @@ -196,6 +201,7 @@
</node>
</node>
<node concept="13h7C7" id="6E_Wr0YPAwS">
<property role="3GE5qa" value="formats" />
<ref role="13h7C2" to="64cq:6E_Wr0YLqJl" resolve="XmlImportFormat" />
<node concept="13hLZK" id="6E_Wr0YPAwT" role="13h7CW">
<node concept="3clFbS" id="6E_Wr0YPAwU" role="2VODD2" />
Expand All @@ -204,7 +210,57 @@
<property role="TrG5h" value="importGoalStructure" />
<ref role="13i0hy" node="6E_Wr0YLtV0" resolve="importGoalStructure" />
<node concept="3Tm1VV" id="6E_Wr0YPAze" role="1B3o_S" />
<node concept="3clFbS" id="6E_Wr0YPAzh" role="3clF47" />
<node concept="3clFbS" id="6E_Wr0YPAzh" role="3clF47">
<node concept="3cpWs8" id="7NA168qhJ$O" role="3cqZAp">
<node concept="3cpWsn" id="7NA168qhJ$P" role="3cpWs9">
<property role="TrG5h" value="nonCanonicalPath" />
<node concept="17QB3L" id="7NA168qhJ1b" role="1tU5fm" />
</node>
</node>
<node concept="1QHqEK" id="7NA168qhJQq" role="3cqZAp">
<node concept="1QHqEC" id="7NA168qhJQs" role="1QHqEI">
<node concept="3clFbS" id="7NA168qhJQu" role="1bW5cS">
<node concept="3clFbF" id="7NA168qhJIy" role="3cqZAp">
<node concept="37vLTI" id="7NA168qhJI$" role="3clFbG">
<node concept="2OqwBi" id="7NA168qhJ$Q" role="37vLTx">
<node concept="2OqwBi" id="7NA168qhJ$R" role="2Oq$k0">
<node concept="13iPFW" id="7NA168qhJ$S" role="2Oq$k0" />
<node concept="3TrEf2" id="7NA168qhJ$T" role="2OqNvi">
<ref role="3Tt5mk" to="64cq:7NA168q3Hmg" resolve="dir" />
</node>
</node>
<node concept="2qgKlT" id="7NA168qhJ$U" role="2OqNvi">
<ref role="37wK5l" to="48kf:2_BfG8PE78n" resolve="getNonCanonicalPath" />
</node>
</node>
<node concept="37vLTw" id="7NA168qhJIC" role="37vLTJ">
<ref role="3cqZAo" node="7NA168qhJ$P" resolve="nonCanonicalPath" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="7NA168qhJUI" role="ukAjM">
<ref role="3cqZAo" node="6E_Wr0YPKzO" resolve="repo" />
</node>
</node>
<node concept="3clFbF" id="7NA168qhCHX" role="3cqZAp">
<node concept="2YIFZM" id="7NA168qhCLa" role="3clFbG">
<ref role="37wK5l" to="mn49:3SfdbygP4sV" resolve="importGoalStructuresFromDirectory" />
<ref role="1Pybhc" to="mn49:3SfdbygP4qz" resolve="XmlImporter" />
<node concept="37vLTw" id="7NA168qhCMx" role="37wK5m">
<ref role="3cqZAo" node="6E_Wr0YPKzO" resolve="repo" />
</node>
<node concept="37vLTw" id="7NA168qhJ$V" role="37wK5m">
<ref role="3cqZAo" node="7NA168qhJ$P" resolve="nonCanonicalPath" />
</node>
<node concept="2OqwBi" id="7NA168qhE80" role="37wK5m">
<node concept="13iPFW" id="7NA168qhE4S" role="2Oq$k0" />
<node concept="I4A8Y" id="7NA168qhEdk" role="2OqNvi" />
</node>
</node>
</node>
</node>
<node concept="3cqZAl" id="6E_Wr0YPAzi" role="3clF45" />
<node concept="37vLTG" id="6E_Wr0YPKzO" role="3clF46">
<property role="TrG5h" value="repo" />
Expand Down
118 changes: 118 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 @@ -161,18 +161,23 @@
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<property id="1193676396447" name="virtualPackage" index="3GE5qa" />
</concept>
<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="24kQdi" id="6E_Wr0YLrC0">
<property role="3GE5qa" value="formats" />
<ref role="1XX52x" to="64cq:6E_Wr0YLqki" resolve="ImportFormatBase" />
<node concept="PMmxH" id="6E_Wr0YLrS1" role="2wV5jI">
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
</node>
</node>
<node concept="24kQdi" id="6E_Wr0YLxS5">
<property role="3GE5qa" value="formats" />
<ref role="1XX52x" to="64cq:6E_Wr0YLv6b" resolve="CsvImportFormat" />
<node concept="3EZMnI" id="6E_Wr0YLxYX" role="2wV5jI">
<node concept="3F0ifn" id="6E_Wr0YLymB" role="3EZMnx">
Expand Down Expand Up @@ -370,5 +375,118 @@
<node concept="2iRkQZ" id="6E_Wr0YLHYR" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="7NA168q4usl">
<property role="3GE5qa" value="formats" />
<ref role="1XX52x" to="64cq:6E_Wr0YLqJl" resolve="XmlImportFormat" />
<node concept="3EZMnI" id="7NA168q4u$T" role="2wV5jI">
<node concept="3F0ifn" id="7NA168q4u$U" role="3EZMnx">
<property role="3F0ifm" value="xml import:" />
</node>
<node concept="3EZMnI" id="7NA168q4u$V" role="3EZMnx">
<node concept="VPM3Z" id="7NA168q4u$W" role="3F10Kt" />
<node concept="3XFhqQ" id="7NA168q4u$X" role="3EZMnx" />
<node concept="3F0ifn" id="7NA168q4u$Y" role="3EZMnx">
<property role="3F0ifm" value="file:" />
</node>
<node concept="3F1sOY" id="7NA168q4u$Z" role="3EZMnx">
<ref role="1NtTu8" to="64cq:7NA168q3Hmg" resolve="dir" />
</node>
<node concept="2iRfu4" id="7NA168q4u_0" role="2iSdaV" />
</node>
<node concept="3F0ifn" id="7NA168q4u_1" role="3EZMnx" />
<node concept="3F0ifn" id="7NA168q4u_2" role="3EZMnx">
<property role="3F0ifm" value="Documentation:" />
</node>
<node concept="3EZMnI" id="7NA168q4u_3" role="3EZMnx">
<node concept="VPM3Z" id="7NA168q4u_4" role="3F10Kt" />
<node concept="3XFhqQ" id="7NA168q4u_5" role="3EZMnx" />
<node concept="3EZMnI" id="7NA168q4u_6" role="3EZMnx">
<node concept="VPM3Z" id="7NA168q4u_7" role="3F10Kt" />
<node concept="3F0ifn" id="7NA168q4u_8" role="3EZMnx">
<property role="3F0ifm" value="expected file format (same as exported by the xml_gen exporter of FASTEN):" />
<node concept="VechU" id="7NA168q4u_9" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4u_a" role="3EZMnx" />
<node concept="3F0ifn" id="7NA168q4vzz" role="3EZMnx">
<property role="3F0ifm" value="&lt;goal_structure name=&quot;example_1&quot;&gt;" />
<node concept="VechU" id="7NA168qho_c" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4u_d" role="3EZMnx">
<property role="3F0ifm" value=" &lt;goal&gt;" />
<node concept="VechU" id="7NA168q4u_e" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4xhZ" role="3EZMnx">
<property role="3F0ifm" value=" &lt;name&gt;G01&lt;/name&gt;" />
<node concept="VechU" id="7NA168q4xi0" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4xiX" role="3EZMnx">
<property role="3F0ifm" value=" &lt;node_id&gt;2134431&lt;/node_id&gt;" />
<node concept="VechU" id="7NA168q4xiY" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4xKe" role="3EZMnx">
<property role="3F0ifm" value=" &lt;description&gt;The description&lt;/description&gt;" />
<node concept="VechU" id="7NA168q4xKf" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4xLi" role="3EZMnx">
<property role="3F0ifm" value=" &lt;attributes&gt;" />
<node concept="VechU" id="7NA168q4xLj" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4xO0" role="3EZMnx">
<property role="3F0ifm" value=" &lt;attribute&gt;" />
<node concept="VechU" id="7NA168q4xO1" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4_0Z" role="3EZMnx">
<property role="3F0ifm" value=" &lt;name&gt;responsible&lt;/name&gt;" />
<node concept="VechU" id="7NA168q4_10" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4_2b" role="3EZMnx">
<property role="3F0ifm" value=" &lt;value&gt;John&lt;/value&gt;" />
<node concept="VechU" id="7NA168q4_2c" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4_3p" role="3EZMnx">
<property role="3F0ifm" value=" &lt;/attribute&gt;" />
<node concept="VechU" id="7NA168q4_3q" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4yWg" role="3EZMnx">
<property role="3F0ifm" value=" &lt;/attributes&gt;" />
<node concept="VechU" id="7NA168q4yWh" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="3F0ifn" id="7NA168q4xjz" role="3EZMnx">
<property role="3F0ifm" value=" &lt;goal&gt;" />
<node concept="VechU" id="7NA168q4xj$" role="3F10Kt">
<property role="Vb096" value="fLJRk5_/gray" />
</node>
</node>
<node concept="2iRkQZ" id="7NA168q4u_j" role="2iSdaV" />
</node>
<node concept="2iRfu4" id="7NA168q4u_k" role="2iSdaV" />
</node>
<node concept="2iRkQZ" id="7NA168q4u_l" role="2iSdaV" />
</node>
</node>
</model>

12 changes: 12 additions & 0 deletions ...ddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.structure.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,9 @@
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<property id="1193676396447" name="virtualPackage" index="3GE5qa" />
</concept>
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
Expand All @@ -59,20 +62,29 @@
<property role="EcuMT" value="7684814078447297810" />
<property role="TrG5h" value="ImportFormatBase" />
<property role="R5$K7" value="true" />
<property role="3GE5qa" value="formats" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
<node concept="1TIwiD" id="6E_Wr0YLqJl">
<property role="EcuMT" value="7684814078447299541" />
<property role="TrG5h" value="XmlImportFormat" />
<property role="34LRSv" value="xml format" />
<property role="R4oN_" value="imports from xml" />
<property role="3GE5qa" value="formats" />
<ref role="1TJDcQ" node="6E_Wr0YLqki" resolve="ImportFormatBase" />
<node concept="1TJgyj" id="7NA168q3Hmg" role="1TKVEi">
<property role="IQ2ns" value="8999885724737000848" />
<property role="20lmBu" value="fLJjDmT/aggregation" />
<property role="20kJfa" value="dir" />
<ref role="20lvS9" to="68mc:5Wocj7wnolM" resolve="AbstractFolderPicker" />
</node>
</node>
<node concept="1TIwiD" id="6E_Wr0YLv6b">
<property role="EcuMT" value="7684814078447317387" />
<property role="TrG5h" value="CsvImportFormat" />
<property role="34LRSv" value="csv format" />
<property role="R4oN_" value="imports from csv" />
<property role="3GE5qa" value="formats" />
<ref role="1TJDcQ" node="6E_Wr0YLqki" resolve="ImportFormatBase" />
<node concept="1TJgyj" id="6E_Wr0YLwjr" role="1TKVEi">
<property role="IQ2ns" value="7684814078447322331" />
Expand Down
Loading

0 comments on commit 522b7d1

Please sign in to comment.