Skip to content

GitLab

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

add parameter to pass instead of referencing inside of lattice operation to... 

add parameter to pass instead of referencing inside of lattice operation to achieve proper incrementalization
parent 35af3811
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 1060 additions and 184 deletions
inca-translation/languages/TypeLang/generator/template/main@generator.mps
View file @ f2700438
......@@ -20,6 +20,12 @@
<import index="z9af" ref="r:92efe085-3295-42c0-bd7e-2ea049fae522(org.inca.extensions.structure)" implicit="true" />
</imports>
<registry>
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
<concept id="1238857743184" name="jetbrains.mps.baseLanguage.tuples.structure.IndexedTupleMemberAccessExpression" flags="nn" index="1LFfDK">
<child id="1238857764950" name="tuple" index="1LFl5Q" />
<child id="1238857834412" name="index" index="1LF_Uc" />
</concept>
</language>
<language id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts">
<concept id="1161622665029" name="jetbrains.mps.lang.sharedConcepts.structure.ConceptFunctionParameter_model" flags="nn" index="1Q6Npb" />
</language>
......@@ -1787,6 +1793,48 @@
</node>
</node>
</node>
<node concept="3clFbH" id="2kRXRVM4Nga" role="3cqZAp" />
<node concept="3SKdUt" id="2kRXRVM9nez" role="3cqZAp">
<node concept="3SKdUq" id="2kRXRVM9ne_" role="3SKWNk">
<property role="3SKdUp" value="add parameters to operations" />
</node>
</node>
<node concept="2Gpval" id="2kRXRVM5m2N" role="3cqZAp">
<node concept="2GrKxI" id="2kRXRVM5m2P" role="2Gsz3X">
<property role="TrG5h" value="key" />
</node>
<node concept="2OqwBi" id="2kRXRVM5wdS" role="2GsD0m">
<node concept="2OqwBi" id="2kRXRVM5sdK" role="2Oq$k0">
<node concept="37vLTw" id="2kRXRVM5qn3" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1QlAnY" resolve="gen" />
</node>
<node concept="2OwXpG" id="2kRXRVM5uDO" role="2OqNvi">
<ref role="2Oxat5" to="5tos:1t5MWi416LB" resolve="operationParams" />
</node>
</node>
<node concept="3lbrtF" id="2kRXRVM60EP" role="2OqNvi" />
</node>
<node concept="3clFbS" id="2kRXRVM5m2T" role="2LFqv$">
<node concept="3clFbF" id="2kRXRVM68co" role="3cqZAp">
<node concept="2OqwBi" id="2kRXRVM68hR" role="3clFbG">
<node concept="37vLTw" id="2kRXRVM68cn" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1QlAnY" resolve="gen" />
</node>
<node concept="liA8E" id="2kRXRVM69cu" role="2OqNvi">
<ref role="37wK5l" to="5tos:2kRXRVLP9f6" resolve="addParameters" />
<node concept="1LFfDK" id="2kRXRVM6aaV" role="37wK5m">
<node concept="3cmrfG" id="2kRXRVM6diJ" role="1LF_Uc">
<property role="3cmrfH" value="0" />
</node>
<node concept="2GrUjf" id="2kRXRVM69_o" role="1LFl5Q">
<ref role="2Gs0qQ" node="2kRXRVM5m2P" resolve="key" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="6OMXo1UVUZB" role="3cqZAp" />
<node concept="3SKdUt" id="6cGgHUfiRqu" role="3cqZAp">
<node concept="3SKdUq" id="6cGgHUfiRqw" role="3SKWNk">
......@@ -2035,127 +2083,96 @@
<node concept="3clFbH" id="1t5MWi2xNYj" role="3cqZAp" />
<node concept="3SKdUt" id="1t5MWi2xYND" role="3cqZAp">
<node concept="3SKdUq" id="1t5MWi2y5KB" role="3SKWNk">
<property role="3SKdUp" value="add conversion for conclusion where metavar is not adt is returned" />
<property role="3SKdUp" value="add conversion for conclusion where non-adt metavar is returned" />
</node>
</node>
<node concept="2Gpval" id="1t5MWi2yCfF" role="3cqZAp">
<node concept="2GrKxI" id="1t5MWi2yCfH" role="2Gsz3X">
<property role="TrG5h" value="module" />
</node>
<node concept="2OqwBi" id="1t5MWi2yKzv" role="2GsD0m">
<node concept="1Q6Npb" id="1t5MWi2yIsw" role="2Oq$k0" />
<node concept="2SmgA7" id="1t5MWi2yMEE" role="2OqNvi">
<node concept="chp4Y" id="1t5MWi2yMFg" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12cYEI" resolve="TypeLangModule" />
</node>
</node>
<node concept="2Gpval" id="1t5MWi2BKXF" role="3cqZAp">
<node concept="2GrKxI" id="1t5MWi2BKXH" role="2Gsz3X">
<property role="TrG5h" value="instance" />
</node>
<node concept="3clFbS" id="1t5MWi2yCfL" role="2LFqv$">
<node concept="3cpWs8" id="1t5MWi2yQO4" role="3cqZAp">
<node concept="3cpWsn" id="1t5MWi2yQO5" role="3cpWs9">
<property role="TrG5h" value="querier" />
<node concept="3uibUv" id="1t5MWi2yQO3" role="1tU5fm">
<ref role="3uigEE" to="5tos:32CDcOyGKwu" resolve="TypeLangModuleQuerier" />
</node>
<node concept="2ShNRf" id="1t5MWi2yQO6" role="33vP2m">
<node concept="1pGfFk" id="1t5MWi2yQO7" role="2ShVmc">
<ref role="37wK5l" to="5tos:4RJJaub9nwG" resolve="TypeLangModuleQuerier" />
<node concept="2GrUjf" id="1t5MWi2yQPo" role="37wK5m">
<ref role="2Gs0qQ" node="1t5MWi2yCfH" resolve="module" />
<node concept="3clFbS" id="1t5MWi2BKXL" role="2LFqv$">
<node concept="3cpWs8" id="1t5MWi3VbpG" role="3cqZAp">
<node concept="3cpWsn" id="1t5MWi3VbpH" role="3cpWs9">
<property role="TrG5h" value="map" />
<node concept="A3Dl8" id="1t5MWi3Vbm7" role="1tU5fm">
<node concept="3f3tKP" id="1t5MWi3Vbmg" role="A3Ik2">
<node concept="3Tqbb2" id="1t5MWi3Vbmh" role="3f3zw5">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
<node concept="3Tqbb2" id="1t5MWi3Vbmi" role="3f3$T$">
<ref role="ehGHo" to="tpck:19gBtYEAf4C" resolve="InterfacePart" />
</node>
</node>
</node>
</node>
</node>
<node concept="2Gpval" id="1t5MWi2BKXF" role="3cqZAp">
<node concept="2GrKxI" id="1t5MWi2BKXH" role="2Gsz3X">
<property role="TrG5h" value="instance" />
</node>
<node concept="3clFbS" id="1t5MWi2BKXL" role="2LFqv$">
<node concept="3cpWs8" id="1t5MWi3VbpG" role="3cqZAp">
<node concept="3cpWsn" id="1t5MWi3VbpH" role="3cpWs9">
<property role="TrG5h" value="map" />
<node concept="A3Dl8" id="1t5MWi3Vbm7" role="1tU5fm">
<node concept="3f3tKP" id="1t5MWi3Vbmg" role="A3Ik2">
<node concept="3Tqbb2" id="1t5MWi3Vbmh" role="3f3zw5">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
<node concept="3Tqbb2" id="1t5MWi3Vbmi" role="3f3$T$">
<ref role="ehGHo" to="tpck:19gBtYEAf4C" resolve="InterfacePart" />
</node>
<node concept="2OqwBi" id="1t5MWi3VbpI" role="33vP2m">
<node concept="2OqwBi" id="1t5MWi3VbpJ" role="2Oq$k0">
<node concept="37vLTw" id="2kRXRVL35n8" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1QlAnY" resolve="gen" />
</node>
<node concept="liA8E" id="1t5MWi3VbpL" role="2OqNvi">
<ref role="37wK5l" to="5tos:1t5MWi3MmHu" resolve="getMetaVariableIfcPartForMatchMap" />
<node concept="2GrUjf" id="1t5MWi3VbpM" role="37wK5m">
<ref role="2Gs0qQ" node="1t5MWi2BKXH" resolve="instance" />
</node>
</node>
<node concept="2OqwBi" id="1t5MWi3VbpI" role="33vP2m">
<node concept="2OqwBi" id="1t5MWi3VbpJ" role="2Oq$k0">
<node concept="37vLTw" id="2kRXRVL35n8" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1QlAnY" resolve="gen" />
</node>
<node concept="liA8E" id="1t5MWi3VbpL" role="2OqNvi">
<ref role="37wK5l" to="5tos:1t5MWi3MmHu" resolve="getMetaVariableIfcPartForMatchMap" />
<node concept="2GrUjf" id="1t5MWi3VbpM" role="37wK5m">
<ref role="2Gs0qQ" node="1t5MWi2BKXH" resolve="instance" />
</node>
</node>
</node>
<node concept="4Tj9Z" id="1t5MWi3VbpN" role="2OqNvi">
<node concept="2OqwBi" id="1t5MWi3VbpO" role="576Qk">
<node concept="37vLTw" id="2kRXRVL37eX" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1QlAnY" resolve="gen" />
</node>
<node concept="4Tj9Z" id="1t5MWi3VbpN" role="2OqNvi">
<node concept="2OqwBi" id="1t5MWi3VbpO" role="576Qk">
<node concept="37vLTw" id="2kRXRVL37eX" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1QlAnY" resolve="gen" />
</node>
<node concept="liA8E" id="1t5MWi3VbpQ" role="2OqNvi">
<ref role="37wK5l" to="5tos:1t5MWi2NaU3" resolve="getMetaVariableIfcPartMap" />
<node concept="2GrUjf" id="1t5MWi3VbpR" role="37wK5m">
<ref role="2Gs0qQ" node="1t5MWi2BKXH" resolve="instance" />
</node>
</node>
<node concept="liA8E" id="1t5MWi3VbpQ" role="2OqNvi">
<ref role="37wK5l" to="5tos:1t5MWi2NaU3" resolve="getMetaVariableIfcPartMap" />
<node concept="2GrUjf" id="1t5MWi3VbpR" role="37wK5m">
<ref role="2Gs0qQ" node="1t5MWi2BKXH" resolve="instance" />
</node>
</node>
</node>
</node>
</node>
<node concept="2Gpval" id="1t5MWi30Cl8" role="3cqZAp">
<node concept="2GrKxI" id="1t5MWi30Cla" role="2Gsz3X">
<property role="TrG5h" value="mapping" />
</node>
<node concept="37vLTw" id="1t5MWi3VkzD" role="2GsD0m">
<ref role="3cqZAo" node="1t5MWi3VbpH" resolve="map" />
</node>
<node concept="3clFbS" id="1t5MWi30Cle" role="2LFqv$">
<node concept="3clFbF" id="2kRXRVL3bnW" role="3cqZAp">
<node concept="2OqwBi" id="2kRXRVL3bv3" role="3clFbG">
<node concept="37vLTw" id="2kRXRVL3bnV" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1QlAnY" resolve="gen" />
</node>
</node>
<node concept="2Gpval" id="1t5MWi30Cl8" role="3cqZAp">
<node concept="2GrKxI" id="1t5MWi30Cla" role="2Gsz3X">
<property role="TrG5h" value="mapping" />
</node>
<node concept="37vLTw" id="1t5MWi3VkzD" role="2GsD0m">
<ref role="3cqZAo" node="1t5MWi3VbpH" resolve="map" />
</node>
<node concept="3clFbS" id="1t5MWi30Cle" role="2LFqv$">
<node concept="3clFbF" id="2kRXRVL3bnW" role="3cqZAp">
<node concept="2OqwBi" id="2kRXRVL3bv3" role="3clFbG">
<node concept="37vLTw" id="2kRXRVL3bnV" role="2Oq$k0">
<ref role="3cqZAo" node="6OMXo1QlAnY" resolve="gen" />
</node>
<node concept="liA8E" id="2kRXRVL3bDW" role="2OqNvi">
<ref role="37wK5l" to="5tos:2kRXRVKY8xn" resolve="insertConversion" />
<node concept="2GrUjf" id="2kRXRVL3bYy" role="37wK5m">
<ref role="2Gs0qQ" node="1t5MWi2BKXH" resolve="instance" />
</node>
<node concept="2OqwBi" id="2kRXRVL3cJz" role="37wK5m">
<node concept="2GrUjf" id="2kRXRVL3csO" role="2Oq$k0">
<ref role="2Gs0qQ" node="1t5MWi30Cla" resolve="mapping" />
</node>
<node concept="liA8E" id="2kRXRVL3bDW" role="2OqNvi">
<ref role="37wK5l" to="5tos:2kRXRVKY8xn" resolve="insertConversion" />
<node concept="2GrUjf" id="2kRXRVL3bYy" role="37wK5m">
<ref role="2Gs0qQ" node="1t5MWi2BKXH" resolve="instance" />
</node>
<node concept="2OqwBi" id="2kRXRVL3cJz" role="37wK5m">
<node concept="2GrUjf" id="2kRXRVL3csO" role="2Oq$k0">
<ref role="2Gs0qQ" node="1t5MWi30Cla" resolve="mapping" />
</node>
<node concept="3AY5_j" id="2kRXRVL3rmd" role="2OqNvi" />
</node>
<node concept="2OqwBi" id="2kRXRVL3rT9" role="37wK5m">
<node concept="2GrUjf" id="2kRXRVL3r_P" role="2Oq$k0">
<ref role="2Gs0qQ" node="1t5MWi30Cla" resolve="mapping" />
</node>
<node concept="3AV6Ez" id="2kRXRVL3F_D" role="2OqNvi" />
</node>
<node concept="3AY5_j" id="2kRXRVL3rmd" role="2OqNvi" />
</node>
<node concept="2OqwBi" id="2kRXRVL3rT9" role="37wK5m">
<node concept="2GrUjf" id="2kRXRVL3r_P" role="2Oq$k0">
<ref role="2Gs0qQ" node="1t5MWi30Cla" resolve="mapping" />
</node>
<node concept="3AV6Ez" id="2kRXRVL3F_D" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="1t5MWi2WBpJ" role="2GsD0m">
<node concept="1Q6Npb" id="1t5MWi2WBiO" role="2Oq$k0" />
<node concept="2SmgA7" id="1t5MWi2WBuv" role="2OqNvi">
<node concept="chp4Y" id="1t5MWi2WB$e" role="1dBWTz">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="1t5MWi2WBpJ" role="2GsD0m">
<node concept="1Q6Npb" id="1t5MWi2WBiO" role="2Oq$k0" />
<node concept="2SmgA7" id="1t5MWi2WBuv" role="2OqNvi">
<node concept="chp4Y" id="1t5MWi2WB$e" role="1dBWTz">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
</node>
......
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