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

Reshuffling the models around a bit.

This commit is contained in:
Fedor Isakov 2015-12-25 22:43:20 +01:00
parent 1e59499285
commit 3a6edc48e5
12 changed files with 4185 additions and 4464 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
.mps/modules.xml
View File

@ -2,32 +2,31 @@
<project version="4">
<component name="MPSProject">
<projectModules>
<modulePath path="$PROJECT_DIR$/jchr/languages/jetbrains.mps.jchr/jetbrains.mps.jchr.mpl" folder="jchr" />
<modulePath path="$PROJECT_DIR$/jchr/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd" folder="jchr" />
<modulePath path="$PROJECT_DIR$/jchr/languages/jetbrains.mps.jchr/sandbox/jetbrains.mps.jchr.sandbox.msd" folder="jchr" />
<modulePath path="$PROJECT_DIR$/jchr/languages/jetbrains.mps.jchr/sandbox/runner/jetbrains.mps.jchr.sandbox.runner.msd" folder="jchr" />
<modulePath path="$PROJECT_DIR$/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl" folder="typesystem2" />
<modulePath path="$PROJECT_DIR$/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd" folder="typesystem2.runtime" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem.sample/jetbrains.mps.lang.typesystem2.sample.msd" folder="typechecking.sample" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/jetbrains.mps.lang.typesystem2.samplechecker.handler.test.msd" folder="typechecking.checker" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd" folder="typechecking.checker" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd" folder="typechecking.checker" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd" folder="typechecking.checker" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd" folder="typechecking.checker" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd" folder="typechecking.checker" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd" folder="typechecking.plugin" />
<modulePath path="$PROJECT_DIR$/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd" folder="typesystem2.template" />
<modulePath path="$PROJECT_DIR$/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd" folder="typesystem2" />
<modulePath path="$PROJECT_DIR$/logic/solutions/jetbrains.mps.logic.jchr/jetbrains.mps.logic.jchr.msd" folder="logic" />
<modulePath path="$PROJECT_DIR$/jchr/languages/jetbrains.mps.jchr/jetbrains.mps.jchr.mpl" folder="jchr" />
<modulePath path="$PROJECT_DIR$/jchr/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd" folder="jchr" />
<modulePath path="$PROJECT_DIR$/jchr/languages/jetbrains.mps.jchr/sandbox/jetbrains.mps.jchr.sandbox.msd" folder="jchr" />
<modulePath path="$PROJECT_DIR$/jchr/languages/jetbrains.mps.jchr/sandbox/runner/jetbrains.mps.jchr.sandbox.runner.msd" folder="jchr" />
<modulePath path="$PROJECT_DIR$/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl" folder="logic" />
<modulePath path="$PROJECT_DIR$/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd" folder="logic" />
<modulePath path="$PROJECT_DIR$/logic/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd" folder="logic" />
<modulePath path="$PROJECT_DIR$/logic/solutions/jetbrains.mps.logic.atom/jetbrains.mps.logic.atom.msd" folder="logic" />
<modulePath path="$PROJECT_DIR$/logic/solutions/jetbrains.mps.logic.jchr/jetbrains.mps.logic.jchr.msd" folder="logic" />
<modulePath path="$PROJECT_DIR$/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd" folder="logic" />
<modulePath path="$PROJECT_DIR$/logic/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd" folder="logic" />
<modulePath path="$PROJECT_DIR$/solutions/jetbrains.mps.typechecking.handling/jetbrains.mps.typechecking.handling.msd" folder="typechecking.template.handler.chr" />
<modulePath path="$PROJECT_DIR$/solutions/jetbrains.mps.typechecking.solving/jetbrains.mps.typechecking.solving.msd" folder="typechecking.onthefly" />
<modulePath path="$PROJECT_DIR$/typechecking/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl" folder="typechecking.annotation" />
<modulePath path="$PROJECT_DIR$/solutions/jetbrains.mps.typechecking.handling/jetbrains.mps.typechecking.handling.msd" folder="typechecking.rule" />
<modulePath path="$PROJECT_DIR$/solutions/jetbrains.mps.typechecking.rules/jetbrains.mps.typechecking.rules.msd" folder="typechecking.rule" />
<modulePath path="$PROJECT_DIR$/solutions/jetbrains.mps.typechecking.solving/jetbrains.mps.typechecking.solving.msd" folder="typechecking.rule" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem.sample/jetbrains.mps.lang.typesystem2.sample.msd" folder="typechecking.sample" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/jetbrains.mps.lang.typesystem2.samplechecker.handler.test.msd" folder="typechecking.template.handler" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/jetbrains.mps.lang.typesystem2.samplechecker.handler.util.msd" folder="typechecking.template.handler" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd" folder="typechecking.template.handler.chr" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd" folder="typechecking.checker" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.test/jetbrains.mps.lang.typesystem2.samplechecker.test.msd" folder="typechecking.template" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd" folder="typechecking.template" />
<modulePath path="$PROJECT_DIR$/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd" folder="typechecking.checker" />
<modulePath path="$PROJECT_DIR$/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl" folder="typesystem2" />
<modulePath path="$PROJECT_DIR$/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd" folder="typesystem2" />
<modulePath path="$PROJECT_DIR$/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/jetbrains.mps.lang.typesystem2.template.msd" folder="typesystem2" />
<modulePath path="$PROJECT_DIR$/typesystem2/solutions/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test/jetbrains.mps.lang.typesystem2.test.msd" folder="typesystem2" />
</projectModules>
</component>
</project>
</project>

69
solutions/jetbrains.mps.typechecking.rules/jetbrains.mps.typechecking.rules.msd
View File

@ -1,69 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<solution name="jetbrains.mps.typechecking.rules" uuid="c7366fe8-43b9-446d-82b3-5cfc76e71f17" moduleVersion="0" compileInMPS="true">
<models>
<modelRoot contentPath="${module}" type="default">
<sourceRoot location="models" />
</modelRoot>
</models>
<sourcePath />
<dependencies>
<dependency reexport="true">26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)</dependency>
<dependency reexport="false">ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)</dependency>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
<dependency reexport="false">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
<dependency reexport="false">0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling)</dependency>
</dependencies>
<usedDevKits>
<usedDevKit>fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)</usedDevKit>
<usedDevKit>2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)</usedDevKit>
</usedDevKits>
<languageVersions>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" fqName="jetbrains.mps.baseLanguage" version="4" />
<language id="ed6d7656-532c-4bc2-81d1-af945aeb8280" fqName="jetbrains.mps.baseLanguage.blTypes" version="0" />
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" fqName="jetbrains.mps.baseLanguage.classifiers" version="0" />
<language id="fd392034-7849-419d-9071-12563d152375" fqName="jetbrains.mps.baseLanguage.closures" version="0" />
<language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" fqName="jetbrains.mps.baseLanguage.collections" version="0" />
<language id="f2801650-65d5-424e-bb1b-463a8781b786" fqName="jetbrains.mps.baseLanguage.javadoc" version="2" />
<language id="c7d5b9dd-a05f-4be2-bc73-f2e16994cc67" fqName="jetbrains.mps.baseLanguage.lightweightdsl" version="1" />
<language id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" fqName="jetbrains.mps.baseLanguage.logging" version="0" />
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" fqName="jetbrains.mps.baseLanguage.tuples" version="0" />
<language id="df345b11-b8c7-4213-ac66-48d2a9b75d88" fqName="jetbrains.mps.baseLanguageInternal" version="0" />
<language id="aee9cad2-acd4-4608-aef2-0004f6a1cdbd" fqName="jetbrains.mps.lang.actions" version="0" />
<language id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" fqName="jetbrains.mps.lang.behavior" version="0" />
<language id="fe9d76d7-5809-45c9-ae28-a40915b4d6ff" fqName="jetbrains.mps.lang.checkedName" version="0" />
<language id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" fqName="jetbrains.mps.lang.constraints" version="0" />
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" fqName="jetbrains.mps.lang.core" version="1" />
<language id="7fa12e9c-b949-4976-b4fa-19accbc320b4" fqName="jetbrains.mps.lang.dataFlow" version="0" />
<language id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" fqName="jetbrains.mps.lang.editor" version="1" />
<language id="64d34fcd-ad02-4e73-aff8-a581124c2e30" fqName="jetbrains.mps.lang.findUsages" version="0" />
<language id="b401a680-8325-4110-8fd3-84331ff25bef" fqName="jetbrains.mps.lang.generator" version="0" />
<language id="d7706f63-9be2-479c-a3da-ae92af1e64d5" fqName="jetbrains.mps.lang.generator.generationContext" version="0" />
<language id="d7a92d38-f7db-40d0-8431-763b0c3c9f20" fqName="jetbrains.mps.lang.intentions" version="0" />
<language id="d4615e3b-d671-4ba9-af01-2b78369b0ba7" fqName="jetbrains.mps.lang.pattern" version="0" />
<language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" fqName="jetbrains.mps.lang.quotation" version="0" />
<language id="3ecd7c84-cde3-45de-886c-135ecc69b742" fqName="jetbrains.mps.lang.refactoring" version="0" />
<language id="0eddeefa-c2d6-4437-bc2c-de50fd4ce470" fqName="jetbrains.mps.lang.script" version="0" />
<language id="13744753-c81f-424a-9c1b-cf8943bf4e86" fqName="jetbrains.mps.lang.sharedConcepts" version="0" />
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" fqName="jetbrains.mps.lang.smodel" version="2" />
<language id="c72da2b9-7cce-4447-8389-f407dc1158b7" fqName="jetbrains.mps.lang.structure" version="1" />
<language id="b83431fe-5c8f-40bc-8a36-65e25f4dd253" fqName="jetbrains.mps.lang.textGen" version="0" />
<language id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" fqName="jetbrains.mps.lang.traceable" version="0" />
<language id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" fqName="jetbrains.mps.lang.typesystem" version="0" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
<module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
<module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)" version="0" />
<module reference="7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
<module reference="0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling)" version="0" />
<module reference="c7366fe8-43b9-446d-82b3-5cfc76e71f17(jetbrains.mps.typechecking.rules)" version="0" />
</dependencyVersions>
</solution>

