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

add some more debug information

This commit is contained in:
Mihail Buryakov 2015-12-07 13:04:55 +03:00
parent 5c0872b30f
commit 24ce21f980
4 changed files with 266 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

135
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
View File

@ -5425,7 +5425,115 @@
</node>
</node>
</node>
<node concept="2tJIrI" id="6ps95k_Hh92" role="jymVt" />
<node concept="3clFb_" id="6ps95k_HipW" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="ask" />
<node concept="37vLTG" id="6ps95k_HipX" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="6ps95k_HGBq" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_HipZ" role="3clF46">
<property role="TrG5h" value="args" />
<node concept="8X2XB" id="6ps95k_Hiq0" role="1tU5fm">
<node concept="3uibUv" id="6ps95k_Hiq1" role="8Xvag">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
</node>
<node concept="3cqZAl" id="6ps95k_Hiq2" role="3clF45" />
<node concept="3Tm1VV" id="6ps95k_Hiq3" role="1B3o_S" />
<node concept="3clFbS" id="6ps95k_Hiq4" role="3clF47">
<node concept="3clFbF" id="6ps95k_Hiq5" role="3cqZAp">
<node concept="1rXfSq" id="6ps95k_Hiq6" role="3clFbG">
<ref role="37wK5l" node="4i4XGQZmbIk" resolve="displayInfo" />
<node concept="Rm8GO" id="6ps95k_HmAg" role="37wK5m">
<ref role="Rm8GQ" node="6ps95k_Hk8b" resolve="ASK" />
<ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
</node>
<node concept="3cpWs3" id="6ps95k_Hiq8" role="37wK5m">
<node concept="2YIFZM" id="6ps95k_Hiq9" role="3uHU7w">
<ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
<ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
<node concept="37vLTw" id="6ps95k_Hiqa" role="37wK5m">
<ref role="3cqZAo" node="6ps95k_HipZ" resolve="args" />
</node>
</node>
<node concept="3cpWs3" id="6ps95k_Hiqb" role="3uHU7B">
<node concept="3cpWs3" id="6ps95k_Hiqc" role="3uHU7B">
<node concept="Xl_RD" id="6ps95k_Hiqd" role="3uHU7B">
<property role="Xl_RC" value="[???] /ask/ " />
</node>
<node concept="37vLTw" id="6ps95k_Hiqe" role="3uHU7w">
<ref role="3cqZAo" node="6ps95k_HipX" resolve="predicateSymbol" />
</node>
</node>
<node concept="Xl_RD" id="6ps95k_Hiqf" role="3uHU7w">
<property role="Xl_RC" value=" " />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="24Vro6cQTLX" role="jymVt" />
<node concept="3clFb_" id="6ps95k_GFQ1" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="tell" />
<node concept="37vLTG" id="6ps95k_GFQ2" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="6ps95k_HfRs" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_GFQ4" role="3clF46">
<property role="TrG5h" value="args" />
<node concept="8X2XB" id="6ps95k_GFQ5" role="1tU5fm">
<node concept="3uibUv" id="6ps95k_GFQ6" role="8Xvag">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
</node>
<node concept="3cqZAl" id="6ps95k_GFQ7" role="3clF45" />
<node concept="3Tm1VV" id="6ps95k_GFQ8" role="1B3o_S" />
<node concept="3clFbS" id="6ps95k_GFQ9" role="3clF47">
<node concept="3clFbF" id="6ps95k_GFQa" role="3cqZAp">
<node concept="1rXfSq" id="6ps95k_GFQb" role="3clFbG">
<ref role="37wK5l" node="4i4XGQZmbIk" resolve="displayInfo" />
<node concept="Rm8GO" id="6ps95k_GPW_" role="37wK5m">
<ref role="Rm8GQ" node="6ps95k_GOS3" resolve="TELL" />
<ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
</node>
<node concept="3cpWs3" id="6ps95k_GFQd" role="37wK5m">
<node concept="2YIFZM" id="6ps95k_GFQe" role="3uHU7w">
<ref role="1Pybhc" to="33ny:~Arrays" resolve="Arrays" />
<ref role="37wK5l" to="33ny:~Arrays.asList(java.lang.Object...):java.util.List" resolve="asList" />
<node concept="37vLTw" id="6ps95k_GFQf" role="37wK5m">
<ref role="3cqZAo" node="6ps95k_GFQ4" resolve="args" />
</node>
</node>
<node concept="3cpWs3" id="6ps95k_GFQg" role="3uHU7B">
<node concept="3cpWs3" id="6ps95k_GFQh" role="3uHU7B">
<node concept="Xl_RD" id="6ps95k_GFQi" role="3uHU7B">
<property role="Xl_RC" value="[!!!] /tell/ " />
</node>
<node concept="37vLTw" id="6ps95k_GFQj" role="3uHU7w">
<ref role="3cqZAo" node="6ps95k_GFQ2" resolve="symbol" />
</node>
</node>
<node concept="Xl_RD" id="6ps95k_GFQk" role="3uHU7w">
<property role="Xl_RC" value=" " />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="6ps95k_GF9b" role="jymVt" />
<node concept="3clFb_" id="24Vro6cQSyU" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="askFailure" />
@ -5892,6 +6000,14 @@
<property role="TrG5h" value="ASK_FAILURE" />
<ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
</node>
<node concept="QsSxf" id="6ps95k_Hk8b" role="Qtgdg">
<property role="TrG5h" value="ASK" />
<ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
</node>
<node concept="QsSxf" id="6ps95k_GOS3" role="Qtgdg">
<property role="TrG5h" value="TELL" />
<ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
</node>
<node concept="QsSxf" id="7FtwPOZH$aW" role="Qtgdg">
<property role="TrG5h" value="RESULT" />
<ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
@ -7138,6 +7254,14 @@
<ref role="Rm8GQ" node="61vfVfp5uU4" resolve="FIRED" />
<ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
</node>
<node concept="Rm8GO" id="5DGJrujYOTG" role="37wK5m">
<ref role="Rm8GQ" node="24Vro6cQUo9" resolve="ASK_SUCCESS" />
<ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
</node>
<node concept="Rm8GO" id="6ps95k_Kfft" role="37wK5m">
<ref role="Rm8GQ" node="24Vro6cQUIt" resolve="ASK_FAILURE" />
<ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
</node>
</node>
</node>
</node>
@ -7159,6 +7283,9 @@
<node concept="37vLTw" id="4pWvZ2nhNEP" role="37wK5m">
<ref role="3cqZAo" node="4pWvZ2nh4hs" resolve="tracer" />
</node>
<node concept="37vLTw" id="5DGJruk3LLv" role="37wK5m">
<ref role="3cqZAo" node="4pWvZ2nh4hs" resolve="tracer" />
</node>
</node>
</node>
</node>
@ -7629,6 +7756,14 @@
<ref role="Rm8GQ" node="61vfVfp5uEI" resolve="REMOVED" />
<ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
</node>
<node concept="Rm8GO" id="4wd1IUyYRGx" role="37wK5m">
<ref role="Rm8GQ" node="24Vro6cQUIt" resolve="ASK_FAILURE" />
<ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
</node>
<node concept="Rm8GO" id="4wd1IUyYTde" role="37wK5m">
<ref role="Rm8GQ" node="24Vro6cQUo9" resolve="ASK_SUCCESS" />
<ref role="1Px2BO" node="61vfVfp5tJN" resolve="MessageViewTracer.Event" />
</node>
</node>
</node>
</node>

