Separate incremental tests on testlang and baselang into their own models.
This commit is contained in:
parent
384782e708
commit
b560bbbd30
|
|
@ -655,6 +655,7 @@
|
|||
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
||||
<language id="l:daafa647-f1f7-4b0b-b096-69cd7c8408c0:jetbrains.mps.baseLanguage.regexp" />
|
||||
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
||||
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
||||
<language id="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" />
|
||||
</uses>
|
||||
<classpath>
|
||||
|
|
@ -1465,9 +1466,9 @@
|
|||
<module ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" kind="cl" />
|
||||
<module ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" kind="cl" />
|
||||
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
|
||||
<module ref="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" kind="cl" />
|
||||
<module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
||||
<module ref="f9bad4b1-59da-4f20-8feb-9f4cc4ad872e(jetbrains.mps.coderules.typechecking.testlang.sandbox)" kind="cl" />
|
||||
<module ref="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" kind="cl" />
|
||||
<module ref="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" kind="cl" />
|
||||
<module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" kind="cl" />
|
||||
<module ref="b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test)" kind="cl" />
|
||||
|
|
@ -2677,6 +2678,7 @@
|
|||
<language id="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" />
|
||||
<language id="l:daafa647-f1f7-4b0b-b096-69cd7c8408c0:jetbrains.mps.baseLanguage.regexp" />
|
||||
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
||||
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
||||
<language id="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" />
|
||||
</uses>
|
||||
<classpath>
|
||||
|
|
|
|||
|
|
@ -1186,11 +1186,6 @@
|
|||
<ref role="3bR37D" to="ffeo:mXGwHwhVPj" resolve="JDK" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="7mB3viLwHzZ" role="3bR37C">
|
||||
<node concept="3bR9La" id="7mB3viLwH$0" role="1SiIV1">
|
||||
<ref role="3bR37D" to="ffeo:7Kfy9QB6KYb" resolve="jetbrains.mps.baseLanguage" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="7mB3viLwH$1" role="3bR37C">
|
||||
<node concept="3bR9La" id="7mB3viLwH$2" role="1SiIV1">
|
||||
<ref role="3bR37D" to="ffeo:1TaHNgiIbIQ" resolve="MPS.Core" />
|
||||
|
|
@ -1221,6 +1216,11 @@
|
|||
<ref role="3bR37D" node="7Ant4WkHLpd" resolve="jetbrains.mps.logic.test" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="6gZak$ALJS1" role="3bR37C">
|
||||
<node concept="3bR9La" id="6gZak$ALJS2" role="1SiIV1">
|
||||
<ref role="3bR37D" to="ffeo:7Kfy9QB6KXW" resolve="jetbrains.mps.lang.core" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2G$12M" id="78H58oeeFzd" role="3989C9">
|
||||
|
|
|
|||
|
|
@ -8,7 +8,6 @@
|
|||
<sourcePath />
|
||||
<dependencies>
|
||||
<dependency reexport="false">6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)</dependency>
|
||||
<dependency reexport="false">f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</dependency>
|
||||
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
|
||||
<dependency reexport="false">a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)</dependency>
|
||||
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
|
||||
|
|
@ -17,6 +16,7 @@
|
|||
<dependency reexport="false">f9bad4b1-59da-4f20-8feb-9f4cc4ad872e(jetbrains.mps.coderules.typechecking.testlang.sandbox)</dependency>
|
||||
<dependency reexport="false">3a1f0f04-b5e0-43be-884e-b856bfdeca21(jetbrains.mps.typechecking.testlang)</dependency>
|
||||
<dependency reexport="false">b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test)</dependency>
|
||||
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
|
||||
</dependencies>
|
||||
<languageVersions>
|
||||
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="9" />
|
||||
|
|
@ -46,17 +46,13 @@
|
|||
<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="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="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" version="0" />
|
||||
<module reference="c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.coderules.typechecking.test)" version="0" />
|
||||
<module reference="f9bad4b1-59da-4f20-8feb-9f4cc4ad872e(jetbrains.mps.coderules.typechecking.testlang.sandbox)" version="0" />
|
||||
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" 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="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" 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" />
|
||||
|
|
|
|||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
|
@ -44,7 +44,7 @@ import java.util.*
|
|||
|
||||
internal class ProcessingStateImpl(private var dispatchingFront: Dispatcher.DispatchingFront,
|
||||
journal: MatchJournalImpl,
|
||||
ruleIndex: RuleIndex,
|
||||
private val ruleIndex: RuleIndex,
|
||||
private val ispec: IncrementalProgramSpec = IncrementalProgramSpec.DefaultSpec,
|
||||
val trace: EvaluationTrace = EvaluationTrace.NULL,
|
||||
val profiler: Profiler? = null)
|
||||
|
|
@ -147,14 +147,14 @@ internal class ProcessingStateImpl(private var dispatchingFront: Dispatcher.Disp
|
|||
|
||||
while (true) {
|
||||
// Does this chunk have principal occurrence and can activate anything at all?
|
||||
val pOcc = journalIndex.principalOccurrenceOf(chunk)?.occ
|
||||
if (pOcc != null) {
|
||||
journalIndex.principalOccurrenceOf(chunk)?.occ?.let { pOcc ->
|
||||
|
||||
// filters out rules using occurrence's arguments
|
||||
val allRuleCandidates = ruleIndex.forOccurrence(pOcc).map { it.uniqueTag() }.toHashSet()
|
||||
|
||||
for (rule in rules) {
|
||||
// Can this rule be matched by principal occurrence?
|
||||
// fixme: maybe use RuleIndex here?
|
||||
if (canMatch(rule, pOcc)) {
|
||||
|
||||
if (allRuleCandidates.contains(rule.uniqueTag()) && canMatch(rule, pOcc)) {
|
||||
// Can this rule be matched by principal occurrence?
|
||||
// Then we will need to find the place among existing child chunks
|
||||
// (i.e. among some number of following ones)
|
||||
// to activate this occurrence, to (possibly) match this rule.
|
||||
|
|
@ -290,15 +290,23 @@ internal class ProcessingStateImpl(private var dispatchingFront: Dispatcher.Disp
|
|||
(matches + postponed).sortedBy { ruleOrdering.orderOf(it.rule()) }
|
||||
} ?: matches
|
||||
|
||||
// Determines, filters out and enqueues (to execution queue) future matches. Returns only current matches.
|
||||
/**
|
||||
* Determines, filters out and enqueues (to execution queue) future matches.
|
||||
* Returns only current matches.
|
||||
*/
|
||||
private fun postponeFutureMatches(matches: List<RuleMatchEx>): List<RuleMatchEx> {
|
||||
assert(matches.all { ispec.isPrincipal(it.rule()) })
|
||||
assert(
|
||||
matches.all { ispec.isPrincipal(it.rule()) },
|
||||
{ "non-principal ctrs in head of principal rule: ${ matches.filter { !ispec.isPrincipal(it.rule()) } }" }
|
||||
)
|
||||
|
||||
val currentMatches = mutableListOf<RuleMatchEx>()
|
||||
for (m in matches) {
|
||||
|
||||
// Returns null for matches with occurrences only from this session
|
||||
// because journalIndex indexes only previous session.
|
||||
val pos = journalIndex.activationPos(m)
|
||||
|
||||
// if it is a future match
|
||||
if (pos != null && journalIndex.compare(lastIncrementalRootPos, pos) < 0) {
|
||||
val idOcc = Id(pos.occ)
|
||||
|
|
|
|||
|
|
@ -572,6 +572,8 @@ class TestIncrementalProgram {
|
|||
))
|
||||
).relaunch("withBar", progSpec, evalRes.token()) { result ->
|
||||
|
||||
println(result.token().journalView.chunks)
|
||||
|
||||
// if "foobar" happens too early, "1st" occ won't be produced
|
||||
result.storeView().constraintSymbols() shouldBe setOf(sym0("start"), sym0("1st"), sym0("2nd"))
|
||||
// ensure right rule match order: the last chunk must contain "2nd"
|
||||
|
|
|
|||
|
|
@ -139,6 +139,8 @@
|
|||
<module ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" kind="cl" />
|
||||
<module ref="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" kind="cl" />
|
||||
<module ref="df345b11-b8c7-4213-ac66-48d2a9b75d88(jetbrains.mps.baseLanguageInternal)" kind="cl" />
|
||||
<module ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
||||
<module ref="c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.coderules.typechecking.test)" kind="cl" />
|
||||
<module ref="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" kind="cl" />
|
||||
<module ref="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" kind="cl" />
|
||||
<module ref="b189d6c6-9397-4d64-88af-1ac73760a4f5(jetbrains.mps.logic.test)" kind="cl" />
|
||||
|
|
@ -149,9 +151,12 @@
|
|||
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
||||
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
||||
<language id="l:f61473f9-130f-42f6-b98d-6c438812c2f6:jetbrains.mps.baseLanguage.unitTest" />
|
||||
<language id="l:0fda14cc-a416-4c81-869a-2175d8b3325d:jetbrains.mps.baseLanguageExt" />
|
||||
<language id="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" />
|
||||
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
||||
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
||||
<language id="l:8585453e-6bfb-4d80-98de-b16074f1d86c:jetbrains.mps.lang.test" />
|
||||
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
||||
<language id="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" />
|
||||
</uses>
|
||||
<classpath>
|
||||
|
|
@ -201,10 +206,13 @@
|
|||
<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="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" kind="cl" />
|
||||
<module ref="c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.coderules.typechecking.test)" kind="cl" />
|
||||
</dependencies>
|
||||
<uses>
|
||||
<language id="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" />
|
||||
<language id="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" />
|
||||
<language id="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" />
|
||||
<language id="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" />
|
||||
<language id="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" />
|
||||
|
|
@ -214,6 +222,7 @@
|
|||
<language id="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" />
|
||||
<language id="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" />
|
||||
<language id="l:28f9e497-3b42-4291-aeba-0a1039153ab1:jetbrains.mps.lang.plugin" />
|
||||
<language id="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" />
|
||||
<language id="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" />
|
||||
<language id="l:8585453e-6bfb-4d80-98de-b16074f1d86c:jetbrains.mps.lang.test" />
|
||||
<language id="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" />
|
||||
|
|
@ -275,6 +284,8 @@
|
|||
<plugin path="${artifacts.mps}/plugins/mps-testing" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.test.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.testlang.sandbox.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.controlflow.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
|
||||
|
|
@ -290,6 +301,7 @@
|
|||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.logic.test.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.annotation.jar" />
|
||||
<library file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.testlang.jar" />
|
||||
<library file="${artifacts.mps}/languages/baseLanguage/closures.runtime.jar" />
|
||||
<library file="${artifacts.mps}/languages/baseLanguage/collections.runtime.jar" />
|
||||
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.blTypes.jar" />
|
||||
|
|
@ -367,9 +379,9 @@
|
|||
<library file="${artifacts.mps}/plugins/mps-testing/languages/languageDesign/jetbrains.mps.lang.test.runtime.jar" />
|
||||
<chunk>
|
||||
<module file="${basedir}/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl" />
|
||||
<module file="${basedir}/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd" />
|
||||
</chunk>
|
||||
<chunk>
|
||||
<module file="${basedir}/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd" />
|
||||
<module file="${basedir}/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd" />
|
||||
</chunk>
|
||||
<jvmargs>
|
||||
|
|
@ -500,13 +512,23 @@
|
|||
<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}/languages/baseLanguage/jetbrains.mps.baseLanguageInternal.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.test.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.logic.test.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.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="conreactor-core-0.9.10.jar" />
|
||||
|
|
@ -516,7 +538,7 @@
|
|||
</javac>
|
||||
</target>
|
||||
|
||||
<target name="java.compile.typechecking.samples.baseLanguage" depends="fetchDependencies">
|
||||
<target name="java.compile.typechecking.samples.baseLanguage" depends="java.compile.jetbrains.mps.baseLanguageExt, 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">
|
||||
|
|
@ -541,11 +563,12 @@
|
|||
<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-environment.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-generator.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-project-check.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-test.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/mps-textgen.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/hamcrest-core-1.3.jar" />
|
||||
<fileset file="${artifacts.mps}/lib/junit-4.12.jar" />
|
||||
|
|
@ -562,6 +585,7 @@
|
|||
<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.coderules.typechecking.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.test.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" />
|
||||
|
|
@ -587,6 +611,8 @@
|
|||
<path id="mps.libraries.path">
|
||||
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
|
||||
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.jar" />
|
||||
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.test.jar" />
|
||||
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.coderules.typechecking.testlang.sandbox.jar" />
|
||||
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.controlflow.jar" />
|
||||
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
|
||||
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
|
||||
|
|
@ -602,6 +628,7 @@
|
|||
<pathelement location="${artifacts.coderules}/deploy/jetbrains.mps.logic.test.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.testlang.jar" />
|
||||
<pathelement location="${artifacts.mps}/languages/baseLanguage/closures.runtime.jar" />
|
||||
<pathelement location="${artifacts.mps}/languages/baseLanguage/collections.runtime.jar" />
|
||||
<pathelement location="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.blTypes.jar" />
|
||||
|
|
|
|||
|
|
@ -305,6 +305,16 @@
|
|||
<ref role="3bR37D" node="69UmpDmJW26" resolve="jetbrains.mps.baseLanguageExt" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="RcfYz8YTvw" role="3bR37C">
|
||||
<node concept="3bR9La" id="RcfYz8YTvx" role="1SiIV1">
|
||||
<ref role="3bR37D" to="zqd8:7mB3viLwG3m" resolve="jetbrains.mps.coderules.typechecking.test" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="RcfYz8YTvy" role="3bR37C">
|
||||
<node concept="3bR9La" id="RcfYz8YTvz" role="1SiIV1">
|
||||
<ref role="3bR37D" to="zqd8:65DJywFj0Fi" resolve="jetbrains.mps.coderules.typechecking" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1E1JtA" id="69UmpDmJW3w" role="2G$12L">
|
||||
<property role="BnDLt" value="true" />
|
||||
|
|
@ -343,6 +353,16 @@
|
|||
<ref role="3bR37D" to="ffeo:1TaHNgiIbIQ" resolve="MPS.Core" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="RcfYz8YTv$" role="3bR37C">
|
||||
<node concept="3bR9La" id="RcfYz8YTv_" role="1SiIV1">
|
||||
<ref role="3bR37D" to="zqd8:7mB3viLwG3m" resolve="jetbrains.mps.coderules.typechecking.test" />
|
||||
</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>
|
||||
</node>
|
||||
<node concept="22LTRH" id="69UmpDmJWeu" role="1hWBAP">
|
||||
|
|
|
|||
|
|
@ -0,0 +1,798 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<model ref="r:8d367edf-0e3f-479f-8b0f-bd4f712af3fc(typechecking.samples.baseLanguage.incrementalBL@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="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="9" />
|
||||
<use id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers" version="0" />
|
||||
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="15" />
|
||||
<use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="1" />
|
||||
<use id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures" version="0" />
|
||||
<use id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation" version="1" />
|
||||
<use id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text" version="0" />
|
||||
<use id="0fda14cc-a416-4c81-869a-2175d8b3325d" name="jetbrains.mps.baseLanguageExt" version="0" />
|
||||
</languages>
|
||||
<imports>
|
||||
<import index="hfva" ref="r:20f81ae9-fed0-48fa-893d-6c6b658e3dee(jetbrains.mps.coderules.typechecking.test.util)" />
|
||||
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
|
||||
<import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
|
||||
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.coderules.typechecking.service)" />
|
||||
</imports>
|
||||
<registry>
|
||||
<language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
|
||||
<concept id="1211979288880" name="jetbrains.mps.lang.test.structure.AssertMatch" flags="nn" index="JA50E">
|
||||
<child id="1211979305365" name="before" index="JA92f" />
|
||||
<child id="1211979322383" name="after" index="JAdkl" />
|
||||
</concept>
|
||||
<concept id="5097124989038916362" name="jetbrains.mps.lang.test.structure.TestInfo" flags="ng" index="2XOHcx">
|
||||
<property id="5097124989038916363" name="projectPath" index="2XOHcw" />
|
||||
</concept>
|
||||
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
|
||||
<child id="1216993439383" name="methods" index="1qtyYc" />
|
||||
<child id="1217501822150" name="nodesToCheck" index="1SKRRt" />
|
||||
<child id="1217501895093" name="testMethods" index="1SL9yI" />
|
||||
</concept>
|
||||
<concept id="1216989428737" name="jetbrains.mps.lang.test.structure.TestNode" flags="ng" index="1qefOq">
|
||||
<child id="1216989461394" name="nodeToCheck" index="1qenE9" />
|
||||
</concept>
|
||||
<concept id="1210673684636" name="jetbrains.mps.lang.test.structure.TestNodeAnnotation" flags="ng" index="3xLA65" />
|
||||
<concept id="1210674524691" name="jetbrains.mps.lang.test.structure.TestNodeReference" flags="nn" index="3xONca">
|
||||
<reference id="1210674534086" name="declaration" index="3xOPvv" />
|
||||
</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="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
|
||||
<child id="1082485599096" name="statements" index="9aQI4" />
|
||||
</concept>
|
||||
<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="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
|
||||
<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="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
|
||||
<child id="1145553007750" name="creator" index="2ShVmc" />
|
||||
</concept>
|
||||
<concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
|
||||
<reference id="1144433194310" name="classConcept" index="1Pybhc" />
|
||||
</concept>
|
||||
<concept id="1070533707846" name="jetbrains.mps.baseLanguage.structure.StaticFieldReference" flags="nn" index="10M0yZ">
|
||||
<reference id="1144433057691" name="classifier" index="1PxDUh" />
|
||||
</concept>
|
||||
<concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
|
||||
<concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
|
||||
<concept id="1070534934090" name="jetbrains.mps.baseLanguage.structure.CastExpression" flags="nn" index="10QFUN">
|
||||
<child id="1070534934091" name="type" index="10QFUM" />
|
||||
<child id="1070534934092" name="expression" index="10QFUP" />
|
||||
</concept>
|
||||
<concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu" />
|
||||
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
|
||||
<property id="1176718929932" name="isFinal" index="3TUv4t" />
|
||||
<child id="1068431790190" name="initializer" index="33vP2m" />
|
||||
</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="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_" />
|
||||
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
|
||||
<child id="1068580123156" name="expression" index="3clFbG" />
|
||||
</concept>
|
||||
<concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
|
||||
<concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
|
||||
<child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
|
||||
<child id="1068580123160" name="condition" index="3clFbw" />
|
||||
<child id="1068580123161" name="ifTrue" index="3clFbx" />
|
||||
</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="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
|
||||
<property id="1068580320021" name="value" index="3cmrfH" />
|
||||
</concept>
|
||||
<concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
|
||||
<concept id="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="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
|
||||
<child id="1079359253376" name="expression" index="1eOMHV" />
|
||||
</concept>
|
||||
<concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
|
||||
<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="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
|
||||
<concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
|
||||
<child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
|
||||
</concept>
|
||||
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
|
||||
<reference id="1107535924139" name="classifier" index="3uigEE" />
|
||||
</concept>
|
||||
<concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
|
||||
<child id="1081773367579" name="rightExpression" index="3uHU7w" />
|
||||
<child id="1081773367580" name="leftExpression" index="3uHU7B" />
|
||||
</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="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
|
||||
<child id="1350122676458893092" name="text" index="3ndbpf" />
|
||||
</concept>
|
||||
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
|
||||
<concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
|
||||
</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="1199569906740" name="parameter" index="1bW2Oz" />
|
||||
<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="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
|
||||
<concept id="1196350785113" name="jetbrains.mps.lang.quotation.structure.Quotation" flags="nn" index="2c44tf">
|
||||
<child id="1196350785114" name="quotedNode" index="2c44tc" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
|
||||
<concept id="1171981022339" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertTrue" flags="nn" index="3vwNmj">
|
||||
<child id="1171981057159" name="condition" index="3vwVQn" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
|
||||
<concept id="1143234257716" name="jetbrains.mps.lang.smodel.structure.Node_GetModelOperation" flags="nn" index="I4A8Y" />
|
||||
<concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
|
||||
<child id="1145404616321" name="leftExpression" index="2JrQYb" />
|
||||
</concept>
|
||||
<concept id="1227264722563" name="jetbrains.mps.lang.smodel.structure.EqualsStructurallyExpression" flags="nn" index="2YFouu" />
|
||||
<concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
|
||||
<child id="1140131861877" name="replacementNode" index="1P9ThW" />
|
||||
</concept>
|
||||
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2" />
|
||||
</language>
|
||||
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
|
||||
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
|
||||
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
|
||||
</concept>
|
||||
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
|
||||
<property id="1169194664001" name="name" index="TrG5h" />
|
||||
</concept>
|
||||
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
|
||||
<property id="709746936026609031" name="linkId" index="3V$3ak" />
|
||||
<property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
|
||||
</concept>
|
||||
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
|
||||
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="c7fb639f-be78-4307-89b0-b5959c3fa8c8" name="jetbrains.mps.lang.text">
|
||||
<concept id="155656958578482948" name="jetbrains.mps.lang.text.structure.Word" flags="ng" index="3oM_SD">
|
||||
<property id="155656958578482949" name="value" index="3oM_SC" />
|
||||
</concept>
|
||||
<concept id="2535923850359271782" name="jetbrains.mps.lang.text.structure.Line" flags="ng" index="1PaTwC">
|
||||
<child id="2535923850359271783" name="elements" index="1PaTwD" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
|
||||
<concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
|
||||
<child id="1204796294226" name="closure" index="23t8la" />
|
||||
</concept>
|
||||
<concept id="1204980550705" name="jetbrains.mps.baseLanguage.collections.structure.VisitAllOperation" flags="nn" index="2es0OD" />
|
||||
<concept id="1201306600024" name="jetbrains.mps.baseLanguage.collections.structure.ContainsKeyOperation" flags="nn" index="2Nt0df">
|
||||
<child id="1201654602639" name="key" index="38cxEo" />
|
||||
</concept>
|
||||
<concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
|
||||
<concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
|
||||
<concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
|
||||
<child id="1197683466920" name="keyType" index="3rvQeY" />
|
||||
<child id="1197683475734" name="valueType" index="3rvSg0" />
|
||||
</concept>
|
||||
<concept id="1240824834947" name="jetbrains.mps.baseLanguage.collections.structure.ValueAccessOperation" flags="nn" index="3AV6Ez" />
|
||||
<concept id="1240825616499" name="jetbrains.mps.baseLanguage.collections.structure.KeyAccessOperation" flags="nn" index="3AY5_j" />
|
||||
<concept id="1197932370469" name="jetbrains.mps.baseLanguage.collections.structure.MapElement" flags="nn" index="3EllGN">
|
||||
<child id="1197932505799" name="map" index="3ElQJh" />
|
||||
<child id="1197932525128" name="key" index="3ElVtu" />
|
||||
</concept>
|
||||
</language>
|
||||
</registry>
|
||||
<node concept="1lH9Xt" id="2FNFm8neJtc">
|
||||
<property role="TrG5h" value="BLIncrTypecheck" />
|
||||
<node concept="1qefOq" id="3evPR3Ef1GF" role="1SKRRt">
|
||||
<node concept="3cpWs8" id="6gZak$B1VoG" role="1qenE9">
|
||||
<node concept="3cpWsn" id="6gZak$B1VoH" role="3cpWs9">
|
||||
<property role="TrG5h" value="i" />
|
||||
<node concept="10Oyi0" id="6gZak$B1VoF" role="1tU5fm" />
|
||||
<node concept="3cpWs3" id="3evPR3Ef1L7" role="33vP2m">
|
||||
<node concept="3cmrfG" id="3evPR3Ef1L9" role="3uHU7w">
|
||||
<property role="3cmrfH" value="1" />
|
||||
<node concept="3xLA65" id="3evPR3Ef1La" role="lGtFl">
|
||||
<property role="TrG5h" value="const0" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cmrfG" id="6gZak$B1Vpx" role="3uHU7B">
|
||||
<property role="3cmrfH" value="42" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3xLA65" id="6gZak$B1XHR" role="lGtFl">
|
||||
<property role="TrG5h" value="iVarDecl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1qefOq" id="6gZak$B1UDr" role="1SKRRt">
|
||||
<node concept="3clFb_" id="6gZak$B1UDs" role="1qenE9">
|
||||
<property role="TrG5h" value="foo" />
|
||||
<node concept="3cqZAl" id="6gZak$B1UDt" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="6gZak$B1UDu" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="6gZak$B1UDv" role="3clF47">
|
||||
<node concept="3cpWs8" id="6gZak$B1UDw" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="6gZak$B1UDx" role="3cpWs9">
|
||||
<property role="TrG5h" value="i" />
|
||||
<node concept="10Oyi0" id="6gZak$B1UDy" role="1tU5fm" />
|
||||
<node concept="3cmrfG" id="6gZak$B1UDz" role="33vP2m">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="6gZak$B1UD$" role="3cqZAp">
|
||||
<node concept="37vLTI" id="6gZak$B1UD_" role="3clFbG">
|
||||
<node concept="37vLTw" id="6gZak$B1UDA" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="6gZak$B1UDx" resolve="i" />
|
||||
<node concept="3xLA65" id="6gZak$B1UDB" role="lGtFl">
|
||||
<property role="TrG5h" value="iVar" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs3" id="6gZak$B1UDC" role="37vLTx">
|
||||
<node concept="37vLTw" id="6gZak$B1UDD" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="6gZak$B1UDx" resolve="i" />
|
||||
</node>
|
||||
<node concept="3cmrfG" id="6gZak$B1UDE" role="3uHU7w">
|
||||
<property role="3cmrfH" value="1" />
|
||||
<node concept="3xLA65" id="6gZak$B1UDF" role="lGtFl">
|
||||
<property role="TrG5h" value="const1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3xLA65" id="6gZak$B1UDG" role="lGtFl">
|
||||
<property role="TrG5h" value="demo1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2XrIbr" id="2FNFm8neJtd" role="1qtyYc">
|
||||
<property role="TrG5h" value="assertSameAsGroundTruth" />
|
||||
<node concept="37vLTG" id="2FNFm8neJto" role="3clF46">
|
||||
<property role="TrG5h" value="target" />
|
||||
<node concept="3Tqbb2" id="2FNFm8neJtV" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="37vLTG" id="2FNFm8neJtp" role="3clF46">
|
||||
<property role="TrG5h" value="incremLauncher" />
|
||||
<node concept="3uibUv" id="2FNFm8neJtW" role="1tU5fm">
|
||||
<ref role="3uigEE" to="hfva:tyIfzC0ZNj" resolve="IncrementalLaunchHelper" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="2FNFm8neJtq" role="3clF45" />
|
||||
<node concept="3clFbS" id="2FNFm8neJtr" role="3clF47">
|
||||
<node concept="3cpWs8" id="2FNFm8neJtX" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="2FNFm8neJvg" role="3cpWs9">
|
||||
<property role="TrG5h" value="cleanLauncher" />
|
||||
<node concept="3uibUv" id="2FNFm8neJwr" role="1tU5fm">
|
||||
<ref role="3uigEE" to="hfva:tyIfzC0ZNj" resolve="IncrementalLaunchHelper" />
|
||||
</node>
|
||||
<node concept="2YIFZM" id="2FNFm8nf8Vz" role="33vP2m">
|
||||
<ref role="37wK5l" to="hfva:2FNFm8neYtH" resolve="getLauncher" />
|
||||
<ref role="1Pybhc" to="hfva:tyIfzC0ZNj" resolve="IncrementalLaunchHelper" />
|
||||
<node concept="37vLTw" id="2FNFm8nf8Z6" role="37wK5m">
|
||||
<ref role="3cqZAo" node="2FNFm8neJto" resolve="target" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="2FNFm8neJtY" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="2FNFm8neJvh" role="3clFbG">
|
||||
<node concept="37vLTw" id="2FNFm8neJwt" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJtp" resolve="incremLauncher" />
|
||||
</node>
|
||||
<node concept="liA8E" id="2FNFm8neJwu" role="2OqNvi">
|
||||
<ref role="37wK5l" to="hfva:tyIfzC0ZRF" resolve="relaunch" />
|
||||
<node concept="37vLTw" id="2FNFm8neJyk" role="37wK5m">
|
||||
<ref role="3cqZAo" node="2FNFm8neJto" resolve="target" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="2FNFm8neJtZ" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="2FNFm8neJvi" role="3clFbG">
|
||||
<node concept="2WthIp" id="2FNFm8neJwv" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2FNFm8neJww" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="2FNFm8neJte" resolve="cmpTypes" />
|
||||
<node concept="2OqwBi" id="2FNFm8neJyl" role="2XxRq1">
|
||||
<node concept="37vLTw" id="2FNFm8neJzT" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJvg" resolve="cleanLauncher" />
|
||||
</node>
|
||||
<node concept="liA8E" id="2FNFm8neJzU" role="2OqNvi">
|
||||
<ref role="37wK5l" to="hfva:4aLjyB0PyDl" resolve="launch" />
|
||||
<node concept="37vLTw" id="2FNFm8neJ$M" role="37wK5m">
|
||||
<ref role="3cqZAo" node="2FNFm8neJto" resolve="target" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="2FNFm8neJym" role="2XxRq1">
|
||||
<node concept="37vLTw" id="2FNFm8neJzV" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJtp" resolve="incremLauncher" />
|
||||
</node>
|
||||
<node concept="liA8E" id="2FNFm8neJzW" role="2OqNvi">
|
||||
<ref role="37wK5l" to="hfva:4aLjyB0SHom" resolve="getAllTypes" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="2FNFm8neJts" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="2XrIbr" id="2FNFm8neJte" role="1qtyYc">
|
||||
<property role="TrG5h" value="cmpTypes" />
|
||||
<node concept="37vLTG" id="2FNFm8neJtt" role="3clF46">
|
||||
<property role="TrG5h" value="groundTruth" />
|
||||
<node concept="3rvAFt" id="2FNFm8neJu0" role="1tU5fm">
|
||||
<node concept="3uibUv" id="2FNFm8neJvj" role="3rvQeY">
|
||||
<ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="2FNFm8neJvk" role="3rvSg0" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="2FNFm8neJtu" role="3clF46">
|
||||
<property role="TrG5h" value="types" />
|
||||
<node concept="3rvAFt" id="2FNFm8neJu1" role="1tU5fm">
|
||||
<node concept="3uibUv" id="2FNFm8neJvl" role="3rvQeY">
|
||||
<ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="2FNFm8neJvm" role="3rvSg0" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cqZAl" id="2FNFm8neJtv" role="3clF45" />
|
||||
<node concept="3clFbS" id="2FNFm8neJtw" role="3clF47">
|
||||
<node concept="3clFbF" id="2FNFm8neJu3" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="2FNFm8neJvo" role="3clFbG">
|
||||
<node concept="37vLTw" id="2FNFm8neJwy" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJtt" resolve="groundTruth" />
|
||||
</node>
|
||||
<node concept="2es0OD" id="2FNFm8neJwz" role="2OqNvi">
|
||||
<node concept="1bVj0M" id="2FNFm8neJyp" role="23t8la">
|
||||
<node concept="3clFbS" id="2FNFm8neJzY" role="1bW5cS">
|
||||
<node concept="3vwNmj" id="2FNFm8neJ$P" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="2FNFm8neJ_n" role="3vwVQn">
|
||||
<node concept="37vLTw" id="2FNFm8neJ_B" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJtu" resolve="types" />
|
||||
</node>
|
||||
<node concept="2Nt0df" id="2FNFm8neJ_C" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="2FNFm8neJ_S" role="38cxEo">
|
||||
<node concept="37vLTw" id="2FNFm8neJAb" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJzZ" resolve="it" />
|
||||
</node>
|
||||
<node concept="3AY5_j" id="2FNFm8neJAc" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3vwNmj" id="2FNFm8neJ$Q" role="3cqZAp">
|
||||
<node concept="2YFouu" id="2FNFm8neJ_o" role="3vwVQn">
|
||||
<node concept="3EllGN" id="2FNFm8neJ_D" role="3uHU7B">
|
||||
<node concept="2OqwBi" id="2FNFm8neJ_T" role="3ElVtu">
|
||||
<node concept="37vLTw" id="2FNFm8neJAd" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJzZ" resolve="it" />
|
||||
</node>
|
||||
<node concept="3AY5_j" id="2FNFm8neJAe" role="2OqNvi" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="2FNFm8neJ_U" role="3ElQJh">
|
||||
<ref role="3cqZAo" node="2FNFm8neJtu" resolve="types" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="2FNFm8neJ_E" role="3uHU7w">
|
||||
<node concept="37vLTw" id="2FNFm8neJ_V" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJzZ" resolve="it" />
|
||||
</node>
|
||||
<node concept="3AV6Ez" id="2FNFm8neJ_W" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="Rh6nW" id="2FNFm8neJzZ" role="1bW2Oz">
|
||||
<property role="TrG5h" value="it" />
|
||||
<node concept="2jxLKc" id="2FNFm8neJ$R" role="1tU5fm" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="2FNFm8neJtx" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="1X3_iC" id="6gZak$B1UIE" role="lGtFl">
|
||||
<property role="3V$3am" value="nodesToCheck" />
|
||||
<property role="3V$3ak" value="8585453e-6bfb-4d80-98de-b16074f1d86c/1216913645126/1217501822150" />
|
||||
<node concept="1qefOq" id="2FNFm8neJtj" role="8Wnug">
|
||||
<node concept="312cEu" id="2FNFm8neJtJ" role="1qenE9">
|
||||
<property role="TrG5h" value="BLDemo" />
|
||||
<node concept="3clFb_" id="2FNFm8neJuk" role="jymVt">
|
||||
<property role="TrG5h" value="foo" />
|
||||
<node concept="37vLTG" id="2FNFm8neJvC" role="3clF46">
|
||||
<property role="TrG5h" value="b" />
|
||||
<node concept="10P_77" id="2FNFm8neJwO" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="10Oyi0" id="2FNFm8neJvD" role="3clF45" />
|
||||
<node concept="3Tm1VV" id="2FNFm8neJvE" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="2FNFm8neJvF" role="3clF47">
|
||||
<node concept="3cpWs8" id="2FNFm8neJwP" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="2FNFm8neJy_" role="3cpWs9">
|
||||
<property role="TrG5h" value="i" />
|
||||
<node concept="10Oyi0" id="2FNFm8neJ$9" role="1tU5fm" />
|
||||
<node concept="3cmrfG" id="2FNFm8neJ$a" role="33vP2m">
|
||||
<property role="3cmrfH" value="1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbJ" id="2FNFm8neJwQ" role="3cqZAp">
|
||||
<node concept="3clFbS" id="2FNFm8neJyA" role="3clFbx">
|
||||
<node concept="3clFbH" id="2FNFm8neJ$b" role="3cqZAp" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="2FNFm8neJyB" role="3clFbw">
|
||||
<ref role="3cqZAo" node="2FNFm8neJvC" resolve="b" />
|
||||
</node>
|
||||
<node concept="9aQIb" id="2FNFm8neJyC" role="9aQIa">
|
||||
<node concept="3clFbS" id="2FNFm8neJ$c" role="9aQI4">
|
||||
<node concept="3clFbF" id="2FNFm8neJ$Y" role="3cqZAp">
|
||||
<node concept="37vLTI" id="2FNFm8neJ_r" role="3clFbG">
|
||||
<node concept="37vLTw" id="2FNFm8neJ_G" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="2FNFm8neJy_" resolve="i" />
|
||||
<node concept="3xLA65" id="2FNFm8neJ_Z" role="lGtFl">
|
||||
<property role="TrG5h" value="iiVar" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs3" id="2FNFm8neJ_H" role="37vLTx">
|
||||
<node concept="37vLTw" id="2FNFm8neJA0" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="2FNFm8neJy_" resolve="i" />
|
||||
</node>
|
||||
<node concept="3cmrfG" id="2FNFm8neJA1" role="3uHU7w">
|
||||
<property role="3cmrfH" value="1" />
|
||||
<node concept="3xLA65" id="2FNFm8neJAf" role="lGtFl">
|
||||
<property role="TrG5h" value="const111" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="2FNFm8neJwR" role="3cqZAp">
|
||||
<node concept="37vLTw" id="2FNFm8neJyD" role="3clFbG">
|
||||
<ref role="3cqZAo" node="2FNFm8neJy_" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="2FNFm8neJul" role="1B3o_S" />
|
||||
<node concept="3xLA65" id="2FNFm8neJum" role="lGtFl">
|
||||
<property role="TrG5h" value="demo2" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1LZb2c" id="2FNFm8neJtn" role="1SL9yI">
|
||||
<property role="TrG5h" value="baseLangReplaceSingle" />
|
||||
<node concept="3cqZAl" id="2FNFm8neJtT" role="3clF45" />
|
||||
<node concept="3clFbS" id="2FNFm8neJtU" role="3clF47">
|
||||
<node concept="3cpWs8" id="3evPR3Ef6Z3" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="3evPR3Ef6Z6" role="3cpWs9">
|
||||
<property role="TrG5h" value="testCase" />
|
||||
<node concept="3Tqbb2" id="3evPR3Ef6Z1" role="1tU5fm" />
|
||||
<node concept="3xONca" id="6gZak$B1YT7" role="33vP2m">
|
||||
<ref role="3xOPvv" node="6gZak$B1XHR" resolve="iVarDecl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="2FNFm8neJuW" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="2FNFm8neJwb" role="3cpWs9">
|
||||
<property role="TrG5h" value="repo" />
|
||||
<property role="3TUv4t" value="true" />
|
||||
<node concept="3uibUv" id="2FNFm8neJxI" role="1tU5fm">
|
||||
<ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="2FNFm8neJxJ" role="33vP2m">
|
||||
<node concept="2JrnkZ" id="2FNFm8neJzr" role="2Oq$k0">
|
||||
<node concept="2OqwBi" id="2FNFm8neJ$C" role="2JrQYb">
|
||||
<node concept="I4A8Y" id="2FNFm8neJ_g" role="2OqNvi" />
|
||||
<node concept="37vLTw" id="3evPR3Ef8dw" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="3evPR3Ef6Z6" resolve="testCase" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="2FNFm8neJzs" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SModel.getRepository()" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="2FNFm8neJuX" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="2FNFm8neJwc" role="3cpWs9">
|
||||
<property role="TrG5h" value="launcher" />
|
||||
<node concept="3uibUv" id="2FNFm8neJxK" role="1tU5fm">
|
||||
<ref role="3uigEE" to="hfva:tyIfzC0ZNj" resolve="IncrementalLaunchHelper" />
|
||||
</node>
|
||||
<node concept="2ShNRf" id="2FNFm8neJxL" role="33vP2m">
|
||||
<node concept="1pGfFk" id="2FNFm8neJzt" role="2ShVmc">
|
||||
<ref role="37wK5l" to="hfva:tyIfzC0ZVq" resolve="IncrementalLaunchHelper" />
|
||||
<node concept="37vLTw" id="2FNFm8neJ$D" role="37wK5m">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwb" resolve="repo" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="2FNFm8neJ$E" role="37wK5m">
|
||||
<node concept="I4A8Y" id="2FNFm8neJ_i" role="2OqNvi" />
|
||||
<node concept="37vLTw" id="3evPR3Efa0r" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="3evPR3Ef6Z6" resolve="testCase" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="10M0yZ" id="2FNFm8neJ$F" role="37wK5m">
|
||||
<ref role="1PxDUh" to="tj24:4t7Xo7inNgi" resolve="TypecheckingQueryKind" />
|
||||
<ref role="3cqZAo" to="tj24:4t7Xo7inNvw" resolve="TYPECHECK" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="2FNFm8neJuY" role="3cqZAp" />
|
||||
<node concept="3cpWs8" id="2FNFm8neJuZ" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="2FNFm8neJwd" role="3cpWs9">
|
||||
<property role="TrG5h" value="types1" />
|
||||
<node concept="3rvAFt" id="2FNFm8neJxM" role="1tU5fm">
|
||||
<node concept="3uibUv" id="2FNFm8neJzu" role="3rvQeY">
|
||||
<ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="2FNFm8neJzv" role="3rvSg0" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="2FNFm8neJxN" role="33vP2m">
|
||||
<node concept="37vLTw" id="2FNFm8neJzw" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwc" resolve="launcher" />
|
||||
</node>
|
||||
<node concept="liA8E" id="2FNFm8neJzx" role="2OqNvi">
|
||||
<ref role="37wK5l" to="hfva:4aLjyB0PyDl" resolve="launch" />
|
||||
<node concept="37vLTw" id="3evPR3EfagA" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3evPR3Ef6Z6" resolve="testCase" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3cpWs8" id="2FNFm8neJv0" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="2FNFm8neJwe" role="3cpWs9">
|
||||
<property role="TrG5h" value="iVarRef" />
|
||||
<node concept="3uibUv" id="2FNFm8neJxO" role="1tU5fm">
|
||||
<ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="2FNFm8neJxP" role="33vP2m">
|
||||
<node concept="1eOMI4" id="2FNFm8neJzy" role="2Oq$k0">
|
||||
<node concept="10QFUN" id="2FNFm8neJ$H" role="1eOMHV">
|
||||
<node concept="3uibUv" id="2FNFm8neJ_j" role="10QFUM">
|
||||
<ref role="3uigEE" to="mhbf:~SNode" resolve="SNode" />
|
||||
</node>
|
||||
<node concept="3xONca" id="6gZak$B1YPb" role="10QFUP">
|
||||
<ref role="3xOPvv" node="6gZak$B1XHR" resolve="iVarDecl" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="2FNFm8neJzz" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNode.getReference()" resolve="getReference" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="JA50E" id="3evPR3EeWZ_" role="3cqZAp">
|
||||
<node concept="2c44tf" id="2FNFm8neJwf" role="JA92f">
|
||||
<node concept="10Oyi0" id="2FNFm8neJxQ" role="2c44tc" />
|
||||
</node>
|
||||
<node concept="3EllGN" id="2FNFm8neJwg" role="JAdkl">
|
||||
<node concept="37vLTw" id="2FNFm8neJxR" role="3ElVtu">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwe" resolve="iVarRef" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="2FNFm8neJxS" role="3ElQJh">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwd" resolve="types1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="2FNFm8neJv2" role="3cqZAp" />
|
||||
<node concept="3clFbF" id="2FNFm8neJv3" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="2FNFm8neJwh" role="3clFbG">
|
||||
<node concept="3xONca" id="3evPR3Efeqe" role="2Oq$k0">
|
||||
<ref role="3xOPvv" node="3evPR3Ef1La" resolve="const0" />
|
||||
</node>
|
||||
<node concept="1P9Npp" id="2FNFm8neJxU" role="2OqNvi">
|
||||
<node concept="2c44tf" id="2FNFm8neJz$" role="1P9ThW">
|
||||
<node concept="3cmrfG" id="2FNFm8neJ$I" role="2c44tc">
|
||||
<property role="3cmrfH" value="42" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="2FNFm8neJv4" role="3cqZAp" />
|
||||
<node concept="3cpWs8" id="2FNFm8neJv5" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="2FNFm8neJwi" role="3cpWs9">
|
||||
<property role="TrG5h" value="typesDelta" />
|
||||
<node concept="2OqwBi" id="2FNFm8neJxV" role="33vP2m">
|
||||
<node concept="37vLTw" id="2FNFm8neJz_" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwc" resolve="launcher" />
|
||||
</node>
|
||||
<node concept="liA8E" id="2FNFm8neJzA" role="2OqNvi">
|
||||
<ref role="37wK5l" to="hfva:tyIfzC0ZRF" resolve="relaunch" />
|
||||
<node concept="37vLTw" id="3evPR3Efayg" role="37wK5m">
|
||||
<ref role="3cqZAo" node="3evPR3Ef6Z6" resolve="testCase" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3rvAFt" id="2FNFm8neJxW" role="1tU5fm">
|
||||
<node concept="3uibUv" id="2FNFm8neJzB" role="3rvQeY">
|
||||
<ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="2FNFm8neJzC" role="3rvSg0" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="2FNFm8neJv6" role="3cqZAp" />
|
||||
<node concept="3clFbF" id="4VntlICsDxZ" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="3evPR3Ees6w" role="3clFbG">
|
||||
<ref role="1Pybhc" to="hfva:3evPR3EeeoU" resolve="TestInfoPrinter" />
|
||||
<ref role="37wK5l" to="hfva:3evPR3Eeirf" resolve="printRulesDiff" />
|
||||
<node concept="2OqwBi" id="4VntlICsGHW" role="37wK5m">
|
||||
<node concept="37vLTw" id="4VntlICsGAX" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwc" resolve="launcher" />
|
||||
</node>
|
||||
<node concept="liA8E" id="4VntlICsIMt" role="2OqNvi">
|
||||
<ref role="37wK5l" to="hfva:4VntlICr0sg" resolve="getRulesDiff" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3evPR3EetN2" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="3evPR3Eeua0" role="3clFbG">
|
||||
<ref role="37wK5l" to="hfva:3evPR3Eeopd" resolve="printTypes" />
|
||||
<ref role="1Pybhc" to="hfva:3evPR3EeeoU" resolve="TestInfoPrinter" />
|
||||
<node concept="37vLTw" id="3evPR3Eeuht" role="37wK5m">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwb" resolve="repo" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3evPR3EeuMB" role="37wK5m">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwd" resolve="types1" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="3evPR3EeuRs" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="3evPR3EeuRt" role="3clFbG">
|
||||
<ref role="37wK5l" to="hfva:3evPR3Eeopd" resolve="printTypes" />
|
||||
<ref role="1Pybhc" to="hfva:3evPR3EeeoU" resolve="TestInfoPrinter" />
|
||||
<node concept="37vLTw" id="3evPR3EeuRu" role="37wK5m">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwb" resolve="repo" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="3evPR3EevJG" role="37wK5m">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwi" resolve="typesDelta" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="2FNFm8neJva" role="3cqZAp" />
|
||||
<node concept="3SKdUt" id="2FNFm8neJvb" role="3cqZAp">
|
||||
<node concept="1PaTwC" id="2FNFm8neJwm" role="3ndbpf">
|
||||
<node concept="3oM_SD" id="2FNFm8neJy3" role="1PaTwD">
|
||||
<property role="3oM_SC" value="relaunch" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="2FNFm8neJy4" role="1PaTwD">
|
||||
<property role="3oM_SC" value="recomputes" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="2FNFm8neJy5" role="1PaTwD">
|
||||
<property role="3oM_SC" value="less" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="2FNFm8neJy6" role="1PaTwD">
|
||||
<property role="3oM_SC" value="than" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="2FNFm8neJy7" role="1PaTwD">
|
||||
<property role="3oM_SC" value="the" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="2FNFm8neJy8" role="1PaTwD">
|
||||
<property role="3oM_SC" value="whole" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="2FNFm8neJy9" role="1PaTwD">
|
||||
<property role="3oM_SC" value="program" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3vwNmj" id="2FNFm8neJvc" role="3cqZAp">
|
||||
<node concept="3eOVzh" id="2FNFm8neJwn" role="3vwVQn">
|
||||
<node concept="2OqwBi" id="2FNFm8neJya" role="3uHU7w">
|
||||
<node concept="37vLTw" id="2FNFm8neJzI" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwd" resolve="types1" />
|
||||
</node>
|
||||
<node concept="34oBXx" id="2FNFm8neJzJ" role="2OqNvi" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="2FNFm8neJyb" role="3uHU7B">
|
||||
<node concept="37vLTw" id="2FNFm8neJzK" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwi" resolve="typesDelta" />
|
||||
</node>
|
||||
<node concept="34oBXx" id="2FNFm8neJzL" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3vwNmj" id="2FNFm8neJvd" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="2FNFm8neJwo" role="3vwVQn">
|
||||
<node concept="37vLTw" id="2FNFm8neJyc" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwi" resolve="typesDelta" />
|
||||
</node>
|
||||
<node concept="2Nt0df" id="2FNFm8neJyd" role="2OqNvi">
|
||||
<node concept="37vLTw" id="2FNFm8neJzM" role="38cxEo">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwe" resolve="iVarRef" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3vwNmj" id="2FNFm8neJve" role="3cqZAp">
|
||||
<node concept="2YFouu" id="2FNFm8neJwp" role="3vwVQn">
|
||||
<node concept="2c44tf" id="2FNFm8neJye" role="3uHU7B">
|
||||
<node concept="10Oyi0" id="2FNFm8neJzN" role="2c44tc" />
|
||||
</node>
|
||||
<node concept="3EllGN" id="2FNFm8neJyf" role="3uHU7w">
|
||||
<node concept="37vLTw" id="2FNFm8neJzO" role="3ElVtu">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwe" resolve="iVarRef" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="2FNFm8neJzP" role="3ElQJh">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwi" resolve="typesDelta" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="2FNFm8neJvf" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="2FNFm8neJwq" role="3clFbG">
|
||||
<node concept="2WthIp" id="2FNFm8neJyg" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2FNFm8neJyh" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="2FNFm8neJtd" resolve="assertSameAsGroundTruth" />
|
||||
<node concept="37vLTw" id="3evPR3Efbme" role="2XxRq1">
|
||||
<ref role="3cqZAo" node="3evPR3Ef6Z6" resolve="testCase" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="2FNFm8neJzR" role="2XxRq1">
|
||||
<ref role="3cqZAo" node="2FNFm8neJwc" resolve="launcher" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2XOHcx" id="6gZak$ALGJE">
|
||||
<property role="2XOHcw" value="${mpscore_home}" />
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
@ -11,9 +11,11 @@
|
|||
<dependency reexport="false">f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</dependency>
|
||||
<dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)</dependency>
|
||||
<dependency reexport="false">6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)</dependency>
|
||||
<dependency reexport="false">c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.coderules.typechecking.test)</dependency>
|
||||
<dependency reexport="false">0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)</dependency>
|
||||
</dependencies>
|
||||
<languageVersions>
|
||||
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="9" />
|
||||
<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" />
|
||||
|
|
@ -26,7 +28,8 @@
|
|||
<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:28f9e497-3b42-4291-aeba-0a1039153ab1:jetbrains.mps.lang.plugin" version="4" />
|
||||
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="15" />
|
||||
<language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="1" />
|
||||
<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:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
|
||||
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
|
||||
|
|
@ -39,8 +42,10 @@
|
|||
<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="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
|
||||
<module reference="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" version="0" />
|
||||
<module reference="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
|
||||
<module reference="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.coderules.typechecking)" version="0" />
|
||||
<module reference="c9670c16-a215-41fb-8784-04b14329799d(jetbrains.mps.coderules.typechecking.test)" version="0" />
|
||||
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" 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" />
|
||||
|
|
|
|||
Loading…
Reference in New Issue