Skip to content

I
iTypes
Commit 71fabbe9 authored by Sebastian Erdweg's avatar Sebastian Erdweg
Browse files
Options

hand-coding the last transformation steps for STLCN

parent c7a8a226
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 746 additions and 774 deletions
inca-translation/languages/TypeLang/TypeLang.mpl
View file @ 71fabbe9
......@@ -66,7 +66,6 @@
<sourcePath />
<dependencies>
<dependency reexport="false">c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)</dependency>
<dependency reexport="false">f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</dependency>
<dependency reexport="false">80e42679-e00d-400f-8714-aee80946d2f9(org.inca.styles)</dependency>
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)</dependency>
......@@ -131,6 +130,7 @@
<module reference="80e42679-e00d-400f-8714-aee80946d2f9(org.inca.styles)" version="0" />
</dependencyVersions>
<extendedLanguages>
<extendedLanguage>f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</extendedLanguage>
<extendedLanguage>b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core)</extendedLanguage>
</extendedLanguages>
</language>
......
inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
View file @ 71fabbe9
......@@ -528,7 +528,7 @@
<node concept="3cpWsn" id="2groWwYmPQU" role="3cpWs9">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="2groWwYmPQS" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="2OqwBi" id="2groWwYmPQV" role="33vP2m">
<node concept="2OqwBi" id="2groWwYmPQW" role="2Oq$k0">
......
inca-translation/languages/TypeLang/generator/template/main@generator.mps
View file @ 71fabbe9
......@@ -106,6 +106,7 @@
<concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
<child id="6329021646629175155" name="commentPart" index="3SKWNk" />
</concept>
<concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
</language>
<language id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator">
<concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia">
......@@ -311,7 +312,7 @@
<node concept="3cpWsn" id="4XA4NEmHUZx" role="3cpWs9">
<property role="TrG5h" value="typeSort" />
<node concept="3Tqbb2" id="4XA4NEmHUZi" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="2OqwBi" id="4XA4NEmHUZy" role="33vP2m">
<node concept="2OqwBi" id="4XA4NEmHUZz" role="2Oq$k0">
......@@ -326,24 +327,41 @@
<node concept="1bVj0M" id="4XA4NEmHUZB" role="23t8la">
<node concept="3clFbS" id="4XA4NEmHUZC" role="1bW5cS">
<node concept="3clFbF" id="4XA4NEmHUZD" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmIFsq" role="3clFbG">
<node concept="2OqwBi" id="4XA4NEmHUZG" role="2Oq$k0">
<node concept="2OqwBi" id="4XA4NEmHUZH" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmHUZI" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHUZL" resolve="it" />
</node>
<node concept="3TrEf2" id="4XA4NEmHUZJ" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12cYws" resolve="sort" />
</node>
<node concept="1Wc70l" id="2U2uJPps23H" role="3clFbG">
<node concept="2OqwBi" id="2U2uJPps6v6" role="3uHU7B">
<node concept="37vLTw" id="2U2uJPps3OY" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHUZL" resolve="it" />
</node>
<node concept="3TrcHB" id="4XA4NEmHUZK" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
<node concept="1mIQ4w" id="2U2uJPps9XS" role="2OqNvi">
<node concept="chp4Y" id="2U2uJPpsbBE" role="cj9EA">
<ref role="cht4Q" to="b83y:2_58u12cYwo" resolve="SortConcept" />
</node>
</node>
</node>
<node concept="liA8E" id="4XA4NEmIGaZ" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="Xl_RD" id="4XA4NEmIGHI" role="37wK5m">
<property role="Xl_RC" value="Type" />
<node concept="2OqwBi" id="4XA4NEmIFsq" role="3uHU7w">
<node concept="2OqwBi" id="4XA4NEmHUZG" role="2Oq$k0">
<node concept="2OqwBi" id="4XA4NEmHUZH" role="2Oq$k0">
<node concept="1PxgMI" id="2U2uJPpsdrx" role="2Oq$k0">
<node concept="chp4Y" id="2U2uJPpslU9" role="3oSUPX">
<ref role="cht4Q" to="b83y:2_58u12cYwo" resolve="SortConcept" />
</node>
<node concept="37vLTw" id="4XA4NEmHUZI" role="1m5AlR">
<ref role="3cqZAo" node="4XA4NEmHUZL" resolve="it" />
</node>
</node>
<node concept="3TrEf2" id="2U2uJPpspy2" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12cYws" resolve="sort" />
</node>
</node>
<node concept="3TrcHB" id="4XA4NEmHUZK" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<node concept="liA8E" id="4XA4NEmIGaZ" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="Xl_RD" id="4XA4NEmIGHI" role="37wK5m">
<property role="Xl_RC" value="Type" />
</node>
</node>
</node>
</node>
......@@ -538,7 +556,7 @@
<node concept="3cpWsn" id="677Mj2_H$Zj" role="3cpWs9">
<property role="TrG5h" value="xRequiredOutputSort" />
<node concept="3Tqbb2" id="677Mj2_H$YU" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="2OqwBi" id="677Mj2_H$Zk" role="33vP2m">
<node concept="37vLTw" id="677Mj2_H$Zl" role="2Oq$k0">
......
inca-translation/languages/TypeLang/models/behavior.mps
View file @ 71fabbe9
......@@ -798,7 +798,7 @@
<node concept="3Tm1VV" id="4XA4NEmGQRe" role="1B3o_S" />
<node concept="3clFbS" id="4XA4NEmGQRg" role="3clF47" />
<node concept="2I9FWS" id="4XA4NEmGQRU" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="4XA4NEmHFP0" role="13h7CS">
......@@ -839,7 +839,7 @@
</node>
</node>
<node concept="2I9FWS" id="4XA4NEmHFQk" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="5bZNdPkea12" role="13h7CS">
......@@ -888,7 +888,7 @@
<node concept="37vLTG" id="677Mj2_GYbE" role="3clF46">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="677Mj2_GYbD" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
</node>
......@@ -929,7 +929,7 @@
<node concept="3cpWsn" id="4XA4NEmGXBG" role="3cpWs9">
<property role="TrG5h" value="list" />
<node concept="2I9FWS" id="4XA4NEmGXBE" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="2ShNRf" id="4XA4NEmGXBH" role="33vP2m">
<node concept="2T8Vx0" id="4XA4NEmGXBI" role="2ShVmc">
......@@ -962,7 +962,7 @@
</node>
</node>
<node concept="2I9FWS" id="4XA4NEmGQSA" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="5bZNdPkeaHl" role="13h7CS">
......@@ -1099,7 +1099,7 @@
<node concept="37vLTG" id="677Mj2_GYXp" role="3clF46">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="677Mj2_GYXq" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="3Tqbb2" id="677Mj2_GYXr" role="3clF45">
......@@ -1168,7 +1168,7 @@
<node concept="3cpWsn" id="4XA4NEmH2Mk" role="3cpWs9">
<property role="TrG5h" value="list" />
<node concept="2I9FWS" id="4XA4NEmH2Ml" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="2ShNRf" id="4XA4NEmH2Mm" role="33vP2m">
<node concept="2T8Vx0" id="4XA4NEmH2Mn" role="2ShVmc">
......@@ -1216,7 +1216,7 @@
</node>
</node>
<node concept="2I9FWS" id="4XA4NEmH2M2" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="5bZNdPkedmk" role="13h7CS">
......@@ -1496,7 +1496,7 @@
<node concept="37vLTG" id="677Mj2_H4oZ" role="3clF46">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="677Mj2_H4p0" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="3Tqbb2" id="677Mj2_H4p1" role="3clF45">
......@@ -1580,7 +1580,7 @@
<node concept="3cpWsn" id="4XA4NEmH8AY" role="3cpWs9">
<property role="TrG5h" value="list" />
<node concept="2I9FWS" id="4XA4NEmH8AZ" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="2ShNRf" id="4XA4NEmH8B0" role="33vP2m">
<node concept="2T8Vx0" id="4XA4NEmH8B1" role="2ShVmc">
......@@ -1643,7 +1643,7 @@
</node>
</node>
<node concept="2I9FWS" id="4XA4NEmH8AG" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="5bZNdPkeeQ_" role="13h7CS">
......@@ -1974,7 +1974,7 @@
<node concept="37vLTG" id="677Mj2_H7E_" role="3clF46">
<property role="TrG5h" value="sort" />
<node concept="3Tqbb2" id="677Mj2_H7EA" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="3Tqbb2" id="677Mj2_H7EB" role="3clF45">
......
inca-translation/languages/TypeLang/models/structure.mps
View file @ 71fabbe9
......@@ -8,8 +8,9 @@
<imports>
<import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" />
<import index="uu1k" ref="r:5d05a0a1-0178-4953-8047-22b44c66dcde(org.inca.data.structure)" />
<import index="hqsm" ref="r:aa4c3470-43ab-4dad-b73e-20da0ee43be1(org.inca.core.structure)" />
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="hqsm" ref="r:aa4c3470-43ab-4dad-b73e-20da0ee43be1(org.inca.core.structure)" implicit="true" />
</imports>
<registry>
<language id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure">
......@@ -115,12 +116,12 @@
<property role="20lbJX" value="0..n" />
<ref role="20lvS9" node="2_58u12khFL" resolve="TypeLangModuleContent" />
</node>
<node concept="PrWs8" id="2_58u12cYEW" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="PrWs8" id="2_58u12AyzU" role="PzmwI">
<ref role="PrY4T" to="tpck:3fifI_xCcJN" resolve="ScopeProvider" />
</node>
<node concept="PrWs8" id="2U2uJPpkmyO" role="PzmwI">
<ref role="PrY4T" to="hqsm:Y78e7A6TUt" resolve="IIncaModule" />
</node>
</node>
<node concept="1TIwiD" id="2_58u12eCWN">
<property role="EcuMT" value="2973820376015605555" />
......@@ -654,16 +655,53 @@
<property role="TrG5h" value="SortLattice" />
<property role="3GE5qa" value="judgment" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="2U2uJPpguJd" role="1TKVEi">
<property role="IQ2ns" value="3351376301259877325" />
<property role="20lmBu" value="reference" />
<property role="20kJfa" value="sort" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" to="uu1k:3l0M8IajNMF" resolve="ITypeConstructor" />
</node>
<node concept="PrWs8" id="2U2uJPpguJe" role="PzmwI">
<ref role="PrY4T" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="2U2uJPplZWT" role="1TKVEi">
<property role="IQ2ns" value="3351376301261324089" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="lattice" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" to="uu1k:6fy2FM6nEU4" resolve="TypeConstructorReference" />
</node>
</node>
<node concept="1TIwiD" id="2U2uJPpkj9Y">
<property role="EcuMT" value="3351376301260878462" />
<property role="3GE5qa" value="judgment" />
<property role="TrG5h" value="JudgmentInstanceLatticeMemberCall" />
<property role="34LRSv" value=":=" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="2U2uJPpkj9Z" role="1TKVEi">
<property role="IQ2ns" value="3351376301260878463" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="res" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="2U2uJPpkja4" role="1TKVEi">
<property role="IQ2ns" value="3351376301260878468" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="call" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" to="uu1k:54ERyg8J8QQ" resolve="QualifiedLatticeMemberCall" />
</node>
<node concept="PrWs8" id="2U2uJPpkja1" role="PzmwI">
<ref role="PrY4T" node="2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="1TIwiD" id="2U2uJPpoiLC">
<property role="EcuMT" value="3351376301261925480" />
<property role="3GE5qa" value="metaterm" />
<property role="TrG5h" value="MetaVariableReferenceExpression" />
<ref role="1TJDcQ" to="tpee:fz3vP1J" resolve="Expression" />
<node concept="1TJgyj" id="2U2uJPpoiLY" role="1TKVEi">
<property role="IQ2ns" value="3351376301261925502" />
<property role="20lmBu" value="reference" />
<property role="20kJfa" value="var" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
</model>
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