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

Add tests for fitch sample project

This commit is contained in:
Fedor Isakov 2018-12-14 14:22:23 +01:00
parent 82b409cb86
commit d64f469b19
13 changed files with 1981 additions and 56 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.gradle
View File

@ -147,7 +147,7 @@ task check {
':coderules-test',
':samples/mpscore:mpscore-test',
':samples/lambdacalc:lambdacalc-test',
':samples/fitch:fitch-generate'
':samples/fitch:fitch-test'
]
}
}

12
samples/fitch/build.gradle
View File

@ -2,6 +2,18 @@ configurations {
junitAnt
}
dependencies {
// initialize JUnit optional ant task
junitAnt 'junit:junit:4.8.2'
junitAnt('org.apache.ant:ant-junit:1.9.2') {
transitive = false
}
}
ant.taskdef(name: 'junit',
classname: 'org.apache.tools.ant.taskdefs.optional.junit.JUnitTask',
classpath: configurations.junitAnt.asPath)
ant.importBuild('build.xml') {antTarget ->
'fitch-'+antTarget
}

685
samples/fitch/build.xml
View File

@ -29,7 +29,402 @@
</path>
<target name="assemble" depends="declare-mps-tasks, classes">
<mkdir dir="${build.layout}" />
<mkdir dir="${build.layout}/modules" />
<mkdir dir="${build.tmp}/default/samples.fitch.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch.jar/META-INF/module.xml">
<module namespace="samples.fitch" type="language" uuid="06b7c5c7-e359-4f4b-a581-5d0c9323af39">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="23949432-aaff-4c03-b7da-26e4e956ccea(jetbrains.mps.baseLanguage.regexp.runtime)" />
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" />
<module ref="2af156ab-65c1-4a62-bd0d-ea734f71eab6(jetbrains.mps.dataFlow.runtime)" />
<module ref="34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" />
<module ref="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" />
<module ref="258bd2f6-0d02-411d-86b2-5a5ea083e6d2(jetbrains.mps.lang.editor.table.runtime)" />
<module ref="528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime)" />
<module ref="31f56055-9d30-42b3-a2b1-fb3f554d7075(jetbrains.mps.lang.smodel.query.runtime)" />
<module ref="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" />
<module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" />
<module ref="8fe4c62a-2020-4ff4-8eda-f322a55bdc9f(jetbrains.mps.refactoring.runtime)" />
<module ref="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch-src.jar" descriptor="samples.fitch.mpl" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch" />
<fileset dir="${basedir}/languages/samples.fitch/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
<fileset dir="${build.tmp}/default/samples.fitch.jar" />
</jar>
<mkdir dir="${build.tmp}/default/samples.fitch-generator.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch-generator.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch-generator.jar/META-INF/module.xml">
<module namespace="samples.fitch#4322786184247805322" type="generator" uuid="65b2d9d2-5a92-4dd0-abf5-f3a1bd399bec">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch-src.jar" descriptor="samples.fitch.mpl" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch-generator.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch#4322786184247805322" />
<fileset dir="${build.tmp}/default/samples.fitch-generator.jar" />
</jar>
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch-generator-template">
<fileset dir="${basedir}/languages/samples.fitch/generator/template" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch-models">
<fileset dir="${basedir}/languages/samples.fitch/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.layout}/modules/samples.fitch-src.jar" duplicate="preserve">
<fileset dir="${basedir}/languages/samples.fitch/generator/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<fileset dir="${basedir}/languages/samples.fitch/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<zipfileset file="${basedir}/languages/samples.fitch/samples.fitch.mpl" prefix="module" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch-generator-template" prefix="module/generator/template" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch-models" prefix="module/models" />
</jar>
<mkdir dir="${build.tmp}/default/samples.fitch.firstOrderLogic.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch.firstOrderLogic.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch.firstOrderLogic.jar/META-INF/module.xml">
<module namespace="samples.fitch.firstOrderLogic" type="language" uuid="ddb01c98-e78e-4c79-b11a-aeba193668d4">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" />
<module ref="2af156ab-65c1-4a62-bd0d-ea734f71eab6(jetbrains.mps.dataFlow.runtime)" />
<module ref="34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" />
<module ref="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" />
<module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" />
<module ref="8fe4c62a-2020-4ff4-8eda-f322a55bdc9f(jetbrains.mps.refactoring.runtime)" />
<module ref="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch.firstOrderLogic-src.jar" descriptor="samples.fitch.firstOrderLogic.mpl" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch.firstOrderLogic.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch.firstOrderLogic" />
<fileset dir="${basedir}/languages/samples.fitch.firstOrderLogic/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
<fileset dir="${build.tmp}/default/samples.fitch.firstOrderLogic.jar" />
</jar>
<mkdir dir="${build.tmp}/default/samples.fitch.firstOrderLogic-generator.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch.firstOrderLogic-generator.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch.firstOrderLogic-generator.jar/META-INF/module.xml">
<module namespace="samples.fitch.firstOrderLogic#4035326440039985569" type="generator" uuid="467b3222-f5a8-48be-9fe1-6c009ed73049">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch.firstOrderLogic-src.jar" descriptor="samples.fitch.firstOrderLogic.mpl" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch.firstOrderLogic-generator.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch.firstOrderLogic#4035326440039985569" />
<fileset dir="${build.tmp}/default/samples.fitch.firstOrderLogic-generator.jar" />
</jar>
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.firstOrderLogic-generator-template">
<fileset dir="${basedir}/languages/samples.fitch.firstOrderLogic/generator/template" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.firstOrderLogic-models">
<fileset dir="${basedir}/languages/samples.fitch.firstOrderLogic/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.layout}/modules/samples.fitch.firstOrderLogic-src.jar" duplicate="preserve">
<fileset dir="${basedir}/languages/samples.fitch.firstOrderLogic/generator/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<fileset dir="${basedir}/languages/samples.fitch.firstOrderLogic/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<zipfileset file="${basedir}/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl" prefix="module" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.firstOrderLogic-generator-template" prefix="module/generator/template" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.firstOrderLogic-models" prefix="module/models" />
</jar>
<mkdir dir="${build.tmp}/default/samples.fitch.herbrandLogic.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch.herbrandLogic.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch.herbrandLogic.jar/META-INF/module.xml">
<module namespace="samples.fitch.herbrandLogic" type="language" uuid="748b3ba1-2791-4ee8-b985-a5598baa7112">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="23949432-aaff-4c03-b7da-26e4e956ccea(jetbrains.mps.baseLanguage.regexp.runtime)" />
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" />
<module ref="2af156ab-65c1-4a62-bd0d-ea734f71eab6(jetbrains.mps.dataFlow.runtime)" />
<module ref="34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" />
<module ref="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" />
<module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" />
<module ref="8fe4c62a-2020-4ff4-8eda-f322a55bdc9f(jetbrains.mps.refactoring.runtime)" />
<module ref="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch.herbrandLogic-src.jar" descriptor="samples.fitch.herbrandLogic.mpl" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch.herbrandLogic.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
<fileset dir="${basedir}/languages/samples.fitch.herbrandLogic/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
<fileset dir="${build.tmp}/default/samples.fitch.herbrandLogic.jar" />
</jar>
<mkdir dir="${build.tmp}/default/samples.fitch.herbrandLogic-generator.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch.herbrandLogic-generator.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch.herbrandLogic-generator.jar/META-INF/module.xml">
<module namespace="samples.fitch.herbrandLogic#3059457401298723545" type="generator" uuid="8efed383-9c82-409e-81c8-4bd2a012c164">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch.herbrandLogic-src.jar" descriptor="samples.fitch.herbrandLogic.mpl" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch.herbrandLogic-generator.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch.herbrandLogic#3059457401298723545" />
<fileset dir="${build.tmp}/default/samples.fitch.herbrandLogic-generator.jar" />
</jar>
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.herbrandLogic-generator-template">
<fileset dir="${basedir}/languages/samples.fitch.herbrandLogic/generator/template" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.herbrandLogic-models">
<fileset dir="${basedir}/languages/samples.fitch.herbrandLogic/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.layout}/modules/samples.fitch.herbrandLogic-src.jar" duplicate="preserve">
<fileset dir="${basedir}/languages/samples.fitch.herbrandLogic/generator/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<fileset dir="${basedir}/languages/samples.fitch.herbrandLogic/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<zipfileset file="${basedir}/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl" prefix="module" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.herbrandLogic-generator-template" prefix="module/generator/template" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.herbrandLogic-models" prefix="module/models" />
</jar>
<mkdir dir="${build.tmp}/default/samples.fitch.propositionalLogic.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch.propositionalLogic.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch.propositionalLogic.jar/META-INF/module.xml">
<module namespace="samples.fitch.propositionalLogic" type="language" uuid="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="23949432-aaff-4c03-b7da-26e4e956ccea(jetbrains.mps.baseLanguage.regexp.runtime)" />
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" />
<module ref="2af156ab-65c1-4a62-bd0d-ea734f71eab6(jetbrains.mps.dataFlow.runtime)" />
<module ref="34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" />
<module ref="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" />
<module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" />
<module ref="8fe4c62a-2020-4ff4-8eda-f322a55bdc9f(jetbrains.mps.refactoring.runtime)" />
<module ref="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch.propositionalLogic-src.jar" descriptor="samples.fitch.propositionalLogic.mpl" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch.propositionalLogic.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
<fileset dir="${basedir}/languages/samples.fitch.propositionalLogic/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
<fileset dir="${build.tmp}/default/samples.fitch.propositionalLogic.jar" />
</jar>
<mkdir dir="${build.tmp}/default/samples.fitch.propositionalLogic-generator.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch.propositionalLogic-generator.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch.propositionalLogic-generator.jar/META-INF/module.xml">
<module namespace="samples.fitch.propositionalLogic#5505606474790531941" type="generator" uuid="53b8ab24-cc4a-4fe2-b461-11a91d798670">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="a3e4657f-a76c-45bb-bbda-c764596ecc65(jetbrains.mps.baseLanguage.logging.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="d44dab97-aaac-44cb-9745-8a14db674c03(jetbrains.mps.baseLanguage.tuples.runtime)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch.propositionalLogic-src.jar" descriptor="samples.fitch.propositionalLogic.mpl" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch.propositionalLogic-generator.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch.propositionalLogic#5505606474790531941" />
<fileset dir="${build.tmp}/default/samples.fitch.propositionalLogic-generator.jar" />
</jar>
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.propositionalLogic-generator-template">
<fileset dir="${basedir}/languages/samples.fitch.propositionalLogic/generator/template" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<copyModels todir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.propositionalLogic-models">
<fileset dir="${basedir}/languages/samples.fitch.propositionalLogic/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.layout}/modules/samples.fitch.propositionalLogic-src.jar" duplicate="preserve">
<fileset dir="${basedir}/languages/samples.fitch.propositionalLogic/generator/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<fileset dir="${basedir}/languages/samples.fitch.propositionalLogic/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<zipfileset file="${basedir}/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl" prefix="module" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.propositionalLogic-generator-template" prefix="module/generator/template" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/languages-samples.fitch.propositionalLogic-models" prefix="module/models" />
</jar>
<mkdir dir="${build.tmp}/default/samples.fitch.demo.jar" />
<mkdir dir="${build.tmp}/default/samples.fitch.demo.jar/META-INF" />
<echoxml file="${build.tmp}/default/samples.fitch.demo.jar/META-INF/module.xml">
<module namespace="samples.fitch.demo" type="solution" uuid="86925f4e-7856-4553-a261-c86fbf09bb52">
<dependencies>
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" />
<module ref="49808fad-9d41-4b96-83fa-9231640f6b2b(JUnit)" />
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" />
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" />
<module ref="4c6a28d1-2c60-478d-b36e-db9b3cbb21fb(closures.runtime)" />
<module ref="9b80526e-f0bf-4992-bdf5-cee39c1833f3(collections.runtime)" />
<module ref="52b81ac7-93fd-4e9e-b972-4995882da6d4(jetbrains.mps.baseLanguage.references.runtime)" />
<module ref="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" />
<module ref="d936855b-48da-4812-a8a0-2bfddd633ac4(jetbrains.mps.lang.behavior.runtime)" />
<module ref="e55e6749-03cb-4ea7-9695-2322bab791c1(jetbrains.mps.lang.test.matcher)" />
<module ref="707c4fde-f79a-44b5-b3d7-b5cef8844ccf(jetbrains.mps.lang.test.runtime)" />
<module ref="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" />
</dependencies>
<classpath>
<entry path="." />
</classpath>
<sources jar="samples.fitch.demo-src.jar" descriptor="samples.fitch.demo.msd" />
</module>
</echoxml>
<jar destfile="${build.layout}/modules/samples.fitch.demo.jar" duplicate="preserve">
<fileset dir="${build.tmp}/java/out/samples.fitch.demo" />
<fileset dir="${basedir}/solutions/samples.fitch.demo/source_gen" includes="**/trace.info, **/exports, **/*.mps, **/checkpoints" />
<fileset dir="${build.tmp}/default/samples.fitch.demo.jar" />
</jar>
<copyModels todir="${build.tmp}/customProcessors/copyModels/solutions-samples.fitch.demo-models">
<fileset dir="${basedir}/solutions/samples.fitch.demo/models" includes="**/*.mps, **/*.metadata, **/*.history, **/*.mpsr, **/.model" />
</copyModels>
<jar destfile="${build.layout}/modules/samples.fitch.demo-src.jar" duplicate="preserve">
<fileset dir="${basedir}/solutions/samples.fitch.demo/source_gen">
<exclude name="**/trace.info" />
<exclude name="**/exports" />
<exclude name="**/checkpoints" />
<exclude name="**/*.mps" />
</fileset>
<zipfileset file="${basedir}/solutions/samples.fitch.demo/samples.fitch.demo.msd" prefix="module" />
<zipfileset dir="${build.tmp}/customProcessors/copyModels/solutions-samples.fitch.demo-models" prefix="module/models" />
</jar>
<echo file="${build.layout}/build.properties">mps.build.number=${mps.build.number}${line.separator}mps.date=${mps.date}${line.separator}mps.build.vcs.number=${mps.build.vcs.number}${line.separator}mps.teamcity.buildConfName=${mps.teamcity.buildConfName}${line.separator}mps.idea.platform.build.number=${mps.idea.platform.build.number}${line.separator}mps.mps.build.counter=${mps.mps.build.counter}${line.separator}mpsBootstrapCore.version=${mpsBootstrapCore.version}${line.separator}coderules.ci.build.num=${coderules.ci.build.num}</echo>
</target>
@ -48,6 +443,7 @@
<echo message="generating" />
<generate strictMode="true" parallelMode="true" parallelThreads="8" useInplaceTransform="false" hideWarnings="false" createStaticRefs="true" fork="true" skipUnmodifiedModels="${mps.generator.skipUnmodifiedModels}">
<plugin path="${artifacts.mps}/plugins/mps-core/META-INF/plugin.xml/../.." />
<plugin path="${artifacts.mps}/plugins/mps-testing" />
<library file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
@ -86,6 +482,7 @@
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.language-design.jar" />
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.templates.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.baseLanguage.lightweightdsl.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.access.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.actions.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.aspect.jar" />
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.behavior.jar" />
@ -133,10 +530,17 @@
<library file="${artifacts.mps}/lib/mps-openapi.jar" />
<library file="${artifacts.mps}/lib/mps-platform.jar" />
<library file="${artifacts.mps}/lib/mps-references.jar" />
<library file="${artifacts.mps}/lib/mps-stubs.jar" />
<library file="${artifacts.mps}/lib/mps-test.jar" />
<library file="${artifacts.mps}/lib/mps-tool.jar" />
<library file="${artifacts.mps}/lib/mps-tuples.jar" />
<library file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.editor.table.jar" />
<library file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.editor.table.runtime.jar" />
<library file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.migration.util.jar" />
<library file="${artifacts.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.jar" />
<library file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.jar" />
<library file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.matcher.jar" />
<library file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.runtime.jar" />
<chunk>
<module file="${basedir}/languages/samples.fitch/samples.fitch.mpl" />
<module file="${basedir}/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl" />
@ -166,10 +570,12 @@
<target name="classes" depends="compileJava, processResources" />
<target name="test" depends="classes" />
<target name="test" depends="classes, module-tests" />
<target name="check" depends="test" />
<target name="module-tests" depends="assemble, test.check" />
<target name="java.compile.samples.fitch" depends="fetchDependencies">
<mkdir dir="${basedir}/languages/samples.fitch/source_gen" />
<mkdir dir="${build.tmp}/java/out/samples.fitch" />
@ -202,15 +608,26 @@
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
<fileset file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.editor.table.runtime.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
@ -300,17 +717,31 @@
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="reactive-streams-1.0.0.final.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava-2.1.1.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava2-swing-0.2.1.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-runtime-1.2.30.jar" />
@ -396,17 +827,31 @@
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="reactive-streams-1.0.0.final.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava-2.1.1.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava2-swing-0.2.1.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-runtime-1.2.30.jar" />
@ -493,13 +938,30 @@
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="reactive-streams-1.0.0.final.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava-2.1.1.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava2-swing-0.2.1.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-runtime-1.2.30.jar" />
@ -552,18 +1014,232 @@
</javac>
</target>
<target name="java.compile.samples.fitch.demo">
<target name="java.compile.samples.fitch.demo" depends="java.compile.samples.fitch, java.compile.samples.fitch.firstOrderLogic, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
<mkdir dir="${basedir}/solutions/samples.fitch.demo/source_gen" />
<mkdir dir="${build.tmp}/java/out/samples.fitch.demo" />
<javac destdir="${build.tmp}/java/out/samples.fitch.demo" fork="true" encoding="utf8" includeantruntime="false" debug="true">
<compilerarg value="-Xlint:none" />
<src>
<path location="${basedir}/solutions/samples.fitch.demo/source_gen" />
<pathelement path="${basedir}/solutions/samples.fitch.demo/test_gen/" />
</src>
<classpath />
<classpath>
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
<pathelement path="${build.tmp}/java/out/samples.fitch" />
<pathelement path="${build.tmp}/java/out/samples.fitch.firstOrderLogic" />
<pathelement path="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
<fileset file="${artifacts.mps}/lib/mps-test.jar" />
<fileset file="${artifacts.mps}/lib/ant/lib/ant.jar" />
<fileset file="${artifacts.mps}/lib/hamcrest-core-1.3.jar" />
<fileset file="${artifacts.mps}/lib/junit-4.12.jar" />
<fileset file="${artifacts.mps}/lib/annotations.jar" />
<fileset file="${artifacts.mps}/lib/log4j.jar" />
<fileset file="${artifacts.mps}/lib/jdom.jar" />
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.classifiers.jar" />
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.jar" />
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.matcher.jar" />
<fileset file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.runtime.jar" />
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="reactive-streams-1.0.0.final.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava-2.1.1.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava2-swing-0.2.1.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-runtime-1.2.30.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-stdlib-1.2.30.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-api-0.9.2.jar" />
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-core-0.9.2.jar" />
</classpath>
</javac>
</target>
<target name="test.check" depends="assemble">
<path id="mps.libraries.path">
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.logic.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.logic.reactor.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.annotation.jar" />
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.blTypes.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.classifiers.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.javadoc.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jdk7.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jdk8.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.tuples.jar" />
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguageInternal.jar" />
<pathelement location="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.aspect.constraints.jar" />
<pathelement location="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.aspect.structure.jar" />
<pathelement location="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.aspect.typesystem.jar" />
<pathelement location="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.bootstrap-languages.jar" />
<pathelement location="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.general-purpose.jar" />
<pathelement location="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.language-descriptor.jar" />
<pathelement location="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.language-design.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.baseLanguage.lightweightdsl.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.access.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.actions.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.behavior.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.checkedName.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.editor.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.findUsages.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.generator.generationContext.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.generator.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.intentions.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.migration.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.migration.runtime.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.pattern.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.plugin.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.project.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.quotation.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.refactoring.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.resources.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.script.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.sharedConcepts.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.query.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.textGen.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.typesystem.jar" />
<pathelement location="${artifacts.mps}/languages/languageDesign/jetbrains.mps.refactoring.participant.jar" />
<pathelement location="${artifacts.mps}/lib/mps-behavior-api.jar" />
<pathelement location="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
<pathelement location="${artifacts.mps}/lib/mps-closures.jar" />
<pathelement location="${artifacts.mps}/lib/mps-collections.jar" />
<pathelement location="${artifacts.mps}/lib/mps-core.jar" />
<pathelement location="${artifacts.mps}/lib/mps-editor.jar" />
<pathelement location="${artifacts.mps}/lib/mps-environment.jar" />
<pathelement location="${artifacts.mps}/lib/mps-openapi.jar" />
<pathelement location="${artifacts.mps}/lib/mps-platform.jar" />
<pathelement location="${artifacts.mps}/lib/mps-references.jar" />
<pathelement location="${artifacts.mps}/lib/mps-stubs.jar" />
<pathelement location="${artifacts.mps}/lib/mps-test.jar" />
<pathelement location="${artifacts.mps}/lib/mps-tool.jar" />
<pathelement location="${artifacts.mps}/lib/mps-tuples.jar" />
<pathelement location="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.editor.table.runtime.jar" />
<pathelement location="${artifacts.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.jar" />
<pathelement location="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.jar" />
<pathelement location="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.matcher.jar" />
<pathelement location="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.runtime.jar" />
<pathelement location="${build.layout}/modules/samples.fitch.firstOrderLogic.jar" />
<pathelement location="${build.layout}/modules/samples.fitch.herbrandLogic.jar" />
<pathelement location="${build.layout}/modules/samples.fitch.jar" />
<pathelement location="${build.layout}/modules/samples.fitch.propositionalLogic.jar" />
</path>
<pathconvert pathsep="${path.separator}" property="mps.libraries.path.string" refid="mps.libraries.path" />
<path id="mps.plugins.path">
<pathelement location="${artifacts.mps}/plugins/mps-core/META-INF/plugin.xml/../.." />
<pathelement location="${artifacts.mps}/plugins/mps-testing" />
</path>
<pathconvert pathsep="${path.separator}" property="mps.plugins.path.string" refid="mps.plugins.path" />
<path location="${build.layout}/modules/samples.fitch.demo.jar" id="mps.tests.path" />
<pathconvert pathsep="${path.separator}" property="mps.tests.path.string" refid="mps.tests.path" />
<patternset id="plugin.deployed.jars">
<include name="lib/**/*.jar" />
<include name="languages/**/*.jar" />
<exclude name="**/*-src.jar" />
</patternset>
<path id="long.class.path">
<fileset dir="${artifacts.mps}/plugins/mps-core/META-INF/plugin.xml/../..">
<patternset refid="plugin.deployed.jars" />
</fileset>
<fileset dir="${artifacts.mps}/plugins/mps-testing">
<patternset refid="plugin.deployed.jars" />
</fileset>
<fileset dir="${artifacts.mps}/lib">
<include name="**/*.jar" />
</fileset>
<pathelement path="${jdk.home}/lib/tools.jar" />
</path>
<pathconvert pathsep=" " targetos="unix" property="manifest.classpath">
<path refid="long.class.path" />
<chainedmapper>
<filtermapper>
<replacestring from=" " to="%20" />
</filtermapper>
<globmapper from="*" to="file:///*" />
</chainedmapper>
</pathconvert>
<jar jarfile="${build.tmp}/mps.class.path.jar">
<manifest>
<attribute name="Class-Path" value="${manifest.classpath}" />
</manifest>
</jar>
<junit showoutput="true" fork="true" haltonfailure="false" dir="${basedir}">
<jvmarg value="-ea" />
<jvmarg value="-Xss2048k" />
<jvmarg value="-Xmx1024m" />
<jvmarg value="-XX:MaxPermSize=256m" />
<jvmarg value="-XX:+HeapDumpOnOutOfMemoryError" />
<classpath>
<fileset dir="${build.tmp}">
<include name="mps.class.path.jar" />
</fileset>
</classpath>
<env key="NO_FS_ROOTS_ACCESS_CHECK" value="true" />
<sysproperty key="plugin.path" value="${mps.plugins.path.string}" />
<sysproperty key="mps.libraries" value="${mps.libraries.path.string}" />
<sysproperty key="mps.test.modules" value="${mps.tests.path.string}" />
<test name="jetbrains.mps.testbench.junit.suites.AntModuleTestSuite" outfile="TEST-jetbrains.mps.testbench.junit.suites.AntModuleTestSuite-check" />
<formatter type="xml" />
</junit>
</target>
<target name="cleanSources">
<delete dir="${basedir}/languages/samples.fitch/source_gen" />
<delete dir="${basedir}/languages/samples.fitch/generator/source_gen" />
@ -574,5 +1250,6 @@
<delete dir="${basedir}/languages/samples.fitch.propositionalLogic/source_gen" />
<delete dir="${basedir}/languages/samples.fitch.propositionalLogic/generator/source_gen" />
<delete dir="${basedir}/solutions/samples.fitch.demo/source_gen" />
<delete dir="${basedir}/solutions/samples.fitch.demo/test_gen" />
</target>
</project>

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

