Display baseline conventional typechecking time.

This commit is contained in:
Fedor Isakov 2017-11-03 12:08:48 +01:00
parent 1541244395
commit 291c0b58cd
2 changed files with 347 additions and 105 deletions

View File

@ -30938,130 +30938,181 @@
</node>
</node>
</node>
<node concept="3cpWs8" id="6hqFpWnfpwx" role="3cqZAp">
<node concept="3cpWsn" id="6hqFpWnfpwy" role="3cpWs9">
<property role="TrG5h" value="applyTemplatesStep" />
<node concept="3uibUv" id="6hqFpWnfpwz" role="1tU5fm">
<ref role="3uigEE" to="tj24:1pPth$lAwc0" resolve="ApplyTemplatesStep" />
<node concept="3cpWs8" id="HOeeeUdv2U" role="3cqZAp">
<node concept="3cpWsn" id="HOeeeUdv2V" role="3cpWs9">
<property role="TrG5h" value="steps" />
<node concept="_YKpA" id="HOeeeUdv2M" role="1tU5fm">
<node concept="3uibUv" id="HOeeeUdv2P" role="_ZDj9">
<ref role="3uigEE" to="tj24:1pPth$lAzAx" resolve="Step" />
</node>
</node>
<node concept="3K4zz7" id="6hqFpWniQKa" role="33vP2m">
<node concept="3y3z36" id="6hqFpWniPU_" role="3K4Cdx">
<node concept="10Nm6u" id="6hqFpWniQan" role="3uHU7w" />
<node concept="37vLTw" id="6hqFpWniPbu" role="3uHU7B">
<ref role="3cqZAo" node="6hqFpWnfpcc" resolve="nodes" />
<node concept="2ShNRf" id="HOeeeUdv2W" role="33vP2m">
<node concept="Tc6Ow" id="HOeeeUdv2X" role="2ShVmc">
<node concept="3uibUv" id="HOeeeUdv2Y" role="HW$YZ">
<ref role="3uigEE" to="tj24:1pPth$lAzAx" resolve="Step" />
</node>
</node>
<node concept="2ShNRf" id="6hqFpWnfpw$" role="3K4E3e">
<node concept="1pGfFk" id="6hqFpWnfpw_" role="2ShVmc">
<ref role="37wK5l" to="tj24:7kTeLbPt4na" resolve="ApplyTemplatesStep" />
<node concept="2OqwBi" id="6hqFpWnfpwC" role="37wK5m">
<node concept="Xjq3P" id="6hqFpWnfyLL" role="2Oq$k0" />
<node concept="2OwXpG" id="6hqFpWniRxY" role="2OqNvi">
<ref role="2Oxat5" node="6hqFpWnfpcc" resolve="nodes" />
</node>
</node>
<node concept="37vLTw" id="6hqFpWnfpwG" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
</node>
</node>
</node>
<node concept="3clFbF" id="HOeeeUdqEv" role="3cqZAp">
<node concept="2OqwBi" id="HOeeeUdwKI" role="3clFbG">
<node concept="37vLTw" id="HOeeeUdv2Z" role="2Oq$k0">
<ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
</node>
<node concept="TSZUe" id="HOeeeUdyHz" role="2OqNvi">
<node concept="3K4zz7" id="HOeeeUdyYu" role="25WWJ7">
<node concept="3y3z36" id="HOeeeUdyYv" role="3K4Cdx">
<node concept="10Nm6u" id="HOeeeUdyYw" role="3uHU7w" />
<node concept="37vLTw" id="HOeeeUdyYx" role="3uHU7B">
<ref role="3cqZAo" node="6hqFpWnfpcc" resolve="nodes" />
</node>
</node>
</node>
<node concept="2ShNRf" id="6hqFpWniT8Y" role="3K4GZi">
<node concept="1pGfFk" id="6hqFpWniT8Z" role="2ShVmc">
<ref role="37wK5l" to="tj24:1pPth$lDzTR" resolve="ApplyTemplatesStep" />
<node concept="2OqwBi" id="6hqFpWniT90" role="37wK5m">
<node concept="Xjq3P" id="6hqFpWniT91" role="2Oq$k0" />
<node concept="2OwXpG" id="6hqFpWniTGd" role="2OqNvi">
<ref role="2Oxat5" node="6hqFpWniswQ" resolve="root" />
<node concept="2ShNRf" id="HOeeeUdyYy" role="3K4E3e">
<node concept="1pGfFk" id="HOeeeUdyYz" role="2ShVmc">
<ref role="37wK5l" to="tj24:7kTeLbPt4na" resolve="ApplyTemplatesStep" />
<node concept="2OqwBi" id="HOeeeUdyY$" role="37wK5m">
<node concept="Xjq3P" id="HOeeeUdyY_" role="2Oq$k0" />
<node concept="2OwXpG" id="HOeeeUdyYA" role="2OqNvi">
<ref role="2Oxat5" node="6hqFpWnfpcc" resolve="nodes" />
</node>
</node>
<node concept="37vLTw" id="HOeeeUdyYB" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
</node>
</node>
<node concept="37vLTw" id="6hqFpWniT93" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
</node>
<node concept="2ShNRf" id="HOeeeUdyYC" role="3K4GZi">
<node concept="1pGfFk" id="HOeeeUdyYD" role="2ShVmc">
<ref role="37wK5l" to="tj24:1pPth$lDzTR" resolve="ApplyTemplatesStep" />
<node concept="2OqwBi" id="HOeeeUdyYE" role="37wK5m">
<node concept="Xjq3P" id="HOeeeUdyYF" role="2Oq$k0" />
<node concept="2OwXpG" id="HOeeeUdyYG" role="2OqNvi">
<ref role="2Oxat5" node="6hqFpWniswQ" resolve="root" />
</node>
</node>
<node concept="37vLTw" id="HOeeeUdyYH" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="6hqFpWnfpwH" role="3cqZAp">
<node concept="3cpWsn" id="6hqFpWnfpwI" role="3cpWs9">
<property role="TrG5h" value="evaluateRulesStep" />
<node concept="3uibUv" id="6hqFpWnfpwJ" role="1tU5fm">
<ref role="3uigEE" to="tj24:1pPth$lBNWG" resolve="EvaluateRulesStep" />
<node concept="3clFbF" id="HOeeeUd$rF" role="3cqZAp">
<node concept="2OqwBi" id="HOeeeUdA5d" role="3clFbG">
<node concept="37vLTw" id="HOeeeUd$rD" role="2Oq$k0">
<ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
</node>
<node concept="3K4zz7" id="6hqFpWnjgHB" role="33vP2m">
<node concept="37vLTw" id="6hqFpWnjfHU" role="3K4Cdx">
<ref role="3cqZAo" node="6hqFpWnjd0A" resolve="trace" />
</node>
<node concept="2ShNRf" id="6hqFpWnfpwK" role="3K4GZi">
<node concept="1pGfFk" id="6hqFpWnfpwL" role="2ShVmc">
<ref role="37wK5l" to="tj24:1pPth$lHpLU" resolve="EvaluateRulesStep" />
<node concept="37vLTw" id="6hqFpWnfpwM" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
<node concept="TSZUe" id="HOeeeUdC2y" role="2OqNvi">
<node concept="3K4zz7" id="HOeeeUdECV" role="25WWJ7">
<node concept="37vLTw" id="HOeeeUdECW" role="3K4Cdx">
<ref role="3cqZAo" node="6hqFpWnjd0A" resolve="trace" />
</node>
<node concept="2ShNRf" id="HOeeeUdECX" role="3K4GZi">
<node concept="1pGfFk" id="HOeeeUdECY" role="2ShVmc">
<ref role="37wK5l" to="tj24:1pPth$lHpLU" resolve="EvaluateRulesStep" />
<node concept="37vLTw" id="HOeeeUdECZ" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
</node>
</node>
</node>
<node concept="2ShNRf" id="HOeeeUdED0" role="3K4E3e">
<node concept="1pGfFk" id="HOeeeUdED1" role="2ShVmc">
<ref role="37wK5l" node="55Q$YFtIVZ9" resolve="EvaluateRulesWithTraceStep" />
<node concept="37vLTw" id="HOeeeUdED2" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwk" resolve="editorComponent" />
</node>
<node concept="37vLTw" id="HOeeeUdED3" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
</node>
</node>
</node>
</node>
<node concept="2ShNRf" id="6hqFpWnjjtf" role="3K4E3e">
<node concept="1pGfFk" id="6hqFpWnjjtg" role="2ShVmc">
<ref role="37wK5l" node="55Q$YFtIVZ9" resolve="EvaluateRulesWithTraceStep" />
<node concept="37vLTw" id="6hqFpWnjjth" role="37wK5m">
</node>
</node>
</node>
<node concept="3clFbF" id="HOeeeUdG5p" role="3cqZAp">
<node concept="2OqwBi" id="HOeeeUdHLt" role="3clFbG">
<node concept="37vLTw" id="HOeeeUdG5n" role="2Oq$k0">
<ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
</node>
<node concept="TSZUe" id="HOeeeUdJE0" role="2OqNvi">
<node concept="3K4zz7" id="HOeeeUdKkA" role="25WWJ7">
<node concept="37vLTw" id="HOeeeUdKkB" role="3K4Cdx">
<ref role="3cqZAo" node="6hqFpWnjd0A" resolve="trace" />
</node>
<node concept="2ShNRf" id="HOeeeUdKkC" role="3K4GZi">
<node concept="1pGfFk" id="HOeeeUdKkD" role="2ShVmc">
<ref role="37wK5l" to="tj24:6IQb_RxlCdT" resolve="CollectTypesStep" />
<node concept="37vLTw" id="HOeeeUdKkE" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
</node>
</node>
</node>
<node concept="2ShNRf" id="HOeeeUdKkF" role="3K4E3e">
<node concept="1pGfFk" id="HOeeeUdKkG" role="2ShVmc">
<ref role="37wK5l" node="6IQb_RxxY2V" resolve="CollectTypesWithTraceStep" />
<node concept="37vLTw" id="HOeeeUdKkH" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="HOeeeUdKTB" role="3cqZAp">
<node concept="2OqwBi" id="HOeeeUdMHC" role="3clFbG">
<node concept="37vLTw" id="HOeeeUdKT_" role="2Oq$k0">
<ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
</node>
<node concept="TSZUe" id="HOeeeUdOEk" role="2OqNvi">
<node concept="2ShNRf" id="HOeeeUdPgt" role="25WWJ7">
<node concept="1pGfFk" id="HOeeeUdPgu" role="2ShVmc">
<ref role="37wK5l" node="1pPth$lGTrm" resolve="HighlightingStep" />
<node concept="37vLTw" id="HOeeeUdPgv" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwk" resolve="editorComponent" />
</node>
<node concept="37vLTw" id="6hqFpWnjpzV" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
<node concept="2OqwBi" id="HOeeeUdPgw" role="37wK5m">
<node concept="Xjq3P" id="HOeeeUdPgx" role="2Oq$k0" />
<node concept="2OwXpG" id="HOeeeUdPgy" role="2OqNvi">
<ref role="2Oxat5" node="6hqFpWnfkNg" resolve="mpsProject" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="6hqFpWnfpwN" role="3cqZAp">
<node concept="3cpWsn" id="6hqFpWnfpwO" role="3cpWs9">
<property role="TrG5h" value="collectTypesStep" />
<node concept="3uibUv" id="6hqFpWnfpwP" role="1tU5fm">
<ref role="3uigEE" to="tj24:6IQb_RxlB9v" resolve="CollectTypesStep" />
</node>
<node concept="3K4zz7" id="6hqFpWnjlYi" role="33vP2m">
<node concept="37vLTw" id="6hqFpWnjl2N" role="3K4Cdx">
<ref role="3cqZAo" node="6hqFpWnjd0A" resolve="trace" />
</node>
<node concept="2ShNRf" id="6hqFpWnfpwQ" role="3K4GZi">
<node concept="1pGfFk" id="6hqFpWnfpwR" role="2ShVmc">
<ref role="37wK5l" to="tj24:6IQb_RxlCdT" resolve="CollectTypesStep" />
<node concept="37vLTw" id="6hqFpWnfpwS" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
</node>
<node concept="3clFbJ" id="HOeeeUcXEs" role="3cqZAp">
<node concept="3clFbS" id="HOeeeUcXEu" role="3clFbx">
<node concept="3clFbF" id="HOeeeUdQOg" role="3cqZAp">
<node concept="2OqwBi" id="HOeeeUdRG_" role="3clFbG">
<node concept="37vLTw" id="HOeeeUdQOe" role="2Oq$k0">
<ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
</node>
</node>
<node concept="2ShNRf" id="6hqFpWnjn5y" role="3K4E3e">
<node concept="1pGfFk" id="6hqFpWnjn5z" role="2ShVmc">
<ref role="37wK5l" node="6IQb_RxxY2V" resolve="CollectTypesWithTraceStep" />
<node concept="37vLTw" id="6hqFpWnjoBk" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
<node concept="TSZUe" id="HOeeeUdTfq" role="2OqNvi">
<node concept="2ShNRf" id="HOeeeUdTO8" role="25WWJ7">
<node concept="1pGfFk" id="HOeeeUdTO9" role="2ShVmc">
<ref role="37wK5l" to="tj24:HOeeeUbp1O" resolve="ComputeBaselineTimeStep" />
<node concept="37vLTw" id="HOeeeUdTOa" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwq" resolve="repository" />
</node>
<node concept="37vLTw" id="HOeeeUdTOb" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWniswQ" resolve="root" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="6hqFpWnfpwT" role="3cqZAp">
<node concept="3cpWsn" id="6hqFpWnfpwU" role="3cpWs9">
<property role="TrG5h" value="highlightingStep" />
<node concept="3uibUv" id="6hqFpWnfpwV" role="1tU5fm">
<ref role="3uigEE" node="1pPth$lC1vN" resolve="HighlightingStep" />
</node>
<node concept="2ShNRf" id="6hqFpWnfpwW" role="33vP2m">
<node concept="1pGfFk" id="6hqFpWnfpwX" role="2ShVmc">
<ref role="37wK5l" node="1pPth$lGTrm" resolve="HighlightingStep" />
<node concept="37vLTw" id="6hqFpWnfpwY" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwk" resolve="editorComponent" />
</node>
<node concept="2OqwBi" id="6hqFpWnfpwZ" role="37wK5m">
<node concept="Xjq3P" id="6hqFpWnfzmD" role="2Oq$k0" />
<node concept="2OwXpG" id="6hqFpWnfM15" role="2OqNvi">
<ref role="2Oxat5" node="6hqFpWnfkNg" resolve="mpsProject" />
</node>
</node>
</node>
<node concept="3y3z36" id="HOeeeUcZrB" role="3clFbw">
<node concept="10Nm6u" id="HOeeeUcZFj" role="3uHU7w" />
<node concept="37vLTw" id="HOeeeUcYGY" role="3uHU7B">
<ref role="3cqZAo" node="6hqFpWniswQ" resolve="root" />
</node>
</node>
</node>
@ -31182,17 +31233,11 @@
</node>
</node>
</node>
<node concept="37vLTw" id="6hqFpWnfpxN" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwy" resolve="applyTemplatesStep" />
</node>
<node concept="37vLTw" id="6hqFpWnfpxO" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwI" resolve="evaluateRulesStep" />
</node>
<node concept="37vLTw" id="6hqFpWnfpxP" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwO" resolve="collectTypesStep" />
</node>
<node concept="37vLTw" id="6hqFpWnfpxQ" role="37wK5m">
<ref role="3cqZAo" node="6hqFpWnfpwU" resolve="highlightingStep" />
<node concept="2OqwBi" id="HOeeeUdWpy" role="37wK5m">
<node concept="37vLTw" id="HOeeeUdV61" role="2Oq$k0">
<ref role="3cqZAo" node="HOeeeUdv2V" resolve="steps" />
</node>
<node concept="3_kTaI" id="HOeeeUdYfP" role="2OqNvi" />
</node>
</node>
</node>

