Skip to content

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

experimented with projection-based transformation approach

parent f19d0bda
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 6879 additions and 1 deletion
inca-translation/languages/TypeLang/generator/template/main@generator.mps
View file @ d0de4f7d
......@@ -262,6 +262,9 @@
<node concept="1puMqW" id="2iwoW_qGyTa" role="1puA0r">
<ref role="1puQsG" node="6XUlM2nKRm7" resolve="mergeContextProjectionLookup" />
</node>
<node concept="1puMqW" id="2U2uJPq3INc" role="1puA0r">
<ref role="1puQsG" node="2U2uJPpucId" resolve="compileToInca" />
</node>
</node>
<node concept="1pmfR0" id="4XA4NEmGx5U">
<property role="TrG5h" value="eliminateRecursiveInputFromJudgment" />
......
inca-translation/languages/TypeLang/models/constraints.mps
View file @ d0de4f7d
......@@ -654,5 +654,15 @@
</node>
</node>
</node>
<node concept="1M2fIO" id="2U2uJPq4oG5">
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:2U2uJPq4fo4" resolve="JudgmentInstance4" />
<node concept="1N5Pfh" id="2U2uJPq4oG6" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2U2uJPq4fo5" resolve="judgment" />
<node concept="1dDu$B" id="2U2uJPq4oG7" role="1N6uqs">
<ref role="1dDu$A" to="b83y:2U2uJPq3W76" resolve="JudgmentDeclaration4" />
</node>
</node>
</node>
</model>
inca-translation/languages/TypeLang/models/structure.mps
View file @ d0de4f7d
......@@ -727,5 +727,131 @@
<ref role="PrY4T" node="2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="1TIwiD" id="2U2uJPq3W76">
<property role="EcuMT" value="3351376301273366982" />
<property role="TrG5h" value="JudgmentDeclaration4" />
<property role="3GE5qa" value="judgment" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="2U2uJPq3W77" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366983" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="pre" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="2U2uJPq3W78" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366984" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="2U2uJPq3W79" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366985" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="2U2uJPq3W7a" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366986" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="2U2uJPq3W7b" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366987" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="2U2uJPq3W7c" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366988" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort3" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="2U2uJPq3W7d" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366989" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter3" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="2U2uJPq3W7f" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366991" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort4" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="2U2uJPq3W7g" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366992" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter4" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="PrWs8" id="2U2uJPq3W7e" role="PzmwI">
<ref role="PrY4T" node="2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="1TIwiD" id="2U2uJPq4fo4">
<property role="EcuMT" value="3351376301273445892" />
<property role="TrG5h" value="JudgmentInstance4" />
<property role="3GE5qa" value="judgment" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="2U2uJPq4fo5" role="1TKVEi">
<property role="IQ2ns" value="3351376301273445893" />
<property role="20lmBu" value="reference" />
<property role="20kJfa" value="judgment" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPq3W76" resolve="JudgmentDeclaration4" />
</node>
<node concept="1TJgyj" id="2U2uJPq4fo6" role="1TKVEi">
<property role="IQ2ns" value="3351376301273445894" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="2U2uJPq4fo7" role="1TKVEi">
<property role="IQ2ns" value="3351376301273445895" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="2U2uJPq4fo8" role="1TKVEi">
<property role="IQ2ns" value="3351376301273445896" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg3" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="2U2uJPq4foa" role="1TKVEi">
<property role="IQ2ns" value="3351376301273445898" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg4" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="PrWs8" id="2U2uJPq4fo9" role="PzmwI">
<ref role="PrY4T" node="677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
<node concept="1TIwiD" id="2U2uJPq5Lcu">
<property role="EcuMT" value="3351376301273846558" />
<property role="3GE5qa" value="judgment" />
<property role="TrG5h" value="SortString" />
<property role="34LRSv" value="string" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="2U2uJPq5LcJ" role="PzmwI">
<ref role="PrY4T" node="2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
</model>
inca-translation/solutions/TypeLangTest/TypeLangTest.msd
View file @ d0de4f7d
......@@ -44,7 +44,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
......
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