@ -50,7 +50,9 @@
<sourcePath />
<dependencies>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
<dependency reexport="false">ddb01c98-e78e-4c79-b11a-aeba193668d4(samples.fitch.firstOrderLogic)</dependency>
<dependency reexport="false">4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)</dependency>
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
@ -96,15 +98,34 @@
<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="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
<module reference="fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures)" version="0" />
<module reference="83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="f4ad079d-bc71-4ffb-9600-9328705cf998(jetbrains.mps.lang.descriptor)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" version="0" />
<module reference="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" version="0" />
<module reference="35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
<module reference="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" version="0" />
<module reference="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)" version="0" />
<module reference="06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)" version="1" />
<module reference="ddb01c98-e78e-4c79-b11a-aeba193668d4(samples.fitch.firstOrderLogic)" version="0" />
<module reference="748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)" version="0" />
<module reference="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(samples.fitch.propositionalLogic)" version="0" />
</dependencyVersions>
<extendedLanguages>
<extendedLanguage>06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)</extendedLanguage>
<extendedLanguage>748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)</extendedLanguage>
</extendedLanguages>
</language>

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

@ -48,10 +48,11 @@
</generators>
<sourcePath />
<dependencies>
<dependency reexport="false">748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)</dependency>
<dependency reexport="false">daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)</dependency>
<dependency reexport="false">06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)</dependency>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
<dependency reexport="false">4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)</dependency>
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
@ -99,12 +100,28 @@
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
<module reference="fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures)" version="0" />
<module reference="83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)" version="0" />
<module reference="daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="f4ad079d-bc71-4ffb-9600-9328705cf998(jetbrains.mps.lang.descriptor)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" version="0" />
<module reference="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" version="0" />
<module reference="35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
<module reference="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" version="0" />
<module reference="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)" version="0" />
<module reference="06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)" version="1" />
<module reference="748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)" version="0" />
<module reference="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(samples.fitch.propositionalLogic)" version="0" />

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

