Skip to content

GitLab

I
iTypes
Source
Select Git revision
...
Target
Select Git revision
 
Commits (2)
Expand all Show whitespace changes
Inline Side-by-side
Showing with 2207 additions and 74 deletions
inca-translation/languages/FORecursiveTypes/FORecursiveTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,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="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/NewLanguage/SumTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,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="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/ProductTypes/ProductTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,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="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/RecordTypes/RecordTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,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="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/STLCN/STLCN.mpl
View file @ 32cf58ba
......@@ -89,7 +89,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="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/languages/TypeLang/TypeLang.mpl
View file @ 32cf58ba
......@@ -14,6 +14,9 @@
</modelRoot>
</models>
<external-templates />
<dependencies>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="6" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
......@@ -53,6 +56,8 @@
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)</dependency>
<dependency reexport="false">3a1c1f85-c745-4d04-a210-f97a7e31f9cc(org.inca.extensions)</dependency>
<dependency reexport="false">ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71(TypeLang)</dependency>
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
</dependencies>
<languageVersions>
<language slang="l:9d69e719-78c8-4286-90db-fb19c107d049:com.mbeddr.mpsutil.grammarcells" version="0" />
......
inca-translation/languages/TypeLang/models/constraints.mps
View file @ 32cf58ba
......@@ -9,7 +9,7 @@
<import index="o8zo" ref="r:314576fc-3aee-4386-a0a5-a38348ac317d(jetbrains.mps.scope)" />
<import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" />
<import index="z9af" ref="r:92efe085-3295-42c0-bd7e-2ea049fae522(org.inca.extensions.structure)" />
<import index="b83y" ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)" implicit="true" />
<import index="b83y" ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
<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" />
......@@ -123,6 +123,9 @@
</concept>
<concept id="1212096972063" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyValidator" flags="in" index="QB0g5" />
<concept id="5564765827938091039" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_ReferentSearchScope_Scope" flags="ig" index="3dgokm" />
<concept id="8401916545537438642" name="jetbrains.mps.lang.constraints.structure.InheritedNodeScopeFactory" flags="ng" index="1dDu$B">
<reference id="8401916545537438643" name="kind" index="1dDu$A" />
</concept>
<concept id="1163200647017" name="jetbrains.mps.lang.constraints.structure.ConstraintFunctionParameter_referenceNode" flags="nn" index="3kakTB" />
<concept id="1213093968558" name="jetbrains.mps.lang.constraints.structure.ConceptConstraints" flags="ng" index="1M2fIO">
<reference id="1213093996982" name="concept" index="1M2myG" />
......@@ -173,9 +176,21 @@
</concept>
</language>
<language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
<concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" />
</concept>
<concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
<child id="1226511765987" name="elementType" index="2hN53Y" />
</concept>
<concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
<concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
<child id="1151688676805" name="elementType" index="_ZDj9" />
</concept>
<concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
<child id="1237721435808" name="initValue" index="HW$Y0" />
<child id="1237721435807" name="elementType" index="HW$YZ" />
</concept>
<concept id="1172254888721" name="jetbrains.mps.baseLanguage.collections.structure.ContainsOperation" flags="nn" index="3JPx81" />
</language>
</registry>
<node concept="1M2fIO" id="2_58u12dRvj">
......@@ -209,16 +224,34 @@
<ref role="EomxK" to="tpck:h0TrG11" resolve="name" />
<node concept="QB0g5" id="2_58u12hfob" role="QCWH9">
<node concept="3clFbS" id="2_58u12hfoc" role="2VODD2">
<node concept="3cpWs8" id="4XA4NEmGqUV" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmGqUW" role="3cpWs9">
<property role="TrG5h" value="reserved" />
<node concept="2hMVRd" id="4XA4NEmGqUT" role="1tU5fm">
<node concept="17QB3L" id="4XA4NEmGr52" role="2hN53Y" />
</node>
<node concept="2ShNRf" id="4XA4NEmGqUX" role="33vP2m">
<node concept="2i4dXS" id="4XA4NEmGqUY" role="2ShVmc">
<node concept="Xl_RD" id="4XA4NEmGqUZ" role="HW$Y0">
<property role="Xl_RC" value="parent" />
</node>
<node concept="Xl_RD" id="4XA4NEmGsg7" role="HW$Y0">
<property role="Xl_RC" value="_" />
</node>
<node concept="17QB3L" id="4XA4NEmGrsq" role="HW$YZ" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2_58u12hfvw" role="3cqZAp">
<node concept="1Wc70l" id="5jddR$Dj4V8" role="3clFbG">
<node concept="3fqX7Q" id="5jddR$DiNa5" role="3uHU7B">
<node concept="2OqwBi" id="5jddR$DiNa7" role="3fr31v">
<node concept="1Wqviy" id="5jddR$DiNa8" role="2Oq$k0" />
<node concept="liA8E" id="5jddR$DiNa9" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="Xl_RD" id="5jddR$DiNaa" role="37wK5m">
<property role="Xl_RC" value="_" />
<node concept="2OqwBi" id="4XA4NEmGt_9" role="3fr31v">
<node concept="37vLTw" id="4XA4NEmGsM_" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmGqUW" resolve="reserved" />
</node>
<node concept="3JPx81" id="4XA4NEmGuFq" role="2OqNvi">
<node concept="1Wqviy" id="4XA4NEmGuRC" role="25WWJ7" />
</node>
</node>
</node>
......@@ -404,6 +437,32 @@
<node concept="1M2fIO" id="6G$bWLksoXm">
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:2_58u12eCWR" resolve="JudgmentInstance1" />
<node concept="1N5Pfh" id="2_58u12$Ann" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2_58u12eCWS" resolve="judgment" />
<node concept="1dDu$B" id="2_58u12AyzM" role="1N6uqs">
<ref role="1dDu$A" to="b83y:2_58u12eLDE" resolve="JudgmentDeclaration1" />
</node>
</node>
</node>
<node concept="1M2fIO" id="2_58u12AErI">
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" />
<node concept="1N5Pfh" id="2_58u12AErJ" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2_58u12eNup" resolve="judgment" />
<node concept="1dDu$B" id="2_58u12AErM" role="1N6uqs">
<ref role="1dDu$A" to="b83y:2_58u12eLE0" resolve="JudgmentDeclaration2" />
</node>
</node>
</node>
<node concept="1M2fIO" id="2_58u12AErP">
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
<node concept="1N5Pfh" id="2_58u12AErQ" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2_58u12ePfc" resolve="judgment" />
<node concept="1dDu$B" id="2_58u12AErT" role="1N6uqs">
<ref role="1dDu$A" to="b83y:2_58u12eLEb" resolve="JudgmentDeclaration3" />
</node>
</node>
</node>
</model>
inca-translation/languages/TypeLang/models/editor.mps
View file @ 32cf58ba
......@@ -197,7 +197,7 @@
</concept>
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
<property id="709746936026609031" name="linkId" index="3V$3ak" />
<property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
<property id="709746936026609029" name="linkRole" index="3V$3am" />
</concept>
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
......@@ -848,6 +848,12 @@
</node>
<node concept="3F1sOY" id="2_58u12fi1Y" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2_58u12eLDF" resolve="pre" />
<node concept="pVoyu" id="2_58u12_ODp" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="lj46D" id="2_58u12_ODq" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3F1sOY" id="2_58u12fi2f" role="3EZMnx">
<ref role="1NtTu8" to="b83y:2_58u12eLDS" resolve="sort1" />
......@@ -1322,5 +1328,33 @@
<ref role="1k5W1q" to="tpen:hshU_KJ" resolve="Annotation" />
</node>
</node>
<node concept="24kQdi" id="4XA4NEmF81P">
<property role="3GE5qa" value="metaterm" />
<ref role="1XX52x" to="b83y:4XA4NEmF81A" resolve="ParentMetaTerm" />
<node concept="3EZMnI" id="4XA4NEmF81R" role="2wV5jI">
<node concept="3F0ifn" id="4XA4NEmF821" role="3EZMnx">
<property role="3F0ifm" value="parent" />
</node>
<node concept="3F0ifn" id="4XA4NEmF82a" role="3EZMnx">
<property role="3F0ifm" value="(" />
<node concept="11L4FC" id="4XA4NEmF82W" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="11LMrY" id="4XA4NEmF834" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3F1sOY" id="4XA4NEmF82M" role="3EZMnx">
<ref role="1NtTu8" to="b83y:4XA4NEmF81E" resolve="term" />
</node>
<node concept="3F0ifn" id="4XA4NEmF82n" role="3EZMnx">
<property role="3F0ifm" value=")" />
<node concept="11L4FC" id="4XA4NEmF83a" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="l2Vlx" id="4XA4NEmF81U" role="2iSdaV" />
</node>
</node>
</model>
inca-translation/languages/TypeLang/models/structure.mps
View file @ 32cf58ba
......@@ -121,6 +121,9 @@
<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>
<node concept="1TIwiD" id="2_58u12eCWN">
<property role="EcuMT" value="2973820376015605555" />
......@@ -595,5 +598,22 @@
<ref role="PrY4T" node="2_58u12cYDn" resolve="SortMode" />
</node>
</node>
<node concept="1TIwiD" id="4XA4NEmF81A">
<property role="EcuMT" value="5721281518977712230" />
<property role="3GE5qa" value="metaterm" />
<property role="TrG5h" value="ParentMetaTerm" />
<property role="34LRSv" value="parent" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="4XA4NEmF81B" role="PzmwI">
<ref role="PrY4T" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="4XA4NEmF81E" role="1TKVEi">
<property role="IQ2ns" value="5721281518977712234" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="term" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</model>
inca-translation/languages/VariantTypes/VariantTypes.mpl
View file @ 32cf58ba
......@@ -89,7 +89,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="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
inca-translation/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd
View file @ 32cf58ba
......@@ -55,7 +55,6 @@
<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="63650c59-16c8-498a-99c8-005c7ee9515d(jetbrains.mps.lang.access)" 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="642f71f8-327a-425b-84f9-44ad58786d27(jetbrains.mps.lang.project.modules)" version="0" />
......
inca-translation/solutions/RecordTypes_Checker/RecordTypes_Checker.msd
View file @ 32cf58ba
......@@ -60,7 +60,6 @@
<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="63650c59-16c8-498a-99c8-005c7ee9515d(jetbrains.mps.lang.access)" 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" />
......
inca-translation/solutions/STLCN_Checker/STLCN_Checker.msd
View file @ 32cf58ba
......@@ -46,7 +46,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" />
......
inca-translation/solutions/SumTypes_Checker/SumTypes_Checker.msd
View file @ 32cf58ba
......@@ -50,7 +50,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" />
......
inca-translation/solutions/TypeLangTest/models/test.mps
View file @ 32cf58ba
......@@ -19,6 +19,10 @@
<child id="7089330371250923106" name="pattern" index="bFJCb" />
</concept>
<concept id="7720348215856438701" name="TypeLang.structure.SortUserMode" flags="ng" index="Zlr9x" />
<concept id="5721281518977712230" name="TypeLang.structure.ParentMetaTerm" flags="ng" index="3pMDds">
<child id="5721281518977712234" name="term" index="3pMDdg" />
</concept>
<concept id="3299520008367970555" name="TypeLang.structure.WildCardMetaTerm" flags="ng" index="1xQMsc" />
<concept id="2973820376017083148" name="TypeLang.structure.EmptyContent" flags="ng" index="1F53FG" />
<concept id="2973820376019395340" name="TypeLang.structure.JudgmentInstanceEq" flags="ng" index="1FckbG">
<child id="2973820376019849342" name="arg1" index="1FfB6u" />
......@@ -110,7 +114,7 @@
<node concept="1FtGIX" id="2_58u12mvK9" role="1FvzSA" />
</node>
<node concept="1FvzHw" id="6G$bWLkr_oa" role="1FufQt">
<property role="TrG5h" value="check_notype" />
<property role="TrG5h" value="check" />
<node concept="1FtGIX" id="6G$bWLkr_oc" role="1FvzHx" />
<node concept="1FtGBS" id="6G$bWLkr_oe" role="1FvzHy">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
......@@ -123,7 +127,32 @@
<ref role="1FtGBW" to="5va7:1Da9ityUTbh" resolve="Term" />
<node concept="Zlr9x" id="6G$bWLkvv0p" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_om" role="1FvzS5" />
<node concept="1FtGIX" id="6G$bWLkr_om" role="1FvzS5">
<property role="1FtGIY" value="&lt;=" />
</node>
</node>
<node concept="1FvzHF" id="6G$bWLkspAf" role="1FufQt">
<property role="TrG5h" value="required" />
<node concept="1FtGIX" id="6G$bWLkspAh" role="1FvzHG">
<property role="1FtGIY" value="required" />
</node>
<node concept="1FtGBS" id="6G$bWLkspAj" role="1FvzHH">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="1FtGIS" id="6G$bWLkspKl" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkspAm" role="1FvzTf" />
<node concept="1FtGBS" id="6G$bWLkspAo" role="1FvzHI">
<ref role="1FtGBW" to="5va7:1Da9ityUTbh" resolve="Term" />
<node concept="Zlr9x" id="4XA4NEmF0ql" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkspAr" role="1FsQh1">
<property role="1FtGIY" value="=&gt;" />
</node>
<node concept="1FtGBS" id="6G$bWLkspAt" role="1FvzHK">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="1FtGIT" id="6G$bWLkspKv" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkspAw" role="1FvzSA" />
</node>
<node concept="1FvzHF" id="2_58u12sjAl" role="1FufQt">
<property role="TrG5h" value="lookup" />
......@@ -173,30 +202,8 @@
</node>
<node concept="1FtGIX" id="2_58u12t5fn" role="1FvzSA" />
</node>
<node concept="1FvzHF" id="6G$bWLkspAf" role="1FufQt">
<property role="TrG5h" value="required" />
<node concept="1FtGIX" id="6G$bWLkspAh" role="1FvzHG">
<property role="1FtGIY" value="required" />
</node>
<node concept="1FtGBS" id="6G$bWLkspAj" role="1FvzHH">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="1FtGIS" id="6G$bWLkspKl" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkspAm" role="1FvzTf" />
<node concept="1FtGBS" id="6G$bWLkspAo" role="1FvzHI">
<ref role="1FtGBW" to="5va7:1Da9ityUTbh" resolve="Term" />
<node concept="1FtGIS" id="6G$bWLkspKq" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkspAr" role="1FsQh1">
<property role="1FtGIY" value="=&gt;" />
</node>
<node concept="1FtGBS" id="6G$bWLkspAt" role="1FvzHK">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="1FtGIT" id="6G$bWLkspKv" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkspAw" role="1FvzSA" />
</node>
<node concept="1F53FG" id="6G$bWLkr$ne" role="1FufQt" />
<node concept="1F53FG" id="4XA4NEmF054" role="1FufQt" />
<node concept="1FvUVj" id="2_58u12nbQl" role="1FufQt">
<property role="TrG5h" value="infer Zero" />
<node concept="1FvB8F" id="2_58u12nbSX" role="1FvUUP">
......@@ -234,7 +241,7 @@
</node>
</node>
<node concept="1FvxpS" id="6G$bWLksp0E" role="1FvUVk">
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check_notype" />
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check" />
<node concept="1FvUUU" id="6G$bWLksp1j" role="1FvxpU">
<property role="TrG5h" value="C" />
</node>
......@@ -279,6 +286,15 @@
<node concept="1F53FG" id="2_58u12sjIn" role="1FufQt" />
<node concept="1FvUVj" id="2_58u12sjOG" role="1FufQt">
<property role="TrG5h" value="infer Anno" />
<node concept="1FvxpS" id="4XA4NEmGx0p" role="1FvUVk">
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check" />
<node concept="1FvUUU" id="4XA4NEmGx0S" role="1FvxpU">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="4XA4NEmGx13" role="1FvxpV">
<property role="TrG5h" value="t" />
</node>
</node>
<node concept="1FvB8F" id="2_58u12sjQT" role="1FvUUP">
<ref role="1FvB8G" node="2_58u12mvJS" resolve="infer" />
<node concept="1FvUUU" id="2_58u12sjRj" role="1FvB8H">
......@@ -303,18 +319,6 @@
<property role="TrG5h" value="ty" />
</node>
</node>
<node concept="1FvB8F" id="2_58u12sjT0" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkr_bq" resolve="check" />
<node concept="1FvUUU" id="2_58u12sjTp" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="2_58u12sjT$" role="1FvB8I">
<property role="TrG5h" value="t" />
</node>
<node concept="1FvUUU" id="2_58u12sjTJ" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
</node>
</node>
<node concept="1F53FG" id="2_58u12sjMz" role="1FufQt" />
<node concept="1FvUVj" id="2_58u12sjWl" role="1FufQt">
......@@ -368,7 +372,7 @@
</node>
</node>
<node concept="1FvxpS" id="6G$bWLkspkN" role="1FvUVk">
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check_notype" />
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check" />
<node concept="1FvUUU" id="6G$bWLksplL" role="1FvxpU">
<property role="TrG5h" value="C" />
</node>
......@@ -441,7 +445,7 @@
</node>
</node>
<node concept="1FvxpS" id="6G$bWLksptS" role="1FvUVk">
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check_notype" />
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check" />
<node concept="1FvUUU" id="6G$bWLkspv_" role="1FvxpV">
<property role="TrG5h" value="t" />
</node>
......@@ -468,7 +472,7 @@
</node>
</node>
<node concept="1FvxpS" id="6G$bWLkspnB" role="1FvUUP">
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check_notype" />
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check" />
<node concept="1FvUUU" id="6G$bWLkspo1" role="1FvxpU">
<property role="TrG5h" value="C" />
</node>
......@@ -530,7 +534,7 @@
</node>
</node>
<node concept="1FvxpS" id="6G$bWLkspmA" role="1FvUUP">
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check_notype" />
<ref role="1FvxpT" node="6G$bWLkr_oa" resolve="check" />
<node concept="1FvUUU" id="6G$bWLkspn0" role="1FvxpU">
<property role="TrG5h" value="C" />
</node>
......@@ -540,8 +544,227 @@
</node>
</node>
<node concept="1F53FG" id="2_58u12sl2r" role="1FufQt" />
<node concept="1F53FG" id="2_58u12t47U" role="1FufQt" />
<node concept="1F53FG" id="4XA4NEmF7zC" role="1FufQt" />
<node concept="1F53FG" id="4XA4NEmF7EJ" role="1FufQt" />
<node concept="1FvUVj" id="4XA4NEmF7rv" role="1FufQt">
<property role="TrG5h" value="require Succ" />
<node concept="1FvB8F" id="4XA4NEmF7yw" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkspAf" resolve="required" />
<node concept="1FvUUU" id="4XA4NEmF7yU" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="4XA4NEmF7z5" role="1FvB8I">
<property role="TrG5h" value="t" />
</node>
<node concept="1FvUUU" id="4XA4NEmF7zs" role="1FvB8J">
<property role="TrG5h" value="Nat" />
</node>
</node>
<node concept="1FckbG" id="4XA4NEmF80g" role="1FvUVk">
<node concept="27Pwox" id="4XA4NEmF80X" role="1FfB6v">
<ref role="1F1YRu" to="5va7:1Da9ityUTbn" resolve="Succ" />
<node concept="bFJCQ" id="4XA4NEmGn8O" role="27Pwov">
<ref role="3zVwH8" to="5va7:1Da9ityUTbs" resolve="t" />
<node concept="1xQMsc" id="4XA4NEmGn90" role="bFJCb" />
</node>
</node>
<node concept="3pMDds" id="4XA4NEmGmd8" role="1FfB6u">
<node concept="1FvUUU" id="4XA4NEmGmdn" role="3pMDdg">
<property role="TrG5h" value="t" />
</node>
</node>
</node>
</node>
<node concept="1F53FG" id="2_58u12t4jU" role="1FufQt" />
<node concept="1FvUVj" id="4XA4NEmGmkL" role="1FufQt">
<property role="TrG5h" value="require Anno" />
<node concept="1FvB8F" id="4XA4NEmGmsc" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkspAf" resolve="required" />
<node concept="1FvUUU" id="4XA4NEmGmsA" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="4XA4NEmGmsL" role="1FvB8I">
<property role="TrG5h" value="t" />
</node>
<node concept="1FvUUU" id="4XA4NEmGmsW" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
</node>
<node concept="1FckbG" id="4XA4NEmGmsZ" role="1FvUVk">
<node concept="3pMDds" id="4XA4NEmGmuL" role="1FfB6u">
<node concept="1FvUUU" id="4XA4NEmGmv0" role="3pMDdg">
<property role="TrG5h" value="t" />
</node>
</node>
<node concept="27Pwox" id="4XA4NEmGmvK" role="1FfB6v">
<ref role="1F1YRu" to="5va7:1Da9ityUTdZ" resolve="Anno" />
<node concept="bFJCQ" id="4XA4NEmGn94" role="27Pwov">
<ref role="3zVwH8" to="5va7:1Da9ityUTe4" resolve="t" />
<node concept="1xQMsc" id="4XA4NEmGn9k" role="bFJCb" />
</node>
<node concept="bFJCQ" id="4XA4NEmGmvS" role="27Pwov">
<ref role="3zVwH8" to="5va7:1Da9ityUTfl" resolve="ty" />
<node concept="1FvUUU" id="4XA4NEmGmw6" role="bFJCb">
<property role="TrG5h" value="ty" />
</node>
</node>
</node>
</node>
</node>
<node concept="1F53FG" id="4XA4NEmF7LS" role="1FufQt" />
<node concept="1FvUVj" id="4XA4NEmGmRy" role="1FufQt">
<property role="TrG5h" value="require App" />
<node concept="1FvB8F" id="4XA4NEmGmZn" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkspAf" resolve="required" />
<node concept="1FvUUU" id="4XA4NEmGmZL" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="4XA4NEmGmZW" role="1FvB8I">
<property role="TrG5h" value="t" />
</node>
<node concept="1FvUUU" id="4XA4NEmGn07" role="1FvB8J">
<property role="TrG5h" value="ty1" />
</node>
</node>
<node concept="1FckbG" id="4XA4NEmGn0a" role="1FvUVk">
<node concept="3pMDds" id="4XA4NEmGn14" role="1FfB6u">
<node concept="1FvUUU" id="4XA4NEmGn1j" role="3pMDdg">
<property role="TrG5h" value="t" />
</node>
</node>
<node concept="27Pwox" id="4XA4NEmGn1V" role="1FfB6v">
<ref role="1F1YRu" to="5va7:1Da9ityUTdF" resolve="App" />
<node concept="bFJCQ" id="4XA4NEmGn2k" role="27Pwov">
<ref role="3zVwH8" to="5va7:1Da9ityUTdO" resolve="t1" />
<node concept="1FvUUU" id="4XA4NEmGn2A" role="bFJCb">
<property role="TrG5h" value="t1" />
</node>
</node>
<node concept="bFJCQ" id="4XA4NEmGn23" role="27Pwov">
<ref role="3zVwH8" to="5va7:1Da9ityUTdS" resolve="t2" />
<node concept="1FvUUU" id="4XA4NEmGn2h" role="bFJCb">
<property role="TrG5h" value="t2" />
</node>
</node>
</node>
</node>
<node concept="1FckbG" id="4XA4NEmGn2W" role="1FvUVk">
<node concept="1FvUUU" id="4XA4NEmGn3u" role="1FfB6u">
<property role="TrG5h" value="t2" />
</node>
<node concept="1FvUUU" id="4XA4NEmGn3D" role="1FfB6v">
<property role="TrG5h" value="t" />
</node>
</node>
<node concept="1FvB8F" id="4XA4NEmGn79" role="1FvUVk">
<ref role="1FvB8G" node="2_58u12mvJS" resolve="infer" />
<node concept="1FvUUU" id="4XA4NEmGn7a" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="4XA4NEmGn7b" role="1FvB8I">
<property role="TrG5h" value="t1" />
</node>
<node concept="1FvUUU" id="4XA4NEmGn7c" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
</node>
<node concept="1FvB8F" id="4XA4NEmGn7d" role="1FvUVk">
<ref role="1FvB8G" node="2_58u12t5f6" resolve="matchFun" />
<node concept="1FvUUU" id="4XA4NEmGn7e" role="1FvB8H">
<property role="TrG5h" value="ty" />
</node>
<node concept="1FvUUU" id="4XA4NEmGn7f" role="1FvB8I">
<property role="TrG5h" value="ty1" />
</node>
<node concept="1xQMsc" id="4XA4NEmGn8G" role="1FvB8J" />
</node>
</node>
<node concept="1F53FG" id="4XA4NEmGmC2" role="1FufQt" />
<node concept="1FvUVj" id="4XA4NEmGni1" role="1FufQt">
<property role="TrG5h" value="require Lam" />
<node concept="1FvB8F" id="4XA4NEmGnqI" role="1FvUUP">
<ref role="1FvB8G" node="6G$bWLkspAf" resolve="required" />
<node concept="1FvUUU" id="4XA4NEmGnr8" role="1FvB8H">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="4XA4NEmGnrj" role="1FvB8I">
<property role="TrG5h" value="t" />
</node>
<node concept="1FvUUU" id="4XA4NEmGnru" role="1FvB8J">
<property role="TrG5h" value="ty2" />
</node>
</node>
<node concept="1FckbG" id="4XA4NEmGnrx" role="1FvUVk">
<node concept="27Pwox" id="4XA4NEmGwQ0" role="1FfB6v">
<ref role="1F1YRu" to="5va7:1Da9ityUTcy" resolve="Lam" />
<node concept="bFJCQ" id="4XA4NEmGwQ8" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="4XA4NEmGwQm" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
<node concept="bFJCQ" id="4XA4NEmGwQB" role="27Pwov">
<ref role="3zVwH8" to="5va7:1Da9ityUTcQ" resolve="t" />
<node concept="1xQMsc" id="4XA4NEmGwR2" role="bFJCb" />
</node>
</node>
<node concept="3pMDds" id="4XA4NEmGwP8" role="1FfB6u">
<node concept="1FvUUU" id="4XA4NEmGwPn" role="3pMDdg">
<property role="TrG5h" value="t" />
</node>
</node>
</node>
<node concept="1FckbG" id="4XA4NEmGwXm" role="1FvUVk">
<node concept="1FvUUU" id="4XA4NEmGwYf" role="1FfB6u">
<property role="TrG5h" value="C" />
</node>
<node concept="27Pwox" id="4XA4NEmGwYR" role="1FfB6v">
<ref role="1F1YRu" to="5va7:2_58u12e1eN" resolve="Bind" />
<node concept="bFJCQ" id="4XA4NEmGwYZ" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1xQMsc" id="4XA4NEmGwZb" role="bFJCb" />
</node>
<node concept="bFJCQ" id="4XA4NEmGwZf" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slbe" resolve="type" />
<node concept="1xQMsc" id="4XA4NEmGwZv" role="bFJCb" />
</node>
<node concept="bFJCQ" id="4XA4NEmGwZz" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slb9" resolve="rest" />
<node concept="1FvUUU" id="4XA4NEmGx05" role="bFJCb">
<property role="TrG5h" value="C2" />
</node>
</node>
</node>
</node>
<node concept="1FvB8F" id="4XA4NEmGwT6" role="1FvUVk">
<ref role="1FvB8G" node="6G$bWLkspAf" resolve="required" />
<node concept="1FvUUU" id="4XA4NEmGwV4" role="1FvB8H">
<property role="TrG5h" value="C2" />
</node>
<node concept="3pMDds" id="4XA4NEmGwVM" role="1FvB8I">
<node concept="1FvUUU" id="4XA4NEmGwW1" role="3pMDdg">
<property role="TrG5h" value="t" />
</node>
</node>
<node concept="1FvUUU" id="4XA4NEmGwWc" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
</node>
<node concept="1FvB8F" id="4XA4NEmGwRp" role="1FvUVk">
<ref role="1FvB8G" node="2_58u12t5f6" resolve="matchFun" />
<node concept="1FvUUU" id="4XA4NEmGwRq" role="1FvB8H">
<property role="TrG5h" value="ty" />
</node>
<node concept="1FvUUU" id="4XA4NEmGwRr" role="1FvB8I">
<property role="TrG5h" value="ty1" />
</node>
<node concept="1FvUUU" id="4XA4NEmGwRs" role="1FvB8J">
<property role="TrG5h" value="ty2" />
</node>
</node>
</node>
<node concept="1F53FG" id="4XA4NEmGmJL" role="1FufQt" />
<node concept="1F53FG" id="4XA4NEmF7T3" role="1FufQt" />
<node concept="1FvUVj" id="2_58u12t4CU" role="1FufQt">
<property role="TrG5h" value="match Fun" />
<node concept="1FvB8F" id="2_58u12t5sH" role="1FvUUP">
......@@ -696,7 +919,7 @@
</node>
<node concept="1FtGBS" id="6G$bWLkr_bv" role="1FvzHI">
<ref role="1FtGBW" to="5va7:1Da9ityUTbh" resolve="Term" />
<node concept="Zlr9x" id="6G$bWLktexH" role="1FtGIM" />
<node concept="Zlr9x" id="2_58u12BQGh" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bx" role="1FsQh1">
<property role="1FtGIY" value="&lt;=" />
......
inca-translation/solutions/VariantTypes_Checker/VariantTypes_Checker.msd
View file @ 32cf58ba
......@@ -52,7 +52,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" />
......