1175
solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/collection.mps
View File

File diff suppressed because it is too large Load Diff

2433
solutions/jetbrains.mps.typechecking.rules/models/jetbrains/mps/typechecking/rule/generator.mps
View File

File diff suppressed because it is too large Load Diff

1
typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps
View File

@ -11,7 +11,6 @@
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="4t1t" ref="r:703839e2-c38f-4b71-8602-72ccb87dd74e(jetbrains.mps.lang.typesystem2.runtime.util)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />

14
typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps
View File

@ -17,9 +17,7 @@
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="stuq" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime.debug.graphical(jetbrains.mps.jchr.runtime/)" />
<import index="iawt" ref="b984ee52-f34d-4b6d-8812-866c1d3eae31/java:runtime.debug(jetbrains.mps.jchr.runtime/)" />
<import index="t6h5" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang.reflect(JDK/)" />
<import index="q7tw" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:org.apache.log4j(MPS.Core/)" />
<import index="4t1t" ref="r:703839e2-c38f-4b71-8602-72ccb87dd74e(jetbrains.mps.lang.typesystem2.runtime.util)" />
<import index="xq5w" ref="r:729bada4-05fa-458f-8bf8-28b9cb978726(jetbrains.mps.logic.builtin.var)" />
<import index="45ys" ref="r:7365f7fe-12e6-4229-8901-f6dc6d5df03f(jetbrains.mps.logic.reactor.logical)" />
<import index="qrld" ref="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)" />
@ -27,6 +25,8 @@
<import index="i8dg" ref="r:e8529b97-a186-4c32-8f12-771b2a92b55a(jetbrains.mps.logic.reactor.rule)" />
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
<import index="stgg" ref="r:fcdb37a4-4602-4a05-8d91-e439430734b8(jetbrains.mps.logic.jchr.program)" />
<import index="7ub6" ref="r:b533b427-da69-49d8-9c93-4ea32433b66e(jetbrains.mps.lang.typesystem2.runtime)" />
<import index="poio" ref="r:023e4571-f779-4131-9ae1-88b3dd330e93(jetbrains.mps.lang.typesystem2.samplechecker.util)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -426,8 +426,8 @@
<property role="Xl_RC" value="{" />
</node>
<node concept="2YIFZM" id="6r6omRld9JU" role="3uHU7w">
<ref role="1Pybhc" to="4t1t:4peSo3CHy8D" resolve="NodePrinter" />
<ref role="37wK5l" to="4t1t:4peSo3CHBfF" resolve="print" />
<ref role="37wK5l" to="poio:4peSo3CHBfF" resolve="print" />
<ref role="1Pybhc" to="poio:4peSo3CHy8D" resolve="NodePrinter" />
<node concept="37vLTw" id="6r6omRld9Qi" role="37wK5m">
<ref role="3cqZAo" node="6r6omRld9An" resolve="atom" />
</node>
@ -1003,8 +1003,8 @@
</node>
</node>
<node concept="2YIFZM" id="1jo82tq2Chl" role="3K4E3e">
<ref role="1Pybhc" to="4t1t:4peSo3CHy8D" resolve="NodePrinter" />
<ref role="37wK5l" to="4t1t:4peSo3D04j7" resolve="print" />
<ref role="1Pybhc" to="poio:4peSo3CHy8D" resolve="NodePrinter" />
<ref role="37wK5l" to="poio:4peSo3D04j7" resolve="print" />
<node concept="2YIFZM" id="1jo82tq2Chm" role="37wK5m">
<ref role="37wK5l" to="ie8e:6HT7BWBOXr$" resolve="ground" />
<ref role="1Pybhc" to="ie8e:6HT7BWBOXme" resolve="AtomUtil" />
@ -1485,7 +1485,7 @@
</node>
<node concept="3Tm6S6" id="5kEUewdD8xu" role="1B3o_S" />
<node concept="3uibUv" id="4peSo3D1gxU" role="1zkMxy">
<ref role="3uigEE" to="4t1t:3gJBs5s$bxr" resolve="NodePrinter.DefaultVariableSymbol" />
<ref role="3uigEE" to="poio:3gJBs5s$bxr" resolve="NodePrinter.DefaultVariableSymbol" />
</node>
</node>
<node concept="2tJIrI" id="1jo82tq2nKr" role="jymVt" />

720
typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/util.mps → typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/util.mps
View File