@ -48,6 +48,9 @@
<sourcePath />
<dependencies>
<dependency reexport="false">daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)</dependency>
<dependency reexport="false">4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)</dependency>
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
@ -95,12 +98,28 @@
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
<module reference="fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures)" version="0" />
<module reference="83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)" version="0" />
<module reference="daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="f4ad079d-bc71-4ffb-9600-9328705cf998(jetbrains.mps.lang.descriptor)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" version="0" />
<module reference="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" version="0" />
<module reference="35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
<module reference="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" version="0" />
<module reference="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)" version="0" />
<module reference="06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)" version="1" />
<module reference="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(samples.fitch.propositionalLogic)" version="0" />
</dependencyVersions>

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

@ -47,9 +47,10 @@
<sourcePath />
<dependencies>
<dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)</dependency>
<dependency reexport="false">06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)</dependency>
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
<dependency reexport="false">2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)</dependency>
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
@ -101,13 +102,24 @@
<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="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
<module reference="fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures)" version="0" />
<module reference="83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="f4ad079d-bc71-4ffb-9600-9328705cf998(jetbrains.mps.lang.descriptor)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" version="0" />
<module reference="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" version="0" />
<module reference="35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
<module reference="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" version="0" />

183
samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps
View File

@ -15,6 +15,15 @@
<import index="zqd8" ref="r:4f157831-48e7-4c8f-a144-b5bbd1be1539(jetbrains.mps.typechecking.build)" />
</imports>
<registry>
<language id="3600cb0a-44dd-4a5b-9968-22924406419e" name="jetbrains.mps.build.mps.tests">
<concept id="4560297596904469357" name="jetbrains.mps.build.mps.tests.structure.BuildMpsLayout_TestModules" flags="nn" index="22LTRH">
<child id="4560297596904469360" name="modules" index="22LTRK" />
</concept>
<concept id="4560297596904469362" name="jetbrains.mps.build.mps.tests.structure.BuildMpsLayout_TestModule" flags="nn" index="22LTRM">
<reference id="4560297596904469363" name="module" index="22LTRN" />
</concept>
<concept id="4005526075820600484" name="jetbrains.mps.build.mps.tests.structure.BuildModuleTestsPlugin" flags="ng" index="1gjT0q" />
</language>
<language id="798100da-4f0a-421a-b991-71f8c50ce5d2" name="jetbrains.mps.build">
<concept id="5481553824944787378" name="jetbrains.mps.build.structure.BuildSourceProjectRelativePath" flags="ng" index="55IIr" />
<concept id="7321017245476976379" name="jetbrains.mps.build.structure.BuildRelativePath" flags="ng" index="iG8Mu">
@ -24,11 +33,18 @@
<reference id="5617550519002745380" name="script" index="1l3spb" />
<child id="4129895186893471026" name="artifacts" index="2JcizS" />
</concept>
<concept id="4380385936562003279" name="jetbrains.mps.build.structure.BuildString" flags="ng" index="NbPM2">
<child id="4903714810883783243" name="parts" index="3MwsjC" />
</concept>
<concept id="8618885170173601777" name="jetbrains.mps.build.structure.BuildCompositePath" flags="nn" index="2Ry0Ak">
<property id="8618885170173601779" name="head" index="2Ry0Am" />
<child id="8618885170173601778" name="tail" index="2Ry0An" />
</concept>
<concept id="6647099934206700647" name="jetbrains.mps.build.structure.BuildJavaPlugin" flags="ng" index="10PD9b" />
<concept id="7389400916848050060" name="jetbrains.mps.build.structure.BuildLayout_NamedContainer" flags="ng" index="3981dR">
<child id="4380385936562148502" name="containerName" index="Nbhlr" />
</concept>
<concept id="7389400916848036984" name="jetbrains.mps.build.structure.BuildLayout_Folder" flags="ng" index="398223" />
<concept id="7389400916848136194" name="jetbrains.mps.build.structure.BuildFolderMacro" flags="ng" index="398rNT">
<child id="7389400916848144618" name="defaultPath" index="398pKh" />
</concept>
@ -41,10 +57,18 @@
<child id="4796668409958418110" name="scriptsDir" index="auvoZ" />
<child id="6647099934206700656" name="plugins" index="10PD9s" />
<child id="7389400916848080626" name="parts" index="3989C9" />
<child id="3542413272732620719" name="aspects" index="1hWBAP" />
<child id="5617550519002745381" name="dependencies" index="1l3spa" />
<child id="5617550519002745378" name="macros" index="1l3spd" />
<child id="5617550519002745372" name="layout" index="1l3spN" />
</concept>
<concept id="4701820937132344003" name="jetbrains.mps.build.structure.BuildLayout_Container" flags="ng" index="1y1bJS">
<child id="7389400916848037006" name="children" index="39821P" />
</concept>
<concept id="841011766566059607" name="jetbrains.mps.build.structure.BuildStringNotEmpty" flags="ng" index="3_J27D" />
<concept id="4903714810883702019" name="jetbrains.mps.build.structure.BuildTextStringPart" flags="ng" index="3Mxwew">
<property id="4903714810883755350" name="text" index="3MwjfP" />
</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">
@ -55,20 +79,23 @@
<concept id="1500819558095907805" name="jetbrains.mps.build.mps.structure.BuildMps_Group" flags="ng" index="2G$12M">
<child id="1500819558095907806" name="modules" index="2G$12L" />
</concept>
<concept id="1265949165890536423" name="jetbrains.mps.build.mps.structure.BuildMpsLayout_ModuleJars" flags="ng" index="L2wRC">
<reference id="1265949165890536425" name="module" index="L2wRA" />
</concept>
<concept id="868032131020265945" name="jetbrains.mps.build.mps.structure.BuildMPSPlugin" flags="ng" index="3b7kt6" />
<concept id="5253498789149381388" name="jetbrains.mps.build.mps.structure.BuildMps_Module" flags="ng" index="3bQrTs">
<property id="1500819558096356884" name="doNotCompile" index="2GAjPV" />
<child id="5253498789149547704" name="dependencies" index="3bR37C" />
</concept>
<concept id="5253498789149585690" name="jetbrains.mps.build.mps.structure.BuildMps_ModuleDependencyOnModule" flags="ng" index="3bR9La">
<property id="5253498789149547713" name="reexport" index="3bR36h" />
<reference id="5253498789149547705" name="module" index="3bR37D" />
</concept>
<concept id="5507251971038816436" name="jetbrains.mps.build.mps.structure.BuildMps_Generator" flags="ng" index="1yeLz9" />
<concept id="4278635856200794926" name="jetbrains.mps.build.mps.structure.BuildMps_ModuleDependencyExtendLanguage" flags="ng" index="1Busua">
<reference id="4278635856200794928" name="language" index="1Busuk" />
</concept>
<concept id="3189788309731840247" name="jetbrains.mps.build.mps.structure.BuildMps_Solution" flags="ng" index="1E1JtA" />
<concept id="3189788309731840247" name="jetbrains.mps.build.mps.structure.BuildMps_Solution" flags="ng" index="1E1JtA">
<property id="269707337715731330" name="sourcesKind" index="aoJFB" />
</concept>
<concept id="3189788309731840248" name="jetbrains.mps.build.mps.structure.BuildMps_Language" flags="ng" index="1E1JtD">
<child id="9200313594498201639" name="generator" index="1TViLv" />
</concept>
@ -91,7 +118,6 @@
<property role="BnDLt" value="true" />
<property role="TrG5h" value="samples.fitch" />
<property role="3LESm3" value="06b7c5c7-e359-4f4b-a581-5d0c9323af39" />
<property role="2GAjPV" value="false" />
<node concept="55IIr" id="4$bYnYI$UR_" role="3LF7KH">
<node concept="2Ry0Ak" id="4$bYnYI$URF" role="iGT6I">
<property role="2Ry0Am" value="languages" />
@ -105,31 +131,31 @@
</node>
<node concept="1SiIV0" id="4$bYnYI$URR" role="3bR37C">
<node concept="3bR9La" id="4$bYnYI$URS" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="zqd8:65DJywFj0Fi" resolve="jetbrains.mps.typechecking" />
</node>
</node>
<node concept="1yeLz9" id="4$bYnYI$URT" role="1TViLv">
<property role="TrG5h" value="samples.fitch#4322786184247805322" />
<property role="3LESm3" value="65b2d9d2-5a92-4dd0-abf5-f3a1bd399bec" />
<property role="2GAjPV" value="false" />
</node>
<node concept="1SiIV0" id="5p9vXslHrSF" role="3bR37C">
<node concept="3bR9La" id="5p9vXslHrSG" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:mXGwHwhVPj" resolve="JDK" />
</node>
</node>
<node concept="1SiIV0" id="5p9vXslHrSH" role="3bR37C">
<node concept="3bR9La" id="5p9vXslHrSI" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:7Kfy9QB6LfQ" resolve="jetbrains.mps.kernel" />
</node>
</node>
<node concept="1SiIV0" id="5p9vXslHrSJ" role="3bR37C">
<node concept="3bR9La" id="5p9vXslHrSK" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" node="4$bYnYI$URy" resolve="samples.fitch" />
<node concept="1SiIV0" id="2Bpms61P1HA" role="3bR37C">
<node concept="3bR9La" id="2Bpms61P1HB" role="1SiIV1">
<ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61Pcok" role="3bR37C">
<node concept="3bR9La" id="2Bpms61Pcol" role="1SiIV1">
<ref role="3bR37D" to="zqd8:NKt6ynvPIP" resolve="jetbrains.mps.lang.typechecking" />
</node>
</node>
</node>
@ -137,7 +163,6 @@
<property role="BnDLt" value="true" />
<property role="TrG5h" value="samples.fitch.propositionalLogic" />
<property role="3LESm3" value="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6" />
<property role="2GAjPV" value="false" />
<node concept="55IIr" id="4$bYnYI$UVn" role="3LF7KH">
<node concept="2Ry0Ak" id="4$bYnYI$UVo" role="iGT6I">
<property role="2Ry0Am" value="languages" />
@ -152,11 +177,9 @@
<node concept="1yeLz9" id="4$bYnYI$UVr" role="1TViLv">
<property role="TrG5h" value="samples.fitch.propositionalLogic#5505606474790531941" />
<property role="3LESm3" value="53b8ab24-cc4a-4fe2-b461-11a91d798670" />
<property role="2GAjPV" value="false" />
</node>
<node concept="1SiIV0" id="4$bYnYI$UVu" role="3bR37C">
<node concept="3bR9La" id="4$bYnYI$UVv" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:1YAozCvot2i" resolve="jetbrains.mps.baseLanguage.regexp" />
</node>
</node>
@ -165,12 +188,26 @@
<ref role="1Busuk" node="4$bYnYI$URy" resolve="samples.fitch" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61QXYW" role="3bR37C">
<node concept="3bR9La" id="2Bpms61QXYX" role="1SiIV1">
<ref role="3bR37D" to="zqd8:NKt6ynvPIP" resolve="jetbrains.mps.lang.typechecking" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61Tj7o" role="3bR37C">
<node concept="3bR9La" id="2Bpms61Tj7p" role="1SiIV1">
<ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61Tj7q" role="3bR37C">
<node concept="3bR9La" id="2Bpms61Tj7r" role="1SiIV1">
<ref role="3bR37D" to="zqd8:65DJywFj0Fi" resolve="jetbrains.mps.typechecking" />
</node>
</node>
</node>
<node concept="1E1JtD" id="4$bYnYI$UTN" role="2G$12L">
<property role="BnDLt" value="true" />
<property role="TrG5h" value="samples.fitch.herbrandLogic" />
<property role="3LESm3" value="748b3ba1-2791-4ee8-b985-a5598baa7112" />
<property role="2GAjPV" value="false" />
<node concept="55IIr" id="4$bYnYI$UTO" role="3LF7KH">
<node concept="2Ry0Ak" id="4$bYnYI$UTP" role="iGT6I">
<property role="2Ry0Am" value="languages" />
@ -185,43 +222,42 @@
<node concept="1yeLz9" id="4$bYnYI$UTS" role="1TViLv">
<property role="TrG5h" value="samples.fitch.herbrandLogic#3059457401298723545" />
<property role="3LESm3" value="8efed383-9c82-409e-81c8-4bd2a012c164" />
<property role="2GAjPV" value="false" />
</node>
<node concept="1SiIV0" id="4$bYnYI$UTT" role="3bR37C">
<node concept="3bR9La" id="4$bYnYI$UTU" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:7Kfy9QB6KXW" resolve="jetbrains.mps.lang.core" />
</node>
</node>
<node concept="1SiIV0" id="4$bYnYI$UUX" role="3bR37C">
<node concept="3bR9La" id="4$bYnYI$UUY" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:1YAozCvot2i" resolve="jetbrains.mps.baseLanguage.regexp" />
</node>
</node>
<node concept="1SiIV0" id="4$bYnYI$UUZ" role="3bR37C">
<node concept="3bR9La" id="4$bYnYI$UV0" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" node="4$bYnYI$URy" resolve="samples.fitch" />
</node>
</node>
<node concept="1SiIV0" id="4$bYnYI$V36" role="3bR37C">
<node concept="3bR9La" id="4$bYnYI$V37" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" node="4$bYnYI$UTN" resolve="samples.fitch.herbrandLogic" />
</node>
</node>
<node concept="1SiIV0" id="58VeaO3B65o" role="3bR37C">
<node concept="1Busua" id="58VeaO3B65p" role="1SiIV1">
<ref role="1Busuk" node="4$bYnYI$UVm" resolve="samples.fitch.propositionalLogic" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61QXYY" role="3bR37C">
<node concept="3bR9La" id="2Bpms61QXYZ" role="1SiIV1">
<ref role="3bR37D" to="zqd8:NKt6ynvPIP" resolve="jetbrains.mps.lang.typechecking" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61Tthh" role="3bR37C">
<node concept="3bR9La" id="2Bpms61Tthi" role="1SiIV1">
<ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61TBri" role="3bR37C">
<node concept="3bR9La" id="2Bpms61TBrj" role="1SiIV1">
<ref role="3bR37D" to="zqd8:65DJywFj0Fi" resolve="jetbrains.mps.typechecking" />
</node>
</node>
</node>
<node concept="1E1JtD" id="4$bYnYI$USZ" role="2G$12L">
<property role="BnDLt" value="true" />
<property role="TrG5h" value="samples.fitch.firstOrderLogic" />
<property role="3LESm3" value="ddb01c98-e78e-4c79-b11a-aeba193668d4" />
<property role="2GAjPV" value="false" />
<node concept="55IIr" id="4$bYnYI$UT0" role="3LF7KH">
<node concept="2Ry0Ak" id="4$bYnYI$UT1" role="iGT6I">
<property role="2Ry0Am" value="languages" />
@ -236,16 +272,9 @@
<node concept="1yeLz9" id="4$bYnYI$UT6" role="1TViLv">
<property role="TrG5h" value="samples.fitch.firstOrderLogic#4035326440039985569" />
<property role="3LESm3" value="467b3222-f5a8-48be-9fe1-6c009ed73049" />
<property role="2GAjPV" value="false" />
</node>
<node concept="1SiIV0" id="4$bYnYI$UUM" role="3bR37C">
<node concept="1Busua" id="4$bYnYI$UUN" role="1SiIV1">
<ref role="1Busuk" node="4$bYnYI$URy" resolve="samples.fitch" />
</node>
</node>
<node concept="1SiIV0" id="58VeaO3B64d" role="3bR37C">
<node concept="3bR9La" id="58VeaO3B64e" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:7Kfy9QB6KXW" resolve="jetbrains.mps.lang.core" />
</node>
</node>
@ -254,10 +283,19 @@
<ref role="1Busuk" node="4$bYnYI$UTN" resolve="samples.fitch.herbrandLogic" />
</node>
</node>
<node concept="1SiIV0" id="58VeaO3B65z" role="3bR37C">
<node concept="3bR9La" id="58VeaO3B65$" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" node="4$bYnYI$USZ" resolve="samples.fitch.firstOrderLogic" />
<node concept="1SiIV0" id="2Bpms61QXZ0" role="3bR37C">
<node concept="3bR9La" id="2Bpms61QXZ1" role="1SiIV1">
<ref role="3bR37D" to="zqd8:NKt6ynvPIP" resolve="jetbrains.mps.lang.typechecking" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61Tthj" role="3bR37C">
<node concept="3bR9La" id="2Bpms61Tthk" role="1SiIV1">
<ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
</node>
</node>
<node concept="1SiIV0" id="2Bpms61TLDp" role="3bR37C">
<node concept="3bR9La" id="2Bpms61TLDq" role="1SiIV1">
<ref role="3bR37D" to="zqd8:65DJywFj0Fi" resolve="jetbrains.mps.typechecking" />
</node>
</node>
</node>
@ -265,7 +303,7 @@
<property role="BnDLt" value="true" />
<property role="TrG5h" value="samples.fitch.demo" />
<property role="3LESm3" value="86925f4e-7856-4553-a261-c86fbf09bb52" />
<property role="2GAjPV" value="false" />
<property role="aoJFB" value="sources and tests" />
<node concept="55IIr" id="4$bYnYI$ZFO" role="3LF7KH">
<node concept="2Ry0Ak" id="4$bYnYI$ZGE" role="iGT6I">
<property role="2Ry0Am" value="solutions" />
@ -277,12 +315,61 @@
</node>
</node>
</node>
<node concept="1SiIV0" id="5RH_cL_a8yW" role="3bR37C">
<node concept="3bR9La" id="5RH_cL_a8yX" role="1SiIV1">
<ref role="3bR37D" node="4$bYnYI$UVm" resolve="samples.fitch.propositionalLogic" />
</node>
</node>
<node concept="1SiIV0" id="5RH_cL_a8yY" role="3bR37C">
<node concept="3bR9La" id="5RH_cL_a8yZ" role="1SiIV1">
<ref role="3bR37D" to="ffeo:1TaHNgiIbIQ" resolve="MPS.Core" />
</node>
</node>
<node concept="1SiIV0" id="5RH_cL_a8z0" role="3bR37C">
<node concept="3bR9La" id="5RH_cL_a8z1" role="1SiIV1">
<ref role="3bR37D" node="4$bYnYI$USZ" resolve="samples.fitch.firstOrderLogic" />
</node>
</node>
<node concept="1SiIV0" id="5RH_cL_a8z2" role="3bR37C">
<node concept="3bR9La" id="5RH_cL_a8z3" role="1SiIV1">
<ref role="3bR37D" node="4$bYnYI$UTN" resolve="samples.fitch.herbrandLogic" />
</node>
</node>
<node concept="1SiIV0" id="5RH_cL_a8z4" role="3bR37C">
<node concept="3bR9La" id="5RH_cL_a8z5" role="1SiIV1">
<ref role="3bR37D" to="zqd8:65DJywFj0Fi" resolve="jetbrains.mps.typechecking" />
</node>
</node>
</node>
</node>
<node concept="55IIr" id="4$bYnYI$RBX" role="auvoZ" />
<node concept="1l3spV" id="4$bYnYI$RBY" role="1l3spN" />
<node concept="1l3spV" id="4$bYnYI$RBY" role="1l3spN">
<node concept="398223" id="5RH_cL_bDA6" role="39821P">
<node concept="3_J27D" id="5RH_cL_bDA7" role="Nbhlr">
<node concept="3Mxwew" id="5RH_cL_bDAa" role="3MwsjC">
<property role="3MwjfP" value="modules" />
</node>
</node>
<node concept="L2wRC" id="5RH_cL_bDAc" role="39821P">
<ref role="L2wRA" node="4$bYnYI$URy" resolve="samples.fitch" />
</node>
<node concept="L2wRC" id="5RH_cL_bDAh" role="39821P">
<ref role="L2wRA" node="4$bYnYI$USZ" resolve="samples.fitch.firstOrderLogic" />
</node>
<node concept="L2wRC" id="5RH_cL_bDAl" role="39821P">
<ref role="L2wRA" node="4$bYnYI$UTN" resolve="samples.fitch.herbrandLogic" />
</node>
<node concept="L2wRC" id="5RH_cL_bDAq" role="39821P">
<ref role="L2wRA" node="4$bYnYI$UVm" resolve="samples.fitch.propositionalLogic" />
</node>
<node concept="L2wRC" id="5RH_cL_bDAe" role="39821P">
<ref role="L2wRA" node="4$bYnYI$ZFL" resolve="samples.fitch.demo" />
</node>
</node>
</node>
<node concept="3b7kt6" id="4$bYnYI$RBZ" role="10PD9s" />
<node concept="10PD9b" id="4$bYnYI$RC4" role="10PD9s" />
<node concept="1gjT0q" id="5RH_cL_bDnc" role="10PD9s" />
<node concept="398rNT" id="4$bYnYI$RCy" role="1l3spd">
<property role="TrG5h" value="coderules_art" />
<node concept="55IIr" id="4$bYnYI$RCE" role="398pKh">
@ -329,6 +416,12 @@
<ref role="398BVh" node="4$bYnYI$RCy" resolve="coderules_art" />
</node>
</node>
<node concept="22LTRH" id="5RH_cL_bDnh" role="1hWBAP">
<property role="TrG5h" value="check" />
<node concept="22LTRM" id="5RH_cL_bDnl" role="22LTRK">
<ref role="22LTRN" node="4$bYnYI$ZFL" resolve="samples.fitch.demo" />
</node>
</node>
</node>
</model>