5
languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd
View File

@ -9,6 +9,7 @@
<dependencies>
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
<dependency reexport="false">6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)</dependency>
<dependency reexport="false">a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)</dependency>
</dependencies>
<languageVersions>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" fqName="jetbrains.mps.baseLanguage" version="4" />
@ -22,7 +23,11 @@
<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="b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime)" version="0" />
<module reference="7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom)" version="0" />
<module reference="760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr)" 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" />
</dependencyVersions>
</solution>

84
languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps
View File

@ -8,6 +8,7 @@
<imports>
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="yg8f" ref="r:e213377a-f1a7-4ba7-9d08-96bcb97ed8ce(jetbrains.mps.logic.builtin)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
@ -56,6 +57,9 @@
<concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
<child id="1164991057263" name="throwable" index="YScLw" />
</concept>
<concept id="1070533707846" name="jetbrains.mps.baseLanguage.structure.StaticFieldReference" flags="nn" index="10M0yZ">
<reference id="1144433057691" name="classifier" index="1PxDUh" />
</concept>
<concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
<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" />
@ -400,6 +404,10 @@
<node concept="3uibUv" id="24Vro6cQoBt" role="1tU5fm">
<ref role="3uigEE" node="24Vro6cQnrj" resolve="ComputingTracer" />
</node>
<node concept="10M0yZ" id="6ps95k_IHCC" role="33vP2m">
<ref role="1PxDUh" to="yg8f:qubcdtxBiR" resolve="ComputingTracerExt" />
<ref role="3cqZAo" to="yg8f:24Vro6cS5rK" resolve="NULL" />
</node>
</node>
</node>
<node concept="2tJIrI" id="6Kcfpq7BSVl" role="jymVt" />
@ -423,6 +431,22 @@
<node concept="10P_77" id="4xBopTznJ7k" role="3clF45" />
<node concept="3Tm1VV" id="4xBopTznHV8" role="1B3o_S" />
<node concept="3clFbS" id="4xBopTznHV9" role="3clF47">
<node concept="3clFbF" id="6ps95k_Ho7B" role="3cqZAp">
<node concept="2OqwBi" id="6ps95k_Ho7C" role="3clFbG">
<node concept="37vLTw" id="6ps95k_Ho7D" role="2Oq$k0">
<ref role="3cqZAo" node="24Vro6cQyK4" resolve="tracer" />
</node>
<node concept="liA8E" id="6ps95k_Ho7E" role="2OqNvi">
<ref role="37wK5l" node="6ps95k_HgmQ" resolve="ask" />
<node concept="37vLTw" id="6ps95k_Hpzo" role="37wK5m">
<ref role="3cqZAo" node="4xBopTznJFk" resolve="predicateSymbol" />
</node>
<node concept="37vLTw" id="6ps95k_Ho7G" role="37wK5m">
<ref role="3cqZAo" node="4xBopTznK09" resolve="arg" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4xBopTznKPC" role="3cqZAp">
<node concept="3cpWsn" id="4xBopTznKPD" role="3cpWs9">
<property role="TrG5h" value="solver" />
@ -492,6 +516,22 @@
<node concept="3cqZAl" id="4xBopTznPKQ" role="3clF45" />
<node concept="3Tm1VV" id="4xBopTznPKR" role="1B3o_S" />
<node concept="3clFbS" id="4xBopTznPKS" role="3clF47">
<node concept="3clFbF" id="6ps95k_HcKs" role="3cqZAp">
<node concept="2OqwBi" id="6ps95k_HcMU" role="3clFbG">
<node concept="37vLTw" id="6ps95k_HcKq" role="2Oq$k0">
<ref role="3cqZAo" node="24Vro6cQyK4" resolve="tracer" />
</node>
<node concept="liA8E" id="6ps95k_HcOM" role="2OqNvi">
<ref role="37wK5l" node="6ps95k_HcRW" resolve="tell" />
<node concept="37vLTw" id="6ps95k_HdfB" role="37wK5m">
<ref role="3cqZAo" node="4xBopTznQGo" resolve="symbol" />
</node>
<node concept="37vLTw" id="6ps95k_HdgZ" role="37wK5m">
<ref role="3cqZAo" node="4xBopTznR4D" resolve="arg" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4xBopTznRC7" role="3cqZAp">
<node concept="3cpWsn" id="4xBopTznRC8" role="3cpWs9">
<property role="TrG5h" value="handler" />
@ -1555,6 +1595,50 @@
<node concept="3Tm1VV" id="24Vro6cQCzr" role="1B3o_S" />
<node concept="3clFbS" id="24Vro6cQCzs" role="3clF47" />
</node>
<node concept="2tJIrI" id="6ps95k_HcQZ" role="jymVt" />
<node concept="3clFb_" id="6ps95k_HgmQ" role="jymVt">
<property role="1EzhhJ" value="true" />
<property role="TrG5h" value="ask" />
<node concept="37vLTG" id="6ps95k_HgmR" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="6ps95k_HgtM" role="1tU5fm">
<ref role="3uigEE" node="5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_HgmT" role="3clF46">
<property role="TrG5h" value="args" />
<node concept="8X2XB" id="6ps95k_HgmU" role="1tU5fm">
<node concept="3uibUv" id="6ps95k_HgmV" role="8Xvag">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
</node>
<node concept="3cqZAl" id="6ps95k_HgmW" role="3clF45" />
<node concept="3Tm1VV" id="6ps95k_HgmX" role="1B3o_S" />
<node concept="3clFbS" id="6ps95k_HgmY" role="3clF47" />
</node>
<node concept="2tJIrI" id="6ps95k_Hgmd" role="jymVt" />
<node concept="3clFb_" id="6ps95k_HcRW" role="jymVt">
<property role="1EzhhJ" value="true" />
<property role="TrG5h" value="tell" />
<node concept="37vLTG" id="6ps95k_HcRX" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="6ps95k_HdNe" role="1tU5fm">
<ref role="3uigEE" node="5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_HcRZ" role="3clF46">
<property role="TrG5h" value="args" />
<node concept="8X2XB" id="6ps95k_HcS0" role="1tU5fm">
<node concept="3uibUv" id="6ps95k_HcS1" role="8Xvag">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
</node>
<node concept="3cqZAl" id="6ps95k_HcS2" role="3clF45" />
<node concept="3Tm1VV" id="6ps95k_HcS3" role="1B3o_S" />
<node concept="3clFbS" id="6ps95k_HcS4" role="3clF47" />
</node>
<node concept="2tJIrI" id="qubcdtxLy5" role="jymVt" />
<node concept="3clFb_" id="7feMCq_cIni" role="jymVt">
<property role="1EzhhJ" value="true" />