@ -1,21 +1,17 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:703839e2-c38f-4b71-8602-72ccb87dd74e(jetbrains.mps.lang.typesystem2.runtime.util)">
<model ref="r:023e4571-f779-4131-9ae1-88b3dd330e93(jetbrains.mps.lang.typesystem2.samplechecker.util)">
<persistence version="9" />
<languages>
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="4" />
</languages>
<imports>
<import index="yt73" ref="7526e0cf-1ce7-46f8-a555-9eca1e06c23b/java:jetbrains.mps.unification(jetbrains.mps.logic.atom/)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="3o3z" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:com.google.common.collect(MPS.Core/)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="yt73" ref="7526e0cf-1ce7-46f8-a555-9eca1e06c23b/java:jetbrains.mps.unification(jetbrains.mps.unification.tree/)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1219920932475" name="jetbrains.mps.baseLanguage.structure.VariableArityType" flags="in" index="8X2XB">
<child id="1219921048460" name="componentType" index="8Xvag" />
</concept>
<concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
<child id="1082485599096" name="statements" index="9aQI4" />
</concept>
@ -85,7 +81,6 @@
</concept>
<concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
<concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
<concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
<concept id="1070534760951" name="jetbrains.mps.baseLanguage.structure.ArrayType" flags="in" index="10Q1$e">
<child id="1070534760952" name="componentType" index="10Q1$1" />
</concept>
@ -139,14 +134,10 @@
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
<child id="1068581517665" name="statement" index="3cqZAp" />
</concept>
<concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
<property id="1068580123138" name="value" index="3clFbU" />
</concept>
<concept id="1068580123140" name="jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" flags="ig" index="3clFbW" />
<concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
<property id="1068580320021" name="value" index="3cmrfH" />
</concept>
<concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
<concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
<child id="1068581517676" name="expression" index="3cqZAk" />
</concept>
@ -159,9 +150,6 @@
<child id="1206060619838" name="condition" index="3eO9$A" />
<child id="1206060644605" name="statementList" index="3eOfB_" />
</concept>
<concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
<child id="1079359253376" name="expression" index="1eOMHV" />
</concept>
<concept id="1081506762703" name="jetbrains.mps.baseLanguage.structure.GreaterThanExpression" flags="nn" index="3eOSWO" />
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
@ -170,7 +158,6 @@
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1073063089578" name="jetbrains.mps.baseLanguage.structure.SuperMethodCall" flags="nn" index="3nyPlj" />
<concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk">
<child id="1212687122400" name="typeParameter" index="1pMfVU" />
</concept>
@ -179,9 +166,6 @@
<child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
</concept>
<concept id="1171903607971" name="jetbrains.mps.baseLanguage.structure.WildCardType" flags="in" index="3qTvmN" />
<concept id="1171903916106" name="jetbrains.mps.baseLanguage.structure.UpperBoundType" flags="in" index="3qUE_q">
<child id="1171903916107" name="bound" index="3qUE_r" />
</concept>
<concept id="7812454656619025412" name="jetbrains.mps.baseLanguage.structure.LocalMethodCall" flags="nn" index="1rXfSq" />
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
<reference id="1107535924139" name="classifier" index="3uigEE" />
@ -201,11 +185,6 @@
<concept id="1144230876926" name="jetbrains.mps.baseLanguage.structure.AbstractForStatement" flags="nn" index="1DupvO">
<child id="1144230900587" name="variable" index="1Duv9x" />
</concept>
<concept id="1163668896201" name="jetbrains.mps.baseLanguage.structure.TernaryOperatorExpression" flags="nn" index="3K4zz7">
<child id="1163668914799" name="condition" index="3K4Cdx" />
<child id="1163668922816" name="ifTrue" index="3K4E3e" />
<child id="1163668934364" name="ifFalse" index="3K4GZi" />
</concept>
<concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
<property id="6329021646629104958" name="text" index="3SKdUp" />
</concept>
@ -215,9 +194,6 @@
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
<concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
<concept id="1146644641414" name="jetbrains.mps.baseLanguage.structure.ProtectedVisibility" flags="nn" index="3Tmbuc" />
<concept id="1116615150612" name="jetbrains.mps.baseLanguage.structure.ClassifierClassExpression" flags="nn" index="3VsKOn">
<reference id="1116615189566" name="classifier" index="3VsUkX" />
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
@ -225,694 +201,6 @@
</concept>
</language>
</registry>
<node concept="312cEu" id="7Oc59RSEjdb">
<property role="TrG5h" value="Result" />
<property role="1sVAO0" value="true" />
<node concept="2tJIrI" id="7Oc59RSEmi9" role="jymVt" />
<node concept="2YIFZL" id="7Oc59RSEjeq" role="jymVt">
<property role="TrG5h" value="OK" />
<node concept="3uibUv" id="7Oc59RSEjeG" role="3clF45">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="3Tm1VV" id="7Oc59RSEjet" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSEjeu" role="3clF47">
<node concept="3clFbF" id="7Oc59RSEm38" role="3cqZAp">
<node concept="37vLTw" id="7Oc59RSEme7" role="3clFbG">
<ref role="3cqZAo" node="7Oc59RSEmdT" resolve="OK_RESULT" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSErES" role="jymVt" />
<node concept="2YIFZL" id="7Oc59RSErkd" role="jymVt">
<property role="TrG5h" value="FAIL" />
<node concept="37vLTG" id="7Oc59RSErSU" role="3clF46">
<property role="TrG5h" value="errors" />
<node concept="8X2XB" id="7Oc59RSEs1z" role="1tU5fm">
<node concept="3uibUv" id="7Oc59RSErWI" role="8Xvag">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
</node>
<node concept="3uibUv" id="7Oc59RSErke" role="3clF45">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="3Tm1VV" id="7Oc59RSErkf" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSErkg" role="3clF47">
<node concept="3clFbF" id="7Oc59RSEs7e" role="3cqZAp">
<node concept="2ShNRf" id="7Oc59RSEs7c" role="3clFbG">
<node concept="1pGfFk" id="7Oc59RSEsfC" role="2ShVmc">
<ref role="37wK5l" node="7Oc59RSEm0l" resolve="Result.FAILURE" />
<node concept="37vLTw" id="7Oc59RSEshA" role="37wK5m">
<ref role="3cqZAo" node="7Oc59RSErSU" resolve="errors" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSH7g7" role="jymVt" />
<node concept="2YIFZL" id="7Oc59RSH6VB" role="jymVt">
<property role="TrG5h" value="FAIL" />
<node concept="37vLTG" id="7Oc59RSH6VC" role="3clF46">
<property role="TrG5h" value="error" />
<node concept="17QB3L" id="2pvEdqukxHV" role="1tU5fm" />
</node>
<node concept="3uibUv" id="7Oc59RSH6VF" role="3clF45">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="3Tm1VV" id="7Oc59RSH6VG" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSH6VH" role="3clF47">
<node concept="3clFbF" id="7Oc59RSH6VI" role="3cqZAp">
<node concept="2ShNRf" id="7Oc59RSH6VJ" role="3clFbG">
<node concept="1pGfFk" id="7Oc59RSH6VK" role="2ShVmc">
<ref role="37wK5l" node="7Oc59RSEm0l" resolve="Result.FAILURE" />
<node concept="2ShNRf" id="7Oc59RSH8xe" role="37wK5m">
<node concept="1pGfFk" id="7Oc59RSH8Ik" role="2ShVmc">
<ref role="37wK5l" node="7Oc59RSAqpA" resolve="ReportedError" />
<node concept="37vLTw" id="7Oc59RSH8K8" role="37wK5m">
<ref role="3cqZAo" node="7Oc59RSH6VC" resolve="error" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSFgx_" role="jymVt" />
<node concept="2YIFZL" id="7Oc59RSFgim" role="jymVt">
<property role="TrG5h" value="FAIL" />
<node concept="37vLTG" id="7Oc59RSFgin" role="3clF46">
<property role="TrG5h" value="errors" />
<node concept="3uibUv" id="7Oc59RSFgJV" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Iterable" resolve="Iterable" />
<node concept="3qUE_q" id="7Oc59RSFhgQ" role="11_B2D">
<node concept="3uibUv" id="7Oc59RSFh_9" role="3qUE_r">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
</node>
</node>
<node concept="3uibUv" id="7Oc59RSFgiq" role="3clF45">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="3Tm1VV" id="7Oc59RSFgir" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSFgis" role="3clF47">
<node concept="3clFbF" id="7Oc59RSFgit" role="3cqZAp">
<node concept="2ShNRf" id="7Oc59RSFgiu" role="3clFbG">
<node concept="1pGfFk" id="7Oc59RSFgiv" role="2ShVmc">
<ref role="37wK5l" node="7Oc59RSEm0l" resolve="Result.FAILURE" />
<node concept="2YIFZM" id="7Oc59RSFiGr" role="37wK5m">
<ref role="37wK5l" to="3o3z:~Iterables.toArray(java.lang.Iterable,java.lang.Class):java.lang.Object[]" resolve="toArray" />
<ref role="1Pybhc" to="3o3z:~Iterables" resolve="Iterables" />
<node concept="37vLTw" id="7Oc59RSFjp7" role="37wK5m">
<ref role="3cqZAo" node="7Oc59RSFgin" resolve="errors" />
</node>
<node concept="3VsKOn" id="7Oc59RSFjI9" role="37wK5m">
<ref role="3VsUkX" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSElSV" role="jymVt" />
<node concept="Wx3nA" id="7Oc59RSEmdT" role="jymVt">
<property role="TrG5h" value="OK_RESULT" />
<node concept="3Tm6S6" id="7Oc59RSEmdS" role="1B3o_S" />
<node concept="3uibUv" id="7Oc59RSEmdH" role="1tU5fm">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="2ShNRf" id="7Oc59RSJqdQ" role="33vP2m">
<node concept="HV5vD" id="7Oc59RSJqoK" role="2ShVmc">
<ref role="HV5vE" node="7Oc59RSJo_6" resolve="Result.OK" />
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSEp6D" role="jymVt" />
<node concept="3clFb_" id="7Oc59RS_hsj" role="jymVt">
<property role="TrG5h" value="isSuccessful" />
<property role="1EzhhJ" value="true" />
<node concept="10P_77" id="7Oc59RS_hKI" role="3clF45" />
<node concept="3Tm1VV" id="7Oc59RS_hsm" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RS_hsn" role="3clF47" />
</node>
<node concept="2tJIrI" id="7Oc59RSEn_B" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSEnG3" role="jymVt">
<property role="TrG5h" value="errors" />
<property role="1EzhhJ" value="true" />
<node concept="3uibUv" id="7nkyKX7v6k0" role="3clF45">
<ref role="3uigEE" to="33ny:~Collection" resolve="Collection" />
<node concept="3uibUv" id="7nkyKX7v6$H" role="11_B2D">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
<node concept="3Tm1VV" id="7Oc59RSEnG6" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSEnG7" role="3clF47" />
</node>
<node concept="2tJIrI" id="7Oc59RSHlRX" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSHvBv" role="jymVt">
<property role="TrG5h" value="cause" />
<node concept="3uibUv" id="7Oc59RSHwRo" role="3clF45">
<ref role="3uigEE" node="7Oc59RSHkY6" resolve="ReportedErrorException" />
</node>
<node concept="3Tm1VV" id="7Oc59RSHvBy" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSHvBz" role="3clF47">
<node concept="3clFbF" id="7Oc59RSHznF" role="3cqZAp">
<node concept="10Nm6u" id="7Oc59RSHznE" role="3clFbG" />
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSEjfq" role="jymVt" />
<node concept="3clFb_" id="7nkyKX7v7xb" role="jymVt">
<property role="TrG5h" value="and" />
<property role="1EzhhJ" value="true" />
<node concept="37vLTG" id="7nkyKX7v8km" role="3clF46">
<property role="TrG5h" value="that" />
<node concept="3uibUv" id="7nkyKX7v8$H" role="1tU5fm">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
</node>
<node concept="3uibUv" id="7nkyKX7v7OX" role="3clF45">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="3Tm1VV" id="7nkyKX7v7xe" role="1B3o_S" />
<node concept="3clFbS" id="7nkyKX7v7xf" role="3clF47" />
</node>
<node concept="2tJIrI" id="7nkyKX7v1JM" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSJr0t" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="toString" />
<property role="DiZV1" value="false" />
<property role="IEkAT" value="false" />
<node concept="3Tm1VV" id="7Oc59RSJr0u" role="1B3o_S" />
<node concept="17QB3L" id="2pvEdqukxHU" role="3clF45" />
<node concept="3clFbS" id="7Oc59RSJr0x" role="3clF47">
<node concept="3clFbF" id="7Oc59RSJs9G" role="3cqZAp">
<node concept="3cpWs3" id="7Oc59RSJw2n" role="3clFbG">
<node concept="Xl_RD" id="7Oc59RSJwc3" role="3uHU7w">
<property role="Xl_RC" value=" errors)" />
</node>
<node concept="3cpWs3" id="7Oc59RSJwwQ" role="3uHU7B">
<node concept="2OqwBi" id="7Oc59RSJwWK" role="3uHU7w">
<node concept="1rXfSq" id="7Oc59RSJwFn" role="2Oq$k0">
<ref role="37wK5l" node="7Oc59RSEnG3" resolve="errors" />
</node>
<node concept="liA8E" id="7nkyKX7vfHY" role="2OqNvi">
<ref role="37wK5l" to="33ny:~Collection.size():int" resolve="size" />
</node>
</node>
<node concept="3cpWs3" id="7Oc59RSJuJa" role="3uHU7B">
<node concept="2OqwBi" id="7Oc59RSJssQ" role="3uHU7B">
<node concept="1rXfSq" id="7Oc59RSJs9F" role="2Oq$k0">
<ref role="37wK5l" to="wyt6:~Object.getClass():java.lang.Class" resolve="getClass" />
</node>
<node concept="liA8E" id="7Oc59RSJuyR" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~Class.getSimpleName():java.lang.String" resolve="getSimpleName" />
</node>
</node>
<node concept="Xl_RD" id="7Oc59RSJvII" role="3uHU7w">
<property role="Xl_RC" value=" (" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="7Oc59RSJr0y" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSJroI" role="jymVt" />
<node concept="312cEu" id="7Oc59RSJo_6" role="jymVt">
<property role="2bfB8j" value="false" />
<property role="TrG5h" value="OK" />
<node concept="3clFb_" id="7Oc59RSJpwc" role="jymVt">
<property role="TrG5h" value="isSuccessful" />
<property role="1EzhhJ" value="false" />
<node concept="10P_77" id="7Oc59RSJpwd" role="3clF45" />
<node concept="3Tm1VV" id="7Oc59RSJpwe" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSJpwf" role="3clF47">
<node concept="3clFbF" id="7Oc59RSJpwg" role="3cqZAp">
<node concept="3clFbT" id="7Oc59RSJpwh" role="3clFbG">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7nkyKX7v8SU" role="jymVt" />
<node concept="3clFb_" id="7nkyKX7v8YO" role="jymVt">
<property role="TrG5h" value="and" />
<property role="1EzhhJ" value="false" />
<node concept="37vLTG" id="7nkyKX7v8YP" role="3clF46">
<property role="TrG5h" value="that" />
<node concept="3uibUv" id="7nkyKX7v8YQ" role="1tU5fm">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
</node>
<node concept="3uibUv" id="7nkyKX7v8YR" role="3clF45">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="3Tm1VV" id="7nkyKX7v8YS" role="1B3o_S" />
<node concept="3clFbS" id="7nkyKX7v8YU" role="3clF47">
<node concept="3clFbF" id="7nkyKX7v9mp" role="3cqZAp">
<node concept="3K4zz7" id="7nkyKX7v9wF" role="3clFbG">
<node concept="Xjq3P" id="7nkyKX7v9$Y" role="3K4E3e" />
<node concept="37vLTw" id="7nkyKX7v9Ar" role="3K4GZi">
<ref role="3cqZAo" node="7nkyKX7v8YP" resolve="that" />
</node>
<node concept="2OqwBi" id="7nkyKX7v9p3" role="3K4Cdx">
<node concept="37vLTw" id="7nkyKX7v9mo" role="2Oq$k0">
<ref role="3cqZAo" node="7nkyKX7v8YP" resolve="that" />
</node>
<node concept="liA8E" id="7nkyKX7v9rB" role="2OqNvi">
<ref role="37wK5l" node="7Oc59RS_hsj" resolve="isSuccessful" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7nkyKX7v9dJ" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSJpwi" role="jymVt">
<property role="TrG5h" value="errors" />
<property role="1EzhhJ" value="false" />
<node concept="3uibUv" id="7nkyKX7v6MF" role="3clF45">
<ref role="3uigEE" to="33ny:~Collection" resolve="Collection" />
<node concept="3uibUv" id="7nkyKX7v6PJ" role="11_B2D">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
<node concept="3Tm1VV" id="7Oc59RSJpwl" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSJpwm" role="3clF47">
<node concept="3clFbF" id="7nkyKX7v6HU" role="3cqZAp">
<node concept="2YIFZM" id="7nkyKX7v6Kr" role="3clFbG">
<ref role="37wK5l" to="33ny:~Collections.emptyList():java.util.List" resolve="emptyList" />
<ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
</node>
</node>
</node>
</node>
<node concept="3Tm6S6" id="7Oc59RSJoVs" role="1B3o_S" />
<node concept="3uibUv" id="7Oc59RSJpar" role="1zkMxy">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSJnVk" role="jymVt" />
<node concept="312cEu" id="7Oc59RSEjfX" role="jymVt">
<property role="2bfB8j" value="false" />
<property role="TrG5h" value="FAILURE" />
<node concept="2tJIrI" id="7Oc59RSElUM" role="jymVt" />
<node concept="3clFbW" id="7Oc59RSEm0l" role="jymVt">
<node concept="37vLTG" id="7Oc59RSEpH8" role="3clF46">
<property role="TrG5h" value="errors" />
<node concept="8X2XB" id="7Oc59RSEpL0" role="1tU5fm">
<node concept="3uibUv" id="7Oc59RSEpIh" role="8Xvag">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
</node>
<node concept="3cqZAl" id="7Oc59RSEm0n" role="3clF45" />
<node concept="3Tm1VV" id="7Oc59RSEm0o" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSEm0p" role="3clF47">
<node concept="3clFbF" id="7Oc59RSEpOw" role="3cqZAp">
<node concept="37vLTI" id="7Oc59RSEpOy" role="3clFbG">
<node concept="2OqwBi" id="7Oc59RSEpOA" role="37vLTJ">
<node concept="Xjq3P" id="7Oc59RSEpOD" role="2Oq$k0" />
<node concept="2OwXpG" id="7Oc59RSEpO_" role="2OqNvi">
<ref role="2Oxat5" node="7Oc59RSEpOr" resolve="errors" />
</node>
</node>
<node concept="2YIFZM" id="7nkyKX7v2p8" role="37vLTx">
<ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
<ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
<node concept="37vLTw" id="7nkyKX7v2u2" role="37wK5m">
<ref role="3cqZAo" node="7Oc59RSEpH8" resolve="errors" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7nkyKX7vaoB" role="jymVt" />
<node concept="3clFbW" id="7nkyKX7va7j" role="jymVt">
<node concept="37vLTG" id="7nkyKX7vbud" role="3clF46">
<property role="TrG5h" value="results" />
<node concept="8X2XB" id="7nkyKX7vc2Y" role="1tU5fm">
<node concept="3uibUv" id="7nkyKX7vbNQ" role="8Xvag">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
</node>
</node>
<node concept="3cqZAl" id="7nkyKX7va7n" role="3clF45" />
<node concept="3Tm1VV" id="7nkyKX7va7o" role="1B3o_S" />
<node concept="3clFbS" id="7nkyKX7va7p" role="3clF47">
<node concept="3clFbF" id="7nkyKX7va7q" role="3cqZAp">
<node concept="37vLTI" id="7nkyKX7va7r" role="3clFbG">
<node concept="2OqwBi" id="7nkyKX7va7s" role="37vLTJ">
<node concept="Xjq3P" id="7nkyKX7va7t" role="2Oq$k0" />
<node concept="2OwXpG" id="7nkyKX7va7u" role="2OqNvi">
<ref role="2Oxat5" node="7Oc59RSEpOr" resolve="errors" />
</node>
</node>
<node concept="2ShNRf" id="7nkyKX7vcwc" role="37vLTx">
<node concept="1pGfFk" id="7nkyKX7vcQr" role="2ShVmc">
<ref role="37wK5l" to="33ny:~ArrayList.&lt;init&gt;()" resolve="ArrayList" />
<node concept="3uibUv" id="7nkyKX7vcZj" role="1pMfVU">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
</node>
</node>
</node>
<node concept="1DcWWT" id="7nkyKX7vdtv" role="3cqZAp">
<node concept="3clFbS" id="7nkyKX7vdtx" role="2LFqv$">
<node concept="3clFbF" id="7nkyKX7vdMr" role="3cqZAp">
<node concept="2OqwBi" id="7nkyKX7vdXo" role="3clFbG">
<node concept="37vLTw" id="7nkyKX7vdMp" role="2Oq$k0">
<ref role="3cqZAo" node="7Oc59RSEpOr" resolve="errors" />
</node>
<node concept="liA8E" id="7nkyKX7veew" role="2OqNvi">
<ref role="37wK5l" to="33ny:~List.addAll(java.util.Collection):boolean" resolve="addAll" />
<node concept="2OqwBi" id="7nkyKX7veoK" role="37wK5m">
<node concept="37vLTw" id="7nkyKX7velW" role="2Oq$k0">
<ref role="3cqZAo" node="7nkyKX7vdty" resolve="r" />
</node>
<node concept="liA8E" id="7nkyKX7vetH" role="2OqNvi">
<ref role="37wK5l" node="7Oc59RSEnG3" resolve="errors" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="7nkyKX7vdty" role="1Duv9x">
<property role="TrG5h" value="r" />
<node concept="3uibUv" id="7nkyKX7vd$8" role="1tU5fm">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
</node>
<node concept="37vLTw" id="7nkyKX7vdHQ" role="1DdaDG">
<ref role="3cqZAo" node="7nkyKX7vbud" resolve="results" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSElZe" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSElUY" role="jymVt">
<property role="TrG5h" value="isSuccessful" />
<property role="1EzhhJ" value="false" />
<node concept="10P_77" id="7Oc59RSElUZ" role="3clF45" />
<node concept="3Tm1VV" id="7Oc59RSElV0" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSElV2" role="3clF47">
<node concept="3clFbF" id="7Oc59RSElV4" role="3cqZAp">
<node concept="3clFbT" id="7Oc59RSElV3" role="3clFbG" />
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSElXP" role="jymVt" />
<node concept="3clFb_" id="7nkyKX7v9C7" role="jymVt">
<property role="TrG5h" value="and" />
<property role="1EzhhJ" value="false" />
<node concept="37vLTG" id="7nkyKX7v9C8" role="3clF46">
<property role="TrG5h" value="that" />
<node concept="3uibUv" id="7nkyKX7v9C9" role="1tU5fm">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
</node>
<node concept="3uibUv" id="7nkyKX7v9Ca" role="3clF45">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="3Tm1VV" id="7nkyKX7v9Cb" role="1B3o_S" />
<node concept="3clFbS" id="7nkyKX7v9Cd" role="3clF47">
<node concept="3clFbF" id="7nkyKX7veXK" role="3cqZAp">
<node concept="3K4zz7" id="7nkyKX7vf8w" role="3clFbG">
<node concept="Xjq3P" id="7nkyKX7vfdb" role="3K4E3e" />
<node concept="2OqwBi" id="7nkyKX7vf0Q" role="3K4Cdx">
<node concept="37vLTw" id="7nkyKX7veXI" role="2Oq$k0">
<ref role="3cqZAo" node="7nkyKX7v9C8" resolve="that" />
</node>
<node concept="liA8E" id="7nkyKX7vf3u" role="2OqNvi">
<ref role="37wK5l" node="7Oc59RS_hsj" resolve="isSuccessful" />
</node>
</node>
<node concept="2ShNRf" id="7nkyKX7veAz" role="3K4GZi">
<node concept="1pGfFk" id="7nkyKX7veUe" role="2ShVmc">
<ref role="37wK5l" node="7nkyKX7va7j" resolve="Result.FAILURE" />
<node concept="Xjq3P" id="7nkyKX7vfkh" role="37wK5m" />
<node concept="37vLTw" id="7nkyKX7vfmx" role="37wK5m">
<ref role="3cqZAo" node="7nkyKX7v9C8" resolve="that" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7nkyKX7v9SU" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSEqG2" role="jymVt">
<property role="TrG5h" value="errors" />
<property role="1EzhhJ" value="false" />
<node concept="3uibUv" id="7nkyKX7v46u" role="3clF45">
<ref role="3uigEE" to="33ny:~Collection" resolve="Collection" />
<node concept="3uibUv" id="7nkyKX7v4oi" role="11_B2D">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
<node concept="3Tm1VV" id="7Oc59RSEqG5" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSEqG7" role="3clF47">
<node concept="3clFbF" id="7nkyKX7v4QN" role="3cqZAp">
<node concept="2YIFZM" id="7nkyKX7v4VU" role="3clFbG">
<ref role="37wK5l" to="33ny:~Collections.unmodifiableCollection(java.util.Collection):java.util.Collection" resolve="unmodifiableCollection" />
<ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
<node concept="37vLTw" id="7nkyKX7v5n9" role="37wK5m">
<ref role="3cqZAo" node="7Oc59RSEpOr" resolve="errors" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSElXY" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSHzVX" role="jymVt">
<property role="TrG5h" value="cause" />
<property role="1EzhhJ" value="false" />
<node concept="3uibUv" id="7Oc59RSHzVY" role="3clF45">
<ref role="3uigEE" node="7Oc59RSHkY6" resolve="ReportedErrorException" />
</node>
<node concept="3Tm1VV" id="7Oc59RSHzVZ" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSHzW3" role="3clF47">
<node concept="3clFbF" id="7Oc59RSHzW6" role="3cqZAp">
<node concept="3nyPlj" id="7Oc59RSHzW5" role="3clFbG">
<ref role="37wK5l" node="7Oc59RSHvBv" resolve="cause" />
</node>
</node>
</node>
<node concept="2AHcQZ" id="7Oc59RSHzW4" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSHtBU" role="jymVt" />
<node concept="3Tm6S6" id="7Oc59RSJogG" role="1B3o_S" />
<node concept="3uibUv" id="7Oc59RSEjha" role="1zkMxy">
<ref role="3uigEE" node="7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="312cEg" id="7Oc59RSEpOr" role="jymVt">
<property role="TrG5h" value="errors" />
<node concept="3Tm6S6" id="7Oc59RSEpOs" role="1B3o_S" />
<node concept="3uibUv" id="7nkyKX7v21Y" role="1tU5fm">
<ref role="3uigEE" to="33ny:~List" resolve="List" />
<node concept="3uibUv" id="7nkyKX7v29x" role="11_B2D">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSEji1" role="jymVt" />
<node concept="2tJIrI" id="7Oc59RSEjid" role="jymVt" />
<node concept="3Tm1VV" id="7Oc59RSEjdc" role="1B3o_S" />
</node>
<node concept="312cEu" id="7Oc59RSEjjA">
<property role="TrG5h" value="ReportedError" />
<node concept="2tJIrI" id="7Oc59RSEjjQ" role="jymVt" />
<node concept="3clFbW" id="7Oc59RSAqpA" role="jymVt">
<node concept="37vLTG" id="7Oc59RSAqt4" role="3clF46">
<property role="TrG5h" value="message" />
<node concept="17QB3L" id="7Oc59RSAqtO" role="1tU5fm" />
</node>
<node concept="3cqZAl" id="7Oc59RSAqpC" role="3clF45" />
<node concept="3Tm1VV" id="7Oc59RSAqpD" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSAqpE" role="3clF47">
<node concept="3clFbF" id="7Oc59RSArjn" role="3cqZAp">
<node concept="37vLTI" id="7Oc59RSArjp" role="3clFbG">
<node concept="2OqwBi" id="7Oc59RSArjt" role="37vLTJ">
<node concept="Xjq3P" id="7Oc59RSArjw" role="2Oq$k0" />
<node concept="2OwXpG" id="7Oc59RSArjs" role="2OqNvi">
<ref role="2Oxat5" node="7Oc59RSArup" resolve="message" />
</node>
</node>
<node concept="37vLTw" id="7Oc59RSArjx" role="37vLTx">
<ref role="3cqZAo" node="7Oc59RSAqt4" resolve="message" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSAqD4" role="jymVt" />
<node concept="3clFbW" id="7Oc59RSAq_i" role="jymVt">
<node concept="37vLTG" id="7Oc59RSAq_j" role="3clF46">
<property role="TrG5h" value="message" />
<node concept="17QB3L" id="7Oc59RSAq_k" role="1tU5fm" />
</node>
<node concept="37vLTG" id="7Oc59RSAqGI" role="3clF46">
<property role="TrG5h" value="exception" />
<node concept="3uibUv" id="7Oc59RSAqKK" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
</node>
</node>
<node concept="3cqZAl" id="7Oc59RSAq_l" role="3clF45" />
<node concept="3Tm1VV" id="7Oc59RSAq_m" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSAq_n" role="3clF47">
<node concept="3clFbF" id="7Oc59RSArut" role="3cqZAp">
<node concept="37vLTI" id="7Oc59RSAruv" role="3clFbG">
<node concept="2OqwBi" id="7Oc59RSAruz" role="37vLTJ">
<node concept="Xjq3P" id="7Oc59RSAruA" role="2Oq$k0" />
<node concept="2OwXpG" id="7Oc59RSAruy" role="2OqNvi">
<ref role="2Oxat5" node="7Oc59RSArup" resolve="message" />
</node>
</node>
<node concept="37vLTw" id="7Oc59RSAruB" role="37vLTx">
<ref role="3cqZAo" node="7Oc59RSAq_j" resolve="message" />
</node>
</node>
</node>
<node concept="3clFbF" id="7Oc59RSArOS" role="3cqZAp">
<node concept="37vLTI" id="7Oc59RSArOU" role="3clFbG">
<node concept="2OqwBi" id="7Oc59RSArOY" role="37vLTJ">
<node concept="Xjq3P" id="7Oc59RSArP1" role="2Oq$k0" />
<node concept="2OwXpG" id="7Oc59RSArOX" role="2OqNvi">
<ref role="2Oxat5" node="7Oc59RSArOO" resolve="exception" />
</node>
</node>
<node concept="37vLTw" id="7Oc59RSArP2" role="37vLTx">
<ref role="3cqZAo" node="7Oc59RSAqGI" resolve="exception" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSAsRk" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSJGG8" role="jymVt">
<property role="TrG5h" value="exception" />
<node concept="3uibUv" id="7Oc59RSJGYN" role="3clF45">
<ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
</node>
<node concept="3Tm1VV" id="7Oc59RSJGGb" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSJGGc" role="3clF47">
<node concept="3clFbF" id="7Oc59RSJIrV" role="3cqZAp">
<node concept="37vLTw" id="7Oc59RSJIrU" role="3clFbG">
<ref role="3cqZAo" node="7Oc59RSArOO" resolve="exception" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSJGpD" role="jymVt" />
<node concept="3clFb_" id="7Oc59RSAtph" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="toString" />
<property role="DiZV1" value="false" />
<property role="IEkAT" value="false" />
<node concept="3Tm1VV" id="7Oc59RSAtpi" role="1B3o_S" />
<node concept="17QB3L" id="2pvEdqukxHW" role="3clF45" />
<node concept="3clFbS" id="7Oc59RSAtpl" role="3clF47">
<node concept="3clFbF" id="7Oc59RSAtSh" role="3cqZAp">
<node concept="3cpWs3" id="7Oc59RSAu9G" role="3clFbG">
<node concept="1eOMI4" id="7Oc59RSAufE" role="3uHU7w">
<node concept="3K4zz7" id="7Oc59RSAuWr" role="1eOMHV">
<node concept="3cpWs3" id="7Oc59RSAvp6" role="3K4E3e">
<node concept="Xl_RD" id="7Oc59RSAvxg" role="3uHU7B">
<property role="Xl_RC" value=": " />
</node>
<node concept="2OqwBi" id="7Oc59RSAv7m" role="3uHU7w">
<node concept="37vLTw" id="7Oc59RSAv3v" role="2Oq$k0">
<ref role="3cqZAo" node="7Oc59RSArOO" resolve="exception" />
</node>
<node concept="liA8E" id="7Oc59RSKGAD" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~Throwable.toString():java.lang.String" resolve="toString" />
</node>
</node>
</node>
<node concept="Xl_RD" id="7Oc59RSAvOZ" role="3K4GZi">
<property role="Xl_RC" value="" />
</node>
<node concept="3y3z36" id="7Oc59RSAuCT" role="3K4Cdx">
<node concept="10Nm6u" id="7Oc59RSAuOx" role="3uHU7w" />
<node concept="37vLTw" id="7Oc59RSAuwy" role="3uHU7B">
<ref role="3cqZAo" node="7Oc59RSArOO" resolve="exception" />
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="7Oc59RSAtSg" role="3uHU7B">
<ref role="3cqZAo" node="7Oc59RSArup" resolve="message" />
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="7Oc59RSAtpm" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSAtcx" role="jymVt" />
<node concept="312cEg" id="7Oc59RSArup" role="jymVt">
<property role="TrG5h" value="message" />
<node concept="3Tm6S6" id="7Oc59RSAruq" role="1B3o_S" />
<node concept="17QB3L" id="7Oc59RSArus" role="1tU5fm" />
</node>
<node concept="2tJIrI" id="7Oc59RSEkPL" role="jymVt" />
<node concept="312cEg" id="7Oc59RSArOO" role="jymVt">
<property role="TrG5h" value="exception" />
<node concept="3Tm6S6" id="7Oc59RSArOP" role="1B3o_S" />
<node concept="3uibUv" id="7Oc59RSArOR" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSEjjS" role="jymVt" />
<node concept="3Tm1VV" id="7Oc59RSEjjB" role="1B3o_S" />
</node>
<node concept="312cEu" id="7Oc59RSHkY6">
<property role="TrG5h" value="ReportedErrorException" />
<node concept="2tJIrI" id="7Oc59RSHl1K" role="jymVt" />
<node concept="3clFbW" id="7Oc59RSHl1Q" role="jymVt">
<node concept="3cqZAl" id="7Oc59RSHl1S" role="3clF45" />
<node concept="3Tm1VV" id="7Oc59RSHl1T" role="1B3o_S" />
<node concept="3clFbS" id="7Oc59RSHl1U" role="3clF47">
<node concept="XkiVB" id="7Oc59RSHl5P" role="3cqZAp">
<ref role="37wK5l" to="wyt6:~Exception.&lt;init&gt;(java.lang.String)" resolve="Exception" />
<node concept="2OqwBi" id="7Oc59RSHl9q" role="37wK5m">
<node concept="37vLTw" id="7Oc59RSHl7s" role="2Oq$k0">
<ref role="3cqZAo" node="7Oc59RSHl23" resolve="error" />
</node>
<node concept="liA8E" id="7Oc59RSHlkJ" role="2OqNvi">
<ref role="37wK5l" node="7Oc59RSAtph" resolve="toString" />
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="7Oc59RSHl23" role="3clF46">
<property role="TrG5h" value="error" />
<node concept="3uibUv" id="7Oc59RSHl22" role="1tU5fm">
<ref role="3uigEE" node="7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
</node>
<node concept="2tJIrI" id="7Oc59RSHl5x" role="jymVt" />
<node concept="3Tm1VV" id="7Oc59RSHkY7" role="1B3o_S" />
<node concept="3uibUv" id="7Oc59RSHkY$" role="1zkMxy">
<ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
</node>
</node>
<node concept="312cEu" id="4peSo3CHy8D">
<property role="TrG5h" value="NodePrinter" />
<node concept="Wx3nA" id="6XxJ1FLXd5E" role="jymVt">