305
samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps Normal file
View File

@ -0,0 +1,305 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:d41e6e4e-dc07-45a8-bf02-65bd041c2454(samples.fitch.demo.firstOrderLogic@tests)">
<persistence version="9" />
<languages>
<use id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test" version="2" />
<use id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest" version="1" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="13" />
<use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="0" />
</languages>
<imports>
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
<import index="yhz9" ref="r:72b177ed-1924-4265-b8f3-64e062fd2eed(samples.fitch.firstOrderLogic.structure)" />
<import index="ious" ref="r:2deee13f-4a3d-4229-ad45-9e5b85327419(samples.fitch.demo.firstOrderLogic)" />
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" implicit="true" />
</imports>
<registry>
<language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
<concept id="5097124989038916362" name="jetbrains.mps.lang.test.structure.TestInfo" flags="ng" index="2XOHcx">
<property id="5097124989038916363" name="projectPath" index="2XOHcw" />
</concept>
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
<child id="1216993439383" name="methods" index="1qtyYc" />
<child id="1217501895093" name="testMethods" index="1SL9yI" />
</concept>
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
</language>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
<child id="1068498886297" name="rValue" index="37vLTx" />
<child id="1068498886295" name="lValue" index="37vLTJ" />
</concept>
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</concept>
<concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
<reference id="1144433194310" name="classConcept" index="1Pybhc" />
</concept>
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept>
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
<child id="1068580123133" name="returnType" index="3clF45" />
<child id="1068580123134" name="parameter" index="3clF46" />
<child id="1068580123135" name="body" index="3clF47" />
</concept>
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
<child id="1068580123156" name="expression" index="3clFbG" />
</concept>
<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" />
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
</concept>
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
<concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
</language>
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
<concept id="8974276187400348170" name="jetbrains.mps.lang.access.structure.BaseExecuteCommandStatement" flags="nn" index="1QHqEJ">
<child id="1423104411234567454" name="repo" index="ukAjM" />
<child id="8974276187400348171" name="commandClosureLiteral" index="1QHqEI" />
</concept>
<concept id="8974276187400348181" name="jetbrains.mps.lang.access.structure.ExecuteLightweightCommandStatement" flags="nn" index="1QHqEK" />
</language>
<language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
<concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
<child id="1199569916463" name="body" index="1bW5cS" />
</concept>
</language>
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
<reference id="1205756909548" name="member" index="2WH_rO" />
</concept>
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
</concept>
</language>
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
<reference id="7256306938026143658" name="target" index="2aWVGs" />
</concept>
</language>
<language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
<concept id="7080278351417106679" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertIsNotNull" flags="nn" index="2Hmddi">
<child id="7080278351417106681" name="expression" index="2Hmdds" />
</concept>
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
</concept>
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
<child id="7400021826774799510" name="ref" index="2tJFKM" />
</concept>
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
</concept>
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
</concept>
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" />
</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">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="2XOHcx" id="2dF51l1ebl4">
<property role="2XOHcw" value="${fitch_home}" />
</node>
<node concept="1lH9Xt" id="5RH_cL_9FQL">
<property role="TrG5h" value="Check" />
<node concept="1LZb2c" id="5s5QomKHHK1" role="1SL9yI">
<property role="TrG5h" value="Test1" />
<node concept="3cqZAl" id="5s5QomKHHK2" role="3clF45" />
<node concept="3clFbS" id="5s5QomKHHK6" role="3clF47">
<node concept="2Hmddi" id="4BHjwwGPNaW" role="3cqZAp">
<node concept="2YIFZM" id="4BHjwwGPNe3" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="35YJGAJT$tF" role="37wK5m">
<node concept="2WthIp" id="35YJGAJT$tI" role="2Oq$k0" />
<node concept="2XshWL" id="35YJGAJT$tK" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="6EwjVjWuYwA" role="2XxRq1">
<node concept="ZC_QK" id="5RH_cL_9G1s" role="2tJFKM">
<ref role="2aWVGs" to="ious:3w0n0hzkQZ9" resolve="Test1" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="4BHjwwGPNe5" role="37wK5m" />
<node concept="3clFbT" id="6EwjVjWv9xk" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="5RH_cL_9G1v" role="1SL9yI">
<property role="TrG5h" value="Test2" />
<node concept="3cqZAl" id="5RH_cL_9G1w" role="3clF45" />
<node concept="3clFbS" id="5RH_cL_9G1x" role="3clF47">
<node concept="2Hmddi" id="5RH_cL_9G1y" role="3cqZAp">
<node concept="2YIFZM" id="5RH_cL_9G1z" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="5RH_cL_9G1$" role="37wK5m">
<node concept="2WthIp" id="5RH_cL_9G1_" role="2Oq$k0" />
<node concept="2XshWL" id="5RH_cL_9G1A" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="5RH_cL_9G1B" role="2XxRq1">
<node concept="ZC_QK" id="5RH_cL_9G23" role="2tJFKM">
<ref role="2aWVGs" to="ious:3w0n0hznGEq" resolve="Test2" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="5RH_cL_9G1D" role="37wK5m" />
<node concept="3clFbT" id="5RH_cL_9G1E" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="5RH_cL_9G26" role="1SL9yI">
<property role="TrG5h" value="Test3" />
<node concept="3cqZAl" id="5RH_cL_9G27" role="3clF45" />
<node concept="3clFbS" id="5RH_cL_9G28" role="3clF47">
<node concept="2Hmddi" id="5RH_cL_9G29" role="3cqZAp">
<node concept="2YIFZM" id="5RH_cL_9G2a" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="5RH_cL_9G2b" role="37wK5m">
<node concept="2WthIp" id="5RH_cL_9G2c" role="2Oq$k0" />
<node concept="2XshWL" id="5RH_cL_9G2d" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="5RH_cL_9G2e" role="2XxRq1">
<node concept="ZC_QK" id="5RH_cL_9G2Q" role="2tJFKM">
<ref role="2aWVGs" to="ious:3w0n0hznGIK" resolve="Test3" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="5RH_cL_9G2g" role="37wK5m" />
<node concept="3clFbT" id="5RH_cL_9G2h" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="5RH_cL_9G2T" role="1SL9yI">
<property role="TrG5h" value="Test4" />
<node concept="3cqZAl" id="5RH_cL_9G2U" role="3clF45" />
<node concept="3clFbS" id="5RH_cL_9G2V" role="3clF47">
<node concept="2Hmddi" id="5RH_cL_9G2W" role="3cqZAp">
<node concept="2YIFZM" id="5RH_cL_9G2X" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="5RH_cL_9G2Y" role="37wK5m">
<node concept="2WthIp" id="5RH_cL_9G2Z" role="2Oq$k0" />
<node concept="2XshWL" id="5RH_cL_9G30" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="5RH_cL_9G31" role="2XxRq1">
<node concept="ZC_QK" id="5RH_cL_9G3P" role="2tJFKM">
<ref role="2aWVGs" to="ious:3w0n0hznGNm" resolve="Test4" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="5RH_cL_9G33" role="37wK5m" />
<node concept="3clFbT" id="5RH_cL_9G34" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
<property role="TrG5h" value="resolve" />
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
<property role="TrG5h" value="ref" />
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
</node>
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
<ref role="ehGHo" to="yhz9:3w0n0hzkN6G" resolve="FirstOrderProof" />
</node>
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
<property role="TrG5h" value="cls" />
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
<ref role="ehGHo" to="yhz9:3w0n0hzkN6G" resolve="FirstOrderProof" />
</node>
</node>
</node>
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
<node concept="chp4Y" id="5RH_cL_9G1a" role="3oSUPX">
<ref role="cht4Q" to="yhz9:3w0n0hzkN6G" resolve="FirstOrderProof" />
</node>
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
</node>
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
</node>
</node>
</node>
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
</node>
</node>
</model>

