Fix types of FeatureReferenceExpression
This commit is contained in:
Fedor Isakov
parent
f86adc089a
commit
fcb7d3128f
|
|
@ -4941,6 +4941,7 @@
|
|||
<module ref="c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)" kind="cl" />
|
||||
<module ref="6a5b4bb9-0a56-4618-aa9a-7068c528ce90(jetbrains.mps.lang.coderulesExt)" kind="cl" />
|
||||
<module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
|
||||
<module ref="65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)" kind="cl" />
|
||||
<module ref="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" kind="cl" />
|
||||
<module ref="ad4d7d30-3da5-4d56-8273-c9d815b12234(jetbrains.mps.logicExt)" kind="cl" />
|
||||
</dependencies>
|
||||
|
|
@ -5438,12 +5439,7 @@
|
|||
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="cl" />
|
||||
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="cl" />
|
||||
<module ref="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" kind="cl" />
|
||||
<module ref="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" kind="cl" />
|
||||
<module ref="e44e7802-2e40-482b-9b1c-6d42660a6a11(jetbrains.mps.baseLanguageExt.test)" kind="cl" />
|
||||
<module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
||||
<module ref="c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)" kind="cl" />
|
||||
<module ref="7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem)" kind="cl" />
|
||||
<module ref="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" kind="cl" />
|
||||
</dependencies>
|
||||
<uses>
|
||||
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
||||
|
|
@ -10638,6 +10634,7 @@
|
|||
<module ref="c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)" kind="cl" />
|
||||
<module ref="6a5b4bb9-0a56-4618-aa9a-7068c528ce90(jetbrains.mps.lang.coderulesExt)" kind="cl" />
|
||||
<module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
|
||||
<module ref="65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)" kind="cl" />
|
||||
<module ref="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" kind="cl" />
|
||||
<module ref="ad4d7d30-3da5-4d56-8273-c9d815b12234(jetbrains.mps.logicExt)" kind="cl" />
|
||||
</dependencies>
|
||||
|
|
@ -10794,7 +10791,7 @@
|
|||
<delete dir="${build.layout}" />
|
||||
</target>
|
||||
|
||||
<target name="compileJava" depends="java.compile.samples.mpscore.build, java.compile.jetbrains.mps.lang.behaviorExt, java.compile.jetbrains.mps.lang.behaviorExt.generator, java.compile.jetbrains.mps.lang.constraintsExt, java.compile.jetbrains.mps.lang.constraintsExt#01, java.compile.jetbrains.mps.lang.extensionExt, java.compile.jetbrains.mps.lang.extensionExt.generator, java.compile.jetbrains.mps.lang.generator.generationContextExt, java.compile.jetbrains.mps.lang.generator.generationContextExt#01, java.compile.jetbrains.mps.lang.generatorExt, java.compile.jetbrains.mps.lang.generatorExt#01, java.compile.jetbrains.mps.lang.patternExt, java.compile.jetbrains.mps.lang.patternExt.generator, java.compile.jetbrains.mps.lang.quotationExt, java.compile.jetbrains.mps.lang.quotationExt#01, java.compile.jetbrains.mps.lang.scopesExt, java.compile.jetbrains.mps.lang.scopesExt.generator, java.compile.jetbrains.mps.lang.scriptExt, java.compile.jetbrains.mps.lang.scriptExt.generator, java.compile.jetbrains.mps.lang.sharedConceptsExt, java.compile.jetbrains.mps.lang.sharedConceptsExt.generator, java.compile.jetbrains.mps.lang.smodelExt, java.compile.jetbrains.mps.lang.smodelExt#01, java.compile.jetbrains.mps.lang.smodel.queryExt, java.compile.jetbrains.mps.lang.smodel.queryExt.generator, java.compile.jetbrains.mps.lang.testExt, java.compile.jetbrains.mps.lang.testExt.generator, java.compile.jetbrains.mps.lang.typesystemExt, java.compile.jetbrains.mps.lang.typesystemExt#01, java.compile.jetbrains.mps.baseLanguage.blTypesExt, java.compile.jetbrains.mps.baseLanguage.blTypesExt#01, java.compile.jetbrains.mps.baseLanguage.classifiersExt, java.compile.jetbrains.mps.baseLanguage.classifiersExt.generator, java.compile.jetbrains.mps.baseLanguage.closuresExt, java.compile.jetbrains.mps.baseLanguage.closuresExt#1312156863939371938, java.compile.jetbrains.mps.baseLanguage.collectionsExt, java.compile.jetbrains.mps.baseLanguage.collectionsExt#01, java.compile.jetbrains.mps.baseLanguage.function, java.compile.jetbrains.mps.baseLanguage.function#01, java.compile.jetbrains.mps.baseLanguage.javadocExt, java.compile.jetbrains.mps.baseLanguage.kotlinRefsExt, java.compile.jetbrains.mps.baseLanguage.kotlinRefsExt.generator, java.compile.jetbrains.mps.baseLanguage.methodReferencesExt, java.compile.jetbrains.mps.baseLanguage.methodReferencesExt.generator, java.compile.jetbrains.mps.baseLanguage.sequence, java.compile.jetbrains.mps.baseLanguage.sequence#01, java.compile.jetbrains.mps.baseLanguage.tuplesExt, java.compile.jetbrains.mps.baseLanguage.tuplesExt#01, java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.baseLanguageInternalExt, java.compile.jetbrains.mps.baseLanguageInternalExt#01, java.compile.jetbrains.mps.baseLanguage.varVariableExt, java.compile.jetbrains.mps.baseLanguage.varVariableExt.generator, java.compile.jetbrains.mps.logicExt, java.compile.jetbrains.mps.logicExt#01, java.compile.jetbrains.mps.lang.coderulesExt, java.compile.jetbrains.mps.lang.coderulesExt#01, java.compile.jetbrains.mps.lang.typecheckingExt, java.compile.jetbrains.mps.lang.typecheckingExt.generator, java.compile.java.modules.cycle.1, java.compile.typechecking.samples.baseLanguage, java.compile.jetbrains.mps.baseLanguageExt.test, java.compile.jetbrains.mps.baseLanguage.closuresExt.test, java.compile.jetbrains.mps.baseLanguage.collectionsExt.test, java.compile.jetbrains.mps.baseLanguage.tuplesExt.test, java.compile.jetbrains.mps.lang.smodelExt.test, java.compile.jetbrains.mps.baseLanguage.methodReferencesExt.test" />
|
||||
<target name="compileJava" depends="java.compile.samples.mpscore.build, java.compile.jetbrains.mps.lang.behaviorExt, java.compile.jetbrains.mps.lang.behaviorExt.generator, java.compile.jetbrains.mps.lang.constraintsExt, java.compile.jetbrains.mps.lang.constraintsExt#01, java.compile.jetbrains.mps.lang.extensionExt, java.compile.jetbrains.mps.lang.extensionExt.generator, java.compile.jetbrains.mps.lang.generator.generationContextExt, java.compile.jetbrains.mps.lang.generator.generationContextExt#01, java.compile.jetbrains.mps.lang.generatorExt, java.compile.jetbrains.mps.lang.generatorExt#01, java.compile.jetbrains.mps.lang.patternExt, java.compile.jetbrains.mps.lang.patternExt.generator, java.compile.jetbrains.mps.lang.quotationExt, java.compile.jetbrains.mps.lang.quotationExt#01, java.compile.jetbrains.mps.lang.scopesExt, java.compile.jetbrains.mps.lang.scopesExt.generator, java.compile.jetbrains.mps.lang.scriptExt, java.compile.jetbrains.mps.lang.scriptExt.generator, java.compile.jetbrains.mps.lang.sharedConceptsExt, java.compile.jetbrains.mps.lang.sharedConceptsExt.generator, java.compile.jetbrains.mps.lang.smodelExt, java.compile.jetbrains.mps.lang.smodelExt#01, java.compile.jetbrains.mps.lang.smodel.queryExt, java.compile.jetbrains.mps.lang.smodel.queryExt.generator, java.compile.jetbrains.mps.lang.testExt, java.compile.jetbrains.mps.lang.testExt.generator, java.compile.jetbrains.mps.lang.typesystemExt, java.compile.jetbrains.mps.lang.typesystemExt#01, java.compile.jetbrains.mps.baseLanguage.blTypesExt, java.compile.jetbrains.mps.baseLanguage.blTypesExt#01, java.compile.jetbrains.mps.baseLanguage.classifiersExt, java.compile.jetbrains.mps.baseLanguage.classifiersExt.generator, java.compile.jetbrains.mps.baseLanguage.closuresExt, java.compile.jetbrains.mps.baseLanguage.closuresExt#1312156863939371938, java.compile.jetbrains.mps.baseLanguage.collectionsExt, java.compile.jetbrains.mps.baseLanguage.collectionsExt#01, java.compile.jetbrains.mps.baseLanguage.function, java.compile.jetbrains.mps.baseLanguage.function#01, java.compile.jetbrains.mps.baseLanguage.javadocExt, java.compile.jetbrains.mps.baseLanguage.kotlinRefsExt, java.compile.jetbrains.mps.baseLanguage.kotlinRefsExt.generator, java.compile.jetbrains.mps.baseLanguage.methodReferencesExt, java.compile.jetbrains.mps.baseLanguage.methodReferencesExt.generator, java.compile.jetbrains.mps.baseLanguage.sequence, java.compile.jetbrains.mps.baseLanguage.sequence#01, java.compile.jetbrains.mps.baseLanguage.tuplesExt, java.compile.jetbrains.mps.baseLanguage.tuplesExt#01, java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.baseLanguageInternalExt, java.compile.jetbrains.mps.baseLanguageInternalExt#01, java.compile.jetbrains.mps.baseLanguage.varVariableExt, java.compile.jetbrains.mps.baseLanguage.varVariableExt.generator, java.compile.jetbrains.mps.logicExt, java.compile.jetbrains.mps.logicExt#01, java.compile.jetbrains.mps.lang.coderulesExt, java.compile.jetbrains.mps.lang.coderulesExt#01, java.compile.jetbrains.mps.lang.typecheckingExt, java.compile.jetbrains.mps.lang.typecheckingExt.generator, java.compile.typechecking.samples.baseLanguage, java.compile.jetbrains.mps.baseLanguageExt.test, java.compile.jetbrains.mps.baseLanguage.closuresExt.test, java.compile.jetbrains.mps.baseLanguage.collectionsExt.test, java.compile.jetbrains.mps.baseLanguage.tuplesExt.test, java.compile.jetbrains.mps.lang.smodelExt.test, java.compile.jetbrains.mps.baseLanguage.methodReferencesExt.test" />
|
||||
|
||||
<target name="processResources" />
|
||||
|
||||
|
|
@ -15081,7 +15078,7 @@
|
|||
</copy>
|
||||
</target>
|
||||
|
||||
<target name="java.compile.jetbrains.mps.lang.typecheckingExt" depends="java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.lang.coderulesExt, java.compile.jetbrains.mps.logicExt, fetchDependencies">
|
||||
<target name="java.compile.jetbrains.mps.lang.typecheckingExt" depends="java.compile.jetbrains.mps.baseLanguageExt, java.compile.jetbrains.mps.lang.coderulesExt, java.compile.jetbrains.mps.lang.smodelExt, java.compile.jetbrains.mps.logicExt, fetchDependencies">
|
||||
<mkdir dir="${mps.macro.mpscore_home}/languages/jetbrains.mps.lang.typecheckingExt/source_gen" />
|
||||
<mkdir dir="${build.tmp}/java/out/jetbrains.mps.lang.typecheckingExt" />
|
||||
<javac destdir="${build.tmp}/java/out/jetbrains.mps.lang.typecheckingExt" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
||||
|
|
@ -15117,6 +15114,7 @@
|
|||
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
||||
<pathelement path="${build.tmp}/java/out/jetbrains.mps.baseLanguageExt" />
|
||||
<pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.coderulesExt" />
|
||||
<pathelement path="${build.tmp}/java/out/jetbrains.mps.lang.smodelExt" />
|
||||
<pathelement path="${build.tmp}/java/out/jetbrains.mps.logicExt" />
|
||||
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/app.jar" />
|
||||
|
|
@ -15249,109 +15247,7 @@
|
|||
</copy>
|
||||
</target>
|
||||
|
||||
<target name="java.compile.java.modules.cycle.1" depends="java.compile.jetbrains.mps.baseLanguageExt, fetchDependencies">
|
||||
<mkdir dir="${build.tmp}/java.modules.cycle.1" />
|
||||
<javac destdir="${build.tmp}/java.modules.cycle.1" fork="true" encoding="utf8" nowarn="true" includeantruntime="false">
|
||||
<compilerarg value="-Xlint:none" />
|
||||
<src>
|
||||
<path location="${mps.macro.mpscore_home}/solutions/typechecking.samples.baseLanguage/source_gen" />
|
||||
<pathelement path="${mps.macro.mpscore_home}/solutions/typechecking.samples.baseLanguage/test_gen/" />
|
||||
<path location="${mps.macro.mpscore_home}/solutions/jetbrains.mps.baseLanguageExt.test/source_gen" />
|
||||
<pathelement path="${mps.macro.mpscore_home}/solutions/jetbrains.mps.baseLanguageExt.test/test_gen/" />
|
||||
</src>
|
||||
<classpath>
|
||||
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
||||
<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-tuples.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-references.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-generator.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-test.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/ant/lib/ant.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/junit4.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/app.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/lib-client.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/util.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/util_rt.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/util-8.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/forms_rt.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/java-frontback.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/java-impl.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/jps-model.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/trove.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.closures.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.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.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.runtime.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.runtime.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.modelapi.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.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}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.typesystem.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.reactor.jar" />
|
||||
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="collection-0.7.jar" />
|
||||
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="trove4j-3.0.3.jar" />
|
||||
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="conreactor-core-0.9.21.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="apiguardian-api-1.1.2.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-api-5.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-engine-5.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-migrationsupport-5.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-params-5.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-commons-1.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-engine-1.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-launcher-1.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-vintage-engine-5.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="opentest4j-1.2.0.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-reporting-1.9.3.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.testhelper.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.runtime.jar" />
|
||||
<pathelement path="${build.tmp}/java/out/jetbrains.mps.baseLanguageExt" />
|
||||
</classpath>
|
||||
</javac>
|
||||
</target>
|
||||
|
||||
<target name="java.compile.typechecking.samples.baseLanguage" depends="java.compile.jetbrains.mps.baseLanguageExt, java.compile.java.modules.cycle.1, fetchDependencies">
|
||||
<target name="java.compile.typechecking.samples.baseLanguage" depends="fetchDependencies">
|
||||
<mkdir dir="${mps.macro.mpscore_home}/solutions/typechecking.samples.baseLanguage/source_gen" />
|
||||
<mkdir dir="${build.tmp}/java/out/typechecking.samples.baseLanguage" />
|
||||
<javac destdir="${build.tmp}/java/out/typechecking.samples.baseLanguage" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
||||
|
|
@ -15361,36 +15257,28 @@
|
|||
<pathelement path="${mps.macro.mpscore_home}/solutions/typechecking.samples.baseLanguage/test_gen/" />
|
||||
</src>
|
||||
<classpath>
|
||||
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-problem.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-feedback-api.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-messages-api.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-messages-for-rules.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
||||
<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-openapi.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-context.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-constraints-runtime.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-generator.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-persistence.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-textgen.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
||||
<pathelement path="${build.tmp}/java/out/jetbrains.mps.baseLanguageExt" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-test.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/ant/lib/ant.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/junit4.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/app.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/app-client.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/lib.jar" />
|
||||
|
|
@ -15405,35 +15293,23 @@
|
|||
<fileset file="${artifacts.mps}/lib/testFramework.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/stats.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/platform-loader.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/trove.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.closures.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.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.mps}/plugins/mps-testing/languages/baseLanguage/jetbrains.mps.baseLanguage.unitTest.runtime.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.coderules.typechecking.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.coderules.runtime.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.modelapi.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.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}/jetbrains.mps.coderules/languages/jetbrains.mps.lang.typechecking.runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.typesystem.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.jar" />
|
||||
<fileset file="${artifacts.coderules}/jetbrains.mps.coderules/languages/jetbrains.mps.logic.reactor.jar" />
|
||||
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="collection-0.7.jar" />
|
||||
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="trove4j-3.0.3.jar" />
|
||||
<fileset dir="${artifacts.coderules}/jetbrains.mps.coderules/lib" includes="conreactor-core-0.9.21.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="apiguardian-api-1.1.2.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-api-5.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-jupiter-engine-5.9.3.jar" />
|
||||
|
|
@ -15445,7 +15321,6 @@
|
|||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-vintage-engine-5.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="opentest4j-1.2.0.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-reporting-1.9.3.jar" />
|
||||
<pathelement path="${build.tmp}/java.modules.cycle.1" />
|
||||
</classpath>
|
||||
</javac>
|
||||
<copy todir="${build.tmp}/java/out/typechecking.samples.baseLanguage">
|
||||
|
|
@ -15454,7 +15329,7 @@
|
|||
</copy>
|
||||
</target>
|
||||
|
||||
<target name="java.compile.jetbrains.mps.baseLanguageExt.test" depends="java.compile.jetbrains.mps.baseLanguageExt, java.compile.java.modules.cycle.1, fetchDependencies">
|
||||
<target name="java.compile.jetbrains.mps.baseLanguageExt.test" depends="java.compile.jetbrains.mps.baseLanguageExt, java.compile.typechecking.samples.baseLanguage, fetchDependencies">
|
||||
<mkdir dir="${mps.macro.mpscore_home}/solutions/jetbrains.mps.baseLanguageExt.test/source_gen" />
|
||||
<mkdir dir="${build.tmp}/java/out/jetbrains.mps.baseLanguageExt.test" />
|
||||
<javac destdir="${build.tmp}/java/out/jetbrains.mps.baseLanguageExt.test" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
||||
|
|
@ -15491,6 +15366,7 @@
|
|||
<fileset file="${artifacts.mps}/lib/mps-scripts-rt.jar" />
|
||||
<pathelement path="${build.tmp}/java/out/jetbrains.mps.baseLanguageExt" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-test.jar" />
|
||||
<pathelement path="${build.tmp}/java/out/typechecking.samples.baseLanguage" />
|
||||
<fileset file="${artifacts.mps}/lib/ant/lib/ant.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/junit4.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
||||
|
|
@ -15541,7 +15417,6 @@
|
|||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-vintage-engine-5.9.3.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="opentest4j-1.2.0.jar" />
|
||||
<fileset dir="${artifacts.mps}/plugins/mps-junit5/lib" includes="junit-platform-reporting-1.9.3.jar" />
|
||||
<pathelement path="${build.tmp}/java.modules.cycle.1" />
|
||||
</classpath>
|
||||
</javac>
|
||||
<copy todir="${build.tmp}/java/out/jetbrains.mps.baseLanguageExt.test">
|
||||
|
|
|
|||
|
|
@ -77,6 +77,7 @@
|
|||
<dependency reexport="false">0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)</dependency>
|
||||
<dependency reexport="false">c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.coderules)</dependency>
|
||||
<dependency reexport="false">ad4d7d30-3da5-4d56-8273-c9d815b12234(jetbrains.mps.logicExt)</dependency>
|
||||
<dependency reexport="false">65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)</dependency>
|
||||
</dependencies>
|
||||
<languageVersions>
|
||||
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="12" />
|
||||
|
|
@ -156,6 +157,7 @@
|
|||
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
|
||||
<module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
|
||||
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
|
||||
<module reference="65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt)" version="0" />
|
||||
<module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
|
||||
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
|
||||
<module reference="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462(jetbrains.mps.lang.typechecking)" version="0" />
|
||||
|
|
|
|||
|
|
@ -11,6 +11,7 @@
|
|||
<import index="kqnc" ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.baseLanguageExt.types)" />
|
||||
<import index="wq2x" ref="r:83137295-aa87-45e8-b0c0-ede2adf2a396(jetbrains.mps.lang.coderules.structure)" />
|
||||
<import index="54p4" ref="r:4756f1c3-ee0d-4da9-817d-c7dad8ea74b8(jetbrains.mps.logicExt.types)" />
|
||||
<import index="jxwi" ref="r:6ecd2c91-8e0b-4c6a-878e-d699a7336100(jetbrains.mps.lang.smodelExt.types)" />
|
||||
<import index="h103" ref="r:9c80bc3e-1982-4e7d-8fe4-1b25a1c02635(jetbrains.mps.lang.typechecking.behavior)" implicit="true" />
|
||||
</imports>
|
||||
<registry>
|
||||
|
|
@ -75,11 +76,6 @@
|
|||
<language id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules">
|
||||
<concept id="861509610434242029" name="jetbrains.mps.lang.coderules.structure.TermConstructor" flags="ng" index="ns1u0">
|
||||
<reference id="861509610434243078" name="decl" index="ns1xF" />
|
||||
<child id="861509610434243076" name="override" index="ns1xD" />
|
||||
</concept>
|
||||
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.TermFeatureOverride" flags="ng" index="nsMwS">
|
||||
<reference id="861509610434435672" name="feature" index="nsMwP" />
|
||||
<child id="1149537088045275069" name="item" index="iSaTp" />
|
||||
</concept>
|
||||
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
|
||||
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
|
||||
|
|
@ -269,8 +265,8 @@
|
|||
<ref role="3A2yKK" node="5O6oUvr2Hev" resolve="fre" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ns1u0" id="5O6oUvr3bLv" role="3AunhB">
|
||||
<ref role="ns1xF" to="y4ek:7LI_gNNfeK7" resolve="term" />
|
||||
<node concept="ns1u0" id="KkWtiMpTxg" role="3AunhB">
|
||||
<ref role="ns1xF" to="jxwi:7LI_gNMWw2A" resolve="node" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -289,8 +285,8 @@
|
|||
<ref role="3A2yKK" node="5O6oUvr2Hev" resolve="fre" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ns1u0" id="5O6oUvr3bOE" role="3AunhB">
|
||||
<ref role="ns1xF" to="y4ek:7LI_gNNfeOT" resolve="termList" />
|
||||
<node concept="ns1u0" id="KkWtiMpTxh" role="3AunhB">
|
||||
<ref role="ns1xF" to="jxwi:3bgqfmmLhUu" resolve="nodeList" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -336,14 +332,8 @@
|
|||
<ref role="3A2yKK" node="5O6oUvr2Hev" resolve="fre" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ns1u0" id="5O6oUvr3drz" role="3AunhB">
|
||||
<ref role="ns1xF" to="54p4:7LI_gNMkMFB" resolve="logical" />
|
||||
<node concept="nsMwS" id="5O6oUvr3dr$" role="ns1xD">
|
||||
<ref role="nsMwP" to="54p4:7LI_gNMpTBn" resolve="dataType" />
|
||||
<node concept="a7P8L" id="5O6oUvr3dr_" role="iSaTp">
|
||||
<ref role="a7OzE" node="5O6oUvr3bPb" resolve="V" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="a7P8L" id="KkWtiMpRwW" role="3AunhB">
|
||||
<ref role="a7OzE" node="5O6oUvr3bPb" resolve="V" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
|
|
@ -3704,6 +3704,11 @@
|
|||
<ref role="3bR37D" node="7LI_gNMBoG$" resolve="jetbrains.mps.logicExt" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="KkWtiMpTRv" role="3bR37C">
|
||||
<node concept="3bR9La" id="KkWtiMpTRw" role="1SiIV1">
|
||||
<ref role="3bR37D" node="6Dg__VJQ3B2" resolve="jetbrains.mps.lang.smodelExt" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2G$12M" id="vrUbzjCdwT" role="3989C9">
|
||||
|
|
@ -3740,31 +3745,6 @@
|
|||
<ref role="3bR37D" to="ffeo:1TaHNgiIbIQ" resolve="MPS.Core" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="RcfYz8YTvA" role="3bR37C">
|
||||
<node concept="3bR9La" id="RcfYz8YTvB" role="1SiIV1">
|
||||
<ref role="3bR37D" node="69UmpDmJW26" resolve="jetbrains.mps.baseLanguageExt" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="3o9wrC3UQPJ" role="3bR37C">
|
||||
<node concept="3bR9La" id="3o9wrC3UQPK" role="1SiIV1">
|
||||
<ref role="3bR37D" to="zqd8:7BVjoXzUxoR" resolve="jetbrains.mps.logic.reactor" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="1CCT1$0M$TP" role="3bR37C">
|
||||
<node concept="3bR9La" id="1CCT1$0M$TQ" role="1SiIV1">
|
||||
<ref role="3bR37D" to="zqd8:7BVjoXzUx6U" resolve="jetbrains.mps.lang.coderules" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="5gVsyvESSIZ" role="3bR37C">
|
||||
<node concept="3bR9La" id="5gVsyvESSJ0" role="1SiIV1">
|
||||
<ref role="3bR37D" to="ffeo:7Kfy9QB6Lc2" resolve="jetbrains.mps.lang.typesystem" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="1TH_SRmm_ce" role="3bR37C">
|
||||
<node concept="3bR9La" id="1TH_SRmm_cf" role="1SiIV1">
|
||||
<ref role="3bR37D" node="69UmpDmJW8I" resolve="jetbrains.mps.baseLanguageExt.test" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1BupzO" id="1GAclsBfDsk" role="3bR31x">
|
||||
<property role="3ZfqAx" value="models" />
|
||||
<property role="1Hdu6h" value="true" />
|
||||
|
|
|
|||
Loading…
Reference in New Issue