4
typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd
View File

@ -10,7 +10,6 @@
<dependency reexport="false">498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)</dependency>
<dependency reexport="true">a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)</dependency>
<dependency reexport="false">742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)</dependency>
<dependency reexport="false">c7366fe8-43b9-446d-82b3-5cfc76e71f17(jetbrains.mps.typechecking.rules)</dependency>
<dependency reexport="true">b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)</dependency>
<dependency reexport="false">0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling)</dependency>
<dependency reexport="false">df9d410f-2ebb-43f7-893a-483a4f085250(jetbrains.mps.smodel.resources)</dependency>
@ -27,6 +26,7 @@
<dependency reexport="true">1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)</dependency>
<dependency reexport="false">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
<dependency reexport="false">760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)</dependency>
<dependency reexport="false">c246f30f-e11c-4dc1-80c6-154d0aebc8b3(jetbrains.mps.lang.typesystem2.samplechecker.runner)</dependency>
</dependencies>
<languageVersions>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" fqName="jetbrains.mps.baseLanguage" version="4" />
@ -63,6 +63,7 @@
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
<module reference="121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker)" version="0" />
<module reference="c246f30f-e11c-4dc1-80c6-154d0aebc8b3(jetbrains.mps.lang.typesystem2.samplechecker.runner)" version="0" />
<module reference="35e2a720-13d8-4eda-88d3-ff9d78d5a3ae(jetbrains.mps.lang.typesystem2.sampleplugin)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)" version="0" />
<module reference="7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)" version="0" />
@ -72,7 +73,6 @@
<module reference="a1250a4d-c090-42c3-ad7c-d298a3357dd4(jetbrains.mps.make.runtime)" version="0" />
<module reference="df9d410f-2ebb-43f7-893a-483a4f085250(jetbrains.mps.smodel.resources)" version="0" />
<module reference="0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling)" version="0" />
<module reference="c7366fe8-43b9-446d-82b3-5cfc76e71f17(jetbrains.mps.typechecking.rules)" version="0" />
</dependencyVersions>
</solution>