230
samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps Normal file
View File

@ -0,0 +1,230 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:561d5575-77bb-481e-a4fe-d899693312ea(samples.fitch.demo.herbrandLogic@tests)">
<persistence version="9" />
<languages>
<use id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test" version="2" />
<use id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest" version="1" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="13" />
<use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="0" />
</languages>
<imports>
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
<import index="bw37" ref="r:faa478da-573c-4c9e-99e4-b87297289505(samples.fitch.herbrandLogic.structure)" />
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
<import index="fr15" ref="r:8762d21a-5bfe-45a2-8a7c-66fa5147f3db(samples.fitch.demo.herbrandLogic)" />
</imports>
<registry>
<language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
<concept id="5097124989038916362" name="jetbrains.mps.lang.test.structure.TestInfo" flags="ng" index="2XOHcx">
<property id="5097124989038916363" name="projectPath" index="2XOHcw" />
</concept>
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
<child id="1216993439383" name="methods" index="1qtyYc" />
<child id="1217501895093" name="testMethods" index="1SL9yI" />
</concept>
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
</language>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
<child id="1068498886297" name="rValue" index="37vLTx" />
<child id="1068498886295" name="lValue" index="37vLTJ" />
</concept>
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</concept>
<concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
<reference id="1144433194310" name="classConcept" index="1Pybhc" />
</concept>
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept>
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
<child id="1068580123133" name="returnType" index="3clF45" />
<child id="1068580123134" name="parameter" index="3clF46" />
<child id="1068580123135" name="body" index="3clF47" />
</concept>
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
<child id="1068580123156" name="expression" index="3clFbG" />
</concept>
<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" />
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
</concept>
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
<concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
</language>
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
<concept id="8974276187400348170" name="jetbrains.mps.lang.access.structure.BaseExecuteCommandStatement" flags="nn" index="1QHqEJ">
<child id="1423104411234567454" name="repo" index="ukAjM" />
<child id="8974276187400348171" name="commandClosureLiteral" index="1QHqEI" />
</concept>
<concept id="8974276187400348181" name="jetbrains.mps.lang.access.structure.ExecuteLightweightCommandStatement" flags="nn" index="1QHqEK" />
</language>
<language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
<concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
<child id="1199569916463" name="body" index="1bW5cS" />
</concept>
</language>
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
<reference id="1205756909548" name="member" index="2WH_rO" />
</concept>
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
</concept>
</language>
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
<reference id="7256306938026143658" name="target" index="2aWVGs" />
</concept>
</language>
<language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
<concept id="7080278351417106679" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertIsNotNull" flags="nn" index="2Hmddi">
<child id="7080278351417106681" name="expression" index="2Hmdds" />
</concept>
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
</concept>
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
<child id="7400021826774799510" name="ref" index="2tJFKM" />
</concept>
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
</concept>
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
</concept>
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" />
</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">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1lH9Xt" id="5RH_cL_9FJF">
<property role="TrG5h" value="Check" />
<node concept="1LZb2c" id="5s5QomKHHK1" role="1SL9yI">
<property role="TrG5h" value="Example" />
<node concept="3cqZAl" id="5s5QomKHHK2" role="3clF45" />
<node concept="3clFbS" id="5s5QomKHHK6" role="3clF47">
<node concept="2Hmddi" id="4BHjwwGPNaW" role="3cqZAp">
<node concept="2YIFZM" id="4BHjwwGPNe3" role="2Hmdds">
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<node concept="2OqwBi" id="35YJGAJT$tF" role="37wK5m">
<node concept="2WthIp" id="35YJGAJT$tI" role="2Oq$k0" />
<node concept="2XshWL" id="35YJGAJT$tK" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="6EwjVjWuYwA" role="2XxRq1">
<node concept="ZC_QK" id="5RH_cL_9FKw" role="2tJFKM">
<ref role="2aWVGs" to="fr15:3w0n0hzkMd2" resolve="Example" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="4BHjwwGPNe5" role="37wK5m" />
<node concept="3clFbT" id="6EwjVjWv9xk" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
<property role="TrG5h" value="resolve" />
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
<property role="TrG5h" value="ref" />
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
</node>
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
<ref role="ehGHo" to="bw37:3w0n0hzg5do" resolve="HerbrandProof" />
</node>
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
<property role="TrG5h" value="cls" />
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
<ref role="ehGHo" to="bw37:3w0n0hzg5do" resolve="HerbrandProof" />
</node>
</node>
</node>
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
<node concept="chp4Y" id="5RH_cL_9FK8" role="3oSUPX">
<ref role="cht4Q" to="bw37:3w0n0hzg5do" resolve="HerbrandProof" />
</node>
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
</node>
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
</node>
</node>
</node>
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
</node>
</node>
<node concept="2XOHcx" id="2dF51l1ebl4">
<property role="2XOHcw" value="${fitch_home}" />
</node>
</model>

