Skip to content

GitLab

I
iTypes
Commit fe15e0e2 authored by André Pacak's avatar André Pacak
Browse files
Options

started implement transformation that generates projections for non-user inputs simultaneously

parent e4b8835b
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 821 additions and 110 deletions
inca-translation/languages/TypeLang/TypeLang.mpl
View file @ fe15e0e2
......@@ -83,27 +83,13 @@
<greater-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7868621431052268520" />
</external-mapping>
</greater-priority-mapping>
<lesser-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7868621431052268518" />
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
<mapping-priority-rule kind="strictly_before">
<greater-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7868621431052268518" />
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7868621431052230593" />
</external-mapping>
</greater-priority-mapping>
<lesser-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<generator generatorUID="ffdbca37-b97f-439c-8366-148d3b8b6c53(org.inca.extensions#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="2973820376015168667" />
<all-local-mappings />
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
......@@ -111,7 +97,7 @@
<greater-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="2973820376015168667" />
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="8505746811416474161" />
</external-mapping>
</greater-priority-mapping>
<lesser-priority-mapping>
......@@ -121,20 +107,6 @@
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
<mapping-priority-rule kind="strictly_before">
<greater-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7868621431052230593" />
</external-mapping>
</greater-priority-mapping>
<lesser-priority-mapping>
<generator generatorUID="ffdbca37-b97f-439c-8366-148d3b8b6c53(org.inca.extensions#01)" />
<external-mapping>
<all-local-mappings />
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
</mapping-priorities>
</generator>
</generators>
......
inca-translation/languages/TypeLang/models/behavior.mps
View file @ fe15e0e2
......@@ -131,6 +131,9 @@
<child id="1206060619838" name="condition" index="3eO9$A" />
<child id="1206060644605" name="statementList" index="3eOfB_" />
</concept>
<concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
<child id="1079359253376" name="expression" index="1eOMHV" />
</concept>
<concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
......@@ -1062,6 +1065,71 @@
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="7oauUzs6kXG" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="getNonUserSorts" />
<node concept="3Tm1VV" id="7oauUzs6kXH" role="1B3o_S" />
<node concept="3clFbS" id="7oauUzs6kXI" role="3clF47">
<node concept="3clFbF" id="7oauUzs6kXJ" role="3cqZAp">
<node concept="2OqwBi" id="7oauUzs6kXK" role="3clFbG">
<node concept="2OqwBi" id="7oauUzs6kXL" role="2Oq$k0">
<node concept="BsUDl" id="7oauUzs6kXM" role="2Oq$k0">
<ref role="37wK5l" node="4XA4NEmGQRd" resolve="getSorts" />
</node>
<node concept="3zZkjj" id="7oauUzs6kXN" role="2OqNvi">
<node concept="1bVj0M" id="7oauUzs6kXO" role="23t8la">
<node concept="3clFbS" id="7oauUzs6kXP" role="1bW5cS">
<node concept="3clFbF" id="7oauUzs6kXQ" role="3cqZAp">
<node concept="22lmx$" id="7oauUzscwsg" role="3clFbG">
<node concept="2OqwBi" id="7oauUzsgrzy" role="3uHU7B">
<node concept="37vLTw" id="7oauUzsgrzz" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUzs6kXZ" resolve="it" />
</node>
<node concept="2qgKlT" id="7oauUzsgrz$" role="2OqNvi">
<ref role="37wK5l" node="2U2uJPpeU0b" resolve="isInfiniteNonlatticeOutput" />
</node>
</node>
<node concept="1eOMI4" id="7oauUzsgrz_" role="3uHU7w">
<node concept="1Wc70l" id="7oauUzsgrzA" role="1eOMHV">
<node concept="3fqX7Q" id="7oauUzsgrzB" role="3uHU7w">
<node concept="2OqwBi" id="7oauUzsgrzC" role="3fr31v">
<node concept="37vLTw" id="7oauUzsgrzD" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUzs6kXZ" resolve="it" />
</node>
<node concept="2qgKlT" id="7oauUzsgrzE" role="2OqNvi">
<ref role="37wK5l" node="2iwoW_q825k" resolve="isUserInput" />
</node>
</node>
</node>
<node concept="2OqwBi" id="7oauUzsgrzF" role="3uHU7B">
<node concept="37vLTw" id="7oauUzsgrzG" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUzs6kXZ" resolve="it" />
</node>
<node concept="2qgKlT" id="7oauUzsgrzH" role="2OqNvi">
<ref role="37wK5l" node="2U2uJPpePaZ" resolve="isInfiniteInput" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="7oauUzs6kXZ" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="7oauUzs6kY0" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="ANE8D" id="7oauUzs6kY1" role="2OqNvi" />
</node>
</node>
</node>
<node concept="2I9FWS" id="7oauUzs6kY2" role="3clF45">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="2U2uJPpurJc" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment