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

Add BL typechecking of arrays and boolean consts. Fails now due to rule tag collisions

This commit is contained in:
Grigorii Kirgizov 2019-08-22 14:14:53 +03:00
parent 4ea72e6d4f
commit ff9d109ea6
3 changed files with 2314 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1577
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
View File

File diff suppressed because it is too large Load Diff

736
samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps
View File

@ -27,6 +27,13 @@
<concept id="5279705229678483897" name="jetbrains.mps.baseLanguage.structure.FloatingPointFloatConstant" flags="nn" index="2$xPTn">
<property id="5279705229678483899" name="value" index="2$xPTl" />
</concept>
<concept id="1173175405605" name="jetbrains.mps.baseLanguage.structure.ArrayAccessExpression" flags="nn" index="AH0OO">
<child id="1173175577737" name="index" index="AHEQo" />
<child id="1173175590490" name="array" index="AHHXb" />
</concept>
<concept id="1188220165133" name="jetbrains.mps.baseLanguage.structure.ArrayLiteral" flags="nn" index="2BsdOp">
<child id="1188220173759" name="item" index="2BsfMF" />
</concept>
<concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
<reference id="2820489544401957798" name="classifier" index="HV5vE" />
<child id="2820489544402271667" name="typeParameter" index="HU9BZ" />
@ -38,6 +45,7 @@
<concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
<child id="1145553007750" name="creator" index="2ShVmc" />
</concept>
<concept id="5205855332950442198" name="jetbrains.mps.baseLanguage.structure.ArrayCloneOperation" flags="nn" index="2SEQ$1" />
<concept id="1070462154015" name="jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" flags="ig" index="Wx3nA" />
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
<property id="1070475926801" name="value" index="Xl_RC" />
@ -59,6 +67,10 @@
<concept id="1070534513062" name="jetbrains.mps.baseLanguage.structure.DoubleType" flags="in" index="10P55v" />
<concept id="1070534555686" name="jetbrains.mps.baseLanguage.structure.CharType" flags="in" index="10Pfzv" />
<concept id="1070534604311" name="jetbrains.mps.baseLanguage.structure.ByteType" flags="in" index="10PrrI" />
<concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
<concept id="1070534760951" name="jetbrains.mps.baseLanguage.structure.ArrayType" flags="in" index="10Q1$e">
<child id="1070534760952" name="componentType" index="10Q1$1" />
</concept>
<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" />
@ -108,6 +120,9 @@
<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="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
<property id="1068580123138" name="value" index="3clFbU" />
</concept>
<concept id="1068580123140" name="jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" flags="ig" index="3clFbW" />
<concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
<property id="1068580320021" name="value" index="3cmrfH" />
@ -154,9 +169,17 @@
<child id="1081773367579" name="rightExpression" index="3uHU7w" />
<child id="1081773367580" name="leftExpression" index="3uHU7B" />
</concept>
<concept id="1184950988562" name="jetbrains.mps.baseLanguage.structure.ArrayCreator" flags="nn" index="3$_iS1">
<child id="1184951007469" name="componentType" index="3$_nBY" />
<child id="1184952969026" name="dimensionExpression" index="3$GQph" />
</concept>
<concept id="1184952934362" name="jetbrains.mps.baseLanguage.structure.DimensionExpression" flags="nn" index="3$GHV9">
<child id="1184953288404" name="expression" index="3$I4v7" />
</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="1208890769693" name="jetbrains.mps.baseLanguage.structure.ArrayLengthOperation" flags="nn" index="1Rwk04" />
<concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
<child id="1350122676458893092" name="text" index="3ndbpf" />
</concept>
@ -5405,6 +5428,16 @@
<node concept="312cEu" id="5XJPBczwaPw" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="Foo" />
<node concept="3clFb_" id="k8UccHWkb8" role="jymVt">
<property role="TrG5h" value="primboolean" />
<node concept="37vLTG" id="k8UccHWlHG" role="3clF46">
<property role="TrG5h" value="b0" />
<node concept="10P_77" id="k8UccHWmUf" role="1tU5fm" />
</node>
<node concept="3clFbS" id="k8UccHWkbb" role="3clF47" />
<node concept="3Tm1VV" id="k8UccHWh4K" role="1B3o_S" />
<node concept="3cqZAl" id="k8UccHWiNe" role="3clF45" />
</node>
<node concept="2tJIrI" id="5XJPBczwaPC" role="jymVt" />
<node concept="3clFb_" id="5XJPBczwaS7" role="jymVt">
<property role="TrG5h" value="primchar" />
@ -5476,7 +5509,19 @@
<node concept="3Tm1VV" id="5XJPBczO6PY" role="1B3o_S" />
<node concept="3clFbS" id="5XJPBczO6PZ" role="3clF47" />
</node>
<node concept="2tJIrI" id="5XJPBczwaRY" role="jymVt" />
<node concept="2tJIrI" id="k8UccHWBqC" role="jymVt" />
<node concept="3clFb_" id="k8UccHW_Cb" role="jymVt">
<property role="TrG5h" value="boxedBool" />
<node concept="37vLTG" id="k8UccHW_Cc" role="3clF46">
<property role="TrG5h" value="b0" />
<node concept="3uibUv" id="k8UccHWFTD" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
</node>
</node>
<node concept="3cqZAl" id="k8UccHW_Ce" role="3clF45" />
<node concept="3Tm1VV" id="k8UccHW_Cf" role="1B3o_S" />
<node concept="3clFbS" id="k8UccHW_Cg" role="3clF47" />
</node>
<node concept="3clFb_" id="5XJPBczwaU9" role="jymVt">
<property role="TrG5h" value="boxedCharacter" />
<node concept="37vLTG" id="5XJPBczweeM" role="3clF46">
@ -5567,6 +5612,10 @@
<node concept="2tJIrI" id="5XJPBczwaPn" role="jymVt" />
<node concept="3clFb_" id="5XJPBczwehC" role="jymVt">
<property role="TrG5h" value="testPrimArg" />
<node concept="37vLTG" id="k8UccHWvXH" role="3clF46">
<property role="TrG5h" value="b0" />
<node concept="10P_77" id="k8UccHWxmc" role="1tU5fm" />
</node>
<node concept="37vLTG" id="5XJPBczO7Dk" role="3clF46">
<property role="TrG5h" value="c" />
<node concept="10Pfzv" id="5XJPBczO7Do" role="1tU5fm" />
@ -5598,6 +5647,21 @@
<node concept="3cqZAl" id="5XJPBczwehE" role="3clF45" />
<node concept="3Tm1VV" id="5XJPBczwehF" role="1B3o_S" />
<node concept="3clFbS" id="5XJPBczwehG" role="3clF47">
<node concept="3clFbF" id="k8UccHWq5m" role="3cqZAp">
<node concept="2OqwBi" id="k8UccHWso6" role="3clFbG">
<node concept="2ShNRf" id="k8UccHWq5i" role="2Oq$k0">
<node concept="HV5vD" id="k8UccHWrON" role="2ShVmc">
<ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
</node>
</node>
<node concept="liA8E" id="k8UccHWtDr" role="2OqNvi">
<ref role="37wK5l" node="k8UccHWkb8" resolve="primboolean" />
<node concept="37vLTw" id="k8UccHWzPx" role="37wK5m">
<ref role="3cqZAo" node="k8UccHWvXH" resolve="b0" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="5XJPBczweiP" role="3cqZAp">
<node concept="2OqwBi" id="5XJPBczwfoC" role="3clFbG">
<node concept="2ShNRf" id="5XJPBczweiL" role="2Oq$k0">
@ -5942,6 +6006,10 @@
<node concept="2tJIrI" id="5XJPBczXGN4" role="jymVt" />
<node concept="3clFb_" id="5XJPBczXG_P" role="jymVt">
<property role="TrG5h" value="testBoxedArg" />
<node concept="37vLTG" id="k8UccHWKqf" role="3clF46">
<property role="TrG5h" value="b0" />
<node concept="10P_77" id="k8UccHWMdG" role="1tU5fm" />
</node>
<node concept="37vLTG" id="5XJPBczXG_Q" role="3clF46">
<property role="TrG5h" value="c" />
<node concept="10Pfzv" id="5XJPBczXG_R" role="1tU5fm" />
@ -5973,6 +6041,21 @@
<node concept="3cqZAl" id="5XJPBczXGA4" role="3clF45" />
<node concept="3Tm1VV" id="5XJPBczXGA5" role="1B3o_S" />
<node concept="3clFbS" id="5XJPBczXGA6" role="3clF47">
<node concept="3clFbF" id="k8UccHWI93" role="3cqZAp">
<node concept="2OqwBi" id="k8UccHWI94" role="3clFbG">
<node concept="2ShNRf" id="k8UccHWI95" role="2Oq$k0">
<node concept="HV5vD" id="k8UccHWI96" role="2ShVmc">
<ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
</node>
</node>
<node concept="liA8E" id="k8UccHWI97" role="2OqNvi">
<ref role="37wK5l" node="k8UccHW_Cb" resolve="boxedBool" />
<node concept="37vLTw" id="k8UccHWNfI" role="37wK5m">
<ref role="3cqZAo" node="k8UccHWKqf" resolve="b0" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="5XJPBczXGA7" role="3cqZAp">
<node concept="2OqwBi" id="5XJPBczXGA8" role="3clFbG">
<node concept="2ShNRf" id="5XJPBczXGA9" role="2Oq$k0">
@ -6338,6 +6421,34 @@
<node concept="3cqZAl" id="5XJPBczW1dM" role="3clF45" />
<node concept="3Tm1VV" id="5XJPBczW1dN" role="1B3o_S" />
<node concept="3clFbS" id="5XJPBczW1dO" role="3clF47">
<node concept="3clFbF" id="k8UccHWPyc" role="3cqZAp">
<node concept="2OqwBi" id="k8UccHWPyd" role="3clFbG">
<node concept="2ShNRf" id="k8UccHWPye" role="2Oq$k0">
<node concept="HV5vD" id="k8UccHWPyf" role="2ShVmc">
<ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
</node>
</node>
<node concept="liA8E" id="k8UccHWPyg" role="2OqNvi">
<ref role="37wK5l" node="k8UccHWkb8" resolve="primboolean" />
<node concept="3clFbT" id="k8UccHWQDv" role="37wK5m">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="k8UccHWTjs" role="3cqZAp">
<node concept="2OqwBi" id="k8UccHWTjt" role="3clFbG">
<node concept="2ShNRf" id="k8UccHWTju" role="2Oq$k0">
<node concept="HV5vD" id="k8UccHWTjv" role="2ShVmc">
<ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
</node>
</node>
<node concept="liA8E" id="k8UccHWTjw" role="2OqNvi">
<ref role="37wK5l" node="k8UccHWkb8" resolve="primboolean" />
<node concept="3clFbT" id="k8UccHWTjx" role="37wK5m" />
</node>
</node>
</node>
<node concept="3clFbF" id="5XJPBczW1dP" role="3cqZAp">
<node concept="2OqwBi" id="5XJPBczW1dQ" role="3clFbG">
<node concept="2ShNRf" id="5XJPBczW1dR" role="2Oq$k0">
@ -6709,6 +6820,34 @@
<node concept="3cqZAl" id="7AyqXCd$L$g" role="3clF45" />
<node concept="3Tm1VV" id="7AyqXCd$L$h" role="1B3o_S" />
<node concept="3clFbS" id="7AyqXCd$L$i" role="3clF47">
<node concept="3clFbF" id="k8UccHWYeq" role="3cqZAp">
<node concept="2OqwBi" id="k8UccHWYer" role="3clFbG">
<node concept="2ShNRf" id="k8UccHWYes" role="2Oq$k0">
<node concept="HV5vD" id="k8UccHWYet" role="2ShVmc">
<ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
</node>
</node>
<node concept="liA8E" id="k8UccHWYeu" role="2OqNvi">
<ref role="37wK5l" node="k8UccHW_Cb" resolve="boxedBool" />
<node concept="3clFbT" id="k8UccHWZje" role="37wK5m">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="k8UccHWYgY" role="3cqZAp">
<node concept="2OqwBi" id="k8UccHWYgZ" role="3clFbG">
<node concept="2ShNRf" id="k8UccHWYh0" role="2Oq$k0">
<node concept="HV5vD" id="k8UccHWYh1" role="2ShVmc">
<ref role="HV5vE" node="5XJPBczwaPw" resolve="PrimitiveTypes.Foo" />
</node>
</node>
<node concept="liA8E" id="k8UccHWYh2" role="2OqNvi">
<ref role="37wK5l" node="k8UccHW_Cb" resolve="boxedBool" />
<node concept="3clFbT" id="k8UccHWZTn" role="37wK5m" />
</node>
</node>
</node>
<node concept="3clFbF" id="7AyqXCd$L$j" role="3cqZAp">
<node concept="2OqwBi" id="7AyqXCd$L$k" role="3clFbG">
<node concept="2ShNRf" id="7AyqXCd$L$l" role="2Oq$k0">
@ -7089,6 +7228,22 @@
<node concept="3cqZAl" id="5XJPBczWghX" role="3clF45" />
<node concept="3Tm1VV" id="5XJPBczWghY" role="1B3o_S" />
<node concept="3clFbS" id="5XJPBczWghZ" role="3clF47">
<node concept="3cpWs8" id="pupwRqgGRD" role="3cqZAp">
<node concept="3cpWsn" id="pupwRqgGRG" role="3cpWs9">
<property role="TrG5h" value="btrue" />
<node concept="10P_77" id="pupwRqgGRB" role="1tU5fm" />
<node concept="3clFbT" id="pupwRqgK_Q" role="33vP2m">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
<node concept="3cpWs8" id="pupwRqgMoP" role="3cqZAp">
<node concept="3cpWsn" id="pupwRqgMoS" role="3cpWs9">
<property role="TrG5h" value="bfalse" />
<node concept="10P_77" id="pupwRqgMoN" role="1tU5fm" />
<node concept="3clFbT" id="pupwRqgNSb" role="33vP2m" />
</node>
</node>
<node concept="3cpWs8" id="5XJPBczWhAM" role="3cqZAp">
<node concept="3cpWsn" id="5XJPBczWhAP" role="3cpWs9">
<property role="TrG5h" value="ca" />
@ -7472,10 +7627,30 @@
</node>
<node concept="2tJIrI" id="7AyqXCd$Ycd" role="jymVt" />
<node concept="3clFb_" id="7AyqXCd$XU7" role="jymVt">
<property role="TrG5h" value="testInitValues" />
<property role="TrG5h" value="testInitValuesBoxed" />
<node concept="3cqZAl" id="7AyqXCd$XU8" role="3clF45" />
<node concept="3Tm1VV" id="7AyqXCd$XU9" role="1B3o_S" />
<node concept="3clFbS" id="7AyqXCd$XUa" role="3clF47">
<node concept="3cpWs8" id="pupwRqgS4_" role="3cqZAp">
<node concept="3cpWsn" id="pupwRqgS4A" role="3cpWs9">
<property role="TrG5h" value="btrue" />
<node concept="3uibUv" id="pupwRqgS4B" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
</node>
<node concept="3clFbT" id="pupwRqgTZ2" role="33vP2m">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
<node concept="3cpWs8" id="pupwRqgWI0" role="3cqZAp">
<node concept="3cpWsn" id="pupwRqgWI1" role="3cpWs9">
<property role="TrG5h" value="bfalse" />
<node concept="3uibUv" id="pupwRqgWI2" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Boolean" resolve="Boolean" />
</node>
<node concept="3clFbT" id="pupwRqgYCq" role="33vP2m" />
</node>
</node>
<node concept="3cpWs8" id="7AyqXCd$XUb" role="3cqZAp">
<node concept="3cpWsn" id="7AyqXCd$XUc" role="3cpWs9">
<property role="TrG5h" value="ca" />
@ -8348,5 +8523,562 @@
<node concept="2tJIrI" id="6EY0p2x_7Mw" role="jymVt" />
<node concept="3Tm1VV" id="6EY0p2x_6$E" role="1B3o_S" />
</node>
<node concept="312cEu" id="Or3zaY2v0">
<property role="TrG5h" value="ArrayTypes" />
<node concept="3clFb_" id="Or3zaY6bR" role="jymVt">
<property role="TrG5h" value="foo" />
<node concept="37vLTG" id="Or3zaY7bK" role="3clF46">
<property role="TrG5h" value="arr" />
<node concept="10Q1$e" id="Or3zaY7dd" role="1tU5fm">
<node concept="10Oyi0" id="Or3zaY7cK" role="10Q1$1" />
</node>
</node>
<node concept="3clFbS" id="Or3zaY6bU" role="3clF47" />
<node concept="3Tm1VV" id="Or3zaY6bs" role="1B3o_S" />
<node concept="3cqZAl" id="Or3zaY6bG" role="3clF45" />
</node>
<node concept="2tJIrI" id="Or3zaY6cs" role="jymVt" />
<node concept="2tJIrI" id="Or3zaY6c$" role="jymVt" />
<node concept="3clFb_" id="Or3zaY6dH" role="jymVt">
<property role="TrG5h" value="literals" />
<node concept="3clFbS" id="Or3zaY6dK" role="3clF47">
<node concept="3cpWs8" id="Or3zaY6hG" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY6hH" role="3cpWs9">
<property role="TrG5h" value="a1a" />
<node concept="10Q1$e" id="Or3zaY6hI" role="1tU5fm">
<node concept="3uibUv" id="Or3zaY6hJ" role="10Q1$1">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
<node concept="2BsdOp" id="Or3zaY6hK" role="33vP2m" />
</node>
</node>
<node concept="3cpWs8" id="Or3zaY6jv" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY6jw" role="3cpWs9">
<property role="TrG5h" value="a1b" />
<node concept="10Q1$e" id="Or3zaY6jx" role="1tU5fm">
<node concept="3uibUv" id="Or3zaY6jy" role="10Q1$1">
<ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
</node>
</node>
<node concept="2BsdOp" id="Or3zaY6jz" role="33vP2m" />
</node>
</node>
<node concept="3cpWs8" id="Or3zaY7wH" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY7wN" role="3cpWs9">
<property role="TrG5h" value="a1c" />
<node concept="10Q1$e" id="Or3zaY7wP" role="1tU5fm">
<node concept="10Oyi0" id="Or3zaY7wR" role="10Q1$1" />
</node>
<node concept="2BsdOp" id="Or3zaY7$Z" role="33vP2m" />
</node>
</node>
<node concept="3cpWs8" id="Or3zaYjbg" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYjbh" role="3cpWs9">
<property role="TrG5h" value="a2" />
<node concept="10Q1$e" id="Or3zaYji2" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaYjbi" role="10Q1$1">
<node concept="10Oyi0" id="Or3zaYjbj" role="10Q1$1" />
</node>
</node>
<node concept="2BsdOp" id="Or3zaYjbk" role="33vP2m">
<node concept="2BsdOp" id="Or3zaYjj5" role="2BsfMF" />
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaY72e" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY72k" role="3cpWs9">
<property role="TrG5h" value="a3a" />
<node concept="10Q1$e" id="Or3zaY72m" role="1tU5fm">
<node concept="10Oyi0" id="Or3zaY72o" role="10Q1$1" />
</node>
<node concept="2BsdOp" id="Or3zaY7a0" role="33vP2m">
<node concept="3cmrfG" id="Or3zaY7au" role="2BsfMF">
<property role="3cmrfH" value="1" />
</node>
<node concept="3cmrfG" id="Or3zaY7aF" role="2BsfMF">
<property role="3cmrfH" value="2" />
</node>
<node concept="3cmrfG" id="Or3zaY7aU" role="2BsfMF">
<property role="3cmrfH" value="3" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaY6er" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY6es" role="3cpWs9">
<property role="TrG5h" value="a3b" />
<node concept="10Q1$e" id="Or3zaY6et" role="1tU5fm">
<node concept="10Oyi0" id="Or3zaY6HF" role="10Q1$1" />
</node>
<node concept="2BsdOp" id="Or3zaY6hg" role="33vP2m">
<node concept="3cmrfG" id="Or3zaY6QC" role="2BsfMF">
<property role="3cmrfH" value="1" />
</node>
<node concept="3b6qkQ" id="Or3zaY6R$" role="2BsfMF">
<property role="$nhwW" value="2.0" />
</node>
<node concept="3cmrfG" id="Or3zaY6xZ" role="2BsfMF">
<property role="3cmrfH" value="3" />
</node>
<node concept="1U20sH" id="Or3zaY6Ti" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaYjjB" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYjjC" role="3cpWs9">
<property role="TrG5h" value="a4" />
<node concept="10Q1$e" id="Or3zaYjrf" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaYjjD" role="10Q1$1">
<node concept="10Oyi0" id="Or3zaYjjE" role="10Q1$1" />
</node>
</node>
<node concept="2BsdOp" id="Or3zaYjvU" role="33vP2m">
<node concept="2BsdOp" id="Or3zaYjwr" role="2BsfMF">
<node concept="3cmrfG" id="Or3zaYjx1" role="2BsfMF">
<property role="3cmrfH" value="1" />
</node>
<node concept="3cmrfG" id="Or3zaYjxe" role="2BsfMF">
<property role="3cmrfH" value="2" />
</node>
<node concept="3cmrfG" id="Or3zaYjEZ" role="2BsfMF">
<property role="3cmrfH" value="4" />
</node>
</node>
<node concept="37vLTw" id="Or3zaYjPT" role="2BsfMF">
<ref role="3cqZAo" node="Or3zaY72k" resolve="a3a" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="Or3zaYk2i" role="3cqZAp" />
<node concept="3clFbH" id="Or3zaYiQb" role="3cqZAp" />
<node concept="3cpWs8" id="Or3zaYkj7" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYkja" role="3cpWs9">
<property role="TrG5h" value="a3elem" />
<node concept="10Oyi0" id="Or3zaYkj5" role="1tU5fm" />
<node concept="AH0OO" id="Or3zaYkrX" role="33vP2m">
<node concept="3cmrfG" id="Or3zaYksT" role="AHEQo">
<property role="3cmrfH" value="1" />
</node>
<node concept="37vLTw" id="Or3zaYkn2" role="AHHXb">
<ref role="3cqZAo" node="Or3zaY72k" resolve="a3a" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaYlQI" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYlQJ" role="3cpWs9">
<property role="TrG5h" value="a3badElem" />
<node concept="10Oyi0" id="Or3zaYlQK" role="1tU5fm" />
<node concept="AH0OO" id="Or3zaYlQL" role="33vP2m">
<node concept="3b6qkQ" id="Or3zaYlUv" role="AHEQo">
<property role="$nhwW" value="1.0" />
</node>
<node concept="37vLTw" id="Or3zaYlQN" role="AHHXb">
<ref role="3cqZAo" node="Or3zaY72k" resolve="a3a" />
</node>
<node concept="1U20sH" id="Or3zaYm5K" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaYiVv" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYiV_" role="3cpWs9">
<property role="TrG5h" value="a4nested" />
<node concept="10Q1$e" id="Or3zaYiVB" role="1tU5fm">
<node concept="10Oyi0" id="Or3zaYiVD" role="10Q1$1" />
</node>
<node concept="AH0OO" id="Or3zaYj4q" role="33vP2m">
<node concept="3cmrfG" id="Or3zaYj62" role="AHEQo">
<property role="3cmrfH" value="0" />
</node>
<node concept="37vLTw" id="Or3zaYkez" role="AHHXb">
<ref role="3cqZAo" node="Or3zaYjjC" resolve="a4" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaYkw$" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYkwB" role="3cpWs9">
<property role="TrG5h" value="a4elem" />
<node concept="10Oyi0" id="Or3zaYkwy" role="1tU5fm" />
<node concept="AH0OO" id="Or3zaYl3J" role="33vP2m">
<node concept="3cmrfG" id="Or3zaYl42" role="AHEQo">
<property role="3cmrfH" value="2" />
</node>
<node concept="AH0OO" id="Or3zaYkDq" role="AHHXb">
<node concept="3cmrfG" id="Or3zaYkGP" role="AHEQo">
<property role="3cmrfH" value="1" />
</node>
<node concept="37vLTw" id="Or3zaYk$x" role="AHHXb">
<ref role="3cqZAo" node="Or3zaYjjC" resolve="a4" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3Tm1VV" id="Or3zaY6db" role="1B3o_S" />
<node concept="3cqZAl" id="Or3zaY6dy" role="3clF45" />
</node>
<node concept="2tJIrI" id="Or3zaY7_n" role="jymVt" />
<node concept="3clFb_" id="Or3zaY7IT" role="jymVt">
<property role="TrG5h" value="dimensions" />
<node concept="3clFbS" id="Or3zaY7IW" role="3clF47">
<node concept="3cpWs8" id="Or3zaY7Q1" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY7Q4" role="3cpWs9">
<property role="TrG5h" value="a1" />
<node concept="10Q1$e" id="Or3zaY7QF" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaY7Qm" role="10Q1$1">
<node concept="10Oyi0" id="Or3zaY7Q0" role="10Q1$1" />
</node>
</node>
<node concept="2ShNRf" id="Or3zaY7Sy" role="33vP2m">
<node concept="3$_iS1" id="Or3zaY95h" role="2ShVmc">
<node concept="3$GHV9" id="Or3zaY95j" role="3$GQph" />
<node concept="3$GHV9" id="Or3zaY9bk" role="3$GQph" />
<node concept="10Oyi0" id="Or3zaY7ZO" role="3$_nBY" />
<node concept="1U20sH" id="Or3zaY9f$" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaY9_Z" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY9A0" role="3cpWs9">
<property role="TrG5h" value="a2a" />
<node concept="10Q1$e" id="Or3zaY9A1" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaY9A2" role="10Q1$1">
<node concept="10Oyi0" id="Or3zaY9A3" role="10Q1$1" />
</node>
</node>
<node concept="2ShNRf" id="Or3zaY9A4" role="33vP2m">
<node concept="3g6Rrh" id="Or3zaY9If" role="2ShVmc">
<node concept="10Q1$e" id="Or3zaY9Ip" role="3g7fb8">
<node concept="10Oyi0" id="Or3zaY9Iq" role="10Q1$1" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaY9KB" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY9KC" role="3cpWs9">
<property role="TrG5h" value="a3" />
<node concept="10Q1$e" id="Or3zaY9KD" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaY9KE" role="10Q1$1">
<node concept="10Oyi0" id="Or3zaY9KF" role="10Q1$1" />
</node>
</node>
<node concept="2ShNRf" id="Or3zaY9KG" role="33vP2m">
<node concept="3$_iS1" id="Or3zaY9MC" role="2ShVmc">
<node concept="3$GHV9" id="Or3zaY9MK" role="3$GQph">
<node concept="3cmrfG" id="Or3zaY9O9" role="3$I4v7">
<property role="3cmrfH" value="2" />
</node>
</node>
<node concept="3$GHV9" id="Or3zaY9MO" role="3$GQph">
<node concept="3cmrfG" id="Or3zaY9Pq" role="3$I4v7">
<property role="3cmrfH" value="3" />
</node>
</node>
<node concept="10Oyi0" id="Or3zaY9KJ" role="3$_nBY" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaY9$a" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY9$b" role="3cpWs9">
<property role="TrG5h" value="a4a" />
<node concept="10Q1$e" id="Or3zaY9$c" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaY9$d" role="10Q1$1">
<node concept="10Oyi0" id="Or3zaY9$e" role="10Q1$1" />
</node>
</node>
<node concept="2ShNRf" id="Or3zaY9$f" role="33vP2m">
<node concept="3$_iS1" id="Or3zaY9$g" role="2ShVmc">
<node concept="3$GHV9" id="Or3zaY9$h" role="3$GQph">
<node concept="3cmrfG" id="Or3zaY9$i" role="3$I4v7">
<property role="3cmrfH" value="2" />
</node>
</node>
<node concept="3$GHV9" id="Or3zaY9$j" role="3$GQph" />
<node concept="10Oyi0" id="Or3zaY9$k" role="3$_nBY" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaY9h2" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY9h8" role="3cpWs9">
<property role="TrG5h" value="a4b" />
<node concept="10Q1$e" id="Or3zaY9hO" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaY9ha" role="10Q1$1">
<node concept="10Oyi0" id="Or3zaY9hc" role="10Q1$1" />
</node>
</node>
<node concept="2ShNRf" id="Or3zaY9k7" role="33vP2m">
<node concept="3$_iS1" id="Or3zaY9sP" role="2ShVmc">
<node concept="3$GHV9" id="Or3zaY9sR" role="3$GQph" />
<node concept="3$GHV9" id="Or3zaY9xV" role="3$GQph">
<node concept="3cmrfG" id="Or3zaY9SR" role="3$I4v7">
<property role="3cmrfH" value="3" />
</node>
<node concept="1U20sH" id="Or3zaY9TY" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
<node concept="10Oyi0" id="Or3zaY9rp" role="3$_nBY" />
<node concept="1U20sH" id="1OEgqtpyvGv" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaY9Xx" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaY9Xy" role="3cpWs9">
<property role="TrG5h" value="a4c" />
<node concept="10Q1$e" id="Or3zaYaQT" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaY9Xz" role="10Q1$1">
<node concept="10Q1$e" id="Or3zaY9X$" role="10Q1$1">
<node concept="10Oyi0" id="Or3zaY9X_" role="10Q1$1" />
</node>
</node>
</node>
<node concept="2ShNRf" id="Or3zaY9XA" role="33vP2m">
<node concept="3$_iS1" id="Or3zaY9XB" role="2ShVmc">
<node concept="3$GHV9" id="Or3zaY9XC" role="3$GQph">
<node concept="3cmrfG" id="Or3zaY9XD" role="3$I4v7">
<property role="3cmrfH" value="2" />
</node>
</node>
<node concept="3$GHV9" id="Or3zaY9XE" role="3$GQph" />
<node concept="3$GHV9" id="Or3zaYa2n" role="3$GQph" />
<node concept="10Oyi0" id="Or3zaY9XG" role="3$_nBY" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="1OEgqtpyqYl" role="3cqZAp">
<node concept="3cpWsn" id="1OEgqtpyqYm" role="3cpWs9">
<property role="TrG5h" value="a4d" />
<node concept="10Q1$e" id="3sbALnUe7XP" role="1tU5fm">
<node concept="10Q1$e" id="1OEgqtpyqYn" role="10Q1$1">
<node concept="10Q1$e" id="1OEgqtpyqYo" role="10Q1$1">
<node concept="10Q1$e" id="1OEgqtpyqYp" role="10Q1$1">
<node concept="10Oyi0" id="1OEgqtpyqYq" role="10Q1$1" />
</node>
</node>
</node>
</node>
<node concept="2ShNRf" id="1OEgqtpyqYr" role="33vP2m">
<node concept="3$_iS1" id="1OEgqtpyqYs" role="2ShVmc">
<node concept="3$GHV9" id="1OEgqtpyqYt" role="3$GQph" />
<node concept="3$GHV9" id="1OEgqtpyqYv" role="3$GQph">
<node concept="3cmrfG" id="1OEgqtpyr4u" role="3$I4v7">
<property role="3cmrfH" value="3" />
</node>
<node concept="1U20sH" id="1OEgqtpyv$2" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
<node concept="3$GHV9" id="3sbALnUe7mH" role="3$GQph" />
<node concept="3$GHV9" id="1OEgqtpyqYw" role="3$GQph">
<node concept="3cmrfG" id="1OEgqtpyr1M" role="3$I4v7">
<property role="3cmrfH" value="3" />
</node>
<node concept="1U20sH" id="1OEgqtpyv_H" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
<node concept="10Oyi0" id="1OEgqtpyqYx" role="3$_nBY" />
<node concept="1U20sH" id="1OEgqtpyvEU" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="3sbALnUe8LA" role="3cqZAp">
<node concept="3cpWsn" id="3sbALnUe8LB" role="3cpWs9">
<property role="TrG5h" value="a4e" />
<node concept="10Q1$e" id="3sbALnUe8LC" role="1tU5fm">
<node concept="10Q1$e" id="3sbALnUe8LD" role="10Q1$1">
<node concept="10Q1$e" id="3sbALnUe8LE" role="10Q1$1">
<node concept="10Q1$e" id="3sbALnUe8LF" role="10Q1$1">
<node concept="10Oyi0" id="3sbALnUe8LG" role="10Q1$1" />
</node>
</node>
</node>
</node>
<node concept="2ShNRf" id="3sbALnUe8LH" role="33vP2m">
<node concept="3$_iS1" id="3sbALnUe8LI" role="2ShVmc">
<node concept="3$GHV9" id="3sbALnUe8LJ" role="3$GQph">
<node concept="3cmrfG" id="3sbALnUebLo" role="3$I4v7">
<property role="3cmrfH" value="3" />
</node>
</node>
<node concept="3$GHV9" id="3sbALnUe8LK" role="3$GQph">
<node concept="3cmrfG" id="3sbALnUe8LL" role="3$I4v7">
<property role="3cmrfH" value="3" />
</node>
</node>
<node concept="3$GHV9" id="3sbALnUe8LN" role="3$GQph" />
<node concept="3$GHV9" id="3sbALnUe8LO" role="3$GQph">
<node concept="3cmrfG" id="3sbALnUe8LP" role="3$I4v7">
<property role="3cmrfH" value="3" />
</node>
<node concept="1U20sH" id="3sbALnUe8LQ" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
<node concept="10Oyi0" id="3sbALnUe8LR" role="3$_nBY" />
<node concept="1U20sH" id="3sbALnUe8LS" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3Tm1VV" id="Or3zaY7GU" role="1B3o_S" />
<node concept="3cqZAl" id="Or3zaY7I$" role="3clF45" />
</node>
<node concept="2tJIrI" id="Or3zbaK6j" role="jymVt" />
<node concept="3clFb_" id="Or3zbaLyJ" role="jymVt">
<property role="TrG5h" value="arrayConversions" />
<node concept="3clFbS" id="Or3zbaLyM" role="3clF47">
<node concept="3cpWs8" id="Or3zaYad3" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYad9" role="3cpWs9">
<property role="TrG5h" value="a5a" />
<node concept="10Q1$e" id="Or3zaYaEs" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaYaC6" role="10Q1$1">
<node concept="10Q1$e" id="Or3zaYadb" role="10Q1$1">
<node concept="3uibUv" id="Or3zaYadd" role="10Q1$1">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
</node>
</node>
<node concept="2ShNRf" id="Or3zaYafV" role="33vP2m">
<node concept="3g6Rrh" id="Or3zaYawo" role="2ShVmc">
<node concept="10Q1$e" id="Or3zaYaso" role="3g7fb8">
<node concept="10Q1$e" id="Or3zaYarl" role="10Q1$1">
<node concept="3uibUv" id="Or3zaYaSD" role="10Q1$1">
<ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaYaxY" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYaxZ" role="3cpWs9">
<property role="TrG5h" value="a5b" />
<node concept="10Q1$e" id="Or3zaYaJa" role="1tU5fm">
<node concept="10Q1$e" id="Or3zaYay0" role="10Q1$1">
<node concept="3uibUv" id="Or3zaYay1" role="10Q1$1">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
</node>
<node concept="2ShNRf" id="Or3zaYay2" role="33vP2m">
<node concept="3g6Rrh" id="Or3zaYay3" role="2ShVmc">
<node concept="10Q1$e" id="Or3zaYay4" role="3g7fb8">
<node concept="10Q1$e" id="Or3zaYay5" role="10Q1$1">
<node concept="3uibUv" id="Or3zaYaX_" role="10Q1$1">
<ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaYazt" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYazu" role="3cpWs9">
<property role="TrG5h" value="a5c" />
<node concept="10Q1$e" id="Or3zaYazv" role="1tU5fm">
<node concept="3uibUv" id="Or3zaYazw" role="10Q1$1">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
</node>
<node concept="2ShNRf" id="Or3zaYazx" role="33vP2m">
<node concept="3g6Rrh" id="Or3zaYazy" role="2ShVmc">
<node concept="10Q1$e" id="Or3zaYazz" role="3g7fb8">
<node concept="10Q1$e" id="Or3zaYaz$" role="10Q1$1">
<node concept="3uibUv" id="Or3zaYaZF" role="10Q1$1">
<ref role="3uigEE" to="wyt6:~Integer" resolve="Integer" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3Tm1VV" id="Or3zbaKKH" role="1B3o_S" />
<node concept="3cqZAl" id="Or3zbaL26" role="3clF45" />
</node>
<node concept="2tJIrI" id="Or3zaYhSQ" role="jymVt" />
<node concept="3clFb_" id="Or3zaYi9c" role="jymVt">
<property role="TrG5h" value="operations" />
<node concept="3clFbS" id="Or3zaYi9f" role="3clF47">
<node concept="3cpWs8" id="Or3zaYid4" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYid7" role="3cpWs9">
<property role="TrG5h" value="a" />
<node concept="10Q1$e" id="Or3zaYidp" role="1tU5fm">
<node concept="10Oyi0" id="Or3zaYid3" role="10Q1$1" />
</node>
<node concept="2ShNRf" id="Or3zaYiet" role="33vP2m">
<node concept="3$_iS1" id="Or3zaYin6" role="2ShVmc">
<node concept="3$GHV9" id="Or3zaYin8" role="3$GQph">
<node concept="3cmrfG" id="Or3zaYinT" role="3$I4v7">
<property role="3cmrfH" value="23" />
</node>
</node>
<node concept="10Oyi0" id="Or3zaYilE" role="3$_nBY" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaYip9" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYipf" role="3cpWs9">
<property role="TrG5h" value="b" />
<node concept="10Q1$e" id="Or3zaYiph" role="1tU5fm">
<node concept="10Oyi0" id="Or3zaYipj" role="10Q1$1" />
</node>
<node concept="2OqwBi" id="Or3zaYit6" role="33vP2m">
<node concept="37vLTw" id="Or3zaYiqp" role="2Oq$k0">
<ref role="3cqZAo" node="Or3zaYid7" resolve="a" />
</node>
<node concept="2SEQ$1" id="Or3zaYivG" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3cpWs8" id="Or3zaYiF7" role="3cqZAp">
<node concept="3cpWsn" id="Or3zaYiFa" role="3cpWs9">
<property role="TrG5h" value="len" />
<node concept="3cpWsb" id="Or3zaYiPI" role="1tU5fm" />
<node concept="2OqwBi" id="Or3zaYiKN" role="33vP2m">
<node concept="37vLTw" id="Or3zaYiGa" role="2Oq$k0">
<ref role="3cqZAo" node="Or3zaYid7" resolve="a" />
</node>
<node concept="1Rwk04" id="Or3zaYiPo" role="2OqNvi" />
</node>
</node>
</node>
</node>
<node concept="3Tm1VV" id="Or3zaYi51" role="1B3o_S" />
<node concept="3cqZAl" id="Or3zaYi8_" role="3clF45" />
</node>
<node concept="2tJIrI" id="Or3zaY2w0" role="jymVt" />
<node concept="3Tm1VV" id="Or3zaY2v1" role="1B3o_S" />
</node>
</model>