2
samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic.mps
View File

@ -1657,7 +1657,7 @@
</node>
</node>
<node concept="2jWLFD" id="4wvktoXPt_r" role="2jWMFt">
<property role="TrG5h" value="a" />
<property role="TrG5h" value="z" />
</node>
</node>
</node>

505
samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps Normal file
View File

@ -0,0 +1,505 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:bbd46661-951f-4ac0-98b0-8d5304512807(samples.fitch.demo.propositionalLogic@tests)">
<persistence version="9" />
<languages>
<use id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test" version="2" />
<use id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest" version="1" />
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="13" />
<use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="0" />
</languages>
<imports>
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
<import index="ctog" ref="r:ff7f5a29-d9b8-40f0-b446-35696305dff0(samples.fitch.demo.propositionalLogic)" />
<import index="27wh" ref="r:459ba7ac-2a61-40fc-bcc4-f13a7956cbeb(samples.fitch.propositionalLogic.structure)" />
</imports>
<registry>
<language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
<concept id="5097124989038916362" name="jetbrains.mps.lang.test.structure.TestInfo" flags="ng" index="2XOHcx">
<property id="5097124989038916363" name="projectPath" index="2XOHcw" />
</concept>
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
<child id="1216993439383" name="methods" index="1qtyYc" />
<child id="1217501895093" name="testMethods" index="1SL9yI" />
</concept>
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
</language>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
<child id="1068498886297" name="rValue" index="37vLTx" />
<child id="1068498886295" name="lValue" index="37vLTJ" />
</concept>
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</concept>
<concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
<reference id="1144433194310" name="classConcept" index="1Pybhc" />
</concept>
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept>
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
<child id="1068580123133" name="returnType" index="3clF45" />
<child id="1068580123134" name="parameter" index="3clF46" />
<child id="1068580123135" name="body" index="3clF47" />
</concept>
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
<child id="1068580123156" name="expression" index="3clFbG" />
</concept>
<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" />
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
</concept>
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
<concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
</language>
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
<concept id="8974276187400348170" name="jetbrains.mps.lang.access.structure.BaseExecuteCommandStatement" flags="nn" index="1QHqEJ">
<child id="1423104411234567454" name="repo" index="ukAjM" />
<child id="8974276187400348171" name="commandClosureLiteral" index="1QHqEI" />
</concept>
<concept id="8974276187400348181" name="jetbrains.mps.lang.access.structure.ExecuteLightweightCommandStatement" flags="nn" index="1QHqEK" />
</language>
<language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
<concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
<child id="1199569916463" name="body" index="1bW5cS" />
</concept>
</language>
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
<reference id="1205756909548" name="member" index="2WH_rO" />
</concept>
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
</concept>
</language>
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
<reference id="7256306938026143658" name="target" index="2aWVGs" />
</concept>
</language>
<language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
<concept id="7080278351417106679" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertIsNotNull" flags="nn" index="2Hmddi">
<child id="7080278351417106681" name="expression" index="2Hmdds" />
</concept>
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
</concept>
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
<child id="7400021826774799510" name="ref" index="2tJFKM" />
</concept>
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
</concept>
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
</concept>
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" />
</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">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1lH9Xt" id="2dF51l1ebh3">
<property role="TrG5h" value="Check" />
<node concept="1LZb2c" id="5s5QomKHHK1" role="1SL9yI">
<property role="TrG5h" value="Contrapositive" />
<node concept="3cqZAl" id="5s5QomKHHK2" role="3clF45" />
<node concept="3clFbS" id="5s5QomKHHK6" role="3clF47">
<node concept="2Hmddi" id="4BHjwwGPNaW" role="3cqZAp">
<node concept="2YIFZM" id="4BHjwwGPNe3" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="35YJGAJT$tF" role="37wK5m">
<node concept="2WthIp" id="35YJGAJT$tI" role="2Oq$k0" />
<node concept="2XshWL" id="35YJGAJT$tK" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="6EwjVjWuYwA" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebnO" role="2tJFKM">
<ref role="2aWVGs" to="ctog:2AfSc6Jv$28" resolve="Contrapositive" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="4BHjwwGPNe5" role="37wK5m" />
<node concept="3clFbT" id="6EwjVjWv9xk" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebng" role="1SL9yI">
<property role="TrG5h" value="Foo" />
<node concept="3cqZAl" id="2dF51l1ebnh" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebni" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebnj" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebnk" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebnl" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebnm" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebnn" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebno" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebnR" role="2tJFKM">
<ref role="2aWVGs" to="ctog:4wvktoXPtyv" resolve="Foo" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebnq" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebnr" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebnU" role="1SL9yI">
<property role="TrG5h" value="Implication" />
<node concept="3cqZAl" id="2dF51l1ebnV" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebnW" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebnX" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebnY" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebnZ" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebo0" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebo1" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebo2" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1eboE" role="2tJFKM">
<ref role="2aWVGs" to="ctog:5jVx7S230hl" resolve="Implication" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebo4" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebo5" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1eboH" role="1SL9yI">
<property role="TrG5h" value="Nonsense" />
<node concept="3cqZAl" id="2dF51l1eboI" role="3clF45" />
<node concept="3clFbS" id="2dF51l1eboJ" role="3clF47">
<node concept="2Hmddi" id="2dF51l1eboK" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1eboL" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1eboM" role="37wK5m">
<node concept="2WthIp" id="2dF51l1eboN" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1eboO" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1eboP" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebpD" role="2tJFKM">
<ref role="2aWVGs" to="ctog:3l440nVt5$e" resolve="Nonsense" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1eboR" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1eboS" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebpG" role="1SL9yI">
<property role="TrG5h" value="Sample" />
<node concept="3cqZAl" id="2dF51l1ebpH" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebpI" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebpJ" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebpK" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebpL" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebpM" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebpN" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebpO" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebBT" role="2tJFKM">
<ref role="2aWVGs" to="ctog:5A8qZLXfUvB" resolve="Sample" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebpQ" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebpR" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebBW" role="1SL9yI">
<property role="TrG5h" value="Tautology" />
<node concept="3cqZAl" id="2dF51l1ebBX" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebBY" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebBZ" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebC0" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebC1" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebC2" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebC3" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebC4" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebDg" role="2tJFKM">
<ref role="2aWVGs" to="ctog:3JXBM6C4h$e" resolve="Tautology" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebC6" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebC7" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebDj" role="1SL9yI">
<property role="TrG5h" value="Test1" />
<node concept="3cqZAl" id="2dF51l1ebDk" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebDl" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebDm" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebDn" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebDo" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebDp" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebDq" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebDr" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebEN" role="2tJFKM">
<ref role="2aWVGs" to="ctog:2AfSc6Jv_cR" resolve="Test1" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebDt" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebDu" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebEQ" role="1SL9yI">
<property role="TrG5h" value="Test2" />
<node concept="3cqZAl" id="2dF51l1ebER" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebES" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebET" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebEU" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebEV" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebEW" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebEX" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebEY" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebGy" role="2tJFKM">
<ref role="2aWVGs" to="ctog:2AfSc6Jw7pl" resolve="Test2" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebF0" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebF1" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebG_" role="1SL9yI">
<property role="TrG5h" value="Test3" />
<node concept="3cqZAl" id="2dF51l1ebGA" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebGB" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebGC" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebGD" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebGE" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebGF" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebGG" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebGH" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebIw" role="2tJFKM">
<ref role="2aWVGs" to="ctog:2AfSc6JxXEN" resolve="Test3" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebGJ" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebGK" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebIz" role="1SL9yI">
<property role="TrG5h" value="Test4" />
<node concept="3cqZAl" id="2dF51l1ebI$" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebI_" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebIA" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebIB" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebIC" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebID" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebIE" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebIF" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebKB" role="2tJFKM">
<ref role="2aWVGs" to="ctog:3l440nVqpsF" resolve="Test4" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebIH" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebII" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebKE" role="1SL9yI">
<property role="TrG5h" value="Test5" />
<node concept="3cqZAl" id="2dF51l1ebKF" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebKG" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebKH" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebKI" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebKJ" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebKK" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebKL" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebKM" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebMU" role="2tJFKM">
<ref role="2aWVGs" to="ctog:3l440nVrsN1" resolve="Test5" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebKO" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebKP" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="1LZb2c" id="2dF51l1ebMX" role="1SL9yI">
<property role="TrG5h" value="Test6" />
<node concept="3cqZAl" id="2dF51l1ebMY" role="3clF45" />
<node concept="3clFbS" id="2dF51l1ebMZ" role="3clF47">
<node concept="2Hmddi" id="2dF51l1ebN0" role="3cqZAp">
<node concept="2YIFZM" id="2dF51l1ebN1" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="2dF51l1ebN2" role="37wK5m">
<node concept="2WthIp" id="2dF51l1ebN3" role="2Oq$k0" />
<node concept="2XshWL" id="2dF51l1ebN4" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="2dF51l1ebN5" role="2XxRq1">
<node concept="ZC_QK" id="2dF51l1ebPp" role="2tJFKM">
<ref role="2aWVGs" to="ctog:5A8qZLXfUwO" resolve="Test6" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="2dF51l1ebN7" role="37wK5m" />
<node concept="3clFbT" id="2dF51l1ebN8" role="37wK5m" />
</node>
</node>
</node>
</node>
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
<property role="TrG5h" value="resolve" />
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
<property role="TrG5h" value="ref" />
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
</node>
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
<ref role="ehGHo" to="27wh:3JXBM6C3Fs$" resolve="PropositionalProof" />
</node>
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
<property role="TrG5h" value="cls" />
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
<ref role="ehGHo" to="27wh:3JXBM6C3Fs$" resolve="PropositionalProof" />
</node>
</node>
</node>
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
<node concept="chp4Y" id="5RH_cL_9CJe" role="3oSUPX">
<ref role="cht4Q" to="27wh:3JXBM6C3Fs$" resolve="PropositionalProof" />
</node>
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
</node>
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
</node>
</node>
</node>
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
</node>
</node>
<node concept="2XOHcx" id="2dF51l1ebl4">
<property role="2XOHcw" value="${fitch_home}" />
</node>
</model>