67
typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
View File

@ -14,15 +14,12 @@
</languages>
<imports>
<import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
<import index="bdf1" ref="r:22d5f1f3-a483-4725-abc3-c5e9c2c56292(jetbrains.mps.typechecking.rule.generator)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
<import index="4t1t" ref="r:703839e2-c38f-4b71-8602-72ccb87dd74e(jetbrains.mps.lang.typesystem2.runtime.util)" />
<import index="jkm4" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:com.intellij.openapi.ui(MPS.IDEA/)" />
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
<import index="18ew" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.util(MPS.Core/)" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
<import index="138j" ref="r:d390cf6e-3a05-4c9d-8eb3-bcdfbfd3bf8f(jetbrains.mps.typechecking.rule.collection)" />
<import index="9kr0" ref="r:0f58be42-48ea-45ab-99f8-158393a0f526(jetbrains.mps.typechecking.handler.producer)" />
<import index="qq03" ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61/java:jetbrains.mps.ide.actions(MPS.Platform/)" />
<import index="xq5w" ref="r:729bada4-05fa-458f-8bf8-28b9cb978726(jetbrains.mps.logic.builtin.var)" />
@ -62,6 +59,8 @@
<import index="95zw" ref="r:f3ff7852-b9dd-4760-b213-a8a031c77d0e(jetbrains.mps.logic.jchr.predicate)" />
<import index="rchb" ref="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)" />
<import index="stgg" ref="r:fcdb37a4-4602-4a05-8d91-e439430734b8(jetbrains.mps.logic.jchr.program)" />
<import index="7ub6" ref="r:b533b427-da69-49d8-9c93-4ea32433b66e(jetbrains.mps.lang.typesystem2.runtime)" />
<import index="poio" ref="r:023e4571-f779-4131-9ae1-88b3dd330e93(jetbrains.mps.lang.typesystem2.samplechecker.util)" />
<import index="tprs" ref="r:00000000-0000-4000-0000-011c895904a4(jetbrains.mps.ide.actions)" implicit="true" />
</imports>
<registry>
@ -528,11 +527,11 @@
<node concept="3cpWsn" id="3Qp4N06byjG" role="3cpWs9">
<property role="TrG5h" value="rtc" />
<node concept="3uibUv" id="3Qp4N06byjH" role="1tU5fm">
<ref role="3uigEE" to="138j:6fdr4UgftiG" resolve="RuleTemplateCollection" />
<ref role="3uigEE" to="7ub6:6fdr4UgftiG" resolve="RuleTemplateCollection" />
</node>
<node concept="2ShNRf" id="3Qp4N06byjI" role="33vP2m">
<node concept="1pGfFk" id="3Qp4N06byjJ" role="2ShVmc">
<ref role="37wK5l" to="138j:6fdr4UgfyCL" resolve="RuleTemplateCollection" />
<ref role="37wK5l" to="7ub6:6fdr4UgfyCL" resolve="RuleTemplateCollection" />
<node concept="Xl_RD" id="3Qp4N06byjK" role="37wK5m">
<property role="Xl_RC" value="test" />
</node>
@ -546,7 +545,7 @@
<ref role="3cqZAo" node="3Qp4N06byjG" resolve="rtc" />
</node>
<node concept="liA8E" id="3Qp4N06byjO" role="2OqNvi">
<ref role="37wK5l" to="138j:12yN8Dyvyy6" resolve="collectTemplates" />
<ref role="37wK5l" to="7ub6:12yN8Dyvyy6" resolve="collectTemplates" />
<node concept="37vLTw" id="3Qp4N06byjP" role="37wK5m">
<ref role="3cqZAo" node="1ggxSI7$AM5" resolve="manifest" />
</node>
@ -583,7 +582,7 @@
<node concept="37vLTG" id="3xj1Uscsv_Y" role="3clF46">
<property role="TrG5h" value="rtc" />
<node concept="3uibUv" id="3xj1Uscsv_Z" role="1tU5fm">
<ref role="3uigEE" to="138j:6fdr4UgftiG" resolve="RuleTemplateCollection" />
<ref role="3uigEE" to="7ub6:6fdr4UgftiG" resolve="RuleTemplateCollection" />
</node>
</node>
<node concept="37vLTG" id="3xj1UscsvA0" role="3clF46">
@ -639,11 +638,11 @@
<node concept="3cpWsn" id="3xj1UscsvyF" role="3cpWs9">
<property role="TrG5h" value="generator" />
<node concept="3uibUv" id="3xj1UscsvyG" role="1tU5fm">
<ref role="3uigEE" to="bdf1:12yN8DyF_E1" resolve="TypecheckingRuleGenerator" />
<ref role="3uigEE" to="7ub6:12yN8DyF_E1" resolve="TypecheckingRuleGenerator" />
</node>
<node concept="2ShNRf" id="3xj1UscsvyH" role="33vP2m">
<node concept="1pGfFk" id="3xj1UscsvyI" role="2ShVmc">
<ref role="37wK5l" to="bdf1:7Oc59RSy_Op" resolve="TypecheckingRuleGenerator" />
<ref role="37wK5l" to="7ub6:7Oc59RSy_Op" resolve="TypecheckingRuleGenerator" />
<node concept="37vLTw" id="3xj1UscsvA6" role="37wK5m">
<ref role="3cqZAo" node="3xj1Uscsv_Y" resolve="rtc" />
</node>
@ -662,11 +661,11 @@
<node concept="3cpWsn" id="7nkyKX7vtmN" role="3cpWs9">
<property role="TrG5h" value="result" />
<node concept="3uibUv" id="7nkyKX7vtmO" role="1tU5fm">
<ref role="3uigEE" to="4t1t:7Oc59RSEjdb" resolve="Result" />
<ref role="3uigEE" to="7ub6:7Oc59RSEjdb" resolve="Result" />
</node>
<node concept="2YIFZM" id="7nkyKX7vtCO" role="33vP2m">
<ref role="37wK5l" to="4t1t:7Oc59RSEjeq" resolve="OK" />
<ref role="1Pybhc" to="4t1t:7Oc59RSEjdb" resolve="Result" />
<ref role="37wK5l" to="7ub6:7Oc59RSEjeq" resolve="OK" />
<ref role="1Pybhc" to="7ub6:7Oc59RSEjdb" resolve="Result" />
</node>
</node>
</node>
@ -678,13 +677,13 @@
<ref role="3cqZAo" node="7nkyKX7vtmN" resolve="result" />
</node>
<node concept="liA8E" id="7nkyKX7vEIc" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7nkyKX7v7xb" resolve="and" />
<ref role="37wK5l" to="7ub6:7nkyKX7v7xb" resolve="and" />
<node concept="2OqwBi" id="7nkyKX7vEId" role="37wK5m">
<node concept="37vLTw" id="7nkyKX7vEIe" role="2Oq$k0">
<ref role="3cqZAo" node="3xj1UscsvyF" resolve="generator" />
</node>
<node concept="liA8E" id="7nkyKX7vEIf" role="2OqNvi">
<ref role="37wK5l" to="bdf1:5NuEpF1pL7f" resolve="generateAllWithNoInput" />
<ref role="37wK5l" to="7ub6:5NuEpF1pL7f" resolve="generateAllWithNoInput" />
<node concept="3clFbT" id="7nkyKX7vETc" role="37wK5m">
<property role="3clFbU" value="false" />
</node>
@ -705,13 +704,13 @@
<ref role="3cqZAo" node="7nkyKX7vtmN" resolve="result" />
</node>
<node concept="liA8E" id="7nkyKX7vF3$" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7nkyKX7v7xb" resolve="and" />
<ref role="37wK5l" to="7ub6:7nkyKX7v7xb" resolve="and" />
<node concept="2OqwBi" id="7nkyKX7vF3_" role="37wK5m">
<node concept="37vLTw" id="7nkyKX7vF3A" role="2Oq$k0">
<ref role="3cqZAo" node="3xj1UscsvyF" resolve="generator" />
</node>
<node concept="liA8E" id="7nkyKX7vF3B" role="2OqNvi">
<ref role="37wK5l" to="bdf1:12yN8DyNqcj" resolve="generateAll" />
<ref role="37wK5l" to="7ub6:12yN8DyNqcj" resolve="generateAll" />
<node concept="37vLTw" id="7nkyKX7vF3C" role="37wK5m">
<ref role="3cqZAo" node="2Rw7mr8Sa0e" resolve="root" />
</node>
@ -732,13 +731,13 @@
<ref role="3cqZAo" node="7nkyKX7vtmN" resolve="result" />
</node>
<node concept="liA8E" id="7nkyKX7vFf3" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7nkyKX7v7xb" resolve="and" />
<ref role="37wK5l" to="7ub6:7nkyKX7v7xb" resolve="and" />
<node concept="2OqwBi" id="7nkyKX7vFf4" role="37wK5m">
<node concept="37vLTw" id="7nkyKX7vFf5" role="2Oq$k0">
<ref role="3cqZAo" node="3xj1UscsvyF" resolve="generator" />
</node>
<node concept="liA8E" id="7nkyKX7vFf6" role="2OqNvi">
<ref role="37wK5l" to="bdf1:5NuEpF1pL7f" resolve="generateAllWithNoInput" />
<ref role="37wK5l" to="7ub6:5NuEpF1pL7f" resolve="generateAllWithNoInput" />
<node concept="3clFbT" id="7nkyKX7vFq7" role="37wK5m">
<property role="3clFbU" value="true" />
</node>
@ -759,13 +758,13 @@
<ref role="3cqZAo" node="7nkyKX7vtmN" resolve="result" />
</node>
<node concept="liA8E" id="7nkyKX7vF$v" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7nkyKX7v7xb" resolve="and" />
<ref role="37wK5l" to="7ub6:7nkyKX7v7xb" resolve="and" />
<node concept="2OqwBi" id="7nkyKX7vF$w" role="37wK5m">
<node concept="37vLTw" id="7nkyKX7vF$x" role="2Oq$k0">
<ref role="3cqZAo" node="3xj1UscsvyF" resolve="generator" />
</node>
<node concept="liA8E" id="7nkyKX7vF$y" role="2OqNvi">
<ref role="37wK5l" to="bdf1:7nkyKX7ncaN" resolve="generateMain" />
<ref role="37wK5l" to="7ub6:7nkyKX7ncaN" resolve="generateMain" />
<node concept="37vLTw" id="7nkyKX7vF$z" role="37wK5m">
<ref role="3cqZAo" node="2Rw7mr8Sa0e" resolve="root" />
</node>
@ -805,7 +804,7 @@
<ref role="3cqZAo" node="7nkyKX7vtmN" resolve="result" />
</node>
<node concept="liA8E" id="7nkyKX7v$er" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7Oc59RSEnG3" resolve="errors" />
<ref role="37wK5l" to="7ub6:7Oc59RSEnG3" resolve="errors" />
</node>
</node>
<node concept="liA8E" id="7nkyKX7v$Nv" role="2OqNvi">
@ -823,7 +822,7 @@
<node concept="37vLTG" id="7nkyKX7nByl" role="3clF46">
<property role="TrG5h" value="result" />
<node concept="3uibUv" id="7nkyKX7nBym" role="1tU5fm">
<ref role="3uigEE" to="4t1t:7Oc59RSEjdb" resolve="Result" />
<ref role="3uigEE" to="7ub6:7Oc59RSEjdb" resolve="Result" />
</node>
</node>
<node concept="3clFbS" id="7nkyKX7nBxH" role="3clF47">
@ -833,7 +832,7 @@
<ref role="3cqZAo" node="7nkyKX7nByl" resolve="result" />
</node>
<node concept="liA8E" id="7nkyKX7nBxL" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7Oc59RS_hsj" resolve="isSuccessful" />
<ref role="37wK5l" to="7ub6:7Oc59RS_hsj" resolve="isSuccessful" />
</node>
</node>
<node concept="3clFbS" id="7nkyKX7nBxM" role="3clFbx">
@ -870,7 +869,7 @@
<ref role="3cqZAo" node="7nkyKX7vgRN" resolve="e" />
</node>
<node concept="liA8E" id="7nkyKX7nByc" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7Oc59RSJGG8" resolve="exception" />
<ref role="37wK5l" to="7ub6:7Oc59RSJGG8" resolve="exception" />
</node>
</node>
</node>
@ -878,7 +877,7 @@
<node concept="3cpWsn" id="7nkyKX7vgRN" role="1Duv9x">
<property role="TrG5h" value="e" />
<node concept="3uibUv" id="7nkyKX7vgRR" role="1tU5fm">
<ref role="3uigEE" to="4t1t:7Oc59RSEjjA" resolve="ReportedError" />
<ref role="3uigEE" to="7ub6:7Oc59RSEjjA" resolve="ReportedError" />
</node>
</node>
<node concept="2OqwBi" id="7nkyKX7vgRS" role="1DdaDG">
@ -886,7 +885,7 @@
<ref role="3cqZAo" node="7nkyKX7nByl" resolve="result" />
</node>
<node concept="liA8E" id="7nkyKX7vgRU" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7Oc59RSEnG3" resolve="errors" />
<ref role="37wK5l" to="7ub6:7Oc59RSEnG3" resolve="errors" />
</node>
</node>
</node>
@ -897,7 +896,7 @@
<ref role="3cqZAo" node="7nkyKX7nByl" resolve="result" />
</node>
<node concept="liA8E" id="7nkyKX7nByj" role="2OqNvi">
<ref role="37wK5l" to="4t1t:7Oc59RSEnG3" resolve="errors" />
<ref role="37wK5l" to="7ub6:7Oc59RSEnG3" resolve="errors" />
</node>
</node>
<node concept="liA8E" id="7nkyKX7vgdo" role="2OqNvi">
@ -2435,8 +2434,8 @@
<node concept="liA8E" id="4pWvZ2njipK" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
<node concept="2YIFZM" id="4pWvZ2njipL" role="37wK5m">
<ref role="37wK5l" to="4t1t:4peSo3D04j7" resolve="print" />
<ref role="1Pybhc" to="4t1t:4peSo3CHy8D" resolve="NodePrinter" />
<ref role="1Pybhc" to="poio:4peSo3CHy8D" resolve="NodePrinter" />
<ref role="37wK5l" to="poio:4peSo3D04j7" resolve="print" />
<node concept="2YIFZM" id="4pWvZ2njipM" role="37wK5m">
<ref role="1Pybhc" to="ie8e:6HT7BWBOXme" resolve="AtomUtil" />
<ref role="37wK5l" to="ie8e:6HT7BWBOXr$" resolve="ground" />
@ -2694,8 +2693,8 @@
<node concept="liA8E" id="6HT7BWBSOZk" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String):java.lang.StringBuilder" resolve="append" />
<node concept="2YIFZM" id="6HT7BWBSOZl" role="37wK5m">
<ref role="1Pybhc" to="4t1t:4peSo3CHy8D" resolve="NodePrinter" />
<ref role="37wK5l" to="4t1t:4peSo3D04j7" resolve="print" />
<ref role="1Pybhc" to="poio:4peSo3CHy8D" resolve="NodePrinter" />
<ref role="37wK5l" to="poio:4peSo3D04j7" resolve="print" />
<node concept="2YIFZM" id="4UfmwCMJfy" role="37wK5m">
<ref role="37wK5l" to="ie8e:6HT7BWBOXr$" resolve="ground" />
<ref role="1Pybhc" to="ie8e:6HT7BWBOXme" resolve="AtomUtil" />
@ -3037,7 +3036,7 @@
</node>
<node concept="3Tm6S6" id="5kEUewdD8xu" role="1B3o_S" />
<node concept="3uibUv" id="4peSo3D1gxU" role="1zkMxy">
<ref role="3uigEE" to="4t1t:3gJBs5s$bxr" resolve="NodePrinter.DefaultVariableSymbol" />
<ref role="3uigEE" to="poio:3gJBs5s$bxr" resolve="NodePrinter.DefaultVariableSymbol" />
</node>
</node>
<node concept="2tJIrI" id="4pWvZ2nEaSo" role="jymVt" />
@ -6880,8 +6879,8 @@
<property role="Xl_RC" value="{" />
</node>
<node concept="2YIFZM" id="1pPth$l_Zk$" role="3uHU7w">
<ref role="37wK5l" to="4t1t:4peSo3CHBfF" resolve="print" />
<ref role="1Pybhc" to="4t1t:4peSo3CHy8D" resolve="NodePrinter" />
<ref role="37wK5l" to="poio:4peSo3CHBfF" resolve="print" />
<ref role="1Pybhc" to="poio:4peSo3CHy8D" resolve="NodePrinter" />
<node concept="37vLTw" id="1pPth$l_Zk_" role="37wK5m">
<ref role="3cqZAo" node="1pPth$l_Zkr" resolve="atom" />
</node>