29
samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps
View File

@ -443,6 +443,35 @@
</node>
</node>
</node>
<node concept="1LZb2c" id="Or3zaY2HX" role="1SL9yI">
<property role="TrG5h" value="arrayTypes" />
<node concept="3cqZAl" id="Or3zaY2HY" role="3clF45" />
<node concept="3clFbS" id="Or3zaY2HZ" role="3clF47">
<node concept="2Hmddi" id="Or3zaY2I0" role="3cqZAp">
<node concept="2OqwBi" id="Or3zaY2I1" role="2Hmdds">
<node concept="2YIFZM" id="Or3zaY2I3" role="2Oq$k0">
<ref role="37wK5l" to="tj24:27bTNFfaOo$" resolve="ofNode" />
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TypecheckingTestHelper" />
<node concept="2OqwBi" id="Or3zaY2I4" role="37wK5m">
<node concept="2WthIp" id="Or3zaY2I5" role="2Oq$k0" />
<node concept="2XshWL" id="Or3zaY2I6" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="Or3zaY2I7" role="2XxRq1">
<node concept="ZC_QK" id="Or3zaY35I" role="2tJFKM">
<ref role="2aWVGs" to="96nh:Or3zaY2v0" resolve="ArrayTypes" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="Or3zaY2I9" role="37wK5m" />
</node>
<node concept="liA8E" id="Or3zaY2Ib" role="2OqNvi">
<ref role="37wK5l" to="tj24:27bTNFfaYS2" resolve="checkTypes" />
</node>
</node>
</node>
</node>
</node>
</node>
</model>