34
samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd
View File

@ -6,15 +6,49 @@
</modelRoot>
</models>
<sourcePath />
<dependencies>
<dependency reexport="false">6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)</dependency>
<dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)</dependency>
<dependency reexport="false">ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(samples.fitch.propositionalLogic)</dependency>
<dependency reexport="false">748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)</dependency>
<dependency reexport="false">ddb01c98-e78e-4c79-b11a-aeba193668d4(samples.fitch.firstOrderLogic)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
<language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:f61473f9-130f-42f6-b98d-6c438812c2f6:jetbrains.mps.baseLanguage.unitTest" version="1" />
<language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="13" />
<language slang="l:8585453e-6bfb-4d80-98de-b16074f1d86c:jetbrains.mps.lang.test" version="2" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
<language slang="l:06b7c5c7-e359-4f4b-a581-5d0c9323af39:samples.fitch" version="1" />
<language slang="l:ddb01c98-e78e-4c79-b11a-aeba193668d4:samples.fitch.firstOrderLogic" version="0" />
<language slang="l:748b3ba1-2791-4ee8-b985-a5598baa7112:samples.fitch.herbrandLogic" version="0" />
<language slang="l:ec79e64d-4cbb-4f6c-b7b7-108dd125aba6:samples.fitch.propositionalLogic" version="-1" />
</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="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.coderules.runtime)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" version="0" />
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
<module reference="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" version="0" />
<module reference="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)" version="0" />
<module reference="06b7c5c7-e359-4f4b-a581-5d0c9323af39(samples.fitch)" version="1" />
<module reference="86925f4e-7856-4553-a261-c86fbf09bb52(samples.fitch.demo)" version="0" />
<module reference="ddb01c98-e78e-4c79-b11a-aeba193668d4(samples.fitch.firstOrderLogic)" version="0" />
<module reference="748b3ba1-2791-4ee8-b985-a5598baa7112(samples.fitch.herbrandLogic)" version="0" />
<module reference="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(samples.fitch.propositionalLogic)" version="0" />
</dependencyVersions>
</solution>