View File

@ -43,6 +43,7 @@
<import index="f4yq" ref="6998f568-f0e9-473b-b4a8-9efb6499fc8d/java:hu.akarnokd.rxjava2.swing(jetbrains.mps.typechecking/)" />
<import index="6pyv" ref="r:e418ad23-36dc-4ed0-b837-26a7fd157da3(jetbrains.mps.lang.typesystem2.program)" />
<import index="e5vs" ref="498d89d2-c2e9-11e2-ad49-6cf049e62fe5/java:org.jetbrains.ide(MPS.IDEA/)" />
<import index="u78q" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.typesystem.inference(MPS.Core/)" />
</imports>
<registry>
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
@ -8004,7 +8005,6 @@
<node concept="3clFbF" id="Hg6Encbtxl" role="3cqZAp">
<node concept="Xjq3P" id="Hg6Encbtxj" role="3clFbG" />
</node>
<node concept="3clFbH" id="6kREIVkxfHK" role="3cqZAp" />
</node>
</node>
</node>
@ -8503,5 +8503,202 @@
<node concept="2tJIrI" id="3KwBCAA_elH" role="jymVt" />
<node concept="3Tm1VV" id="3KwBCAA_elb" role="1B3o_S" />
</node>
<node concept="312cEu" id="HOeeeUbosT">
<property role="3GE5qa" value="launch.step" />
<property role="TrG5h" value="ComputeBaselineTimeStep" />
<node concept="2tJIrI" id="HOeeeUboXO" role="jymVt" />
<node concept="3clFbW" id="HOeeeUbp1O" role="jymVt">
<node concept="37vLTG" id="HOeeeUbtDu" role="3clF46">
<property role="TrG5h" value="repository" />
<node concept="3uibUv" id="HOeeeUbtMp" role="1tU5fm">
<ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
</node>
</node>
<node concept="37vLTG" id="HOeeeUbtPf" role="3clF46">
<property role="TrG5h" value="root" />
<node concept="3Tqbb2" id="HOeeeUbtYc" role="1tU5fm" />
</node>
<node concept="3cqZAl" id="HOeeeUbp1Q" role="3clF45" />
<node concept="3Tm1VV" id="HOeeeUbp1R" role="1B3o_S" />
<node concept="3clFbS" id="HOeeeUbp1S" role="3clF47">
<node concept="3clFbF" id="HOeeeUbu1i" role="3cqZAp">
<node concept="37vLTI" id="HOeeeUbu1k" role="3clFbG">
<node concept="2OqwBi" id="HOeeeUbujE" role="37vLTJ">
<node concept="Xjq3P" id="HOeeeUbuoa" role="2Oq$k0" />
<node concept="2OwXpG" id="HOeeeUbujH" role="2OqNvi">
<ref role="2Oxat5" node="HOeeeUbu1e" resolve="repository" />
</node>
</node>
<node concept="37vLTw" id="HOeeeUbu1o" role="37vLTx">
<ref role="3cqZAo" node="HOeeeUbtDu" resolve="repository" />
</node>
</node>
</node>
<node concept="3clFbF" id="HOeeeUbutB" role="3cqZAp">
<node concept="37vLTI" id="HOeeeUbutD" role="3clFbG">
<node concept="2OqwBi" id="HOeeeUbuJX" role="37vLTJ">
<node concept="Xjq3P" id="HOeeeUbuS_" role="2Oq$k0" />
<node concept="2OwXpG" id="HOeeeUbuK0" role="2OqNvi">
<ref role="2Oxat5" node="HOeeeUbutz" resolve="root" />
</node>
</node>
<node concept="37vLTw" id="HOeeeUbutH" role="37vLTx">
<ref role="3cqZAo" node="HOeeeUbtPf" resolve="root" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="HOeeeUboXT" role="jymVt" />
<node concept="3clFb_" id="HOeeeUbp85" role="jymVt">
<property role="TrG5h" value="info" />
<property role="1EzhhJ" value="false" />
<node concept="17QB3L" id="HOeeeUbp86" role="3clF45" />
<node concept="3Tmbuc" id="HOeeeUbp87" role="1B3o_S" />
<node concept="3clFbS" id="HOeeeUbp89" role="3clF47">
<node concept="3clFbF" id="HOeeeUbpD6" role="3cqZAp">
<node concept="Xl_RD" id="HOeeeUbpD5" role="3clFbG">
<property role="Xl_RC" value="compute baseline time" />
</node>
</node>
</node>
<node concept="2AHcQZ" id="HOeeeUbp8a" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="HOeeeUbp7t" role="jymVt" />
<node concept="3clFb_" id="HOeeeUbp7O" role="jymVt">
<property role="TrG5h" value="schedule" />
<property role="1EzhhJ" value="false" />
<node concept="37vLTG" id="HOeeeUbp7P" role="3clF46">
<property role="TrG5h" value="prevStep" />
<node concept="3uibUv" id="HOeeeUbp7Q" role="1tU5fm">
<ref role="3uigEE" to="unkn:~Single" resolve="Single" />
<node concept="3uibUv" id="HOeeeUbNwF" role="11_B2D">
<ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
<node concept="3qTvmN" id="HOeeeUbOfW" role="11_B2D" />
</node>
</node>
</node>
<node concept="37vLTG" id="HOeeeUbp7S" role="3clF46">
<property role="TrG5h" value="subscribeScheduler" />
<node concept="3uibUv" id="HOeeeUbp7T" role="1tU5fm">
<ref role="3uigEE" to="unkn:~Scheduler" resolve="Scheduler" />
</node>
</node>
<node concept="3uibUv" id="HOeeeUbp7U" role="3clF45">
<ref role="3uigEE" to="unkn:~Single" resolve="Single" />
<node concept="3qUE_q" id="HOeeeUbp7V" role="11_B2D">
<node concept="3uibUv" id="HOeeeUbp7W" role="3qUE_r">
<ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
<node concept="3qTvmN" id="HOeeeUbp7X" role="11_B2D" />
</node>
</node>
</node>
<node concept="3Tmbuc" id="HOeeeUbp7Y" role="1B3o_S" />
<node concept="3clFbS" id="HOeeeUbp81" role="3clF47">
<node concept="3clFbF" id="HOeeeUbpVa" role="3cqZAp">
<node concept="2OqwBi" id="HOeeeUbqo4" role="3clFbG">
<node concept="37vLTw" id="HOeeeUbpV8" role="2Oq$k0">
<ref role="3cqZAo" node="HOeeeUbp7P" resolve="prevStep" />
</node>
<node concept="liA8E" id="HOeeeUbqUm" role="2OqNvi">
<ref role="37wK5l" to="unkn:~Single.map(io.reactivex.functions.Function):io.reactivex.Single" resolve="map" />
<node concept="1bVj0M" id="HOeeeUbrlt" role="37wK5m">
<node concept="37vLTG" id="HOeeeUbrCB" role="1bW2Oz">
<property role="TrG5h" value="prev" />
<node concept="3uibUv" id="HOeeeUbN0H" role="1tU5fm">
<ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
<node concept="3qTvmN" id="HOeeeUbN9q" role="11_B2D" />
</node>
</node>
<node concept="3clFbS" id="HOeeeUbrlu" role="1bW5cS">
<node concept="3clFbH" id="HOeeeUbsaB" role="3cqZAp" />
<node concept="1QHqEK" id="HOeeeUbvsi" role="3cqZAp">
<node concept="1QHqEC" id="HOeeeUbvsk" role="1QHqEI">
<node concept="3clFbS" id="HOeeeUbvsm" role="1bW5cS">
<node concept="3clFbF" id="HOeeeUbzU4" role="3cqZAp">
<node concept="2OqwBi" id="HOeeeUb$tE" role="3clFbG">
<node concept="2YIFZM" id="HOeeeUb$e9" role="2Oq$k0">
<ref role="37wK5l" to="u78q:~TypeContextManager.getInstance():jetbrains.mps.typesystem.inference.TypeContextManager" resolve="getInstance" />
<ref role="1Pybhc" to="u78q:~TypeContextManager" resolve="TypeContextManager" />
</node>
<node concept="liA8E" id="HOeeeUb$He" role="2OqNvi">
<ref role="37wK5l" to="u78q:~TypeContextManager.runTypeCheckingAction(org.jetbrains.mps.openapi.model.SNode,jetbrains.mps.typesystem.inference.ITypechecking$Action):void" resolve="runTypeCheckingAction" />
<node concept="37vLTw" id="HOeeeUb_1L" role="37wK5m">
<ref role="3cqZAo" node="HOeeeUbutz" resolve="root" />
</node>
<node concept="1bVj0M" id="HOeeeUb_po" role="37wK5m">
<node concept="37vLTG" id="HOeeeUbBLc" role="1bW2Oz">
<property role="TrG5h" value="context" />
<node concept="3uibUv" id="HOeeeUbC1b" role="1tU5fm">
<ref role="3uigEE" to="u78q:~TypeCheckingContext" resolve="TypeCheckingContext" />
</node>
</node>
<node concept="3clFbS" id="HOeeeUb_pq" role="1bW5cS">
<node concept="3clFbH" id="HOeeeUb_zD" role="3cqZAp" />
<node concept="3clFbF" id="HOeeeUbCxC" role="3cqZAp">
<node concept="2OqwBi" id="HOeeeUbCOt" role="3clFbG">
<node concept="37vLTw" id="HOeeeUbCxA" role="2Oq$k0">
<ref role="3cqZAo" node="HOeeeUbBLc" resolve="context" />
</node>
<node concept="liA8E" id="HOeeeUbDwZ" role="2OqNvi">
<ref role="37wK5l" to="u78q:~TypeCheckingContext.checkIfNotChecked(org.jetbrains.mps.openapi.model.SNode,boolean):boolean" resolve="checkIfNotChecked" />
<node concept="37vLTw" id="HOeeeUbDJH" role="37wK5m">
<ref role="3cqZAo" node="HOeeeUbutz" resolve="root" />
</node>
<node concept="3clFbT" id="HOeeeUbEc5" role="37wK5m">
<property role="3clFbU" value="false" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="HOeeeUb_zI" role="3cqZAp" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="HOeeeUbvO$" role="ukAjM">
<ref role="3cqZAo" node="HOeeeUbu1e" resolve="repository" />
</node>
</node>
<node concept="3clFbF" id="HOeeeUbsu$" role="3cqZAp">
<node concept="Xjq3P" id="HOeeeUbsuy" role="3clFbG" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="HOeeeUbp82" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="HOeeeUbEF$" role="jymVt" />
<node concept="3Tm1VV" id="HOeeeUbosU" role="1B3o_S" />
<node concept="3uibUv" id="HOeeeUboG4" role="1zkMxy">
<ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
<node concept="3uibUv" id="HOeeeUbM8D" role="11_B2D">
<ref role="3uigEE" node="1pPth$lAzAx" resolve="Step" />
<node concept="3qTvmN" id="HOeeeUbMK1" role="11_B2D" />
</node>
</node>
<node concept="312cEg" id="HOeeeUbu1e" role="jymVt">
<property role="TrG5h" value="repository" />
<node concept="3Tm6S6" id="HOeeeUbu1f" role="1B3o_S" />
<node concept="3uibUv" id="HOeeeUbu1h" role="1tU5fm">
<ref role="3uigEE" to="lui2:~SRepository" resolve="SRepository" />
</node>
</node>
<node concept="312cEg" id="HOeeeUbutz" role="jymVt">
<property role="TrG5h" value="root" />
<node concept="3Tm6S6" id="HOeeeUbut$" role="1B3o_S" />
<node concept="3Tqbb2" id="HOeeeUbutA" role="1tU5fm" />
</node>
</node>
</model>