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

Drop the rest of "incremental" stuff

This commit is contained in:
Fedor Isakov 2024-06-13 11:03:02 +02:00
parent 2e5517271d
commit b053cd7c3e
8 changed files with 12 additions and 12412 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -37,7 +37,6 @@
<import index="6exd" ref="r:0f9b1fb3-00f9-4480-b235-1a906a087ab2(jetbrains.mps.logic.dataform)" />
<import index="hano" ref="r:2b43b673-12f9-49ea-8e43-d0c7a401586a(jetbrains.mps.lang.coderules.eval)" />
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.unification)" />
<import index="7ed7" ref="r:48788b84-8ecd-41f5-ad03-cc8c09b1f186(jetbrains.mps.lang.coderules.analysis)" />
<import index="i8bi" ref="r:c3548bac-30eb-4a2a-937c-0111d5697309(jetbrains.mps.lang.smodel.generator.smodelAdapter)" />
<import index="jpi6" ref="r:4c913df4-f2d5-43f7-af56-6bccd35aeb11(jetbrains.mps.lang.coderules.terms)" />
<import index="tpek" ref="r:00000000-0000-4000-0000-011c895902c0(jetbrains.mps.baseLanguage.behavior)" />

6821
coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps
View File

File diff suppressed because it is too large Load Diff

1132
coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.program.analysis.mps
View File

File diff suppressed because it is too large Load Diff

57
coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps
View File