1
typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
View File

@ -28,7 +28,6 @@
<import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
<import index="guwi" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)" />
<import index="5j4j" ref="r:c8fb1c5e-8204-4904-a38f-678899d447c1(jetbrains.mps.logic.structure)" />
<import index="4t1t" ref="r:703839e2-c38f-4b71-8602-72ccb87dd74e(jetbrains.mps.lang.typesystem2.runtime.util)" />
<import index="i348" ref="r:42a15dec-83a9-4fe1-80d6-3bf898c512bd(jetbrains.mps.lang.typesystem2.template)" />
<import index="x5bw" ref="r:15ea4f4e-2f41-4ce3-b7e4-a4e0737f0171(jetbrains.mps.lang.typesystem2.behavior)" />
<import index="ie8e" ref="r:ab2605ab-b4bc-4e80-a8ca-19a4a8465c01(jetbrains.mps.logic.atom)" />

4
typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/jetbrains.mps.lang.typesystem2.runtime.msd
View File

@ -12,6 +12,7 @@
<dependency reexport="true">7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)</dependency>
<dependency reexport="false">f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</dependency>
<dependency reexport="false">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
<dependency reexport="false">ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)</dependency>
</dependencies>
<usedDevKits>
<usedDevKit>fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)</usedDevKit>
@ -22,10 +23,8 @@
<language id="fd392034-7849-419d-9071-12563d152375" fqName="jetbrains.mps.baseLanguage.closures" version="0" />
<language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" fqName="jetbrains.mps.baseLanguage.collections" version="0" />
<language id="f2801650-65d5-424e-bb1b-463a8781b786" fqName="jetbrains.mps.baseLanguage.javadoc" version="2" />
<language id="760a0a8c-eabb-4521-8bfd-65db761a9ba3" fqName="jetbrains.mps.baseLanguage.logging" version="0" />
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" fqName="jetbrains.mps.baseLanguage.tuples" version="0" />
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" fqName="jetbrains.mps.lang.core" version="1" />
<language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" fqName="jetbrains.mps.lang.quotation" version="0" />
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" fqName="jetbrains.mps.lang.smodel" version="2" />
<language id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" fqName="jetbrains.mps.lang.traceable" version="0" />
</languageVersions>
@ -43,6 +42,7 @@
<module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)" version="0" />
<module reference="7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)" version="0" />
<module reference="760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />

4118
typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime.mps
View File

File diff suppressed because it is too large Load Diff