Ensure that if all the advised errors have been triggered during typechecking.

This commit is contained in:
Fedor Isakov 2018-11-09 17:12:47 +01:00
parent 72e7fdfbfc
commit 992fa68bff
1 changed files with 270 additions and 1 deletions

View File

@ -59,10 +59,14 @@
</concept>
</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="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
<concept id="1188207840427" name="jetbrains.mps.baseLanguage.structure.AnnotationInstance" flags="nn" index="2AHcQZ">
@ -150,6 +154,7 @@
</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" />
<child id="1206060520071" name="elsifClauses" index="3eNLev" />
@ -253,14 +258,27 @@
<concept id="2068944020170241612" name="jetbrains.mps.baseLanguage.javadoc.structure.ClassifierDocComment" flags="ng" index="3UR2Jj" />
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
</concept>
<concept id="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
<child id="1144104376918" name="parameter" index="1xVPHs" />
</concept>
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
<concept id="1143226024141" name="jetbrains.mps.lang.smodel.structure.SModelType" flags="in" index="H_c77" />
<concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
<child id="1145404616321" name="leftExpression" index="2JrQYb" />
</concept>
<concept id="1171305280644" name="jetbrains.mps.lang.smodel.structure.Node_GetDescendantsOperation" flags="nn" index="2Rf3mk" />
<concept id="1171310072040" name="jetbrains.mps.lang.smodel.structure.Node_GetContainingRootOperation" flags="nn" index="2Rxl7S" />
<concept id="1227264722563" name="jetbrains.mps.lang.smodel.structure.EqualsStructurallyExpression" flags="nn" index="2YFouu" />
<concept id="1139613262185" name="jetbrains.mps.lang.smodel.structure.Node_GetParentOperation" flags="nn" index="1mfA1w" />
<concept id="1171999116870" name="jetbrains.mps.lang.smodel.structure.Node_IsNullOperation" flags="nn" index="3w_OXm" />
<concept id="1172008320231" name="jetbrains.mps.lang.smodel.structure.Node_IsNotNullOperation" flags="nn" index="3x8VRR" />
<concept id="1144100932627" name="jetbrains.mps.lang.smodel.structure.OperationParm_Inclusion" flags="ng" index="1xIGOp" />
<concept id="1144101972840" name="jetbrains.mps.lang.smodel.structure.OperationParm_Concept" flags="ng" index="1xMEDy">
<child id="1207343664468" name="conceptArgument" index="ri$Ld" />
</concept>
<concept id="1206482823744" name="jetbrains.mps.lang.smodel.structure.Model_AddRootOperation" flags="nn" index="3BYIHo">
<child id="1206482823746" name="nodeArgument" index="3BYIHq" />
</concept>
@ -284,15 +302,26 @@
</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="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" />
</concept>
<concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
<child id="1226511765987" name="elementType" index="2hN53Y" />
</concept>
<concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
<concept id="1226591481394" name="jetbrains.mps.baseLanguage.collections.structure.RemoveSetElementOperation" flags="nn" index="2mzaWJ">
<child id="1226591501988" name="argument" index="2mzfYT" />
</concept>
<concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
<child id="1151688676805" name="elementType" index="_ZDj9" />
</concept>
<concept id="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
<child id="1151689745422" name="elementType" index="A3Ik2" />
</concept>
<concept id="1151702311717" name="jetbrains.mps.baseLanguage.collections.structure.ToListOperation" flags="nn" index="ANE8D" />
<concept id="1153943597977" name="jetbrains.mps.baseLanguage.collections.structure.ForEachStatement" flags="nn" index="2Gpval">
<child id="1153944400369" name="variable" index="2Gsz3X" />
<child id="1153944424730" name="inputSequence" index="2GsD0m" />
@ -303,8 +332,10 @@
</concept>
<concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
<child id="1237721435807" name="elementType" index="HW$YZ" />
<child id="1237731803878" name="copyFrom" index="I$8f6" />
</concept>
<concept id="1227022210526" name="jetbrains.mps.baseLanguage.collections.structure.ClearAllElementsOperation" flags="nn" index="2Kehj3" />
<concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
<concept id="1160600644654" name="jetbrains.mps.baseLanguage.collections.structure.ListCreatorWithInit" flags="nn" index="Tc6Ow" />
<concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
<concept id="1240424373525" name="jetbrains.mps.baseLanguage.collections.structure.MappingType" flags="in" index="3f3tKP">
@ -319,8 +350,12 @@
<child id="1197687026896" name="keyType" index="3rHrn6" />
<child id="1197687035757" name="valueType" index="3rHtpV" />
</concept>
<concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
<concept id="7125221305512719026" name="jetbrains.mps.baseLanguage.collections.structure.CollectionType" flags="in" index="3vKaQO" />
<concept id="1208542034276" name="jetbrains.mps.baseLanguage.collections.structure.MapClearOperation" flags="nn" index="1yHZxX" />
<concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
<concept id="1202120902084" name="jetbrains.mps.baseLanguage.collections.structure.WhereOperation" flags="nn" index="3zZkjj" />
<concept id="1202128969694" name="jetbrains.mps.baseLanguage.collections.structure.SelectOperation" flags="nn" index="3$u5V9" />
<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="1240854379201" name="jetbrains.mps.baseLanguage.collections.structure.MappingsSetOperation" flags="nn" index="3CFNJx" />
@ -328,6 +363,7 @@
<child id="1197932505799" name="map" index="3ElQJh" />
<child id="1197932525128" name="key" index="3ElVtu" />
</concept>
<concept id="1176501494711" name="jetbrains.mps.baseLanguage.collections.structure.IsNotEmptyOperation" flags="nn" index="3GX2aA" />
<concept id="5686963296372573083" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerType" flags="in" index="3O5elB">
<child id="5686963296372573084" name="elementType" index="3O5elw" />
</concept>
@ -542,6 +578,128 @@
</node>
</node>
<node concept="3clFbH" id="1FOQehxLziU" role="3cqZAp" />
<node concept="3cpWs8" id="2Bs9D5Ry_nC" role="3cqZAp">
<node concept="3cpWsn" id="2Bs9D5Ry_nD" role="3cpWs9">
<property role="TrG5h" value="errors" />
<node concept="_YKpA" id="2Bs9D5Ry_n$" role="1tU5fm">
<node concept="3Tqbb2" id="2Bs9D5Ry_nB" role="_ZDj9">
<ref role="ehGHo" to="wcmu:1FOQehwZdZ9" resolve="ErrorAnnotation" />
</node>
</node>
<node concept="2OqwBi" id="2Bs9D5Ry_nE" role="33vP2m">
<node concept="2OqwBi" id="2Bs9D5Ry_nF" role="2Oq$k0">
<node concept="2OqwBi" id="2Bs9D5Ry_nG" role="2Oq$k0">
<node concept="2OqwBi" id="2Bs9D5Ry_nH" role="2Oq$k0">
<node concept="37vLTw" id="2Bs9D5Ry_nI" role="2Oq$k0">
<ref role="3cqZAo" node="7smgEqg8tfa" resolve="root" />
</node>
<node concept="2Rf3mk" id="2Bs9D5Ry_nJ" role="2OqNvi">
<node concept="1xMEDy" id="2Bs9D5Ry_nK" role="1xVPHs">
<node concept="chp4Y" id="2Bs9D5Ry_nL" role="ri$Ld">
<ref role="cht4Q" to="tpck:gw2VY9q" resolve="BaseConcept" />
</node>
</node>
<node concept="1xIGOp" id="2Bs9D5Ry_nM" role="1xVPHs" />
</node>
</node>
<node concept="3zZkjj" id="2Bs9D5Ry_nN" role="2OqNvi">
<node concept="1bVj0M" id="2Bs9D5Ry_nO" role="23t8la">
<node concept="3clFbS" id="2Bs9D5Ry_nP" role="1bW5cS">
<node concept="3clFbF" id="2Bs9D5Ry_nQ" role="3cqZAp">
<node concept="2OqwBi" id="2Bs9D5Ry_nR" role="3clFbG">
<node concept="2OqwBi" id="2Bs9D5Ry_nS" role="2Oq$k0">
<node concept="37vLTw" id="2Bs9D5Ry_nT" role="2Oq$k0">
<ref role="3cqZAo" node="2Bs9D5Ry_nX" resolve="it" />
</node>
<node concept="3CFZ6_" id="2Bs9D5Ry_nU" role="2OqNvi">
<node concept="3CFYIy" id="2Bs9D5Ry_nV" role="3CFYIz">
<ref role="3CFYIx" to="wcmu:1FOQehwZdZ9" resolve="ErrorAnnotation" />
</node>
</node>
</node>
<node concept="3x8VRR" id="2Bs9D5Ry_nW" role="2OqNvi" />
</node>
</node>
</node>
<node concept="Rh6nW" id="2Bs9D5Ry_nX" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2Bs9D5Ry_nY" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="3$u5V9" id="2Bs9D5Ry_nZ" role="2OqNvi">
<node concept="1bVj0M" id="2Bs9D5Ry_o0" role="23t8la">
<node concept="3clFbS" id="2Bs9D5Ry_o1" role="1bW5cS">
<node concept="3clFbF" id="2Bs9D5Ry_o2" role="3cqZAp">
<node concept="2OqwBi" id="2Bs9D5Ry_o3" role="3clFbG">
<node concept="37vLTw" id="2Bs9D5Ry_o4" role="2Oq$k0">
<ref role="3cqZAo" node="2Bs9D5Ry_o7" resolve="it" />
</node>
<node concept="3CFZ6_" id="2Bs9D5Ry_o5" role="2OqNvi">
<node concept="3CFYIy" id="2Bs9D5Ry_o6" role="3CFYIz">
<ref role="3CFYIx" to="wcmu:1FOQehwZdZ9" resolve="ErrorAnnotation" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="2Bs9D5Ry_o7" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2Bs9D5Ry_o8" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="ANE8D" id="2Bs9D5Ry_o9" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3cpWs8" id="2Bs9D5RySzg" role="3cqZAp">
<node concept="3cpWsn" id="2Bs9D5RySzh" role="3cpWs9">
<property role="TrG5h" value="errRefs" />
<node concept="2hMVRd" id="2Bs9D5RySyZ" role="1tU5fm">
<node concept="3uibUv" id="2Bs9D5RySz2" role="2hN53Y">
<ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
</node>
</node>
<node concept="2ShNRf" id="2Bs9D5RySzi" role="33vP2m">
<node concept="2i4dXS" id="2Bs9D5RySzj" role="2ShVmc">
<node concept="3uibUv" id="2Bs9D5RySzk" role="HW$YZ">
<ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
</node>
<node concept="2OqwBi" id="2Bs9D5RySzl" role="I$8f6">
<node concept="37vLTw" id="2Bs9D5RySzm" role="2Oq$k0">
<ref role="3cqZAo" node="2Bs9D5Ry_nD" resolve="errors" />
</node>
<node concept="3$u5V9" id="2Bs9D5RySzn" role="2OqNvi">
<node concept="1bVj0M" id="2Bs9D5RySzo" role="23t8la">
<node concept="3clFbS" id="2Bs9D5RySzp" role="1bW5cS">
<node concept="3clFbF" id="2Bs9D5RySzq" role="3cqZAp">
<node concept="2OqwBi" id="2Bs9D5RySzr" role="3clFbG">
<node concept="2JrnkZ" id="2Bs9D5RySzs" role="2Oq$k0">
<node concept="37vLTw" id="2Bs9D5RySzt" role="2JrQYb">
<ref role="3cqZAo" node="2Bs9D5RySzv" resolve="it" />
</node>
</node>
<node concept="liA8E" id="2Bs9D5RySzu" role="2OqNvi">
<ref role="37wK5l" to="mhbf:~SNode.getReference():org.jetbrains.mps.openapi.model.SNodeReference" resolve="getReference" />
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="2Bs9D5RySzv" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2Bs9D5RySzw" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="2Bs9D5RySEd" role="3cqZAp" />
<node concept="1DcWWT" id="1FOQehxzEsK" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxzEsN" role="2LFqv$">
<node concept="3clFbJ" id="1FOQehxzFJn" role="3cqZAp">
@ -733,6 +891,7 @@
</node>
</node>
</node>
<node concept="3clFbH" id="2Bs9D5RyTv6" role="3cqZAp" />
</node>
<node concept="2OqwBi" id="1FOQehxMz$9" role="3clFbw">
<node concept="37vLTw" id="1FOQehxMy9Y" role="2Oq$k0">
@ -740,8 +899,30 @@
</node>
<node concept="3w_OXm" id="1FOQehxMA$r" role="2OqNvi" />
</node>
<node concept="9aQIb" id="2Bs9D5RySMS" role="9aQIa">
<node concept="3clFbS" id="2Bs9D5RySMT" role="9aQI4">
<node concept="3clFbF" id="2Bs9D5RyTDV" role="3cqZAp">
<node concept="2OqwBi" id="2Bs9D5RyUTr" role="3clFbG">
<node concept="37vLTw" id="2Bs9D5RyTDU" role="2Oq$k0">
<ref role="3cqZAo" node="2Bs9D5RySzh" resolve="errRefs" />
</node>
<node concept="2mzaWJ" id="2Bs9D5RyWs0" role="2OqNvi">
<node concept="2OqwBi" id="2Bs9D5RyZ7k" role="2mzfYT">
<node concept="2JrnkZ" id="2Bs9D5RyYm1" role="2Oq$k0">
<node concept="37vLTw" id="2Bs9D5RyWwc" role="2JrQYb">
<ref role="3cqZAo" node="1FOQehxMqQL" resolve="ea" />
</node>
</node>
<node concept="liA8E" id="2Bs9D5RyZWn" role="2OqNvi">
<ref role="37wK5l" to="mhbf:~SNode.getReference():org.jetbrains.mps.openapi.model.SNodeReference" resolve="getReference" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1FOQehxLP2B" role="3cqZAp" />
</node>
</node>
</node>
@ -763,6 +944,94 @@
</node>
</node>
</node>
<node concept="3clFbH" id="2Bs9D5RyZWq" role="3cqZAp" />
<node concept="3clFbJ" id="2Bs9D5Rz08N" role="3cqZAp">
<node concept="3clFbS" id="2Bs9D5Rz08P" role="3clFbx">
<node concept="3cpWs8" id="2Bs9D5RznNI" role="3cqZAp">
<node concept="3cpWsn" id="2Bs9D5RznNJ" role="3cpWs9">
<property role="TrG5h" value="first" />
<node concept="3uibUv" id="2Bs9D5RznN1" role="1tU5fm">
<ref role="3uigEE" to="mhbf:~SNodeReference" resolve="SNodeReference" />
</node>
<node concept="2OqwBi" id="2Bs9D5RznNK" role="33vP2m">
<node concept="37vLTw" id="2Bs9D5RznNL" role="2Oq$k0">
<ref role="3cqZAo" node="2Bs9D5RySzh" resolve="errRefs" />
</node>
<node concept="1uHKPH" id="2Bs9D5RznNM" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3cpWs8" id="2Bs9D5RziX7" role="3cqZAp">
<node concept="3cpWsn" id="2Bs9D5RziX8" role="3cpWs9">
<property role="TrG5h" value="ea" />
<node concept="3Tqbb2" id="2Bs9D5RziW1" role="1tU5fm">
<ref role="ehGHo" to="wcmu:1FOQehwZdZ9" resolve="ErrorAnnotation" />
</node>
<node concept="2OqwBi" id="2Bs9D5RziX9" role="33vP2m">
<node concept="37vLTw" id="2Bs9D5RziXa" role="2Oq$k0">
<ref role="3cqZAo" node="2Bs9D5Ry_nD" resolve="errors" />
</node>
<node concept="1z4cxt" id="2Bs9D5RziXb" role="2OqNvi">
<node concept="1bVj0M" id="2Bs9D5RziXc" role="23t8la">
<node concept="3clFbS" id="2Bs9D5RziXd" role="1bW5cS">
<node concept="3clFbF" id="2Bs9D5RziXe" role="3cqZAp">
<node concept="2OqwBi" id="2Bs9D5RziXf" role="3clFbG">
<node concept="2OqwBi" id="2Bs9D5RziXg" role="2Oq$k0">
<node concept="2JrnkZ" id="2Bs9D5RziXh" role="2Oq$k0">
<node concept="37vLTw" id="2Bs9D5RziXi" role="2JrQYb">
<ref role="3cqZAo" node="2Bs9D5RziXo" resolve="it" />
</node>
</node>
<node concept="liA8E" id="2Bs9D5RziXj" role="2OqNvi">
<ref role="37wK5l" to="mhbf:~SNode.getReference():org.jetbrains.mps.openapi.model.SNodeReference" resolve="getReference" />
</node>
</node>
<node concept="liA8E" id="2Bs9D5RziXk" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~Object.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="37vLTw" id="2Bs9D5RznNN" role="37wK5m">
<ref role="3cqZAo" node="2Bs9D5RznNJ" resolve="first" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="2Bs9D5RziXo" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2Bs9D5RziXp" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="YS8fn" id="2Bs9D5RziYc" role="3cqZAp">
<node concept="2ShNRf" id="2Bs9D5RziYd" role="YScLw">
<node concept="1pGfFk" id="2Bs9D5RziYe" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~RuntimeException.&lt;init&gt;(java.lang.String)" resolve="RuntimeException" />
<node concept="2YIFZM" id="2Bs9D5RziYf" role="37wK5m">
<ref role="1Pybhc" to="wyt6:~String" resolve="String" />
<ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...):java.lang.String" resolve="format" />
<node concept="Xl_RD" id="2Bs9D5RziYg" role="37wK5m">
<property role="Xl_RC" value="Advised error not triggered in '%s'" />
</node>
<node concept="2OqwBi" id="2Bs9D5RziYh" role="37wK5m">
<node concept="37vLTw" id="2Bs9D5RzjNl" role="2Oq$k0">
<ref role="3cqZAo" node="2Bs9D5RziX8" resolve="ea" />
</node>
<node concept="1mfA1w" id="2Bs9D5RzkK$" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="2Bs9D5Rz1BH" role="3clFbw">
<node concept="37vLTw" id="2Bs9D5Rz0gz" role="2Oq$k0">
<ref role="3cqZAo" node="2Bs9D5RySzh" resolve="errRefs" />
</node>
<node concept="3GX2aA" id="2Bs9D5Rz3aX" role="2OqNvi" />
</node>
</node>
<node concept="3clFbH" id="1FOQehxLs9D" role="3cqZAp" />
<node concept="3clFbJ" id="1FOQehxzhDC" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxzhDE" role="3clFbx">