@ -584,10 +584,6 @@
<node concept="3VsKOn" id="3j46jeGMfFm" role="37wK5m">
<ref role="3VsUkX" to="tj24:5EDW3XDYNPr" resolve="CheckQuery" />
</node>
<node concept="Rm8GO" id="6VRLMeOyGcf" role="37wK5m">
<ref role="Rm8GQ" to="av0y:~IncrementalSpec$IncrLevel.Full" resolve="Full" />
<ref role="1Px2BO" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
</node>
</node>
</node>
</node>
@ -637,9 +633,6 @@
<node concept="37vLTw" id="6VRLMeOvbkB" role="37wK5m">
<ref role="3cqZAo" node="6VRLMeOv5a8" resolve="query" />
</node>
<node concept="37vLTw" id="6VRLMeOy_Pg" role="37wK5m">
<ref role="3cqZAo" node="6VRLMeOyzTl" resolve="incrLevel" />
</node>
</node>
</node>
</node>
@ -667,12 +660,6 @@
</node>
</node>
</node>
<node concept="37vLTG" id="6VRLMeOyzTl" role="3clF46">
<property role="TrG5h" value="incrLevel" />
<node concept="3uibUv" id="6VRLMeOy$ek" role="1tU5fm">
<ref role="3uigEE" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
</node>
</node>
</node>
<node concept="2tJIrI" id="3j46jeGGjuE" role="jymVt" />
<node concept="2tJIrI" id="WJTIIoU5XH" role="jymVt" />
@ -756,10 +743,6 @@
<node concept="3VsKOn" id="3j46jeGMBFu" role="37wK5m">
<ref role="3VsUkX" to="tj24:5EDW3XDYNPr" resolve="CheckQuery" />
</node>
<node concept="Rm8GO" id="6VRLMeOvPrz" role="37wK5m">
<ref role="1Px2BO" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
<ref role="Rm8GQ" to="av0y:~IncrementalSpec$IncrLevel.Full" resolve="Full" />
</node>
</node>
</node>
</node>
@ -801,12 +784,6 @@
</node>
</node>
</node>
<node concept="37vLTG" id="6VRLMeOw562" role="3clF46">
<property role="TrG5h" value="incrLevel" />
<node concept="3uibUv" id="6VRLMeOw5Hi" role="1tU5fm">
<ref role="3uigEE" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
</node>
</node>
<node concept="3cqZAl" id="tyIfzC0ZVs" role="3clF45" />
<node concept="3Tm1VV" id="tyIfzC0ZVt" role="1B3o_S" />
<node concept="3clFbS" id="tyIfzC0ZVu" role="3clF47">
@ -861,9 +838,6 @@
<node concept="37vLTw" id="3j46jeGMqBl" role="37wK5m">
<ref role="3cqZAo" node="tyIfzC106r" resolve="query" />
</node>
<node concept="37vLTw" id="6VRLMeOw6S_" role="37wK5m">
<ref role="3cqZAo" node="6VRLMeOw562" resolve="incrLevel" />
</node>
</node>
</node>
</node>
@ -890,12 +864,6 @@
</node>
</node>
</node>
<node concept="37vLTG" id="6VRLMeOvRQb" role="3clF46">
<property role="TrG5h" value="incrLevel" />
<node concept="3uibUv" id="6VRLMeOvLai" role="1tU5fm">
<ref role="3uigEE" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
</node>
</node>
<node concept="3clFbS" id="WJTIIoRifI" role="3clF47">
<node concept="3cpWs8" id="WJTIIoJWGO" role="3cqZAp">
<node concept="3cpWsn" id="WJTIIoJWGP" role="3cpWs9">
@ -5043,12 +5011,6 @@
</node>
</node>
</node>
<node concept="37vLTG" id="6VRLMeOw9Gz" role="3clF46">
<property role="TrG5h" value="incrLevel" />
<node concept="3uibUv" id="6VRLMeOw9G$" role="1tU5fm">
<ref role="3uigEE" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
</node>
</node>
<node concept="3cqZAl" id="WJTIIoU__6" role="3clF45" />
<node concept="3Tm1VV" id="WJTIIoU__7" role="1B3o_S" />
<node concept="3clFbS" id="WJTIIoU__8" role="3clF47">
@ -5069,9 +5031,6 @@
<node concept="37vLTw" id="WJTIIoU__d" role="37wK5m">
<ref role="3cqZAo" node="WJTIIoU__4" resolve="query" />
</node>
<node concept="37vLTw" id="6VRLMeOwaeV" role="37wK5m">
<ref role="3cqZAo" node="6VRLMeOw9Gz" resolve="incrLevel" />
</node>
</node>
<node concept="3clFbF" id="3j46jeGLJ5G" role="3cqZAp">
<node concept="37vLTI" id="3j46jeGLJ5H" role="3clFbG">
@ -5844,10 +5803,6 @@
<node concept="3VsKOn" id="3j46jeGNE2j" role="37wK5m">
<ref role="3VsUkX" to="tj24:5EDW3XDYNS7" resolve="ConvertQuery" />
</node>
<node concept="Rm8GO" id="3j46jeGIXci" role="37wK5m">
<ref role="Rm8GQ" to="av0y:~IncrementalSpec$IncrLevel.Preamble" resolve="Preamble" />
<ref role="1Px2BO" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
</node>
</node>
</node>
</node>
@ -5951,10 +5906,6 @@
<node concept="3VsKOn" id="3j46jeGWADv" role="37wK5m">
<ref role="3VsUkX" to="tj24:5EDW3XDYNTS" resolve="CoerceQuery" />
</node>
<node concept="Rm8GO" id="3j46jeGWADw" role="37wK5m">
<ref role="1Px2BO" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
<ref role="Rm8GQ" to="av0y:~IncrementalSpec$IncrLevel.Preamble" resolve="Preamble" />
</node>
</node>
</node>
</node>
@ -6062,10 +6013,6 @@
<node concept="3VsKOn" id="1GGmKhce2S3" role="37wK5m">
<ref role="3VsUkX" to="tj24:1T5MAgP$8dd" resolve="TypeOfQuery" />
</node>
<node concept="Rm8GO" id="1GGmKhceglG" role="37wK5m">
<ref role="Rm8GQ" to="av0y:~IncrementalSpec$IncrLevel.Preamble" resolve="Preamble" />
<ref role="1Px2BO" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
</node>
</node>
</node>
</node>
@ -6167,10 +6114,6 @@
<node concept="3VsKOn" id="3j46jeGNfzB" role="37wK5m">
<ref role="3VsUkX" to="tj24:5EDW3XDYNPr" resolve="CheckQuery" />
</node>
<node concept="Rm8GO" id="3j46jeGKc8b" role="37wK5m">
<ref role="Rm8GQ" to="av0y:~IncrementalSpec$IncrLevel.Full" resolve="Full" />
<ref role="1Px2BO" to="av0y:~IncrementalSpec$IncrLevel" resolve="IncrementalSpec.IncrLevel" />
</node>
</node>
</node>
</node>

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