42
languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps
View File

@ -1276,6 +1276,48 @@
<node concept="3Tm1VV" id="24Vro6cS5T8" role="1B3o_S" />
<node concept="3clFbS" id="24Vro6cS5Ta" role="3clF47" />
</node>
<node concept="3clFb_" id="6ps95k_HMH6" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="ask" />
<node concept="37vLTG" id="6ps95k_HMH7" role="3clF46">
<property role="TrG5h" value="predicateSymbol" />
<node concept="3uibUv" id="6ps95k_HMH8" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$$3f" resolve="PredicateSymbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_HMH9" role="3clF46">
<property role="TrG5h" value="args" />
<node concept="8X2XB" id="6ps95k_HMHa" role="1tU5fm">
<node concept="3uibUv" id="6ps95k_HMHb" role="8Xvag">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
</node>
<node concept="3cqZAl" id="6ps95k_HMHc" role="3clF45" />
<node concept="3Tm1VV" id="6ps95k_HMHd" role="1B3o_S" />
<node concept="3clFbS" id="6ps95k_HMHh" role="3clF47" />
</node>
<node concept="3clFb_" id="6ps95k_HMHi" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="tell" />
<node concept="37vLTG" id="6ps95k_HMHj" role="3clF46">
<property role="TrG5h" value="symbol" />
<node concept="3uibUv" id="6ps95k_HMHk" role="1tU5fm">
<ref role="3uigEE" to="qrld:5uFPQ7B$mzX" resolve="Symbol" />
</node>
</node>
<node concept="37vLTG" id="6ps95k_HMHl" role="3clF46">
<property role="TrG5h" value="args" />
<node concept="8X2XB" id="6ps95k_HMHm" role="1tU5fm">
<node concept="3uibUv" id="6ps95k_HMHn" role="8Xvag">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
</node>
<node concept="3cqZAl" id="6ps95k_HMHo" role="3clF45" />
<node concept="3Tm1VV" id="6ps95k_HMHp" role="1B3o_S" />
<node concept="3clFbS" id="6ps95k_HMHt" role="3clF47" />
</node>
<node concept="3clFb_" id="7feMCq_cIyn" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="reportFailure" />