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

typesystem rules for logical variables and values

This commit is contained in:
Mihail.Buryakov 2015-08-24 15:43:42 +02:00
parent a13882914b
commit c196d3f254
3 changed files with 360 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
languages/jetbrains.mps.lang.typesystem2/languageModels/typesystem.mps
View File

@ -3,12 +3,17 @@
<persistence version="9" />
<languages>
<use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="-1" />
<use id="894463aa-8754-49c0-bf4b-6a32af66b376" name="jetbrains.mps.jchr" version="0" />
<use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="0" />
<use id="ed6d7656-532c-4bc2-81d1-af945aeb8280" name="jetbrains.mps.baseLanguage.blTypes" version="0" />
<use id="9ded098b-ad6a-4657-bfd9-48636cfe8bc3" name="jetbrains.mps.lang.traceable" version="0" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
<imports>
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
<import index="wq2x" ref="r:83137295-aa87-45e8-b0c0-ede2adf2a396(jetbrains.mps.lang.typesystem2.structure)" />
<import index="i348" ref="r:42a15dec-83a9-4fe1-80d6-3bf898c512bd(jetbrains.mps.lang.typesystem2.template)" />
<import index="5j4j" ref="r:c8fb1c5e-8204-4904-a38f-678899d447c1(jetbrains.mps.logic.structure)" />
<import index="x5bw" ref="r:15ea4f4e-2f41-4ce3-b7e4-a4e0737f0171(jetbrains.mps.lang.typesystem2.behavior)" implicit="true" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
@ -973,5 +978,35 @@
<ref role="1YaFvo" to="wq2x:6p0DfM0ang5" resolve="UserConstraint" />
</node>
</node>
<node concept="1YbPZF" id="7dgRGU4_Y57">
<property role="TrG5h" value="typeof_LogicalExpression" />
<node concept="3clFbS" id="7dgRGU4_Y58" role="18ibNy">
<node concept="1Z5TYs" id="7dgRGU4_Y6_" role="3cqZAp">
<node concept="mw_s8" id="7dgRGU4_Y6C" role="1ZfhK$">
<node concept="1Z2H0r" id="7dgRGU4_Y5e" role="mwGJk">
<node concept="1YBJjd" id="7dgRGU4_Y5E" role="1Z2MuG">
<ref role="1YBMHb" node="7dgRGU4_Y5a" resolve="logicalExpression" />
</node>
</node>
</node>
<node concept="mw_s8" id="7dgRGU4Aknk" role="1ZfhKB">
<node concept="1Z2H0r" id="7dgRGU4Akng" role="mwGJk">
<node concept="2OqwBi" id="7dgRGU4Akpe" role="1Z2MuG">
<node concept="1YBJjd" id="7dgRGU4Akn_" role="2Oq$k0">
<ref role="1YBMHb" node="7dgRGU4_Y5a" resolve="logicalExpression" />
</node>
<node concept="3TrEf2" id="7dgRGU4AkE3" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:6p0DfM0pQge" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1YaCAy" id="7dgRGU4_Y5a" role="1YuTPh">
<property role="TrG5h" value="logicalExpression" />
<ref role="1YaFvo" to="wq2x:6p0DfM0pKSO" resolve="LogicalExpression" />
</node>
</node>
</model>

2
languages/jetbrains.mps.logic/languageModels/structure.mps
View File

@ -11,6 +11,7 @@
</imports>
<registry>
<language id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure">
<concept id="1224240836180" name="jetbrains.mps.lang.structure.structure.DeprecatedNodeAnnotation" flags="ig" index="asaX9" />
<concept id="6054523464626862044" name="jetbrains.mps.lang.structure.structure.AttributeInfo_IsMultiple" flags="ng" index="tn0Fv">
<property id="6054523464626875854" name="value" index="tnX3d" />
</concept>
@ -267,6 +268,7 @@
<node concept="1TJgyi" id="7E86$tKtijQ" role="1TKVEl">
<property role="TrG5h" value="isMulti" />
<ref role="AX2Wp" to="tpck:fKAQMTB" resolve="boolean" />
<node concept="asaX9" id="7dgRGU4AfJD" role="lGtFl" />
</node>
<node concept="PrWs8" id="7E86$tKtid6" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />

356
languages/jetbrains.mps.logic/languageModels/typesystem.mps
View File

@ -16,9 +16,14 @@
<import index="5j4j" ref="r:c8fb1c5e-8204-4904-a38f-678899d447c1(jetbrains.mps.logic.structure)" />
<import index="oy3s" ref="r:a6030cee-34eb-4503-b1bf-015fe5cd8c1a(jetbrains.mps.logic.builtin.unification)" />
<import index="wq2x" ref="r:83137295-aa87-45e8-b0c0-ede2adf2a396(jetbrains.mps.lang.typesystem2.structure)" />
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" />
</imports>
<registry>
<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="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
@ -26,18 +31,30 @@
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
<child id="1137022507850" name="body" index="2VODD2" />
</concept>
<concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
<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="1068431790189" name="jetbrains.mps.baseLanguage.structure.Type" flags="in" index="33vP2l" />
<concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
<concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
<child id="1068580123156" name="expression" index="3clFbG" />
</concept>
<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" />
</concept>
<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="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
</concept>
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
<reference id="1107535924139" name="classifier" index="3uigEE" />
</concept>
@ -51,6 +68,7 @@
<concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
<child id="6329021646629175155" name="commentPart" index="3SKWNk" />
</concept>
<concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
</language>
<language id="d4615e3b-d671-4ba9-af01-2b78369b0ba7" name="jetbrains.mps.lang.pattern">
<concept id="1136720037777" name="jetbrains.mps.lang.pattern.structure.PatternExpression" flags="in" index="2DMOqp">
@ -86,10 +104,19 @@
<concept id="1185788614172" name="jetbrains.mps.lang.typesystem.structure.NormalTypeClause" flags="ng" index="mw_s8">
<child id="1185788644032" name="normalType" index="mwGJk" />
</concept>
<concept id="1185805035213" name="jetbrains.mps.lang.typesystem.structure.WhenConcreteStatement" flags="nn" index="nvevp">
<child id="1185805047793" name="body" index="nvhr_" />
<child id="1185805056450" name="argument" index="nvjzm" />
<child id="1205761991995" name="argumentRepresentator" index="2X0Ygz" />
</concept>
<concept id="1175147569072" name="jetbrains.mps.lang.typesystem.structure.AbstractSubtypingRule" flags="ig" index="2sgdUx">
<child id="1175147624276" name="body" index="2sgrp5" />
</concept>
<concept id="1175147670730" name="jetbrains.mps.lang.typesystem.structure.SubtypingRule" flags="ig" index="2sgARr" />
<concept id="1205762105978" name="jetbrains.mps.lang.typesystem.structure.WhenConcreteVariableDeclaration" flags="ng" index="2X1qdy" />
<concept id="1205762656241" name="jetbrains.mps.lang.typesystem.structure.WhenConcreteVariableReference" flags="nn" index="2X3wrD">
<reference id="1205762683928" name="whenConcreteVar" index="2X3Bk0" />
</concept>
<concept id="1201607707634" name="jetbrains.mps.lang.typesystem.structure.InequationReplacementRule" flags="ig" index="35pCF_">
<child id="1201607798918" name="supertypeNode" index="35pZ6h" />
<child id="3592071576955708909" name="isApplicableClause" index="1xSnZW" />
@ -98,6 +125,10 @@
<child id="1195213635060" name="body" index="18ibNy" />
</concept>
<concept id="3592071576955708904" name="jetbrains.mps.lang.typesystem.structure.IsReplacementRuleApplicable_ConceptFunction" flags="in" index="1xSnZT" />
<concept id="1176543928247" name="jetbrains.mps.lang.typesystem.structure.IsSubtypeExpression" flags="nn" index="3JuTUA">
<child id="1176543945045" name="subtypeExpression" index="3JuY14" />
<child id="1176543950311" name="supertypeExpression" index="3JuZjQ" />
</concept>
<concept id="1178870617262" name="jetbrains.mps.lang.typesystem.structure.CoerceExpression" flags="nn" index="1UaxmW">
<child id="1178870894644" name="pattern" index="1Ub_4A" />
<child id="1178870894645" name="nodeToCoerce" index="1Ub_4B" />
@ -120,9 +151,14 @@
</concept>
<concept id="1174658326157" name="jetbrains.mps.lang.typesystem.structure.CreateEquationStatement" flags="nn" index="1Z5TYs" />
<concept id="1174660718586" name="jetbrains.mps.lang.typesystem.structure.AbstractEquationStatement" flags="nn" index="1Zf1VF">
<property id="1206359757216" name="checkOnly" index="3wDh2S" />
<child id="1174660783413" name="leftExpression" index="1ZfhK$" />
<child id="1174660783414" name="rightExpression" index="1ZfhKB" />
</concept>
<concept id="1174665551739" name="jetbrains.mps.lang.typesystem.structure.TypeVarDeclaration" flags="ng" index="1ZxtTE" />
<concept id="1174666260556" name="jetbrains.mps.lang.typesystem.structure.TypeVarReference" flags="nn" index="1Z$b5t">
<reference id="1174666276259" name="typeVarDeclaration" index="1Z$eMM" />
</concept>
</language>
<language id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic">
<concept id="1564179198502666296" name="jetbrains.mps.logic.structure.LogicalType" flags="ig" index="26uTi9">
@ -142,6 +178,7 @@
<concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
<child id="1177027386292" name="conceptArgument" index="cj9EA" />
</concept>
<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="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
<property id="1238684351431" name="asCast" index="1BlNFB" />
@ -316,22 +353,95 @@
<property role="TrG5h" value="typeof_LogicalVariableReference" />
<property role="3GE5qa" value="logical" />
<node concept="3clFbS" id="2c3nq4GQw_F" role="18ibNy">
<node concept="1Z5TYs" id="2c3nq4GQwBU" role="3cqZAp">
<node concept="mw_s8" id="2c3nq4GQwBX" role="1ZfhK$">
<node concept="1Z2H0r" id="2c3nq4GQw_L" role="mwGJk">
<node concept="1YBJjd" id="2c3nq4GQwAU" role="1Z2MuG">
<ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
<node concept="3clFbJ" id="7dgRGU4B5dx" role="3cqZAp">
<node concept="3clFbS" id="7dgRGU4B5dz" role="3clFbx">
<node concept="1Z5TYs" id="2c3nq4GQwBU" role="3cqZAp">
<node concept="mw_s8" id="2c3nq4GQwBX" role="1ZfhK$">
<node concept="1Z2H0r" id="2c3nq4GQw_L" role="mwGJk">
<node concept="1YBJjd" id="2c3nq4GQwAU" role="1Z2MuG">
<ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
</node>
</node>
</node>
<node concept="mw_s8" id="2c3nq4GQKvg" role="1ZfhKB">
<node concept="1Z2H0r" id="2c3nq4GQKvc" role="mwGJk">
<node concept="2OqwBi" id="2c3nq4GQKxV" role="1Z2MuG">
<node concept="1YBJjd" id="2c3nq4GQKvx" role="2Oq$k0">
<ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
</node>
<node concept="3TrEf2" id="2c3nq4GQKRj" role="2OqNvi">
<ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="mw_s8" id="2c3nq4GQKvg" role="1ZfhKB">
<node concept="1Z2H0r" id="2c3nq4GQKvc" role="mwGJk">
<node concept="2OqwBi" id="2c3nq4GQKxV" role="1Z2MuG">
<node concept="1YBJjd" id="2c3nq4GQKvx" role="2Oq$k0">
<ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
<node concept="2OqwBi" id="7dgRGU4B5$v" role="3clFbw">
<node concept="2OqwBi" id="7dgRGU4B5g2" role="2Oq$k0">
<node concept="1YBJjd" id="7dgRGU4B5dT" role="2Oq$k0">
<ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
</node>
<node concept="3TrEf2" id="7dgRGU4B5pQ" role="2OqNvi">
<ref role="3Tt5mk" to="5j4j:7E86$tKsJfa" />
</node>
</node>
<node concept="3w_OXm" id="7dgRGU4B5O8" role="2OqNvi" />
</node>
<node concept="9aQIb" id="7dgRGU4B5Rr" role="9aQIa">
<node concept="3clFbS" id="7dgRGU4B5Rs" role="9aQI4">
<node concept="1ZxtTE" id="7dgRGU4B6qV" role="3cqZAp">
<property role="TrG5h" value="T" />
</node>
<node concept="1Z5TYs" id="7dgRGU4B6kd" role="3cqZAp">
<node concept="mw_s8" id="7dgRGU4B6ke" role="1ZfhK$">
<node concept="1Z2H0r" id="7dgRGU4B6kf" role="mwGJk">
<node concept="2OqwBi" id="7dgRGU4B6xL" role="1Z2MuG">
<node concept="1YBJjd" id="7dgRGU4B6kg" role="2Oq$k0">
<ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
</node>
<node concept="3TrEf2" id="7dgRGU4B6GF" role="2OqNvi">
<ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" />
</node>
</node>
</node>
</node>
<node concept="3TrEf2" id="2c3nq4GQKRj" role="2OqNvi">
<ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" />
<node concept="mw_s8" id="7dgRGU4B6o8" role="1ZfhKB">
<node concept="2c44tf" id="7dgRGU4B6nW" role="mwGJk">
<node concept="10Q1$e" id="7dgRGU4B6pZ" role="2c44tc">
<node concept="26uTi9" id="7dgRGU4B6pq" role="10Q1$1">
<node concept="33vP2l" id="7dgRGU4B6pH" role="3vMvoR">
<node concept="2c44te" id="7dgRGU4B6qn" role="lGtFl">
<node concept="1Z$b5t" id="7dgRGU4B6rr" role="2c44t1">
<ref role="1Z$eMM" node="7dgRGU4B6qV" resolve="T" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1Z5TYs" id="7dgRGU4B6l5" role="3cqZAp">
<node concept="mw_s8" id="7dgRGU4B6l6" role="1ZfhK$">
<node concept="1Z2H0r" id="7dgRGU4B6l7" role="mwGJk">
<node concept="1YBJjd" id="7dgRGU4B6l8" role="1Z2MuG">
<ref role="1YBMHb" node="2c3nq4GQw_H" resolve="lvr" />
</node>
</node>
</node>
<node concept="mw_s8" id="7dgRGU4B6J6" role="1ZfhKB">
<node concept="2c44tf" id="7dgRGU4B6J7" role="mwGJk">
<node concept="26uTi9" id="7dgRGU4B6J9" role="2c44tc">
<node concept="33vP2l" id="7dgRGU4B6Ja" role="3vMvoR">
<node concept="2c44te" id="7dgRGU4B6Jb" role="lGtFl">
<node concept="1Z$b5t" id="7dgRGU4B6Jc" role="2c44t1">
<ref role="1Z$eMM" node="7dgRGU4B6qV" resolve="T" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
@ -347,33 +457,88 @@
<property role="TrG5h" value="typeof_LogicalVariableDeclaration" />
<property role="3GE5qa" value="logical" />
<node concept="3clFbS" id="2c3nq4GQKie" role="18ibNy">
<node concept="1Z5TYs" id="2c3nq4GQKmD" role="3cqZAp">
<node concept="mw_s8" id="2c3nq4GQKmE" role="1ZfhK$">
<node concept="1Z2H0r" id="2c3nq4GQKmF" role="mwGJk">
<node concept="1YBJjd" id="2c3nq4GQKq$" role="1Z2MuG">
<ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
<node concept="3clFbJ" id="7dgRGU4AfaF" role="3cqZAp">
<node concept="3clFbS" id="7dgRGU4AfaH" role="3clFbx">
<node concept="1Z5TYs" id="2c3nq4GQKmD" role="3cqZAp">
<node concept="mw_s8" id="2c3nq4GQKmE" role="1ZfhK$">
<node concept="1Z2H0r" id="2c3nq4GQKmF" role="mwGJk">
<node concept="1YBJjd" id="2c3nq4GQKq$" role="1Z2MuG">
<ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
</node>
</node>
</node>
<node concept="mw_s8" id="2c3nq4GQKmH" role="1ZfhKB">
<node concept="2c44tf" id="2c3nq4GQKmI" role="mwGJk">
<node concept="26uTi9" id="2c3nq4GQKmJ" role="2c44tc">
<node concept="33vP2l" id="2c3nq4GQKmK" role="3vMvoR">
<node concept="2c44te" id="2c3nq4GQKmL" role="lGtFl">
<node concept="2OqwBi" id="2c3nq4GQKmM" role="2c44t1">
<node concept="1PxgMI" id="2c3nq4GQKmN" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<ref role="1PxNhF" to="wq2x:2E5lcNn8iYG" resolve="LogicVariableDeclarationStatement" />
<node concept="2OqwBi" id="2c3nq4GQKmO" role="1PxMeX">
<node concept="1YBJjd" id="2c3nq4GQKsq" role="2Oq$k0">
<ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
</node>
<node concept="1mfA1w" id="2c3nq4GQKmS" role="2OqNvi" />
</node>
</node>
<node concept="3TrEf2" id="2c3nq4GQKmT" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5zfvpQ72gqq" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="mw_s8" id="2c3nq4GQKmH" role="1ZfhKB">
<node concept="2c44tf" id="2c3nq4GQKmI" role="mwGJk">
<node concept="26uTi9" id="2c3nq4GQKmJ" role="2c44tc">
<node concept="33vP2l" id="2c3nq4GQKmK" role="3vMvoR">
<node concept="2c44te" id="2c3nq4GQKmL" role="lGtFl">
<node concept="2OqwBi" id="2c3nq4GQKmM" role="2c44t1">
<node concept="1PxgMI" id="2c3nq4GQKmN" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<ref role="1PxNhF" to="wq2x:2E5lcNn8iYG" resolve="LogicVariableDeclarationStatement" />
<node concept="2OqwBi" id="2c3nq4GQKmO" role="1PxMeX">
<node concept="1YBJjd" id="2c3nq4GQKsq" role="2Oq$k0">
<ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
<node concept="2OqwBi" id="7dgRGU4Ag2P" role="3clFbw">
<node concept="2OqwBi" id="7dgRGU4AfcX" role="2Oq$k0">
<node concept="1YBJjd" id="7dgRGU4Afb9" role="2Oq$k0">
<ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
</node>
<node concept="3TrEf2" id="7dgRGU4AfTp" role="2OqNvi">
<ref role="3Tt5mk" to="5j4j:7E86$tKtioV" />
</node>
</node>
<node concept="3w_OXm" id="7dgRGU4Agit" role="2OqNvi" />
</node>
<node concept="9aQIb" id="7dgRGU4AgmI" role="9aQIa">
<node concept="3clFbS" id="7dgRGU4AgmJ" role="9aQI4">
<node concept="1Z5TYs" id="7dgRGU4AgnO" role="3cqZAp">
<node concept="mw_s8" id="7dgRGU4AgnP" role="1ZfhK$">
<node concept="1Z2H0r" id="7dgRGU4AgnQ" role="mwGJk">
<node concept="1YBJjd" id="7dgRGU4AgnR" role="1Z2MuG">
<ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
</node>
</node>
</node>
<node concept="mw_s8" id="7dgRGU4AgnS" role="1ZfhKB">
<node concept="2c44tf" id="7dgRGU4AgnT" role="mwGJk">
<node concept="10Q1$e" id="7dgRGU4Agsv" role="2c44tc">
<node concept="26uTi9" id="7dgRGU4AgnU" role="10Q1$1">
<node concept="33vP2l" id="7dgRGU4AgsQ" role="3vMvoR">
<node concept="2c44te" id="7dgRGU4Agt9" role="lGtFl">
<node concept="2OqwBi" id="7dgRGU4Agtn" role="2c44t1">
<node concept="1PxgMI" id="7dgRGU4Agto" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<ref role="1PxNhF" to="wq2x:2E5lcNn8iYG" resolve="LogicVariableDeclarationStatement" />
<node concept="2OqwBi" id="7dgRGU4Agtp" role="1PxMeX">
<node concept="1YBJjd" id="7dgRGU4Agtq" role="2Oq$k0">
<ref role="1YBMHb" node="2c3nq4GQKig" resolve="lvd" />
</node>
<node concept="1mfA1w" id="7dgRGU4Agtr" role="2OqNvi" />
</node>
</node>
<node concept="3TrEf2" id="7dgRGU4Agts" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5zfvpQ72gqq" />
</node>
</node>
</node>
<node concept="1mfA1w" id="2c3nq4GQKmS" role="2OqNvi" />
</node>
</node>
<node concept="3TrEf2" id="2c3nq4GQKmT" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5zfvpQ72gqq" />
</node>
</node>
</node>
</node>
@ -387,5 +552,130 @@
<ref role="1YaFvo" to="5j4j:7E86$tKtfM3" resolve="LogicalVariableDeclaration" />
</node>
</node>
<node concept="1YbPZF" id="7dgRGU4$_5X">
<property role="TrG5h" value="typeof_Splice" />
<property role="3GE5qa" value="atom" />
<node concept="3clFbS" id="7dgRGU4$_5Y" role="18ibNy">
<node concept="3clFbJ" id="7dgRGU4$_64" role="3cqZAp">
<node concept="3clFbS" id="7dgRGU4$_65" role="3clFbx">
<node concept="nvevp" id="7dgRGU4_YFt" role="3cqZAp">
<node concept="3clFbS" id="7dgRGU4_YFv" role="nvhr_">
<node concept="3clFbJ" id="7dgRGU4_ZCy" role="3cqZAp">
<node concept="3clFbS" id="7dgRGU4_ZC$" role="3clFbx">
<node concept="1Z5TYs" id="7dgRGU4$_z6" role="3cqZAp">
<property role="3wDh2S" value="true" />
<node concept="mw_s8" id="7dgRGU4$_Hl" role="1ZfhKB">
<node concept="2c44tf" id="7dgRGU4$_Hh" role="mwGJk">
<node concept="17QB3L" id="7dgRGU4$_HC" role="2c44tc" />
</node>
</node>
<node concept="mw_s8" id="7dgRGU4A0xz" role="1ZfhK$">
<node concept="1Z2H0r" id="7dgRGU4A0xx" role="mwGJk">
<node concept="2OqwBi" id="7dgRGU4A0zN" role="1Z2MuG">
<node concept="1YBJjd" id="7dgRGU4A0xO" role="2Oq$k0">
<ref role="1YBMHb" node="7dgRGU4$_60" resolve="splice" />
</node>
<node concept="3TrEf2" id="7dgRGU4A0KD" role="2OqNvi">
<ref role="3Tt5mk" to="5j4j:dfChU1zo4I" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1Wc70l" id="7dgRGU4_ZYG" role="3clFbw">
<node concept="1Wc70l" id="7dgRGU4_ZLM" role="3uHU7B">
<node concept="1Wc70l" id="7dgRGU4Aq9e" role="3uHU7B">
<node concept="3fqX7Q" id="7dgRGU4Aqr4" role="3uHU7B">
<node concept="2OqwBi" id="7dgRGU4Aqr6" role="3fr31v">
<node concept="2X3wrD" id="7dgRGU4Aqr7" role="2Oq$k0">
<ref role="2X3Bk0" node="7dgRGU4_YFz" resolve="exprType" />
</node>
<node concept="1mIQ4w" id="7dgRGU4Aqr8" role="2OqNvi">
<node concept="chp4Y" id="7dgRGU4Aqr9" role="cj9EA">
<ref role="cht4Q" to="5j4j:1mP5b6jNC0S" resolve="LogicalType" />
</node>
</node>
</node>
</node>
<node concept="3fqX7Q" id="7dgRGU4_ZEb" role="3uHU7w">
<node concept="3JuTUA" id="7dgRGU4_ZEd" role="3fr31v">
<node concept="2X3wrD" id="7dgRGU4_ZEe" role="3JuY14">
<ref role="2X3Bk0" node="7dgRGU4_YFz" resolve="exprType" />
</node>
<node concept="2c44tf" id="7dgRGU4_ZEf" role="3JuZjQ">
<node concept="17QB3L" id="7dgRGU4_ZEg" role="2c44tc" />
</node>
</node>
</node>
</node>
<node concept="3fqX7Q" id="7dgRGU4_ZML" role="3uHU7w">
<node concept="3JuTUA" id="7dgRGU4_Zyq" role="3fr31v">
<node concept="2X3wrD" id="7dgRGU4_Z_1" role="3JuY14">
<ref role="2X3Bk0" node="7dgRGU4_YFz" resolve="exprType" />
</node>
<node concept="2c44tf" id="7dgRGU4_ZB$" role="3JuZjQ">
<node concept="10Oyi0" id="7dgRGU4_ZPs" role="2c44tc" />
</node>
</node>
</node>
</node>
<node concept="3fqX7Q" id="7dgRGU4A00y" role="3uHU7w">
<node concept="3JuTUA" id="7dgRGU4A00z" role="3fr31v">
<node concept="2X3wrD" id="7dgRGU4A00$" role="3JuY14">
<ref role="2X3Bk0" node="7dgRGU4_YFz" resolve="exprType" />
</node>
<node concept="2c44tf" id="7dgRGU4A00_" role="3JuZjQ">
<node concept="3uibUv" id="7dgRGU4A02j" role="2c44tc">
<ref role="3uigEE" to="mhbf:~SNodeId" resolve="SNodeId" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1Z2H0r" id="7dgRGU4_YGs" role="nvjzm">
<node concept="2OqwBi" id="7dgRGU4_YJ3" role="1Z2MuG">
<node concept="1YBJjd" id="7dgRGU4_YGS" role="2Oq$k0">
<ref role="1YBMHb" node="7dgRGU4$_60" resolve="splice" />
</node>
<node concept="3TrEf2" id="7dgRGU4_YUb" role="2OqNvi">
<ref role="3Tt5mk" to="5j4j:dfChU1zo4I" />
</node>
</node>
</node>
<node concept="2X1qdy" id="7dgRGU4_YFz" role="2X0Ygz">
<property role="TrG5h" value="exprType" />
<node concept="10Q1$e" id="7dgRGU4_YWZ" role="1tU5fm">
<node concept="10Q1$e" id="7dgRGU4_YWJ" role="10Q1$1">
<node concept="10Q1$e" id="7dgRGU4_YW_" role="10Q1$1">
<node concept="2jxLKc" id="7dgRGU4_YF$" role="10Q1$1" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="7dgRGU4$_ru" role="3clFbw">
<node concept="2OqwBi" id="7dgRGU4$_8v" role="2Oq$k0">
<node concept="1YBJjd" id="7dgRGU4$_6g" role="2Oq$k0">
<ref role="1YBMHb" node="7dgRGU4$_60" resolve="splice" />
</node>
<node concept="1mfA1w" id="7dgRGU4$_hC" role="2OqNvi" />
</node>
<node concept="1mIQ4w" id="7dgRGU4$_wj" role="2OqNvi">
<node concept="chp4Y" id="7dgRGU4$_wO" role="cj9EA">
<ref role="cht4Q" to="5j4j:6$jH9oLmYJ_" resolve="Value" />
</node>
</node>
</node>
</node>
</node>
<node concept="1YaCAy" id="7dgRGU4$_60" role="1YuTPh">
<property role="TrG5h" value="splice" />
<ref role="1YaFvo" to="5j4j:dfChU1zo4B" resolve="Splice" />
</node>
</node>
</model>