@ -44,14 +44,11 @@
<language slang="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" version="0" />
<language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:c4803b19-6d89-4a3b-bf82-390769514add:jetbrains.mps.lang.coderules" version="25" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="2" />
<language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="5" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="19" />
<language slang="l:8585453e-6bfb-4d80-98de-b16074f1d86c:jetbrains.mps.lang.test" version="6" />
<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" />
<language slang="l:35320f26-77cb-4c55-be9f-a97a27770af1:jetbrains.mps.logic" version="13" />
<language slang="l:3a1f0f04-b5e0-43be-884e-b856bfdeca21:jetbrains.mps.typechecking.testlang" version="0" />

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

File diff suppressed because it is too large Load Diff

24
coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
View File

@ -2381,7 +2381,7 @@
<node concept="3cpWsn" id="4ZGicUZ3AX0" role="3cpWs9">
<property role="TrG5h" value="modifier" />
<node concept="3uibUv" id="4ZGicUZ3AWY" role="1tU5fm">
<ref role="3uigEE" node="4ZGicUYVz9J" resolve="CustomMatcher" />
<ref role="3uigEE" node="4ZGicUYVz9J" resolve="TypecheckingTestHelper.CustomMatcher" />
</node>
<node concept="10M0yZ" id="5Hi6MebuFzr" role="33vP2m">
<ref role="3cqZAo" node="5Hi6MebutI9" resolve="DEFAULT" />
@ -2461,7 +2461,7 @@
<node concept="2ShNRf" id="5Hi6Meb$2ab" role="2Oq$k0">
<node concept="1pGfFk" id="5Hi6Meb$2ac" role="2ShVmc">
<property role="373rjd" value="true" />
<ref role="37wK5l" node="5Hi6MebyhlO" />
<ref role="37wK5l" node="5Hi6MebyhlO" resolve="TypecheckingTestHelper.Matcher" />
<node concept="37vLTw" id="5Hi6Meb$2ad" role="37wK5m">
<ref role="3cqZAo" node="4ZGicUZ3AX0" resolve="modifier" />
</node>
@ -2696,7 +2696,7 @@
<property role="TrG5h" value="mAggStrat" />
<property role="3TUv4t" value="true" />
<node concept="3uibUv" id="5Hi6MebxFhZ" role="1tU5fm">
<ref role="3uigEE" to="w1kc:~SNodeMatcher$AggregationMatchStrategy" resolve="AggregationMatchStrategy" />
<ref role="3uigEE" to="w1kc:~SNodeMatcher$AggregationMatchStrategy" resolve="SNodeMatcher.AggregationMatchStrategy" />
</node>
<node concept="2ShNRf" id="5Hi6MebxW3c" role="33vP2m">
<node concept="1pGfFk" id="5Hi6MebxW3e" role="2ShVmc">
@ -2734,7 +2734,7 @@
<node concept="3clFbF" id="5Hi6MebytRL" role="3cqZAp">
<node concept="37vLTI" id="5Hi6MebytRN" role="3clFbG">
<node concept="37vLTw" id="5Hi6MebytRQ" role="37vLTJ">
<ref role="3cqZAo" node="5Hi6MebytRH" resolve="myCmatcher" />
<ref role="3cqZAo" node="5Hi6MebytRH" resolve="myCustMatch" />
</node>
<node concept="37vLTw" id="5Hi6MebytRR" role="37vLTx">
<ref role="3cqZAo" node="5Hi6Mebyigx" resolve="cmatcher" />
@ -2746,7 +2746,7 @@
<node concept="2OqwBi" id="1ewL_EoFsFy" role="37vLTJ">
<node concept="Xjq3P" id="1ewL_EoFsFz" role="2Oq$k0" />
<node concept="2OwXpG" id="1ewL_EoFsF$" role="2OqNvi">
<ref role="2Oxat5" node="1ewL_EoFsFk" resolve="myMatcher" />
<ref role="2Oxat5" node="1ewL_EoFsFk" resolve="myMatch" />
</node>
</node>
<node concept="2ShNRf" id="1ewL_EoFsF_" role="37vLTx">
@ -2908,18 +2908,18 @@
<node concept="1rXfSq" id="5Hi6MebxFiy" role="3uHU7B">
<ref role="37wK5l" node="5Hi6MebxFj5" resolve="test" />
<node concept="37vLTw" id="5Hi6MebxFiz" role="37wK5m">
<ref role="3cqZAo" node="5Hi6MebxFim" resolve="target1" />
<ref role="3cqZAo" node="5Hi6MebxFim" resolve="trgA" />
</node>
<node concept="37vLTw" id="5Hi6MebxFi$" role="37wK5m">
<ref role="3cqZAo" node="5Hi6MebxFir" resolve="target2" />
<ref role="3cqZAo" node="5Hi6MebxFir" resolve="trgB" />
</node>
</node>
<node concept="3clFbC" id="5Hi6MebxFi_" role="3uHU7w">
<node concept="37vLTw" id="5Hi6MebxFiA" role="3uHU7B">
<ref role="3cqZAo" node="5Hi6MebxFim" resolve="target1" />
<ref role="3cqZAo" node="5Hi6MebxFim" resolve="trgA" />
</node>
<node concept="37vLTw" id="5Hi6MebxFiB" role="3uHU7w">
<ref role="3cqZAo" node="5Hi6MebxFir" resolve="target2" />
<ref role="3cqZAo" node="5Hi6MebxFir" resolve="trgB" />
</node>
</node>
</node>
@ -2973,15 +2973,15 @@
<node concept="3cpWs6" id="5Hi6MebxFiV" role="3cqZAp">
<node concept="2OqwBi" id="5Hi6MebxUmn" role="3cqZAk">
<node concept="37vLTw" id="5Hi6MebxMKH" role="2Oq$k0">
<ref role="3cqZAo" node="5Hi6MebxFhX" resolve="myDelegate2" />
<ref role="3cqZAo" node="5Hi6MebxFhX" resolve="mAggStrat" />
</node>
<node concept="liA8E" id="5Hi6MebxUmo" role="2OqNvi">
<ref role="37wK5l" to="w1kc:~SNodeMatcher$AggregationMatchStrategy.match(org.jetbrains.mps.openapi.model.SNode,org.jetbrains.mps.openapi.model.SNode,org.jetbrains.mps.openapi.language.SContainmentLink,java.util.function.BiPredicate)" resolve="match" />
<node concept="37vLTw" id="5Hi6MebxUmp" role="37wK5m">
<ref role="3cqZAo" node="5Hi6MebxFiG" resolve="node1" />
<ref role="3cqZAo" node="5Hi6MebxFiG" resolve="a" />
</node>
<node concept="37vLTw" id="5Hi6MebxUmq" role="37wK5m">
<ref role="3cqZAo" node="5Hi6MebxFiJ" resolve="node2" />
<ref role="3cqZAo" node="5Hi6MebxFiJ" resolve="b" />
</node>
<node concept="37vLTw" id="5Hi6MebxUmr" role="37wK5m">
<ref role="3cqZAo" node="5Hi6MebxFiM" resolve="link" />

