natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Apply migration and rebuild project

This commit is contained in:
Fedor Isakov 2021-05-04 18:01:06 +02:00
parent 0a7623fa3b
commit 637da7d966
58 changed files with 2906 additions and 2092 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl
View File

@ -29,7 +29,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>

2
coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl
View File

@ -76,7 +76,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

85
coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:65f97255-4bb1-4783-acd6-a4ed5a1088e2(jetbrains.mps.typechecking.testlang.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="11" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="18" />
<use id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" name="jetbrains.mps.baseLanguage.logging" version="-1" />
@ -175,7 +175,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -476,8 +475,10 @@
<ref role="ns1xF" node="JOGAOsVt6y" resolve="Type" />
<node concept="nsMwS" id="7mB3viLi4rl" role="ns1xD">
<ref role="nsMwP" node="7mB3viLdDa5" resolve="name" />
<node concept="Xl_RD" id="7mB3viLi4rr" role="nsMwV">
<property role="Xl_RC" value="Integer" />
<node concept="37jhX" id="ZNYugu2LhU" role="iSaTp">
<node concept="Xl_RD" id="7mB3viLi4rr" role="37jj2">
<property role="Xl_RC" value="Integer" />
</node>
</node>
</node>
<node concept="nsMwS" id="7mB3viLi4rh" role="ns1xD">
@ -496,8 +497,10 @@
<ref role="ns1xF" node="JOGAOsVt6y" resolve="Type" />
<node concept="nsMwS" id="7mB3viLi4w0" role="ns1xD">
<ref role="nsMwP" node="7mB3viLdDa5" resolve="name" />
<node concept="Xl_RD" id="7mB3viLi4w1" role="nsMwV">
<property role="Xl_RC" value="Integer" />
<node concept="37jhX" id="ZNYugu2LhV" role="iSaTp">
<node concept="Xl_RD" id="7mB3viLi4w1" role="37jj2">
<property role="Xl_RC" value="Integer" />
</node>
</node>
</node>
<node concept="nsMwS" id="7mB3viLi4w2" role="ns1xD">
@ -577,8 +580,10 @@
<ref role="ns1xF" node="JOGAOsVt6y" resolve="Type" />
<node concept="nsMwS" id="2DIFeUB7n6n" role="ns1xD">
<ref role="nsMwP" node="7mB3viLdDa5" resolve="name" />
<node concept="Xl_RD" id="2DIFeUB7n6o" role="nsMwV">
<property role="Xl_RC" value="String" />
<node concept="37jhX" id="ZNYugu2LhW" role="iSaTp">
<node concept="Xl_RD" id="2DIFeUB7n6o" role="37jj2">
<property role="Xl_RC" value="String" />
</node>
</node>
</node>
<node concept="nsMwS" id="2DIFeUB7n6p" role="ns1xD">
@ -597,8 +602,10 @@
<ref role="ns1xF" node="JOGAOsVt6y" resolve="Type" />
<node concept="nsMwS" id="2DIFeUB7n6v" role="ns1xD">
<ref role="nsMwP" node="7mB3viLdDa5" resolve="name" />
<node concept="Xl_RD" id="2DIFeUB7n6w" role="nsMwV">
<property role="Xl_RC" value="String" />
<node concept="37jhX" id="ZNYugu2LhX" role="iSaTp">
<node concept="Xl_RD" id="2DIFeUB7n6w" role="37jj2">
<property role="Xl_RC" value="String" />
</node>
</node>
</node>
<node concept="nsMwS" id="2DIFeUB7n6x" role="ns1xD">
@ -969,14 +976,18 @@
<ref role="ns1xF" node="JOGAOsVt6y" resolve="Type" />
<node concept="nsMwS" id="7mB3viLdDgZ" role="ns1xD">
<ref role="nsMwP" node="7mB3viLdDa5" resolve="name" />
<node concept="Xl_RD" id="7mB3viLdDh5" role="nsMwV">
<property role="Xl_RC" value="Integer" />
<node concept="37jhX" id="ZNYugu2LhY" role="iSaTp">
<node concept="Xl_RD" id="7mB3viLdDh5" role="37jj2">
<property role="Xl_RC" value="Integer" />
</node>
</node>
</node>
<node concept="nsMwS" id="7mB3viLcOhb" role="ns1xD">
<ref role="nsMwP" node="JOGAOsVt6$" resolve="val" />
<node concept="37vLTw" id="1ALxU7reSPU" role="nsMwV">
<ref role="3cqZAo" node="1ALxU7reSPQ" resolve="val" />
<node concept="37jhX" id="ZNYugu2LhZ" role="iSaTp">
<node concept="37vLTw" id="1ALxU7reSPU" role="37jj2">
<ref role="3cqZAo" node="1ALxU7reSPQ" resolve="val" />
</node>
</node>
</node>
</node>
@ -1031,14 +1042,18 @@
<ref role="ns1xF" node="JOGAOsVt6y" resolve="Type" />
<node concept="nsMwS" id="7mB3viLdDce" role="ns1xD">
<ref role="nsMwP" node="7mB3viLdDa5" resolve="name" />
<node concept="Xl_RD" id="7mB3viLdDcD" role="nsMwV">
<property role="Xl_RC" value="String" />
<node concept="37jhX" id="ZNYugu2Li0" role="iSaTp">
<node concept="Xl_RD" id="7mB3viLdDcD" role="37jj2">
<property role="Xl_RC" value="String" />
</node>
</node>
</node>
<node concept="nsMwS" id="7mB3viLdDci" role="ns1xD">
<ref role="nsMwP" node="JOGAOsVt6$" resolve="val" />
<node concept="37vLTw" id="1ALxU7rfknU" role="nsMwV">
<ref role="3cqZAo" node="1ALxU7rfknQ" resolve="val" />
<node concept="37jhX" id="ZNYugu2Li1" role="iSaTp">
<node concept="37vLTw" id="1ALxU7rfknU" role="37jj2">
<ref role="3cqZAo" node="1ALxU7rfknQ" resolve="val" />
</node>
</node>
</node>
</node>
@ -1099,8 +1114,10 @@
<ref role="ns1xF" node="JOGAOsVt6y" resolve="Type" />
<node concept="nsMwS" id="1ALxU7rhbwt" role="ns1xD">
<ref role="nsMwP" node="7mB3viLdDa5" resolve="name" />
<node concept="Xl_RD" id="1ALxU7rhcod" role="nsMwV">
<property role="Xl_RC" value="Pair" />
<node concept="37jhX" id="ZNYugu2Li2" role="iSaTp">
<node concept="Xl_RD" id="1ALxU7rhcod" role="37jj2">
<property role="Xl_RC" value="Pair" />
</node>
</node>
</node>
</node>
@ -1188,23 +1205,27 @@
<ref role="ns1xF" node="JOGAOsVt6y" resolve="Type" />
<node concept="nsMwS" id="7mB3viLggsn" role="ns1xD">
<ref role="nsMwP" node="7mB3viLdDa5" resolve="name" />
<node concept="2OqwBi" id="1ALxU7rgm5L" role="nsMwV">
<node concept="3hN9Ij" id="1ALxU7rglY_" role="2Oq$k0">
<ref role="3hLkJx" node="1ALxU7rgfrQ" resolve="type" />
</node>
<node concept="3TrcHB" id="1ALxU7rgmFY" role="2OqNvi">
<ref role="3TsBF5" to="qulx:7mB3viLbCL1" resolve="name" />
<node concept="37jhX" id="ZNYugu2Li3" role="iSaTp">
<node concept="2OqwBi" id="1ALxU7rgm5L" role="37jj2">
<node concept="3hN9Ij" id="1ALxU7rglY_" role="2Oq$k0">
<ref role="3hLkJx" node="1ALxU7rgfrQ" resolve="type" />
</node>
<node concept="3TrcHB" id="1ALxU7rgmFY" role="2OqNvi">
<ref role="3TsBF5" to="qulx:7mB3viLbCL1" resolve="name" />
</node>
</node>
</node>
</node>
<node concept="nsMwS" id="7mB3viLggsC" role="ns1xD">
<ref role="nsMwP" node="JOGAOsVt6$" resolve="val" />
<node concept="2OqwBi" id="1ALxU7rgnGQ" role="nsMwV">
<node concept="3hN9Ij" id="1ALxU7rgn_E" role="2Oq$k0">
<ref role="3hLkJx" node="1ALxU7rgfrQ" resolve="type" />
</node>
<node concept="3TrcHB" id="1ALxU7rgoj3" role="2OqNvi">
<ref role="3TsBF5" to="qulx:7mB3viLggsO" resolve="val" />
<node concept="37jhX" id="ZNYugu2Li4" role="iSaTp">
<node concept="2OqwBi" id="1ALxU7rgnGQ" role="37jj2">
<node concept="3hN9Ij" id="1ALxU7rgn_E" role="2Oq$k0">
<ref role="3hLkJx" node="1ALxU7rgfrQ" resolve="type" />
</node>
<node concept="3TrcHB" id="1ALxU7rgoj3" role="2OqNvi">
<ref role="3TsBF5" to="qulx:7mB3viLggsO" resolve="val" />
</node>
</node>
</node>
</node>

2
coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd
View File

@ -45,7 +45,7 @@
<language slang="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" version="0" />
<language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
<language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />

2
coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps
View File

@ -12,7 +12,7 @@
<use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="-1" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
<use id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text" version="-1" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="3a1f0f04-b5e0-43be-884e-b856bfdeca21" name="jetbrains.mps.typechecking.testlang" version="0" />
</languages>
<imports>

2
samples/controlflow/jetbrains.mps.baseLanguageExt2/jetbrains.mps.baseLanguageExt2.mpl
View File

@ -71,7 +71,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:a40f7100-fd07-4b1c-98c5-112d92c92128(samples.fitch.firstOrderLogic.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />

2
samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl
View File

@ -78,7 +78,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

59
samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:2e585daf-c5c7-4735-a41f-b2044cd9b207(samples.fitch.herbrandLogic.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="1" />
<use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
@ -287,7 +287,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -614,12 +613,14 @@
<ref role="ns1xF" node="7VBaGntKJ6Y" resolve="Relation" />
<node concept="nsMwS" id="7VBaGntKJaw" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ70" resolve="name" />
<node concept="2OqwBi" id="5itBwMa8DeG" role="nsMwV">
<node concept="3j8tct" id="5itBwMa8D5N" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8_KQ" resolve="rel" />
</node>
<node concept="3TrcHB" id="5itBwMa8DxD" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
<node concept="37jhX" id="ZNYugu2Liv" role="iSaTp">
<node concept="2OqwBi" id="5itBwMa8DeG" role="37jj2">
<node concept="3j8tct" id="5itBwMa8D5N" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8_KQ" resolve="rel" />
</node>
<node concept="3TrcHB" id="5itBwMa8DxD" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
@ -675,12 +676,14 @@
<ref role="ns1xF" node="7VBaGntKJ72" resolve="Object" />
<node concept="nsMwS" id="7VBaGntKJac" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ74" resolve="name" />
<node concept="2OqwBi" id="5itBwMa8FAq" role="nsMwV">
<node concept="3j8tct" id="5itBwMa8FtD" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8EJ1" resolve="obj" />
</node>
<node concept="3TrcHB" id="5itBwMa8FSl" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
<node concept="37jhX" id="ZNYugu2Liw" role="iSaTp">
<node concept="2OqwBi" id="5itBwMa8FAq" role="37jj2">
<node concept="3j8tct" id="5itBwMa8FtD" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8EJ1" resolve="obj" />
</node>
<node concept="3TrcHB" id="5itBwMa8FSl" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
@ -713,12 +716,14 @@
<ref role="ns1xF" node="7VBaGntKJ75" resolve="Variable" />
<node concept="nsMwS" id="7VBaGntKJaz" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ77" resolve="name" />
<node concept="2OqwBi" id="5itBwMa8Idj" role="nsMwV">
<node concept="3j8tct" id="5itBwMa8I0G" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8Gls" resolve="var" />
</node>
<node concept="3TrcHB" id="5itBwMa8Ive" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
<node concept="37jhX" id="ZNYugu2Lix" role="iSaTp">
<node concept="2OqwBi" id="5itBwMa8Idj" role="37jj2">
<node concept="3j8tct" id="5itBwMa8I0G" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8Gls" resolve="var" />
</node>
<node concept="3TrcHB" id="5itBwMa8Ive" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
@ -813,12 +818,14 @@
<ref role="ns1xF" node="7VBaGntKJ78" resolve="Function" />
<node concept="nsMwS" id="7VBaGntKJaC" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ7a" resolve="name" />
<node concept="2OqwBi" id="5itBwMa8M0X" role="nsMwV">
<node concept="3j8tct" id="5itBwMa8M0Y" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8JC7" resolve="fun" />
</node>
<node concept="3TrcHB" id="5itBwMa8MjV" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
<node concept="37jhX" id="ZNYugu2Liy" role="iSaTp">
<node concept="2OqwBi" id="5itBwMa8M0X" role="37jj2">
<node concept="3j8tct" id="5itBwMa8M0Y" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8JC7" resolve="fun" />
</node>
<node concept="3TrcHB" id="5itBwMa8MjV" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>

2
samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl
View File

@ -79,7 +79,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

17
samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:30d249b0-c2b0-4934-8bd8-e1d7a37c3b3b(samples.fitch.propositionalLogic.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="11" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="18" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
@ -171,7 +171,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -295,12 +294,14 @@
<ref role="ns1xF" node="7VBaGntKJ7X" resolve="Const" />
<node concept="nsMwS" id="5itBwM9U1$2" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ7Z" resolve="name" />
<node concept="2OqwBi" id="5itBwM9U2m7" role="nsMwV">
<node concept="3j8tct" id="5itBwM9U29A" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwM9U0o0" resolve="prop" />
</node>
<node concept="3TrcHB" id="5itBwM9U2CP" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
<node concept="37jhX" id="ZNYugu2LiN" role="iSaTp">
<node concept="2OqwBi" id="5itBwM9U2m7" role="37jj2">
<node concept="3j8tct" id="5itBwM9U29A" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwM9U0o0" resolve="prop" />
</node>
<node concept="3TrcHB" id="5itBwM9U2CP" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>

2
samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl
View File

@ -77,7 +77,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/fitch/languages/samples.fitch/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:30efdd3a-609b-4e7b-a8f2-60af62d5341f(samples.fitch.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="11" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />

2
samples/fitch/languages/samples.fitch/samples.fitch.mpl
View File

@ -77,7 +77,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

15
samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:d628db6e-191f-4c0f-a802-15ad423aa41e(samples.lambdacalc.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="18" />
<use id="af858d84-85f2-42f4-a854-0b3c6b5cd482" name="samples.lambdacalc" version="-1" />
<use id="ed6d7656-532c-4bc2-81d1-af945aeb8280" name="jetbrains.mps.baseLanguage.blTypes" version="-1" />
@ -394,7 +394,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -10243,8 +10242,10 @@
<ref role="ns1xF" node="3vXKzDNDVgC" resolve="Constraint" />
<node concept="nsMwS" id="47tET_W_5pl" role="ns1xD">
<ref role="nsMwP" node="47tET_W4Sc3" resolve="typeclass" />
<node concept="37vLTw" id="47tET_W_5pp" role="nsMwV">
<ref role="3cqZAo" node="47tET_WsEYM" resolve="tc" />
<node concept="37jhX" id="ZNYugu2LiS" role="iSaTp">
<node concept="37vLTw" id="47tET_W_5pp" role="37jj2">
<ref role="3cqZAo" node="47tET_WsEYM" resolve="tc" />
</node>
</node>
</node>
</node>
@ -15531,8 +15532,10 @@
<ref role="ns1xF" node="3vXKzDNDVgC" resolve="Constraint" />
<node concept="nsMwS" id="5itBwM9nSQi" role="ns1xD">
<ref role="nsMwP" node="47tET_W4Sc3" resolve="typeclass" />
<node concept="3hN9Ij" id="7L5omgeUgbA" role="nsMwV">
<ref role="3hLkJx" node="5itBwM9nSMV" resolve="tc" />
<node concept="37jhX" id="ZNYugu2LiT" role="iSaTp">
<node concept="3hN9Ij" id="7L5omgeUgbA" role="37jj2">
<ref role="3hLkJx" node="5itBwM9nSMV" resolve="tc" />
</node>
</node>
</node>
</node>

2
samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl
View File

@ -39,7 +39,7 @@
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="1" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl
View File

@ -67,7 +67,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl
View File

@ -78,7 +78,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

33
samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers" version="0" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
@ -200,7 +200,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -1246,14 +1245,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="2q9s7fpQhq0" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="2q9s7fpQhq1" role="nsMwV">
<node concept="2c44tf" id="2q9s7fpQhq2" role="2Oq$k0">
<node concept="3uibUv" id="2q9s7fpQhq3" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
<node concept="37jhX" id="ZNYugu2LiY" role="iSaTp">
<node concept="2OqwBi" id="2q9s7fpQhq1" role="37jj2">
<node concept="2c44tf" id="2q9s7fpQhq2" role="2Oq$k0">
<node concept="3uibUv" id="2q9s7fpQhq3" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
<node concept="3TrEf2" id="2q9s7fpQhq4" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="2q9s7fpQhq4" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -1289,12 +1290,14 @@
<ref role="ns1xF" node="2q9s7foUKiD" resolve="defaultClassifier" />
<node concept="nsMwS" id="2q9s7foULVF" role="ns1xD">
<ref role="nsMwP" node="2q9s7foUKjg" resolve="classifier" />
<node concept="2OqwBi" id="2q9s7foULXk" role="nsMwV">
<node concept="3j8tct" id="2q9s7foULX0" role="2Oq$k0">
<ref role="3j8tcu" node="2q9s7foULiU" resolve="dc" />
</node>
<node concept="3TrEf2" id="2q9s7foUM_k" role="2OqNvi">
<ref role="3Tt5mk" to="tp4f:hyWumMg" resolve="classifier" />
<node concept="37jhX" id="ZNYugu2LiZ" role="iSaTp">
<node concept="2OqwBi" id="2q9s7foULXk" role="37jj2">
<node concept="3j8tct" id="2q9s7foULX0" role="2Oq$k0">
<ref role="3j8tcu" node="2q9s7foULiU" resolve="dc" />
</node>
<node concept="3TrEf2" id="2q9s7foUM_k" role="2OqNvi">
<ref role="3Tt5mk" to="tp4f:hyWumMg" resolve="classifier" />
</node>
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl
View File

@ -82,7 +82,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

39
samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
<use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
@ -446,7 +446,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -1484,14 +1483,18 @@
<ref role="ns1xF" to="kqnc:6u6$XO93ntc" resolve="feedback" />
<node concept="nsMwS" id="6u6$XO96Vm8" role="ns1xD">
<ref role="nsMwP" to="kqnc:6u6$XO93nuB" resolve="node" />
<node concept="37vLTw" id="6u6$XO9aKvp" role="nsMwV">
<ref role="3cqZAo" node="6u6$XO9aJnA" resolve="exitPoint" />
<node concept="37jhX" id="ZNYugu2Lj9" role="iSaTp">
<node concept="37vLTw" id="6u6$XO9aKvp" role="37jj2">
<ref role="3cqZAo" node="6u6$XO9aJnA" resolve="exitPoint" />
</node>
</node>
</node>
<node concept="nsMwS" id="6u6$XO96Vm9" role="ns1xD">
<ref role="nsMwP" to="kqnc:6u6$XO93nuN" resolve="msg" />
<node concept="Xl_RD" id="2MpDLe9_Ky4" role="nsMwV">
<property role="Xl_RC" value="incompatible types" />
<node concept="37jhX" id="ZNYugu2Lja" role="iSaTp">
<node concept="Xl_RD" id="2MpDLe9_Ky4" role="37jj2">
<property role="Xl_RC" value="incompatible types" />
</node>
</node>
</node>
</node>
@ -3045,14 +3048,18 @@
<ref role="ns1xF" to="kqnc:6u6$XO93ntc" resolve="feedback" />
<node concept="nsMwS" id="6u6$XO96Vm4" role="ns1xD">
<ref role="nsMwP" to="kqnc:6u6$XO93nuB" resolve="node" />
<node concept="37vLTw" id="6u6$XO9aoZX" role="nsMwV">
<ref role="3cqZAo" node="6u6$XO9annW" resolve="arg" />
<node concept="37jhX" id="ZNYugu2Ljb" role="iSaTp">
<node concept="37vLTw" id="6u6$XO9aoZX" role="37jj2">
<ref role="3cqZAo" node="6u6$XO9annW" resolve="arg" />
</node>
</node>
</node>
<node concept="nsMwS" id="6u6$XO96Vm5" role="ns1xD">
<ref role="nsMwP" to="kqnc:6u6$XO93nuN" resolve="msg" />
<node concept="Xl_RD" id="2MpDLe9_IWQ" role="nsMwV">
<property role="Xl_RC" value="incompatible types" />
<node concept="37jhX" id="ZNYugu2Ljc" role="iSaTp">
<node concept="Xl_RD" id="2MpDLe9_IWQ" role="37jj2">
<property role="Xl_RC" value="incompatible types" />
</node>
</node>
</node>
</node>
@ -6160,8 +6167,10 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="554EtBH_$CP" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="3A2sRY" id="554EtBH_$CR" role="nsMwV">
<ref role="3A2yKK" node="554EtBH_$E2" resolve="cls" />
<node concept="37jhX" id="ZNYugu2Ljd" role="iSaTp">
<node concept="3A2sRY" id="554EtBH_$CR" role="37jj2">
<ref role="3A2yKK" node="554EtBH_$E2" resolve="cls" />
</node>
</node>
</node>
<node concept="nsMwS" id="554EtBH_$CT" role="ns1xD">
@ -6431,8 +6440,10 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="2uP4pEQ4oP" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="3A2sRY" id="2uP4pEQ4Da" role="nsMwV">
<ref role="3A2yKK" node="2uP4pEQ4mG" resolve="cls" />
<node concept="37jhX" id="ZNYugu2Lje" role="iSaTp">
<node concept="3A2sRY" id="2uP4pEQ4Da" role="37jj2">
<ref role="3A2yKK" node="2uP4pEQ4mG" resolve="cls" />
</node>
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl
View File

@ -79,7 +79,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

925
samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
View File

File diff suppressed because it is too large Load Diff

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl
View File

@ -77,7 +77,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl
View File

@ -32,7 +32,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:992fb193-05bb-4cd5-a608-066498d6f2d3(jetbrains.mps.baseLanguage.javadocExt.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl
View File

@ -77,7 +77,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

60
samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -43,6 +43,9 @@
</concept>
</language>
<language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
<concept id="8456919074574710634" name="jetbrains.mps.logic.structure.ExpressionItem" flags="ng" index="37jhX">
<child id="8456919074574710741" name="code" index="37jj2" />
</concept>
<concept id="8169506320648805904" name="jetbrains.mps.logic.structure.LogicalVariableDeclarationContainer" flags="ng" index="29MRiA">
<child id="6399471711045617306" name="dataType" index="3vLBG7" />
<child id="3063948360254832884" name="declaration" index="3XD1gS" />
@ -97,7 +100,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="8335224865066015764" name="jetbrains.mps.lang.coderules.structure.RulesList" flags="ng" index="AVZre">
<reference id="3541122455446356437" name="extends" index="2YbDB9" />
@ -538,21 +540,25 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="QTGPMEwS2c" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="QTGPMEwS2d" role="nsMwV">
<node concept="2c44tf" id="QTGPMEwS2e" role="2Oq$k0">
<node concept="3uibUv" id="QTGPMEwS2f" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="37jhX" id="ZNYugu2Lqe" role="iSaTp">
<node concept="2OqwBi" id="QTGPMEwS2d" role="37jj2">
<node concept="2c44tf" id="QTGPMEwS2e" role="2Oq$k0">
<node concept="3uibUv" id="QTGPMEwS2f" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
</node>
</node>
<node concept="3TrEf2" id="QTGPMEwS2g" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="QTGPMEwS2g" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
<node concept="nsMwS" id="QTGPMEwS5l" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2d" resolve="kind" />
<node concept="Xl_RD" id="QTGPMEwYGV" role="nsMwV">
<property role="Xl_RC" value="raw" />
<node concept="37jhX" id="ZNYugu2Lqf" role="iSaTp">
<node concept="Xl_RD" id="QTGPMEwYGV" role="37jj2">
<property role="Xl_RC" value="raw" />
</node>
</node>
</node>
</node>
@ -673,14 +679,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="QTGPMEwRUW" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="QTGPMEwRUX" role="nsMwV">
<node concept="2c44tf" id="QTGPMEwRUY" role="2Oq$k0">
<node concept="3uibUv" id="QTGPMEwRUZ" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="37jhX" id="ZNYugu2Lqg" role="iSaTp">
<node concept="2OqwBi" id="QTGPMEwRUX" role="37jj2">
<node concept="2c44tf" id="QTGPMEwRUY" role="2Oq$k0">
<node concept="3uibUv" id="QTGPMEwRUZ" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
</node>
</node>
<node concept="3TrEf2" id="QTGPMEwRV0" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="QTGPMEwRV0" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -793,14 +801,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="3MFPGC50Fah" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO1Y7_k" role="nsMwV">
<node concept="2c44tf" id="3CulEO1Y7_l" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_m" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="37jhX" id="ZNYugu2Lqh" role="iSaTp">
<node concept="2OqwBi" id="3CulEO1Y7_k" role="37jj2">
<node concept="2c44tf" id="3CulEO1Y7_l" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_m" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_n" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_n" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl
View File

@ -81,7 +81,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

2
samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />

2
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl
View File

@ -35,7 +35,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

661
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
View File

File diff suppressed because it is too large Load Diff

2
samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl
View File

@ -75,7 +75,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

33
samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
@ -112,7 +112,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -1193,14 +1192,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="7gMIJIxWlC0" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO1Y7_o" role="nsMwV">
<node concept="2c44tf" id="3CulEO1Y7_p" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_q" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
<node concept="37jhX" id="ZNYugu2LuA" role="iSaTp">
<node concept="2OqwBi" id="3CulEO1Y7_o" role="37jj2">
<node concept="2c44tf" id="3CulEO1Y7_p" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_q" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Class" resolve="Class" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_r" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_r" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -1439,12 +1440,14 @@
<ref role="ns1xF" node="7ZvrONsSHYs" resolve="internClassifier" />
<node concept="nsMwS" id="7ZvrONsSHYT" role="ns1xD">
<ref role="nsMwP" node="7ZvrONsSHY$" resolve="classname" />
<node concept="2OqwBi" id="7ZvrONsSIb7" role="nsMwV">
<node concept="3j8tct" id="7ZvrONsSHYX" role="2Oq$k0">
<ref role="3j8tcu" node="7ZvrONsSHYh" resolve="ict" />
</node>
<node concept="3TrcHB" id="7ZvrONsSIqn" role="2OqNvi">
<ref role="3TsBF5" to="tp68:h6ely4F" resolve="fqClassName" />
<node concept="37jhX" id="ZNYugu2LuB" role="iSaTp">
<node concept="2OqwBi" id="7ZvrONsSIb7" role="37jj2">
<node concept="3j8tct" id="7ZvrONsSHYX" role="2Oq$k0">
<ref role="3j8tcu" node="7ZvrONsSHYh" resolve="ict" />
</node>
<node concept="3TrcHB" id="7ZvrONsSIqn" role="2OqNvi">
<ref role="3TsBF5" to="tp68:h6ely4F" resolve="fqClassName" />
</node>
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl
View File

@ -84,7 +84,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

88
samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="11" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="18" />
@ -91,7 +91,7 @@
</concept>
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="861509610434435670" name="getter" index="nsMwV" />
<child id="1149537088045275069" name="item" index="iSaTp" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -177,12 +177,14 @@
<ref role="ns1xF" to="jxwi:3bgqfmmKxBI" resolve="concept" />
<node concept="nsMwS" id="2q9s7foHltE" role="ns1xD">
<ref role="nsMwP" to="jxwi:3lXUvG03UmI" resolve="concept" />
<node concept="2OqwBi" id="2q9s7foHlut" role="nsMwV">
<node concept="3A2sRY" id="2q9s7foHltT" role="2Oq$k0">
<ref role="3A2yKK" node="2q9s7foHlh_" resolve="sce" />
</node>
<node concept="2qgKlT" id="2q9s7foHmFU" role="2OqNvi">
<ref role="37wK5l" to="csvn:2k7p7sTvKkn" resolve="getSuperConcept" />
<node concept="37jhX" id="ZNYugu2LuL" role="iSaTp">
<node concept="2OqwBi" id="2q9s7foHlut" role="37jj2">
<node concept="3A2sRY" id="2q9s7foHltT" role="2Oq$k0">
<ref role="3A2yKK" node="2q9s7foHlh_" resolve="sce" />
</node>
<node concept="2qgKlT" id="2q9s7foHmFU" role="2OqNvi">
<ref role="37wK5l" to="csvn:2k7p7sTvKkn" resolve="getSuperConcept" />
</node>
</node>
</node>
</node>
@ -244,12 +246,14 @@
<ref role="ns1xF" to="jxwi:3bgqfmmKNsS" resolve="conceptNode" />
<node concept="nsMwS" id="2q9s7foHo80" role="ns1xD">
<ref role="nsMwP" to="jxwi:3lXUvG03UmI" resolve="concept" />
<node concept="2OqwBi" id="2q9s7foHo8x" role="nsMwV">
<node concept="3A2sRY" id="2q9s7foHo8f" role="2Oq$k0">
<ref role="3A2yKK" node="2q9s7foHmQ$" resolve="sne" />
</node>
<node concept="2qgKlT" id="2q9s7foHpW0" role="2OqNvi">
<ref role="37wK5l" to="csvn:2k7p7sTvKkn" resolve="getSuperConcept" />
<node concept="37jhX" id="ZNYugu2LuM" role="iSaTp">
<node concept="2OqwBi" id="2q9s7foHo8x" role="37jj2">
<node concept="3A2sRY" id="2q9s7foHo8f" role="2Oq$k0">
<ref role="3A2yKK" node="2q9s7foHmQ$" resolve="sne" />
</node>
<node concept="2qgKlT" id="2q9s7foHpW0" role="2OqNvi">
<ref role="37wK5l" to="csvn:2k7p7sTvKkn" resolve="getSuperConcept" />
</node>
</node>
</node>
</node>
@ -272,12 +276,14 @@
<ref role="ns1xF" to="jxwi:3bgqfmmKxBI" resolve="concept" />
<node concept="nsMwS" id="2q9s7foHpW$" role="ns1xD">
<ref role="nsMwP" to="jxwi:3lXUvG03UmI" resolve="concept" />
<node concept="2OqwBi" id="2q9s7foHpW_" role="nsMwV">
<node concept="3A2sRY" id="2q9s7foHpWA" role="2Oq$k0">
<ref role="3A2yKK" node="2q9s7foHmQ$" resolve="sne" />
</node>
<node concept="2qgKlT" id="2q9s7foHpWB" role="2OqNvi">
<ref role="37wK5l" to="csvn:2k7p7sTvKkn" resolve="getSuperConcept" />
<node concept="37jhX" id="ZNYugu2LuN" role="iSaTp">
<node concept="2OqwBi" id="2q9s7foHpW_" role="37jj2">
<node concept="3A2sRY" id="2q9s7foHpWA" role="2Oq$k0">
<ref role="3A2yKK" node="2q9s7foHmQ$" resolve="sne" />
</node>
<node concept="2qgKlT" id="2q9s7foHpWB" role="2OqNvi">
<ref role="37wK5l" to="csvn:2k7p7sTvKkn" resolve="getSuperConcept" />
</node>
</node>
</node>
</node>
@ -353,12 +359,14 @@
<ref role="ns1xF" to="jxwi:3bgqfmmKxBI" resolve="concept" />
<node concept="nsMwS" id="2q9s7foHqlq" role="ns1xD">
<ref role="nsMwP" to="jxwi:3lXUvG03UmI" resolve="concept" />
<node concept="2OqwBi" id="2q9s7foHqmh" role="nsMwV">
<node concept="37vLTw" id="2q9s7foHqlD" role="2Oq$k0">
<ref role="3cqZAo" node="1u_ffTorZyc" resolve="behaviour" />
</node>
<node concept="3TrEf2" id="2q9s7foHr$1" role="2OqNvi">
<ref role="3Tt5mk" to="1i04:hP3h7Gv" resolve="concept" />
<node concept="37jhX" id="ZNYugu2LuO" role="iSaTp">
<node concept="2OqwBi" id="2q9s7foHqmh" role="37jj2">
<node concept="37vLTw" id="2q9s7foHqlD" role="2Oq$k0">
<ref role="3cqZAo" node="1u_ffTorZyc" resolve="behaviour" />
</node>
<node concept="3TrEf2" id="2q9s7foHr$1" role="2OqNvi">
<ref role="3Tt5mk" to="1i04:hP3h7Gv" resolve="concept" />
</node>
</node>
</node>
</node>
@ -453,12 +461,14 @@
<ref role="ns1xF" to="jxwi:3bgqfmmKNsS" resolve="conceptNode" />
<node concept="nsMwS" id="2q9s7foHt9_" role="ns1xD">
<ref role="nsMwP" to="jxwi:3lXUvG03UmI" resolve="concept" />
<node concept="2OqwBi" id="2q9s7foHtac" role="nsMwV">
<node concept="37vLTw" id="2q9s7foHt9O" role="2Oq$k0">
<ref role="3cqZAo" node="hP3pWY1" resolve="behaviour" />
</node>
<node concept="3TrEf2" id="2q9s7foHunt" role="2OqNvi">
<ref role="3Tt5mk" to="1i04:hP3h7Gv" resolve="concept" />
<node concept="37jhX" id="ZNYugu2LuP" role="iSaTp">
<node concept="2OqwBi" id="2q9s7foHtac" role="37jj2">
<node concept="37vLTw" id="2q9s7foHt9O" role="2Oq$k0">
<ref role="3cqZAo" node="hP3pWY1" resolve="behaviour" />
</node>
<node concept="3TrEf2" id="2q9s7foHunt" role="2OqNvi">
<ref role="3Tt5mk" to="1i04:hP3h7Gv" resolve="concept" />
</node>
</node>
</node>
</node>
@ -489,12 +499,14 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="2q9s7foHuo9" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="2q9s7foHuoa" role="nsMwV">
<node concept="37vLTw" id="2q9s7foHuob" role="2Oq$k0">
<ref role="3cqZAo" node="hP3pWY1" resolve="behaviour" />
</node>
<node concept="3TrEf2" id="2q9s7foHuoc" role="2OqNvi">
<ref role="3Tt5mk" to="1i04:hP3h7Gv" resolve="concept" />
<node concept="37jhX" id="ZNYugu2LuQ" role="iSaTp">
<node concept="2OqwBi" id="2q9s7foHuoa" role="37jj2">
<node concept="37vLTw" id="2q9s7foHuob" role="2Oq$k0">
<ref role="3cqZAo" node="hP3pWY1" resolve="behaviour" />
</node>
<node concept="3TrEf2" id="2q9s7foHuoc" role="2OqNvi">
<ref role="3Tt5mk" to="1i04:hP3h7Gv" resolve="concept" />
</node>
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl
View File

@ -97,7 +97,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

163
samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps
View File

@ -2,7 +2,7 @@
<model ref="r:9071f0f9-8ac0-4a08-8867-06e41ca1c7d9(jetbrains.mps.lang.coderulesExt.types)">
<persistence version="9" />
<languages>
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -203,7 +203,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -789,21 +788,23 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="7LI_gNMWxiz" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="7LI_gNMWxRY" role="nsMwV">
<node concept="1PxgMI" id="7LI_gNMWxK6" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<node concept="chp4Y" id="7LI_gNMWxKS" role="3oSUPX">
<ref role="cht4Q" to="wq2x:5NuEpF1if3e" resolve="RuleInputSpecification" />
</node>
<node concept="2OqwBi" id="7LI_gNMWxsx" role="1m5AlR">
<node concept="3A2sRY" id="7LI_gNMWxiB" role="2Oq$k0">
<ref role="3A2yKK" node="7LI_gNMWxa3" resolve="rid" />
<node concept="37jhX" id="ZNYugu2Lvf" role="iSaTp">
<node concept="2OqwBi" id="7LI_gNMWxRY" role="37jj2">
<node concept="1PxgMI" id="7LI_gNMWxK6" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<node concept="chp4Y" id="7LI_gNMWxKS" role="3oSUPX">
<ref role="cht4Q" to="wq2x:5NuEpF1if3e" resolve="RuleInputSpecification" />
</node>
<node concept="2OqwBi" id="7LI_gNMWxsx" role="1m5AlR">
<node concept="3A2sRY" id="7LI_gNMWxiB" role="2Oq$k0">
<ref role="3A2yKK" node="7LI_gNMWxa3" resolve="rid" />
</node>
<node concept="1mfA1w" id="7LI_gNMWxDp" role="2OqNvi" />
</node>
<node concept="1mfA1w" id="7LI_gNMWxDp" role="2OqNvi" />
</node>
</node>
<node concept="3TrEf2" id="3bgqfmmKMhu" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5NuEpF1iiA0" resolve="applicableConcept" />
<node concept="3TrEf2" id="3bgqfmmKMhu" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5NuEpF1iiA0" resolve="applicableConcept" />
</node>
</node>
</node>
</node>
@ -1405,21 +1406,23 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="7LI_gNMXGjy" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="7LI_gNMXGjz" role="nsMwV">
<node concept="1PxgMI" id="7LI_gNMXGj$" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<node concept="chp4Y" id="7LI_gNMXHia" role="3oSUPX">
<ref role="cht4Q" to="wq2x:5itBwM66cNU" resolve="ExpandMacroInputSpecification" />
</node>
<node concept="2OqwBi" id="7LI_gNMXGjA" role="1m5AlR">
<node concept="3A2sRY" id="2Qsys8b2h8j" role="2Oq$k0">
<ref role="3A2yKK" node="2Qsys8b2gn5" resolve="emid" />
<node concept="37jhX" id="ZNYugu2Lvg" role="iSaTp">
<node concept="2OqwBi" id="7LI_gNMXGjz" role="37jj2">
<node concept="1PxgMI" id="7LI_gNMXGj$" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<node concept="chp4Y" id="7LI_gNMXHia" role="3oSUPX">
<ref role="cht4Q" to="wq2x:5itBwM66cNU" resolve="ExpandMacroInputSpecification" />
</node>
<node concept="2OqwBi" id="7LI_gNMXGjA" role="1m5AlR">
<node concept="3A2sRY" id="2Qsys8b2h8j" role="2Oq$k0">
<ref role="3A2yKK" node="2Qsys8b2gn5" resolve="emid" />
</node>
<node concept="1mfA1w" id="7LI_gNMXGjC" role="2OqNvi" />
</node>
<node concept="1mfA1w" id="7LI_gNMXGjC" role="2OqNvi" />
</node>
</node>
<node concept="3TrEf2" id="3bgqfmmKMV1" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM66ULm" resolve="applicableConcept" />
<node concept="3TrEf2" id="3bgqfmmKMV1" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM66ULm" resolve="applicableConcept" />
</node>
</node>
</node>
</node>
@ -1605,18 +1608,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="61G6TdBIz7X" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="61G6TdBI$iz" role="nsMwV">
<node concept="2OqwBi" id="61G6TdBIzVt" role="2Oq$k0">
<node concept="3A2sRY" id="61G6TdBIzSj" role="2Oq$k0">
<ref role="3A2yKK" node="51ek2rSd6bj" resolve="emc" />
<node concept="37jhX" id="ZNYugu2Lvh" role="iSaTp">
<node concept="2OqwBi" id="61G6TdBI$iz" role="37jj2">
<node concept="2OqwBi" id="61G6TdBIzVt" role="2Oq$k0">
<node concept="3A2sRY" id="61G6TdBIzSj" role="2Oq$k0">
<ref role="3A2yKK" node="51ek2rSd6bj" resolve="emc" />
</node>
<node concept="3TrEf2" id="61G6TdBI$8l" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM7GBLp" resolve="template" />
</node>
</node>
<node concept="3TrEf2" id="61G6TdBI$8l" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM7GBLp" resolve="template" />
<node concept="3TrEf2" id="61G6TdBI$zP" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM6dfdw" resolve="applicableConcept" />
</node>
</node>
<node concept="3TrEf2" id="61G6TdBI$zP" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM6dfdw" resolve="applicableConcept" />
</node>
</node>
</node>
</node>
@ -1638,18 +1643,20 @@
<ref role="ns1xF" to="jxwi:3bgqfmmKxBI" resolve="concept" />
<node concept="nsMwS" id="7FV1iGvKQTz" role="ns1xD">
<ref role="nsMwP" to="jxwi:3lXUvG03UmI" resolve="concept" />
<node concept="2OqwBi" id="7FV1iGvKQT$" role="nsMwV">
<node concept="2OqwBi" id="7FV1iGvKQT_" role="2Oq$k0">
<node concept="3A2sRY" id="7FV1iGvKQTA" role="2Oq$k0">
<ref role="3A2yKK" node="51ek2rSd6bj" resolve="emc" />
<node concept="37jhX" id="ZNYugu2Lvi" role="iSaTp">
<node concept="2OqwBi" id="7FV1iGvKQT$" role="37jj2">
<node concept="2OqwBi" id="7FV1iGvKQT_" role="2Oq$k0">
<node concept="3A2sRY" id="7FV1iGvKQTA" role="2Oq$k0">
<ref role="3A2yKK" node="51ek2rSd6bj" resolve="emc" />
</node>
<node concept="3TrEf2" id="7FV1iGvKQTB" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM7GBLp" resolve="template" />
</node>
</node>
<node concept="3TrEf2" id="7FV1iGvKQTB" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM7GBLp" resolve="template" />
<node concept="3TrEf2" id="7FV1iGvKQTC" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM6dfdw" resolve="applicableConcept" />
</node>
</node>
<node concept="3TrEf2" id="7FV1iGvKQTC" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5itBwM6dfdw" resolve="applicableConcept" />
</node>
</node>
</node>
</node>
@ -2590,14 +2597,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="61G6TdCWQRD" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO1Y7_c" role="nsMwV">
<node concept="2c44tf" id="3CulEO1Y7_d" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_e" role="2c44tc">
<ref role="3uigEE" to="6exd:3OPtF03lco4" resolve="ListNode" />
<node concept="37jhX" id="ZNYugu2Lvj" role="iSaTp">
<node concept="2OqwBi" id="3CulEO1Y7_c" role="37jj2">
<node concept="2c44tf" id="3CulEO1Y7_d" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_e" role="2c44tc">
<ref role="3uigEE" to="6exd:3OPtF03lco4" resolve="ListNode" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_f" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_f" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2680,14 +2689,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="7kXqzcTKrrY" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="7kXqzcTKrrZ" role="nsMwV">
<node concept="2c44tf" id="7kXqzcTKrs0" role="2Oq$k0">
<node concept="3uibUv" id="7kXqzcTKrs1" role="2c44tc">
<ref role="3uigEE" to="6exd:3OPtF03lco4" resolve="ListNode" />
<node concept="37jhX" id="ZNYugu2Lvk" role="iSaTp">
<node concept="2OqwBi" id="7kXqzcTKrrZ" role="37jj2">
<node concept="2c44tf" id="7kXqzcTKrs0" role="2Oq$k0">
<node concept="3uibUv" id="7kXqzcTKrs1" role="2c44tc">
<ref role="3uigEE" to="6exd:3OPtF03lco4" resolve="ListNode" />
</node>
</node>
<node concept="3TrEf2" id="7kXqzcTKrs2" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="7kXqzcTKrs2" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2764,14 +2775,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="61G6TdCWQQm" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO1Y7_8" role="nsMwV">
<node concept="2c44tf" id="3CulEO1Y7_9" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_a" role="2c44tc">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
<node concept="37jhX" id="ZNYugu2Lvl" role="iSaTp">
<node concept="2OqwBi" id="3CulEO1Y7_8" role="37jj2">
<node concept="2c44tf" id="3CulEO1Y7_9" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_a" role="2c44tc">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_b" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_b" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2854,14 +2867,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="7kXqzcTKrwl" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="7kXqzcTKrwm" role="nsMwV">
<node concept="2c44tf" id="7kXqzcTKrwn" role="2Oq$k0">
<node concept="3uibUv" id="7kXqzcTKrwo" role="2c44tc">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
<node concept="37jhX" id="ZNYugu2Lvm" role="iSaTp">
<node concept="2OqwBi" id="7kXqzcTKrwm" role="37jj2">
<node concept="2c44tf" id="7kXqzcTKrwn" role="2Oq$k0">
<node concept="3uibUv" id="7kXqzcTKrwo" role="2c44tc">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
</node>
</node>
<node concept="3TrEf2" id="7kXqzcTKrwp" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="7kXqzcTKrwp" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl
View File

@ -88,7 +88,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

220
samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -126,7 +126,7 @@
</concept>
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="861509610434435670" name="getter" index="nsMwV" />
<child id="1149537088045275069" name="item" index="iSaTp" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -244,18 +244,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCMCo" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="2_ZlElkqgb4" role="nsMwV">
<node concept="2OqwBi" id="2_ZlElkqgb5" role="2Oq$k0">
<node concept="37vLTw" id="3GM_nagTvRD" role="2Oq$k0">
<ref role="3cqZAo" node="2_ZlElkqgaS" resolve="constraint" />
<node concept="37jhX" id="ZNYugu2Lw7" role="iSaTp">
<node concept="2OqwBi" id="2_ZlElkqgb4" role="37jj2">
<node concept="2OqwBi" id="2_ZlElkqgb5" role="2Oq$k0">
<node concept="37vLTw" id="3GM_nagTvRD" role="2Oq$k0">
<ref role="3cqZAo" node="2_ZlElkqgaS" resolve="constraint" />
</node>
<node concept="3TrEf2" id="2_ZlElkqgb7" role="2OqNvi">
<ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
</node>
</node>
<node concept="3TrEf2" id="2_ZlElkqgb7" role="2OqNvi">
<ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
<node concept="3TrEf2" id="2_ZlElkqgb8" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
<node concept="3TrEf2" id="2_ZlElkqgb8" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
</node>
</node>
@ -312,12 +314,14 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCMHo" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHtCMVI" role="nsMwV">
<node concept="37vLTw" id="3ZfjIHtCMVJ" role="2Oq$k0">
<ref role="3cqZAo" node="2_ZlElkqgbt" resolve="defaultScope" />
</node>
<node concept="2qgKlT" id="3ZfjIHtCMVK" role="2OqNvi">
<ref role="37wK5l" to="tp22:hEwIhhr" resolve="getReferentConcept" />
<node concept="37jhX" id="ZNYugu2Lw8" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHtCMVI" role="37jj2">
<node concept="37vLTw" id="3ZfjIHtCMVJ" role="2Oq$k0">
<ref role="3cqZAo" node="2_ZlElkqgbt" resolve="defaultScope" />
</node>
<node concept="2qgKlT" id="3ZfjIHtCMVK" role="2OqNvi">
<ref role="37wK5l" to="tp22:hEwIhhr" resolve="getReferentConcept" />
</node>
</node>
</node>
</node>
@ -356,14 +360,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCMWx" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHtCN$$" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHtCNMa" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCNMb" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lw9" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHtCN$$" role="37jj2">
<node concept="2c44tf" id="3ZfjIHtCNMa" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCNMb" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCNJP" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCNJP" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -458,8 +464,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCOV7" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHtCOXv" role="nsMwV">
<ref role="3cqZAo" node="4OU1gA0vhtu" resolve="target" />
<node concept="37jhX" id="ZNYugu2Lwa" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHtCOXv" role="37jj2">
<ref role="3cqZAo" node="4OU1gA0vhtu" resolve="target" />
</node>
</node>
</node>
</node>
@ -481,14 +489,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCOEB" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHtCOEC" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHtCOED" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCOEE" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lwb" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHtCOEC" role="37jj2">
<node concept="2c44tf" id="3ZfjIHtCOED" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCOEE" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCOEF" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCOEF" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -619,8 +629,10 @@
<ref role="ns1xF" to="jxwi:3bgqfmmKNsS" resolve="conceptNode" />
<node concept="nsMwS" id="3ZfjIHtCQq5" role="ns1xD">
<ref role="nsMwP" to="jxwi:3lXUvG03UmI" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHtD9Bv" role="nsMwV">
<ref role="3cqZAo" node="3ZfjIHtD9yT" resolve="concept" />
<node concept="37jhX" id="ZNYugu2Lwc" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHtD9Bv" role="37jj2">
<ref role="3cqZAo" node="3ZfjIHtD9yT" resolve="concept" />
</node>
</node>
</node>
</node>
@ -693,18 +705,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCRdp" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5RKjesl1UWa" role="nsMwV">
<node concept="2OqwBi" id="5RKjesl1UW5" role="2Oq$k0">
<node concept="37vLTw" id="3GM_nagTysm" role="2Oq$k0">
<ref role="3cqZAo" node="5RKjesl1UVH" resolve="constraint" />
<node concept="37jhX" id="ZNYugu2Lwd" role="iSaTp">
<node concept="2OqwBi" id="5RKjesl1UWa" role="37jj2">
<node concept="2OqwBi" id="5RKjesl1UW5" role="2Oq$k0">
<node concept="37vLTw" id="3GM_nagTysm" role="2Oq$k0">
<ref role="3cqZAo" node="5RKjesl1UVH" resolve="constraint" />
</node>
<node concept="3TrEf2" id="5RKjesl1UW9" role="2OqNvi">
<ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
</node>
</node>
<node concept="3TrEf2" id="5RKjesl1UW9" role="2OqNvi">
<ref role="3Tt5mk" to="tp1t:gHN5VAa" resolve="applicableLink" />
<node concept="3TrEf2" id="5RKjesl1UWe" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
<node concept="3TrEf2" id="5RKjesl1UWe" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
</node>
</node>
@ -741,14 +755,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCRvb" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHtCRI9" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHtCRIa" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCRIb" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lwe" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHtCRI9" role="37jj2">
<node concept="2c44tf" id="3ZfjIHtCRIa" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCRIb" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCRIc" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCRIc" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -791,12 +807,14 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCRiI" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5RKjesl1UXd" role="nsMwV">
<node concept="37vLTw" id="3GM_nagTxcC" role="2Oq$k0">
<ref role="3cqZAo" node="5RKjesl1UWL" resolve="defaultScope" />
</node>
<node concept="2qgKlT" id="5RKjesl1UXh" role="2OqNvi">
<ref role="37wK5l" to="tp22:hEwIhhr" resolve="getReferentConcept" />
<node concept="37jhX" id="ZNYugu2Lwf" role="iSaTp">
<node concept="2OqwBi" id="5RKjesl1UXd" role="37jj2">
<node concept="37vLTw" id="3GM_nagTxcC" role="2Oq$k0">
<ref role="3cqZAo" node="5RKjesl1UWL" resolve="defaultScope" />
</node>
<node concept="2qgKlT" id="5RKjesl1UXh" role="2OqNvi">
<ref role="37wK5l" to="tp22:hEwIhhr" resolve="getReferentConcept" />
</node>
</node>
</node>
</node>
@ -911,8 +929,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCSJE" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHtCSJQ" role="nsMwV">
<ref role="3cqZAo" node="h9gNisc" resolve="targetConcept" />
<node concept="37jhX" id="ZNYugu2Lwg" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHtCSJQ" role="37jj2">
<ref role="3cqZAo" node="h9gNisc" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -934,14 +954,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCSSt" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHtCSSu" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHtCSSv" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCSSw" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lwh" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHtCSSu" role="37jj2">
<node concept="2c44tf" id="3ZfjIHtCSSv" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCSSw" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCSSx" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCSSx" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -1036,8 +1058,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCTfi" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHtCTfj" role="nsMwV">
<ref role="3cqZAo" node="h9gNis9" resolve="targetConcept" />
<node concept="37jhX" id="ZNYugu2Lwi" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHtCTfj" role="37jj2">
<ref role="3cqZAo" node="h9gNis9" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -1059,14 +1083,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCTfs" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHtCTft" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHtCTfu" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCTfv" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lwj" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHtCTft" role="37jj2">
<node concept="2c44tf" id="3ZfjIHtCTfu" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCTfv" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCTfw" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCTfw" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -1202,8 +1228,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCU4H" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHtD2vT" role="nsMwV">
<ref role="3cqZAo" node="3ZfjIHtD2vR" resolve="concept" />
<node concept="37jhX" id="ZNYugu2Lwk" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHtD2vT" role="37jj2">
<ref role="3cqZAo" node="3ZfjIHtD2vR" resolve="concept" />
</node>
</node>
</node>
</node>
@ -1225,14 +1253,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCU4R" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHtCU4S" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHtCU4T" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCU4U" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lwl" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHtCU4S" role="37jj2">
<node concept="2c44tf" id="3ZfjIHtCU4T" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCU4U" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCU4V" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCU4V" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -1444,8 +1474,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCWor" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHtCWos" role="nsMwV">
<ref role="3cqZAo" node="h9gNis0" resolve="applicableConcept" />
<node concept="37jhX" id="ZNYugu2Lwm" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHtCWos" role="37jj2">
<ref role="3cqZAo" node="h9gNis0" resolve="applicableConcept" />
</node>
</node>
</node>
</node>
@ -1467,14 +1499,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHtCWo_" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHtCWoA" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHtCWoB" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCWoC" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lwn" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHtCWoA" role="37jj2">
<node concept="2c44tf" id="3ZfjIHtCWoB" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHtCWoC" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCWoD" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHtCWoD" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl
View File

@ -86,7 +86,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

299
samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -177,7 +177,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -442,14 +441,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="3ZfjIHuv2d9" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3ZfjIHuv2da" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHuv2db" role="2Oq$k0">
<node concept="3uibUv" id="3ZfjIHuv2dD" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
<node concept="37jhX" id="ZNYugu2Lxr" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuv2da" role="37jj2">
<node concept="2c44tf" id="3ZfjIHuv2db" role="2Oq$k0">
<node concept="3uibUv" id="3ZfjIHuv2dD" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuv2dd" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuv2dd" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -1011,14 +1012,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvFIJ" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuvGA9" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHuvGNJ" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHuvGNK" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lxs" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuvGA9" role="37jj2">
<node concept="2c44tf" id="3ZfjIHuvGNJ" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHuvGNK" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvGLq" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvGLq" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -1112,18 +1115,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvHWO" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuvIrZ" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuvI8Q" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvI0m" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvHEc" resolve="gcogobl" />
<node concept="37jhX" id="ZNYugu2Lxt" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuvIrZ" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuvI8Q" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvI0m" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvHEc" resolve="gcogobl" />
</node>
<node concept="3TrEf2" id="3ZfjIHuvIiN" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hHiwH3n" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvIiN" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hHiwH3n" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuvIFA" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvIFA" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -1172,18 +1177,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvJi8" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuvJi9" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuvJia" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvJpi" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvJ7b" resolve="gcogoblai" />
<node concept="37jhX" id="ZNYugu2Lxu" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuvJi9" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuvJia" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvJpi" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvJ7b" resolve="gcogoblai" />
</node>
<node concept="3TrEf2" id="3ZfjIHuvJ_S" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hHiwH3s" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvJ_S" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hHiwH3s" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuvJid" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvJid" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -1239,18 +1246,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvJV2" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuvJV3" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuvJV4" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvJZb" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvJ7b" resolve="gcogoblai" />
<node concept="37jhX" id="ZNYugu2Lxv" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuvJV3" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuvJV4" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvJZb" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvJ7b" resolve="gcogoblai" />
</node>
<node concept="3TrEf2" id="3ZfjIHuvUZ8" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hHiwH3s" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvUZ8" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hHiwH3s" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuvVcW" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvVcW" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
</node>
</node>
@ -1305,18 +1314,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvW77" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuvW78" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuvW79" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvWpo" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvVN2" resolve="gcogoblaiars" />
<node concept="37jhX" id="ZNYugu2Lxw" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuvW78" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuvW79" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvWpo" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvVN2" resolve="gcogoblaiars" />
</node>
<node concept="3TrEf2" id="3ZfjIHuvW_Y" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hLmmeDJ" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvW_Y" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hLmmeDJ" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuvW7c" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvW7c" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -1372,18 +1383,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvW7z" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuvW7$" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuvW7_" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvWGR" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvVN2" resolve="gcogoblaiars" />
<node concept="37jhX" id="ZNYugu2Lxx" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuvW7$" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuvW7_" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvWGR" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvVN2" resolve="gcogoblaiars" />
</node>
<node concept="3TrEf2" id="3ZfjIHuvWJb" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hLmmeDJ" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvWJb" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hLmmeDJ" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuvW7C" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvW7C" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
</node>
</node>
@ -1438,18 +1451,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvXBq" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuvXBr" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuvXBs" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvXWt" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvXig" resolve="gcogolblai" />
<node concept="37jhX" id="ZNYugu2Lxy" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuvXBr" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuvXBs" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvXWt" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvXig" resolve="gcogolblai" />
</node>
<node concept="3TrEf2" id="3ZfjIHuvYbx" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hLiAAM5" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvYbx" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hLiAAM5" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuvXBv" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvXBv" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -1505,18 +1520,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvXBQ" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuvXBR" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuvXBS" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvYf1" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvXig" resolve="gcogolblai" />
<node concept="37jhX" id="ZNYugu2Lxz" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuvXBR" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuvXBS" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvYf1" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvXig" resolve="gcogolblai" />
</node>
<node concept="3TrEf2" id="3ZfjIHuvYi2" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hLiAAM5" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvYi2" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hLiAAM5" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuvXBV" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvXBV" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
</node>
</node>
@ -1615,18 +1632,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuvZpZ" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuw08v" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuvZMT" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvZEp" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvZbE" resolve="gcogpibl" />
<node concept="37jhX" id="ZNYugu2Lx$" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuw08v" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuvZMT" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuvZEp" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuvZbE" resolve="gcogpibl" />
</node>
<node concept="3TrEf2" id="3ZfjIHuvZZj" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hIfr3z3" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuvZZj" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:hIfr3z3" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuw0qz" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuw0qz" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
</node>
</node>
@ -2016,18 +2035,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuw736" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuw7xE" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuw7cg" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuw73K" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuw60Q" resolve="gcorl" />
<node concept="37jhX" id="ZNYugu2Lx_" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuw7xE" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuw7cg" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuw73K" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuw60Q" resolve="gcorl" />
</node>
<node concept="3TrEf2" id="3ZfjIHuw7ou" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:4RJ0ilaVRti" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuw7ou" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:4RJ0ilaVRti" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuw7Js" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuw7Js" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurTdLu" resolve="sourceConcept" />
</node>
</node>
</node>
</node>
@ -2053,18 +2074,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuw80e" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuw80f" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHuw80g" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuw80h" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuw60Q" resolve="gcorl" />
<node concept="37jhX" id="ZNYugu2LxA" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuw80f" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHuw80g" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHuw80h" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHuw60Q" resolve="gcorl" />
</node>
<node concept="3TrEf2" id="3ZfjIHuw80i" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:4RJ0ilaVRti" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuw80i" role="2OqNvi">
<ref role="3Tt5mk" to="tpf3:4RJ0ilaVRti" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHuw8kV" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuw8kV" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -2217,14 +2240,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuw9eq" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuwa31" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHuwa32" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHuwa33" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2LxB" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuwa31" role="37jj2">
<node concept="2c44tf" id="3ZfjIHuwa32" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHuwa33" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuwa34" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuwa34" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -2292,14 +2317,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuwaWo" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHuwb8I" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHuwbms" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHuwbmt" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:h0TrEE$" resolve="INamedConcept" />
<node concept="37jhX" id="ZNYugu2LxC" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuwb8I" role="37jj2">
<node concept="2c44tf" id="3ZfjIHuwbms" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHuwbmt" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuwbk7" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuwbk7" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -2355,14 +2382,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="3ZfjIHuwclQ" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3ZfjIHuwclR" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHuwclS" role="2Oq$k0">
<node concept="3uibUv" id="3ZfjIHuwclT" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
<node concept="37jhX" id="ZNYugu2LxD" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuwclR" role="37jj2">
<node concept="2c44tf" id="3ZfjIHuwclS" role="2Oq$k0">
<node concept="3uibUv" id="3ZfjIHuwclT" role="2c44tc">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuwclU" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuwclU" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2512,14 +2541,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="3ZfjIHuuYKN" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3ZfjIHuuZ0w" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHuuZgV" role="2Oq$k0">
<node concept="3uibUv" id="3ZfjIHuuZgW" role="2c44tc">
<ref role="3uigEE" to="q1l7:~TemplateQueryContext" resolve="TemplateQueryContext" />
<node concept="37jhX" id="ZNYugu2LxE" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHuuZ0w" role="37jj2">
<node concept="2c44tf" id="3ZfjIHuuZgV" role="2Oq$k0">
<node concept="3uibUv" id="3ZfjIHuuZgW" role="2c44tc">
<ref role="3uigEE" to="q1l7:~TemplateQueryContext" resolve="TemplateQueryContext" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuuZek" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHuuZek" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl
View File

@ -87,7 +87,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

137
samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -239,7 +239,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -486,14 +485,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHukV3G" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHukWJK" role="nsMwV">
<node concept="2c44tf" id="3ZfjIHukWWX" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHukWWY" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2Lz5" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHukWJK" role="37jj2">
<node concept="2c44tf" id="3ZfjIHukWWX" role="2Oq$k0">
<node concept="3bZ5Sz" id="3ZfjIHukWWY" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHukWUI" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHukWUI" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -671,17 +672,19 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHukYFH" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2YIFZM" id="EDoXYs406l" role="nsMwV">
<ref role="37wK5l" to="tpeq:EDoXYsb2Yk" resolve="closestConceptNode" />
<ref role="1Pybhc" to="tpeq:h9nq4jh" resolve="RulesUtil" />
<node concept="2OqwBi" id="hP5GtkA" role="37wK5m">
<node concept="2OqwBi" id="hP5GtkB" role="2Oq$k0">
<node concept="37vLTw" id="3GM_nagT_HI" role="2Oq$k0">
<ref role="3cqZAo" node="hP5Eya5" resolve="parentMacro" />
<node concept="37jhX" id="ZNYugu2Lz6" role="iSaTp">
<node concept="2YIFZM" id="EDoXYs406l" role="37jj2">
<ref role="37wK5l" to="tpeq:EDoXYsb2Yk" resolve="closestConceptNode" />
<ref role="1Pybhc" to="tpeq:h9nq4jh" resolve="RulesUtil" />
<node concept="2OqwBi" id="hP5GtkA" role="37wK5m">
<node concept="2OqwBi" id="hP5GtkB" role="2Oq$k0">
<node concept="37vLTw" id="3GM_nagT_HI" role="2Oq$k0">
<ref role="3cqZAo" node="hP5Eya5" resolve="parentMacro" />
</node>
<node concept="1mfA1w" id="hP5GtkE" role="2OqNvi" />
</node>
<node concept="1mfA1w" id="hP5GtkE" role="2OqNvi" />
<node concept="2yIwOk" id="4L5lkpK3T5K" role="2OqNvi" />
</node>
<node concept="2yIwOk" id="4L5lkpK3T5K" role="2OqNvi" />
</node>
</node>
</node>
@ -1095,8 +1098,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHulyJk" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHulzag" role="nsMwV">
<ref role="3cqZAo" node="h9Wp732" resolve="applicableConcept" />
<node concept="37jhX" id="ZNYugu2Lz7" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHulzag" role="37jj2">
<ref role="3cqZAo" node="h9Wp732" resolve="applicableConcept" />
</node>
</node>
</node>
</node>
@ -1164,8 +1169,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHuly0e" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHulADV" role="nsMwV">
<ref role="3cqZAo" node="3ZfjIHulADT" resolve="fconcept" />
<node concept="37jhX" id="ZNYugu2Lz8" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHulADV" role="37jj2">
<ref role="3cqZAo" node="3ZfjIHulADT" resolve="fconcept" />
</node>
</node>
</node>
</node>
@ -2013,8 +2020,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHumtQY" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHumtR2" role="nsMwV">
<ref role="3cqZAo" node="3ZfjIHumtwu" resolve="closestConceptNode" />
<node concept="37jhX" id="ZNYugu2Lz9" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHumtR2" role="37jj2">
<ref role="3cqZAo" node="3ZfjIHumtwu" resolve="closestConceptNode" />
</node>
</node>
</node>
</node>
@ -2029,18 +2038,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHumtSE" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHumurj" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHumtZU" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHumtSI" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHumpnZ" resolve="bmr" />
<node concept="37jhX" id="ZNYugu2Lza" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHumurj" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHumtZU" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHumtSI" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHumpnZ" resolve="bmr" />
</node>
<node concept="3TrEf2" id="3ZfjIHumuhL" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:husgKN8" resolve="labelDeclaration" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHumuhL" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:husgKN8" resolve="labelDeclaration" />
<node concept="3TrEf2" id="3ZfjIHumuEo" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHumuEo" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -2228,8 +2239,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHumynK" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="3ZfjIHumynL" role="nsMwV">
<ref role="3cqZAo" node="3ZfjIHumxvN" resolve="closestConceptNode" />
<node concept="37jhX" id="ZNYugu2Lzb" role="iSaTp">
<node concept="37vLTw" id="3ZfjIHumynL" role="37jj2">
<ref role="3cqZAo" node="3ZfjIHumxvN" resolve="closestConceptNode" />
</node>
</node>
</node>
</node>
@ -2244,18 +2257,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHumynQ" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHumynR" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHumynS" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHumyuk" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHumv6j" resolve="crr" />
<node concept="37jhX" id="ZNYugu2Lzc" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHumynR" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHumynS" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHumyuk" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHumv6j" resolve="crr" />
</node>
<node concept="3TrEf2" id="3ZfjIHumyxM" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:husBCMG" resolve="label" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHumyxM" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:husBCMG" resolve="label" />
<node concept="3TrEf2" id="3ZfjIHumyId" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHumyId" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
</node>
</node>
@ -2389,12 +2404,14 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHumBwr" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHumBPX" role="nsMwV">
<node concept="3A2sRY" id="3ZfjIHumBGl" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHumzaz" resolve="prmr" />
</node>
<node concept="2qgKlT" id="3ZfjIHumCcb" role="2OqNvi">
<ref role="37wK5l" to="tpfh:1$dcvTE731L" resolve="getTemplateType" />
<node concept="37jhX" id="ZNYugu2Lzd" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHumBPX" role="37jj2">
<node concept="3A2sRY" id="3ZfjIHumBGl" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHumzaz" resolve="prmr" />
</node>
<node concept="2qgKlT" id="3ZfjIHumCcb" role="2OqNvi">
<ref role="37wK5l" to="tpfh:1$dcvTE731L" resolve="getTemplateType" />
</node>
</node>
</node>
</node>
@ -2410,18 +2427,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="3ZfjIHumBwx" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="3ZfjIHumBwy" role="nsMwV">
<node concept="2OqwBi" id="3ZfjIHumBwz" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHumCco" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHumzaz" resolve="prmr" />
<node concept="37jhX" id="ZNYugu2Lze" role="iSaTp">
<node concept="2OqwBi" id="3ZfjIHumBwy" role="37jj2">
<node concept="2OqwBi" id="3ZfjIHumBwz" role="2Oq$k0">
<node concept="3A2sRY" id="3ZfjIHumCco" role="2Oq$k0">
<ref role="3A2yKK" node="3ZfjIHumzaz" resolve="prmr" />
</node>
<node concept="3TrEf2" id="3ZfjIHumCfd" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:1$dcvTE4IIU" resolve="labelDeclaration" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHumCfd" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:1$dcvTE4IIU" resolve="labelDeclaration" />
<node concept="3TrEf2" id="3ZfjIHumCrG" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
<node concept="3TrEf2" id="3ZfjIHumCrG" role="2OqNvi">
<ref role="3Tt5mk" to="tpf8:hurZzxA" resolve="targetConcept" />
</node>
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl
View File

@ -89,7 +89,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

141
samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -158,7 +158,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -401,18 +400,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyLcFcu" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyLcFGJ" role="nsMwV">
<node concept="2OqwBi" id="5zhVuyLcFl2" role="2Oq$k0">
<node concept="37vLTw" id="5zhVuyLcFcy" role="2Oq$k0">
<ref role="3cqZAo" node="76efOMRDy9U" resolve="lval" />
<node concept="37jhX" id="ZNYugu2LzT" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyLcFGJ" role="37jj2">
<node concept="2OqwBi" id="5zhVuyLcFl2" role="2Oq$k0">
<node concept="37vLTw" id="5zhVuyLcFcy" role="2Oq$k0">
<ref role="3cqZAo" node="76efOMRDy9U" resolve="lval" />
</node>
<node concept="3TrEf2" id="5zhVuyLcFu_" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi38Ss" resolve="link" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcFu_" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi38Ss" resolve="link" />
<node concept="3TrEf2" id="5zhVuyLcFZt" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcFZt" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
</node>
</node>
@ -512,18 +513,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyLcHTT" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyLcIGX" role="nsMwV">
<node concept="2OqwBi" id="5zhVuyLcIcz" role="2Oq$k0">
<node concept="3A2sRY" id="5zhVuyLcI2B" role="2Oq$k0">
<ref role="3A2yKK" node="5zhVuyLcGia" resolve="nbil" />
<node concept="37jhX" id="ZNYugu2LzU" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyLcIGX" role="37jj2">
<node concept="2OqwBi" id="5zhVuyLcIcz" role="2Oq$k0">
<node concept="3A2sRY" id="5zhVuyLcI2B" role="2Oq$k0">
<ref role="3A2yKK" node="5zhVuyLcGia" resolve="nbil" />
</node>
<node concept="3TrEf2" id="5zhVuyLcImL" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi38Ss" resolve="link" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcImL" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi38Ss" resolve="link" />
<node concept="3TrEf2" id="5zhVuyLcJ9r" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcJ9r" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
</node>
</node>
@ -552,18 +555,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyLcJne" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyLcJnf" role="nsMwV">
<node concept="2OqwBi" id="5zhVuyLcJng" role="2Oq$k0">
<node concept="3A2sRY" id="5zhVuyLcJnh" role="2Oq$k0">
<ref role="3A2yKK" node="5zhVuyLcGia" resolve="nbil" />
<node concept="37jhX" id="ZNYugu2LzV" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyLcJnf" role="37jj2">
<node concept="2OqwBi" id="5zhVuyLcJng" role="2Oq$k0">
<node concept="3A2sRY" id="5zhVuyLcJnh" role="2Oq$k0">
<ref role="3A2yKK" node="5zhVuyLcGia" resolve="nbil" />
</node>
<node concept="3TrEf2" id="5zhVuyLcJni" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi38Ss" resolve="link" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcJni" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi38Ss" resolve="link" />
<node concept="3TrEf2" id="5zhVuyLcJnj" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcJnj" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:fA0lvVK" resolve="target" />
</node>
</node>
</node>
</node>
@ -801,18 +806,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyLcWSC" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyLcXql" role="nsMwV">
<node concept="2OqwBi" id="5zhVuyLcX1Q" role="2Oq$k0">
<node concept="3A2sRY" id="5zhVuyLcWSG" role="2Oq$k0">
<ref role="3A2yKK" node="5zhVuyLcWRc" resolve="nb" />
<node concept="37jhX" id="ZNYugu2LzW" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyLcXql" role="37jj2">
<node concept="2OqwBi" id="5zhVuyLcX1Q" role="2Oq$k0">
<node concept="3A2sRY" id="5zhVuyLcWSG" role="2Oq$k0">
<ref role="3A2yKK" node="5zhVuyLcWRc" resolve="nb" />
</node>
<node concept="3TrEf2" id="5zhVuyLcXeC" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi2$Eu" resolve="quotedNode" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcXeC" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi2$Eu" resolve="quotedNode" />
<node concept="3TrEf2" id="5zhVuyLcXBG" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi2KaL" resolve="concept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcXBG" role="2OqNvi">
<ref role="3Tt5mk" to="tp3r:4IP40Bi2KaL" resolve="concept" />
</node>
</node>
</node>
</node>
@ -904,14 +911,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="5zhVuyLcYjR" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="5zhVuyLcYT3" role="nsMwV">
<node concept="2c44tf" id="5zhVuyLcZ9H" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyLcZ9I" role="2c44tc">
<ref role="3uigEE" to="mhbf:~SModel" resolve="SModel" />
<node concept="37jhX" id="ZNYugu2LzX" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyLcYT3" role="37jj2">
<node concept="2c44tf" id="5zhVuyLcZ9H" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyLcZ9I" role="2c44tc">
<ref role="3uigEE" to="mhbf:~SModel" resolve="SModel" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcZ7a" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcZ7a" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -938,14 +947,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="5zhVuyLcZpx" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="5zhVuyLcZpy" role="nsMwV">
<node concept="2c44tf" id="5zhVuyLcZpz" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyLcZxr" role="2c44tc">
<ref role="3uigEE" to="mhbf:~SNodeId" resolve="SNodeId" />
<node concept="37jhX" id="ZNYugu2LzY" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyLcZpy" role="37jj2">
<node concept="2c44tf" id="5zhVuyLcZpz" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyLcZxr" role="2c44tc">
<ref role="3uigEE" to="mhbf:~SNodeId" resolve="SNodeId" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcZp_" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyLcZp_" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -1024,8 +1035,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5c7SrrUYh5H" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="5c7SrrUYh7_" role="nsMwV">
<ref role="3cqZAo" node="5c7SrrUYguZ" resolve="concept" />
<node concept="37jhX" id="ZNYugu2LzZ" role="iSaTp">
<node concept="37vLTw" id="5c7SrrUYh7_" role="37jj2">
<ref role="3cqZAo" node="5c7SrrUYguZ" resolve="concept" />
</node>
</node>
</node>
</node>
@ -1118,11 +1131,13 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5c7SrrUYsnn" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5c7SrrUYs$F" role="nsMwV">
<node concept="37vLTw" id="5c7SrrUYsp6" role="2Oq$k0">
<ref role="3cqZAo" node="5c7SrrUYqyJ" resolve="targetConcept" />
<node concept="37jhX" id="ZNYugu2L$0" role="iSaTp">
<node concept="2OqwBi" id="5c7SrrUYs$F" role="37jj2">
<node concept="37vLTw" id="5c7SrrUYsp6" role="2Oq$k0">
<ref role="3cqZAo" node="5c7SrrUYqyJ" resolve="targetConcept" />
</node>
<node concept="FGMqu" id="5c7SrrUYsKK" role="2OqNvi" />
</node>
<node concept="FGMqu" id="5c7SrrUYsKK" role="2OqNvi" />
</node>
</node>
</node>
@ -1408,11 +1423,13 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5c7SrrUYDUt" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5c7SrrUYFeX" role="nsMwV">
<node concept="37vLTw" id="5c7SrrUYF3o" role="2Oq$k0">
<ref role="3cqZAo" node="5c7SrrUYEV3" resolve="targetConcept" />
<node concept="37jhX" id="ZNYugu2L$1" role="iSaTp">
<node concept="2OqwBi" id="5c7SrrUYFeX" role="37jj2">
<node concept="37vLTw" id="5c7SrrUYF3o" role="2Oq$k0">
<ref role="3cqZAo" node="5c7SrrUYEV3" resolve="targetConcept" />
</node>
<node concept="FGMqu" id="5c7SrrUYFr2" role="2OqNvi" />
</node>
<node concept="FGMqu" id="5c7SrrUYFr2" role="2OqNvi" />
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl
View File

@ -84,7 +84,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

10
samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -71,7 +71,7 @@
</concept>
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="861509610434435670" name="getter" index="nsMwV" />
<child id="1149537088045275069" name="item" index="iSaTp" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -176,8 +176,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="7moNNlOl5h" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="7moNNlOlfj" role="nsMwV">
<ref role="3cqZAo" node="h8AhMbw" resolve="affectedConcept" />
<node concept="37jhX" id="ZNYugu2L$I" role="iSaTp">
<node concept="37vLTw" id="7moNNlOlfj" role="37jj2">
<ref role="3cqZAo" node="h8AhMbw" resolve="affectedConcept" />
</node>
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl
View File

@ -97,7 +97,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

1549
samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps
View File

File diff suppressed because it is too large Load Diff

2
samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl
View File

@ -94,7 +94,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

58
samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -172,7 +172,7 @@
</concept>
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="861509610434435670" name="getter" index="nsMwV" />
<child id="1149537088045275069" name="item" index="iSaTp" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -530,14 +530,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="e_eLhyE9W_" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="6RMeEk2SY$Q" role="nsMwV">
<node concept="2c44tf" id="6RMeEk2SYKI" role="2Oq$k0">
<node concept="3uibUv" id="6RMeEk2SYKJ" role="2c44tc">
<ref role="3uigEE" to="cj4x:~EditorComponent" resolve="EditorComponent" />
<node concept="37jhX" id="ZNYugu2LHO" role="iSaTp">
<node concept="2OqwBi" id="6RMeEk2SY$Q" role="37jj2">
<node concept="2c44tf" id="6RMeEk2SYKI" role="2Oq$k0">
<node concept="3uibUv" id="6RMeEk2SYKJ" role="2c44tc">
<ref role="3uigEE" to="cj4x:~EditorComponent" resolve="EditorComponent" />
</node>
</node>
<node concept="3TrEf2" id="6RMeEk2SYK7" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="6RMeEk2SYK7" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -675,14 +677,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="6RMeEk2Tfhx" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="6RMeEk2Tfhy" role="nsMwV">
<node concept="2c44tf" id="6RMeEk2Tfhz" role="2Oq$k0">
<node concept="3uibUv" id="6RMeEk2TfyF" role="2c44tc">
<ref role="3uigEE" to="mhbf:~SModel" resolve="SModel" />
<node concept="37jhX" id="ZNYugu2LHP" role="iSaTp">
<node concept="2OqwBi" id="6RMeEk2Tfhy" role="37jj2">
<node concept="2c44tf" id="6RMeEk2Tfhz" role="2Oq$k0">
<node concept="3uibUv" id="6RMeEk2TfyF" role="2c44tc">
<ref role="3uigEE" to="mhbf:~SModel" resolve="SModel" />
</node>
</node>
<node concept="3TrEf2" id="6RMeEk2Tfh_" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="6RMeEk2Tfh_" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -732,14 +736,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="6RMeEk2TfOV" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="6RMeEk2TfOW" role="nsMwV">
<node concept="2c44tf" id="6RMeEk2TfOX" role="2Oq$k0">
<node concept="3uibUv" id="6RMeEk2Tg1V" role="2c44tc">
<ref role="3uigEE" to="z1c3:~Project" resolve="Project" />
<node concept="37jhX" id="ZNYugu2LHQ" role="iSaTp">
<node concept="2OqwBi" id="6RMeEk2TfOW" role="37jj2">
<node concept="2c44tf" id="6RMeEk2TfOX" role="2Oq$k0">
<node concept="3uibUv" id="6RMeEk2Tg1V" role="2c44tc">
<ref role="3uigEE" to="z1c3:~Project" resolve="Project" />
</node>
</node>
<node concept="3TrEf2" id="6RMeEk2TfOZ" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="6RMeEk2TfOZ" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -1165,8 +1171,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="6RMeEk2TUg5" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="5x7Q7oyPnXu" role="nsMwV">
<ref role="3cqZAo" node="hBxYg21" resolve="concept" />
<node concept="37jhX" id="ZNYugu2LHR" role="iSaTp">
<node concept="37vLTw" id="5x7Q7oyPnXu" role="37jj2">
<ref role="3cqZAo" node="hBxYg21" resolve="concept" />
</node>
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl
View File

@ -94,7 +94,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

233
samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
@ -214,7 +214,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -708,14 +707,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL74$G" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL74$H" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL74$I" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL74$J" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2LI9" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL74$H" role="37jj2">
<node concept="2c44tf" id="5zhVuyL74$I" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL74$J" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL74$K" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL74$K" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -876,14 +877,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL7CZW" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL7CZX" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL7CZY" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL7CZZ" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2LIa" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL7CZX" role="37jj2">
<node concept="2c44tf" id="5zhVuyL7CZY" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL7CZZ" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL7D00" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL7D00" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -1006,12 +1009,14 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL7_Eu" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL7B24" role="nsMwV">
<node concept="37vLTw" id="43iDt9Rcdl8" role="2Oq$k0">
<ref role="3cqZAo" node="43iDt9Rcdl2" resolve="cref" />
</node>
<node concept="3TrEf2" id="43iDt9Rc5PW" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:gNgnhzJ" resolve="concept" />
<node concept="37jhX" id="ZNYugu2LIb" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL7B24" role="37jj2">
<node concept="37vLTw" id="43iDt9Rcdl8" role="2Oq$k0">
<ref role="3cqZAo" node="43iDt9Rcdl2" resolve="cref" />
</node>
<node concept="3TrEf2" id="43iDt9Rc5PW" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:gNgnhzJ" resolve="concept" />
</node>
</node>
</node>
</node>
@ -1287,18 +1292,20 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL80Dz" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL826L" role="nsMwV">
<node concept="1y4W85" id="5zhVuyL81YL" role="2Oq$k0">
<node concept="37vLTw" id="5zhVuyL8i5$" role="1y58nS">
<ref role="3cqZAo" node="5zhVuyL8i3Y" resolve="idx" />
<node concept="37jhX" id="ZNYugu2LIc" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL826L" role="37jj2">
<node concept="1y4W85" id="5zhVuyL81YL" role="2Oq$k0">
<node concept="37vLTw" id="5zhVuyL8i5$" role="1y58nS">
<ref role="3cqZAo" node="5zhVuyL8i3Y" resolve="idx" />
</node>
<node concept="37vLTw" id="5zhVuyL80DB" role="1y566C">
<ref role="3cqZAo" node="25idkGdl3nV" resolve="attributedConcepts" />
</node>
</node>
<node concept="37vLTw" id="5zhVuyL80DB" role="1y566C">
<ref role="3cqZAo" node="25idkGdl3nV" resolve="attributedConcepts" />
<node concept="3TrEf2" id="5zhVuyL82fa" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:5g5Zgd9qGMp" resolve="concept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL82fa" role="2OqNvi">
<ref role="3Tt5mk" to="tpce:5g5Zgd9qGMp" resolve="concept" />
</node>
</node>
</node>
</node>
@ -1422,12 +1429,14 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL843M" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL84dE" role="nsMwV">
<node concept="3A2sRY" id="5zhVuyL843Q" role="2Oq$k0">
<ref role="3A2yKK" node="5zhVuyL83WQ" resolve="cr" />
</node>
<node concept="3TrEf2" id="5zhVuyL84qA" role="2OqNvi">
<ref role="3Tt5mk" to="tpd4:h5YaFr9" resolve="concept" />
<node concept="37jhX" id="ZNYugu2LId" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL84dE" role="37jj2">
<node concept="3A2sRY" id="5zhVuyL843Q" role="2Oq$k0">
<ref role="3A2yKK" node="5zhVuyL83WQ" resolve="cr" />
</node>
<node concept="3TrEf2" id="5zhVuyL84qA" role="2OqNvi">
<ref role="3Tt5mk" to="tpd4:h5YaFr9" resolve="concept" />
</node>
</node>
</node>
</node>
@ -1957,14 +1966,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL88QU" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL891w" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL89f2" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL89f3" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2LIe" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL891w" role="37jj2">
<node concept="2c44tf" id="5zhVuyL89f2" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL89f3" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL89cL" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL89cL" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -2300,14 +2311,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="5zhVuyL8nGO" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="5zhVuyL8nSI" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL8o95" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyL8o96" role="2c44tc">
<ref role="3uigEE" to="c17a:~SProperty" resolve="SProperty" />
<node concept="37jhX" id="ZNYugu2LIf" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL8nSI" role="37jj2">
<node concept="2c44tf" id="5zhVuyL8o95" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyL8o96" role="2c44tc">
<ref role="3uigEE" to="c17a:~SProperty" resolve="SProperty" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL8o6y" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL8o6y" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2374,14 +2387,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="5zhVuyL8odG" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="5zhVuyL8odH" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL8odI" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyL8oyT" role="2c44tc">
<ref role="3uigEE" to="c17a:~SAbstractLink" resolve="SAbstractLink" />
<node concept="37jhX" id="ZNYugu2LIg" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL8odH" role="37jj2">
<node concept="2c44tf" id="5zhVuyL8odI" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyL8oyT" role="2c44tc">
<ref role="3uigEE" to="c17a:~SAbstractLink" resolve="SAbstractLink" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL8odK" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL8odK" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -3518,14 +3533,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="5zhVuyL95Kt" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="5zhVuyL95W2" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL96cG" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyL96cH" role="2c44tc">
<ref role="3uigEE" to="u78q:~EquationInfo" resolve="EquationInfo" />
<node concept="37jhX" id="ZNYugu2LIh" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL95W2" role="37jj2">
<node concept="2c44tf" id="5zhVuyL96cG" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyL96cH" role="2c44tc">
<ref role="3uigEE" to="u78q:~EquationInfo" resolve="EquationInfo" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL96a9" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL96a9" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -3670,14 +3687,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL98jI" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL98ua" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL98Fp" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL98Fq" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2LIi" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL98ua" role="37jj2">
<node concept="2c44tf" id="5zhVuyL98Fp" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL98Fq" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL98D8" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL98D8" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -3727,14 +3746,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL998O" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL998P" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL998Q" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL998R" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2LIj" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL998P" role="37jj2">
<node concept="2c44tf" id="5zhVuyL998Q" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL998R" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL998S" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL998S" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -3847,14 +3868,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL9G3s" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL9G3t" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL9G3u" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL9G3v" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2LIk" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL9G3t" role="37jj2">
<node concept="2c44tf" id="5zhVuyL9G3u" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL9G3v" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL9G3w" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL9G3w" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -3904,14 +3927,16 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL9Gc6" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="2OqwBi" id="5zhVuyL9Gc7" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL9Gc8" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL9Gc9" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="37jhX" id="ZNYugu2LIl" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL9Gc7" role="37jj2">
<node concept="2c44tf" id="5zhVuyL9Gc8" role="2Oq$k0">
<node concept="3bZ5Sz" id="5zhVuyL9Gc9" role="2c44tc">
<ref role="3bZ5Sy" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL9Gca" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL9Gca" role="2OqNvi">
<ref role="3Tt5mk" to="tp25:5MFgGQnlLNJ" resolve="conceptDeclaraton" />
</node>
</node>
</node>
@ -4084,8 +4109,10 @@
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
<node concept="nsMwS" id="5zhVuyL9slq" role="ns1xD">
<ref role="nsMwP" to="jxwi:7LI_gNMWxb4" resolve="concept" />
<node concept="37vLTw" id="5zhVuyLac3v" role="nsMwV">
<ref role="3cqZAo" node="5zhVuyLabW5" resolve="cnode" />
<node concept="37jhX" id="ZNYugu2LIm" role="iSaTp">
<node concept="37vLTw" id="5zhVuyLac3v" role="37jj2">
<ref role="3cqZAo" node="5zhVuyLabW5" resolve="cnode" />
</node>
</node>
</node>
</node>
@ -4393,14 +4420,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="5zhVuyL9xog" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="5zhVuyL9xzP" role="nsMwV">
<node concept="2c44tf" id="5zhVuyL9xOv" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyL9xOw" role="2c44tc">
<ref role="3uigEE" to="u78q:~TypeChecker" resolve="TypeChecker" />
<node concept="37jhX" id="ZNYugu2LIn" role="iSaTp">
<node concept="2OqwBi" id="5zhVuyL9xzP" role="37jj2">
<node concept="2c44tf" id="5zhVuyL9xOv" role="2Oq$k0">
<node concept="3uibUv" id="5zhVuyL9xOw" role="2c44tc">
<ref role="3uigEE" to="u78q:~TypeChecker" resolve="TypeChecker" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL9xLW" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="5zhVuyL9xLW" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>

2
samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl
View File

@ -79,7 +79,7 @@
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="22" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="23" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="6" />
<language slang="l:e51810c5-7308-4642-bcb6-469e61b5dd18:jetbrains.mps.lang.constraints.msg.specification" version="0" />
<language slang="l:47257bf3-78d3-470b-89d9-8c3261a61d15:jetbrains.mps.lang.constraints.rules" version="0" />

99
samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps
View File

@ -3,7 +3,7 @@
<persistence version="9" />
<languages>
<use id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" version="0" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="22" />
<use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="23" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="11" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="13" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="18" />
@ -201,7 +201,6 @@
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="1149537088045275069" name="item" index="iSaTp" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -972,14 +971,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="7kXqzcTLKs4" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="7kXqzcTLKJ3" role="nsMwV">
<node concept="2c44tf" id="7kXqzcTLKU2" role="2Oq$k0">
<node concept="3uibUv" id="7kXqzcTLKU3" role="2c44tc">
<ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
<node concept="37jhX" id="ZNYugu2LJv" role="iSaTp">
<node concept="2OqwBi" id="7kXqzcTLKJ3" role="37jj2">
<node concept="2c44tf" id="7kXqzcTLKU2" role="2Oq$k0">
<node concept="3uibUv" id="7kXqzcTLKU3" role="2c44tc">
<ref role="3uigEE" to="bj13:~Logical" resolve="Logical" />
</node>
</node>
<node concept="3TrEf2" id="7kXqzcTLKTU" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="7kXqzcTLKTU" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -1955,14 +1956,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="3CulEO39IaC" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO39IaD" role="nsMwV">
<node concept="2c44tf" id="3CulEO39IaE" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO39IaF" role="2c44tc">
<ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
<node concept="37jhX" id="ZNYugu2LJw" role="iSaTp">
<node concept="2OqwBi" id="3CulEO39IaD" role="37jj2">
<node concept="2c44tf" id="3CulEO39IaE" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO39IaF" role="2c44tc">
<ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO39IaG" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO39IaG" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2068,14 +2071,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="3CulEO39Jhh" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO39Jhl" role="nsMwV">
<node concept="2c44tf" id="3CulEO39Jhm" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO39Jko" role="2c44tc">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
<node concept="37jhX" id="ZNYugu2LJx" role="iSaTp">
<node concept="2OqwBi" id="3CulEO39Jhl" role="37jj2">
<node concept="2c44tf" id="3CulEO39Jhm" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO39Jko" role="2c44tc">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO39Jho" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO39Jho" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2099,14 +2104,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="3CulEO39IES" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO39IET" role="nsMwV">
<node concept="2c44tf" id="3CulEO39IEU" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO39IEV" role="2c44tc">
<ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
<node concept="37jhX" id="ZNYugu2LJy" role="iSaTp">
<node concept="2OqwBi" id="3CulEO39IET" role="37jj2">
<node concept="2c44tf" id="3CulEO39IEU" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO39IEV" role="2c44tc">
<ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO39IEW" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO39IEW" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2160,14 +2167,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="7LI_gNMpYy2" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO1Y7yG" role="nsMwV">
<node concept="2c44tf" id="3CulEO1Y7yH" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7yI" role="2c44tc">
<ref role="3uigEE" to="oy3s:1fvYCPC9rB6" resolve="MetaLogicalArray" />
<node concept="37jhX" id="ZNYugu2LJz" role="iSaTp">
<node concept="2OqwBi" id="3CulEO1Y7yG" role="37jj2">
<node concept="2c44tf" id="3CulEO1Y7yH" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7yI" role="2c44tc">
<ref role="3uigEE" to="oy3s:1fvYCPC9rB6" resolve="MetaLogicalArray" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7yJ" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7yJ" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>
@ -2351,14 +2360,16 @@
<ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
<node concept="nsMwS" id="61G6TdCWQQm" role="ns1xD">
<ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
<node concept="2OqwBi" id="3CulEO1Y7_8" role="nsMwV">
<node concept="2c44tf" id="3CulEO1Y7_9" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_a" role="2c44tc">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
<node concept="37jhX" id="ZNYugu2LJ$" role="iSaTp">
<node concept="2OqwBi" id="3CulEO1Y7_8" role="37jj2">
<node concept="2c44tf" id="3CulEO1Y7_9" role="2Oq$k0">
<node concept="3uibUv" id="3CulEO1Y7_a" role="2c44tc">
<ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_b" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
<node concept="3TrEf2" id="3CulEO1Y7_b" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
</node>
</node>
</node>