301
coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.template.mps
View File

@ -223,9 +223,6 @@
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
</concept>
<concept id="1154542696413" name="jetbrains.mps.baseLanguage.structure.ArrayCreatorWithInitializer" flags="nn" index="3g6Rrh">
<child id="1154542793668" name="componentType" index="3g7fb8" />
</concept>
<concept id="1160998861373" name="jetbrains.mps.baseLanguage.structure.AssertStatement" flags="nn" index="1gVbGN">
<child id="1160998896846" name="condition" index="1gVkn0" />
</concept>
@ -8471,195 +8468,6 @@
</node>
</node>
</node>
<node concept="312cEu" id="1H_6AUSXnyk">
<property role="1sVAO0" value="true" />
<property role="TrG5h" value="ProgramAnalysis" />
<property role="3GE5qa" value="analysis" />
<node concept="312cEg" id="1H_6AUSXtEt" role="jymVt">
<property role="TrG5h" value="deps" />
<node concept="3Tm6S6" id="1H_6AUSXtD8" role="1B3o_S" />
<node concept="10Q1$e" id="1H_6AUSXtEe" role="1tU5fm">
<node concept="3uibUv" id="1H_6AUSXtE0" role="10Q1$1">
<ref role="3uigEE" node="1H_6AUSXnyk" resolve="ProgramAnalysis" />
</node>
</node>
</node>
<node concept="312cEg" id="1H_6AUSXu5x" role="jymVt">
<property role="TrG5h" value="isRun" />
<node concept="3Tm6S6" id="1H_6AUSXu3T" role="1B3o_S" />
<node concept="10P_77" id="1H_6AUSXu79" role="1tU5fm" />
<node concept="3clFbT" id="1H_6AUSXxtU" role="33vP2m" />
</node>
<node concept="2tJIrI" id="1H_6AUSXnCW" role="jymVt" />
<node concept="3clFbW" id="7m2UX3UItlq" role="jymVt">
<node concept="3cqZAl" id="7m2UX3UItls" role="3clF45" />
<node concept="3Tm1VV" id="7m2UX3UItlt" role="1B3o_S" />
<node concept="3clFbS" id="7m2UX3UItlu" role="3clF47">
<node concept="3clFbF" id="7m2UX3UIxzN" role="3cqZAp">
<node concept="37vLTI" id="7m2UX3UIya1" role="3clFbG">
<node concept="2ShNRf" id="7m2UX3UIyoU" role="37vLTx">
<node concept="3g6Rrh" id="7m2UX3UI_FU" role="2ShVmc">
<node concept="3uibUv" id="7m2UX3UI_8d" role="3g7fb8">
<ref role="3uigEE" node="1H_6AUSXnyk" resolve="ProgramAnalysis" />
</node>
</node>
</node>
<node concept="2OqwBi" id="7m2UX3UIxC9" role="37vLTJ">
<node concept="Xjq3P" id="7m2UX3UIxzM" role="2Oq$k0" />
<node concept="2OwXpG" id="7m2UX3UIxT8" role="2OqNvi">
<ref role="2Oxat5" node="1H_6AUSXtEt" resolve="deps" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="7m2UX3UIqI3" role="jymVt" />
<node concept="3clFbW" id="1H_6AUSXnzy" role="jymVt">
<node concept="37vLTG" id="1H_6AUSXnzW" role="3clF46">
<property role="TrG5h" value="deps" />
<node concept="8X2XB" id="1H_6AUSXn$F" role="1tU5fm">
<node concept="3uibUv" id="1H_6AUSXn$i" role="8Xvag">
<ref role="3uigEE" node="1H_6AUSXnyk" resolve="ProgramAnalysis" />
</node>
</node>
</node>
<node concept="3cqZAl" id="1H_6AUSXnz$" role="3clF45" />
<node concept="3Tm1VV" id="1H_6AUSXnz_" role="1B3o_S" />
<node concept="3clFbS" id="1H_6AUSXnzA" role="3clF47">
<node concept="3clFbF" id="1H_6AUSXtFK" role="3cqZAp">
<node concept="37vLTI" id="1H_6AUSXtWF" role="3clFbG">
<node concept="37vLTw" id="1H_6AUSXtZz" role="37vLTx">
<ref role="3cqZAo" node="1H_6AUSXnzW" resolve="deps" />
</node>
<node concept="2OqwBi" id="1H_6AUSXtLg" role="37vLTJ">
<node concept="Xjq3P" id="1H_6AUSXtFJ" role="2Oq$k0" />
<node concept="2OwXpG" id="1H_6AUSXtQE" role="2OqNvi">
<ref role="2Oxat5" node="1H_6AUSXtEt" resolve="deps" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="1H_6AUSXvbk" role="jymVt" />
<node concept="3clFb_" id="1H_6AUSXudJ" role="jymVt">
<property role="TrG5h" value="isRun" />
<node concept="3clFbS" id="1H_6AUSXudM" role="3clF47">
<node concept="3cpWs6" id="1H_6AUSXuh9" role="3cqZAp">
<node concept="37vLTw" id="1H_6AUSXuhB" role="3cqZAk">
<ref role="3cqZAo" node="1H_6AUSXu5x" resolve="isRun" />
</node>
</node>
</node>
<node concept="3Tm1VV" id="1H_6AUSXuc3" role="1B3o_S" />
<node concept="10P_77" id="1H_6AUSXuf_" role="3clF45" />
</node>
<node concept="2tJIrI" id="1H_6AUSXuro" role="jymVt" />
<node concept="3clFb_" id="1H_6AUSXuxC" role="jymVt">
<property role="TrG5h" value="run" />
<property role="DiZV1" value="true" />
<node concept="3clFbS" id="1H_6AUSXuxF" role="3clF47">
<node concept="3SKdUt" id="1H_6AUT4e$I" role="3cqZAp">
<node concept="1PaTwC" id="1H_6AUT4e$J" role="1aUNEU">
<node concept="3oM_SD" id="1H_6AUT4eAT" role="1PaTwD">
<property role="3oM_SC" value="dfs" />
</node>
<node concept="3oM_SD" id="1H_6AUT4eB3" role="1PaTwD">
<property role="3oM_SC" value="traverse" />
</node>
<node concept="3oM_SD" id="1H_6AUT4eBe" role="1PaTwD">
<property role="3oM_SC" value="of" />
</node>
<node concept="3oM_SD" id="1H_6AUT4eBi" role="1PaTwD">
<property role="3oM_SC" value="deps," />
</node>
<node concept="3oM_SD" id="1H_6AUT4eBJ" role="1PaTwD">
<property role="3oM_SC" value="no" />
</node>
<node concept="3oM_SD" id="1H_6AUT4eBP" role="1PaTwD">
<property role="3oM_SC" value="cycles" />
</node>
<node concept="3oM_SD" id="1H_6AUT4eCk" role="1PaTwD">
<property role="3oM_SC" value="check" />
</node>
</node>
</node>
<node concept="2Gpval" id="1H_6AUSXvdQ" role="3cqZAp">
<node concept="2GrKxI" id="1H_6AUSXvdR" role="2Gsz3X">
<property role="TrG5h" value="dep" />
</node>
<node concept="37vLTw" id="1H_6AUSXve_" role="2GsD0m">
<ref role="3cqZAo" node="1H_6AUSXtEt" resolve="deps" />
</node>
<node concept="3clFbS" id="1H_6AUSXvdT" role="2LFqv$">
<node concept="3clFbJ" id="1H_6AUSXvhI" role="3cqZAp">
<node concept="3fqX7Q" id="1H_6AUSXvVP" role="3clFbw">
<node concept="2OqwBi" id="1H_6AUSXvVR" role="3fr31v">
<node concept="2GrUjf" id="1H_6AUSXvVS" role="2Oq$k0">
<ref role="2Gs0qQ" node="1H_6AUSXvdR" resolve="dep" />
</node>
<node concept="liA8E" id="1H_6AUSXw47" role="2OqNvi">
<ref role="37wK5l" node="1H_6AUSXudJ" resolve="isRun" />
</node>
</node>
</node>
<node concept="3clFbS" id="1H_6AUSXvhK" role="3clFbx">
<node concept="3clFbF" id="1H_6AUSXw62" role="3cqZAp">
<node concept="2OqwBi" id="1H_6AUSXwr$" role="3clFbG">
<node concept="2GrUjf" id="1H_6AUSXw61" role="2Oq$k0">
<ref role="2Gs0qQ" node="1H_6AUSXvdR" resolve="dep" />
</node>
<node concept="liA8E" id="1H_6AUSXwt2" role="2OqNvi">
<ref role="37wK5l" node="1H_6AUSXuxC" resolve="run" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1H_6AUSXwD5" role="3cqZAp">
<node concept="1rXfSq" id="1H_6AUSXwD3" role="3clFbG">
<ref role="37wK5l" node="1H_6AUSXuSf" resolve="doRun" />
</node>
</node>
<node concept="3clFbF" id="1H_6AUSXwIk" role="3cqZAp">
<node concept="37vLTI" id="1H_6AUSXxox" role="3clFbG">
<node concept="3clFbT" id="1H_6AUSXxtc" role="37vLTx">
<property role="3clFbU" value="true" />
</node>
<node concept="2OqwBi" id="1H_6AUSXwPI" role="37vLTJ">
<node concept="Xjq3P" id="1H_6AUSXwIi" role="2Oq$k0" />
<node concept="2OwXpG" id="1H_6AUSXx1$" role="2OqNvi">
<ref role="2Oxat5" node="1H_6AUSXu5x" resolve="isRun" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Tm1VV" id="1H_6AUSXuvw" role="1B3o_S" />
<node concept="3cqZAl" id="1H_6AUSXuzU" role="3clF45" />
</node>
<node concept="2tJIrI" id="1H_6AUSXuOE" role="jymVt" />
<node concept="3clFb_" id="1H_6AUSXuSf" role="jymVt">
<property role="1EzhhJ" value="true" />
<property role="TrG5h" value="doRun" />
<node concept="3clFbS" id="1H_6AUSXuSi" role="3clF47" />
<node concept="3cqZAl" id="1H_6AUSXuWU" role="3clF45" />
<node concept="3Tmbuc" id="1H_6AUSXuYB" role="1B3o_S" />
</node>
<node concept="3Tm1VV" id="1H_6AUSXnyl" role="1B3o_S" />
<node concept="2AHcQZ" id="6AZXE2vtEF3" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Deprecated" resolve="Deprecated" />
<node concept="2B6LJw" id="6AZXE2vtEM4" role="2B76xF">
<ref role="2B6OnR" to="wyt6:~Deprecated.forRemoval()" resolve="forRemoval" />
<node concept="3clFbT" id="6AZXE2vtFmQ" role="2B70Vg">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
</node>
<node concept="3HP615" id="5EDW3XDYeWv">
<property role="3GE5qa" value="query" />
<property role="TrG5h" value="Query" />
@ -8946,28 +8754,6 @@
<node concept="2tJIrI" id="tbauFy9RCP" role="jymVt" />
<node concept="3Tm1VV" id="tbauFxRORj" role="1B3o_S" />
</node>
<node concept="3HP615" id="2WtKs4u1ogK">
<property role="TrG5h" value="ProgramSpecProvider" />
<property role="3GE5qa" value="analysis" />
<node concept="3clFb_" id="5Ud1wlIOa8f" role="jymVt">
<property role="TrG5h" value="specBuilder" />
<node concept="3clFbS" id="5Ud1wlIOa8i" role="3clF47" />
<node concept="3Tm1VV" id="5Ud1wlIOa8j" role="1B3o_S" />
<node concept="3uibUv" id="5tAk4yVXdT6" role="3clF45">
<ref role="3uigEE" node="5tAk4yVWROK" resolve="ProgramSpecBuilder" />
</node>
</node>
<node concept="3Tm1VV" id="2WtKs4u1ogL" role="1B3o_S" />
<node concept="2AHcQZ" id="6AZXE2vtFIj" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Deprecated" resolve="Deprecated" />
<node concept="2B6LJw" id="6AZXE2vtFJj" role="2B76xF">
<ref role="2B6OnR" to="wyt6:~Deprecated.forRemoval()" resolve="forRemoval" />
<node concept="3clFbT" id="6AZXE2vtFL3" role="2B70Vg">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
</node>
<node concept="312cEu" id="5X1yxJHUo54">
<property role="TrG5h" value="TemplateApplicationException" />
<node concept="3Tm1VV" id="5X1yxJHUo55" role="1B3o_S" />
@ -9051,93 +8837,6 @@
</node>
</node>
</node>
<node concept="3HP615" id="5tAk4yVWROK">
<property role="TrG5h" value="ProgramSpecBuilder" />
<property role="3GE5qa" value="analysis" />
<node concept="3clFb_" id="5tAk4yVWROL" role="jymVt">
<property role="TrG5h" value="toSpec" />
<node concept="3clFbS" id="5tAk4yVWROM" role="3clF47" />
<node concept="3Tm1VV" id="5tAk4yVWRON" role="1B3o_S" />
<node concept="3uibUv" id="5tAk4yW2bTv" role="3clF45">
<ref role="3uigEE" to="av0y:~IncrementalSpec" resolve="IncrementalSpec" />
</node>
</node>
<node concept="3clFb_" id="5tAk4yVWROP" role="jymVt">
<property role="TrG5h" value="merge" />
<node concept="3clFbS" id="5tAk4yVWROQ" role="3clF47" />
<node concept="3Tm1VV" id="5tAk4yVWROR" role="1B3o_S" />
<node concept="3uibUv" id="5tAk4yVWROS" role="3clF45">
<ref role="3uigEE" node="5tAk4yVWROK" resolve="ProgramSpecBuilder" />
</node>
<node concept="37vLTG" id="5tAk4yVWROT" role="3clF46">
<property role="TrG5h" value="other" />
<node concept="3uibUv" id="5tAk4yVWROU" role="1tU5fm">
<ref role="3uigEE" node="5tAk4yVWROK" resolve="ProgramSpecBuilder" />
</node>
</node>
</node>
<node concept="2tJIrI" id="5tAk4yVYe_i" role="jymVt" />
<node concept="312cEu" id="5tAk4yVYeLR" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="Empty" />
<node concept="3clFb_" id="5tAk4yVY5iQ" role="jymVt">
<property role="TrG5h" value="toSpec" />
<node concept="3Tm1VV" id="5tAk4yVY5iS" role="1B3o_S" />
<node concept="3uibUv" id="5tAk4yW2bXe" role="3clF45">
<ref role="3uigEE" to="av0y:~IncrementalSpec" resolve="IncrementalSpec" />
</node>
<node concept="3clFbS" id="5tAk4yVY5iU" role="3clF47">
<node concept="3clFbF" id="5tAk4yVY5wc" role="3cqZAp">
<node concept="10M0yZ" id="5tAk4yW2c3y" role="3clFbG">
<ref role="3cqZAo" to="av0y:~IncrementalSpec.DefaultSpec" resolve="DefaultSpec" />
<ref role="1PxDUh" to="av0y:~IncrementalSpec" resolve="IncrementalSpec" />
</node>
</node>
</node>
<node concept="2AHcQZ" id="5tAk4yVY5iW" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="5tAk4yVY5iX" role="jymVt" />
<node concept="3clFb_" id="5tAk4yVY5iY" role="jymVt">
<property role="TrG5h" value="merge" />
<node concept="3Tm1VV" id="5tAk4yVY5j0" role="1B3o_S" />
<node concept="3uibUv" id="5tAk4yVY5j1" role="3clF45">
<ref role="3uigEE" node="5tAk4yVWROK" resolve="ProgramSpecBuilder" />
</node>
<node concept="37vLTG" id="5tAk4yVY5j2" role="3clF46">
<property role="TrG5h" value="other" />
<node concept="3uibUv" id="5tAk4yVY5j3" role="1tU5fm">
<ref role="3uigEE" node="5tAk4yVWROK" resolve="ProgramSpecBuilder" />
</node>
</node>
<node concept="3clFbS" id="5tAk4yVY5j4" role="3clF47">
<node concept="3clFbF" id="5tAk4yVY5T3" role="3cqZAp">
<node concept="37vLTw" id="5tAk4yVY5T2" role="3clFbG">
<ref role="3cqZAo" node="5tAk4yVY5j2" resolve="other" />
</node>
</node>
</node>
<node concept="2AHcQZ" id="5tAk4yVY5j6" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="3Tm1VV" id="5tAk4yVYeLT" role="1B3o_S" />
<node concept="3uibUv" id="5tAk4yVYf6N" role="EKbjA">
<ref role="3uigEE" node="5tAk4yVWROK" resolve="ProgramSpecBuilder" />
</node>
</node>
<node concept="3Tm1VV" id="5tAk4yVWROV" role="1B3o_S" />
<node concept="2AHcQZ" id="6AZXE2vtFzh" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Deprecated" resolve="Deprecated" />
<node concept="2B6LJw" id="6AZXE2vtFCi" role="2B76xF">
<ref role="2B6OnR" to="wyt6:~Deprecated.forRemoval()" resolve="forRemoval" />
<node concept="3clFbT" id="6AZXE2vtFE6" role="2B70Vg">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
</node>
<node concept="3HP615" id="6PWFJfG5LMK">
<property role="TrG5h" value="Memo" />
<node concept="2tJIrI" id="6PWFJfG5LT0" role="jymVt" />