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

New structure of RuleTemplate, get rid of various "code blocks" in favour of regular control statements.

This commit is contained in:
Fedor Isakov 2018-03-16 14:41:29 +01:00
parent b052790f8c
commit a6bd6dac9c
8 changed files with 3766 additions and 132 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
View File

@ -709,12 +709,6 @@
</node>
</node>
</node>
<node concept="1SiIV0" id="7BVjoXzUxWj" role="3bR37C">
<node concept="3bR9La" id="7BVjoXzUxWk" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" node="7BVjoXzUx$V" resolve="jetbrains.mps.logic.runtime" />
</node>
</node>
<node concept="1SiIV0" id="7BVjoXzUxWl" role="3bR37C">
<node concept="3bR9La" id="7BVjoXzUxWm" role="1SiIV1">
<property role="3bR36h" value="false" />
@ -745,12 +739,6 @@
<ref role="3bR37D" to="ffeo:1H905DlDUSw" resolve="MPS.OpenAPI" />
</node>
</node>
<node concept="1SiIV0" id="7BVjoXzUxWv" role="3bR37C">
<node concept="3bR9La" id="7BVjoXzUxWw" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" node="7BVjoXzUxee" resolve="jetbrains.mps.lang.typesystem2.runtime" />
</node>
</node>
<node concept="1SiIV0" id="7BVjoXzUxWx" role="3bR37C">
<node concept="3bR9La" id="7BVjoXzUxWy" role="1SiIV1">
<property role="3bR36h" value="false" />
@ -763,12 +751,6 @@
<ref role="3bR37D" to="ffeo:44LXwdzyvTi" resolve="Annotations" />
</node>
</node>
<node concept="1SiIV0" id="7BVjoXzUxWB" role="3bR37C">
<node concept="3bR9La" id="7BVjoXzUxWC" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:1TaHNgiIbIZ" resolve="MPS.Editor" />
</node>
</node>
<node concept="1SiIV0" id="7BVjoXzUxWD" role="3bR37C">
<node concept="3bR9La" id="7BVjoXzUxWE" role="1SiIV1">
<property role="3bR36h" value="false" />
@ -905,6 +887,24 @@
</node>
</node>
</node>
<node concept="1SiIV0" id="36tQV5AThQX" role="3bR37C">
<node concept="3bR9La" id="36tQV5AThQY" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" node="7BVjoXzUx$V" resolve="jetbrains.mps.logic.runtime" />
</node>
</node>
<node concept="1SiIV0" id="36tQV5AThR1" role="3bR37C">
<node concept="3bR9La" id="36tQV5AThR2" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:1TaHNgiIbIZ" resolve="MPS.Editor" />
</node>
</node>
<node concept="1SiIV0" id="36tQV5ATjSW" role="3bR37C">
<node concept="3bR9La" id="36tQV5ATjSX" role="1SiIV1">
<property role="3bR36h" value="false" />
<ref role="3bR37D" to="ffeo:7Kfy9QB6Lg8" resolve="jetbrains.mps.runtime" />
</node>
</node>
</node>
<node concept="1E1JtA" id="7BVjoXzUxee" role="2G$12L">
<property role="BnDLt" value="true" />

3047
typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps
View File

File diff suppressed because it is too large Load Diff

4
typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl
View File

@ -88,7 +88,6 @@
</generators>
<sourcePath />
<dependencies>
<dependency reexport="false">26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)</dependency>
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
<dependency reexport="false">2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)</dependency>
<dependency reexport="false">c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)</dependency>
@ -102,6 +101,7 @@
<dependency reexport="false">7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)</dependency>
<dependency reexport="false">3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)</dependency>
<dependency reexport="false">bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)</dependency>
<dependency reexport="false">9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="5" />
@ -171,11 +171,11 @@
<module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.typesystem2)" version="0" />
<module reference="26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)" version="0" />
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template)" version="0" />
<module reference="35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic)" 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" />
<module reference="9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime)" version="0" />
</dependencyVersions>
<runtime>
<dependency reexport="false">26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime)</dependency>

189
typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps
View File

@ -187,6 +187,9 @@
<concept id="1212008292747" name="jetbrains.mps.lang.smodel.structure.Model_GetLongNameOperation" flags="nn" index="LkI2h" />
<concept id="1171305280644" name="jetbrains.mps.lang.smodel.structure.Node_GetDescendantsOperation" flags="nn" index="2Rf3mk" />
<concept id="1171407110247" name="jetbrains.mps.lang.smodel.structure.Node_GetAncestorOperation" flags="nn" index="2Xjw5R" />
<concept id="3562215692195599741" name="jetbrains.mps.lang.smodel.structure.SLinkImplicitSelect" flags="nn" index="13MTOL">
<reference id="3562215692195600259" name="link" index="13MTZf" />
</concept>
<concept id="1154546950173" name="jetbrains.mps.lang.smodel.structure.ConceptReference" flags="ng" index="3gn64h">
<reference id="1154546997487" name="concept" index="3gnhBz" />
</concept>
@ -2192,5 +2195,191 @@
<node concept="3Tqbb2" id="2zPM3MPBddl" role="3clF45" />
</node>
</node>
<node concept="13h7C7" id="36tQV5Arwjr">
<property role="3GE5qa" value="rule" />
<ref role="13h7C2" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
<node concept="13hLZK" id="36tQV5Arwjs" role="13h7CW">
<node concept="3clFbS" id="36tQV5Arwjt" role="2VODD2" />
</node>
<node concept="13i0hz" id="36tQV5ArwjA" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="exportedLogicalVariable" />
<ref role="13i0hy" to="ha02:7E86$tKAujJ" resolve="exportedLogicalVariable" />
<node concept="3Tm1VV" id="36tQV5ArwjB" role="1B3o_S" />
<node concept="3clFbS" id="36tQV5ArwjH" role="3clF47">
<node concept="3cpWs8" id="36tQV5ArKDy" role="3cqZAp">
<node concept="3cpWsn" id="36tQV5ArKDz" role="3cpWs9">
<property role="TrG5h" value="rules" />
<node concept="A3Dl8" id="36tQV5ArKDk" role="1tU5fm">
<node concept="3Tqbb2" id="36tQV5ArKDn" role="A3Ik2">
<ref role="ehGHo" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
</node>
</node>
<node concept="2OqwBi" id="36tQV5ArKD$" role="33vP2m">
<node concept="2OqwBi" id="36tQV5ArKD_" role="2Oq$k0">
<node concept="2OqwBi" id="36tQV5ArKDA" role="2Oq$k0">
<node concept="13iPFW" id="36tQV5ArKDB" role="2Oq$k0" />
<node concept="3TrEf2" id="36tQV5ArKDC" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:36tQV5AmIss" resolve="code" />
</node>
</node>
<node concept="2Rf3mk" id="36tQV5ArKDD" role="2OqNvi">
<node concept="1xMEDy" id="36tQV5ArKDE" role="1xVPHs">
<node concept="chp4Y" id="36tQV5ArKDF" role="ri$Ld">
<ref role="cht4Q" to="wq2x:36tQV5AmIt0" resolve="ConstraintRuleStatement" />
</node>
</node>
</node>
</node>
<node concept="13MTOL" id="36tQV5ArKDG" role="2OqNvi">
<ref role="13MTZf" to="wq2x:36tQV5AmIt1" resolve="rule" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="36tQV5ArNPd" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5ArO$I" role="3clFbG">
<node concept="37vLTw" id="36tQV5ArO$J" role="2Oq$k0">
<ref role="3cqZAo" node="36tQV5ArKDz" resolve="rules" />
</node>
<node concept="3goQfb" id="36tQV5ArO$K" role="2OqNvi">
<node concept="1bVj0M" id="36tQV5ArO$L" role="23t8la">
<node concept="3clFbS" id="36tQV5ArO$M" role="1bW5cS">
<node concept="3clFbF" id="36tQV5ArO$N" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5ArO$O" role="3clFbG">
<node concept="2OqwBi" id="36tQV5ArO$P" role="2Oq$k0">
<node concept="37vLTw" id="36tQV5ArO$Q" role="2Oq$k0">
<ref role="3cqZAo" node="36tQV5ArO_1" resolve="it" />
</node>
<node concept="2qgKlT" id="36tQV5ArO$R" role="2OqNvi">
<ref role="37wK5l" node="36tQV5ArDPR" resolve="allComponents" />
</node>
</node>
<node concept="3goQfb" id="36tQV5ArPUs" role="2OqNvi">
<node concept="1bVj0M" id="36tQV5ArPUu" role="23t8la">
<node concept="3clFbS" id="36tQV5ArPUv" role="1bW5cS">
<node concept="3clFbF" id="36tQV5ArPUw" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5ArPUx" role="3clFbG">
<node concept="37vLTw" id="36tQV5ArPUy" role="2Oq$k0">
<ref role="3cqZAo" node="36tQV5ArPU$" resolve="cmp" />
</node>
<node concept="2qgKlT" id="36tQV5ArPUz" role="2OqNvi">
<ref role="37wK5l" to="ha02:7E86$tKAujJ" resolve="exportedLogicalVariable" />
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="36tQV5ArPU$" role="1bW2Oz">
<property role="TrG5h" value="cmp" />
<node concept="2jxLKc" id="36tQV5ArPU_" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="36tQV5ArO_1" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="36tQV5ArO_2" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="A3Dl8" id="36tQV5ArwjI" role="3clF45">
<node concept="3Tqbb2" id="36tQV5ArwjJ" role="A3Ik2">
<ref role="ehGHo" to="5j4j:7E86$tKtfM3" resolve="LogicalVariableDeclaration" />
</node>
</node>
</node>
<node concept="13i0hz" id="36tQV5ArwjO" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="availableLogicalVariable" />
<ref role="13i0hy" to="ha02:6YKq674fNYS" resolve="availableLogicalVariable" />
<node concept="3Tm1VV" id="36tQV5ArwjP" role="1B3o_S" />
<node concept="3clFbS" id="36tQV5ArwjV" role="3clF47">
<node concept="3clFbF" id="36tQV5ArwPu" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5ArwPv" role="3clFbG">
<node concept="13iPFW" id="36tQV5ArwPw" role="2Oq$k0" />
<node concept="2qgKlT" id="36tQV5ArwPx" role="2OqNvi">
<ref role="37wK5l" to="ha02:7E86$tKAujJ" resolve="exportedLogicalVariable" />
</node>
</node>
</node>
</node>
<node concept="A3Dl8" id="36tQV5ArwjW" role="3clF45">
<node concept="3Tqbb2" id="36tQV5ArwjX" role="A3Ik2">
<ref role="ehGHo" to="5j4j:7E86$tKtfM3" resolve="LogicalVariableDeclaration" />
</node>
</node>
</node>
<node concept="13i0hz" id="36tQV5ArwpJ" role="13h7CS">
<property role="TrG5h" value="localContextNames" />
<property role="13i0it" value="false" />
<property role="13i0iv" value="false" />
<node concept="3Tm1VV" id="36tQV5ArwpK" role="1B3o_S" />
<node concept="3clFbS" id="36tQV5ArwpL" role="3clF47">
<node concept="3clFbF" id="36tQV5As2Yc" role="3cqZAp">
<node concept="BsUDl" id="36tQV5As2Ye" role="3clFbG">
<ref role="37wK5l" to="ha02:7E86$tKAujJ" resolve="exportedLogicalVariable" />
</node>
</node>
</node>
<node concept="A3Dl8" id="36tQV5Arwqg" role="3clF45">
<node concept="3Tqbb2" id="36tQV5Arwqh" role="A3Ik2">
<ref role="ehGHo" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
</node>
</node>
</node>
<node concept="13h7C7" id="36tQV5ArDPG">
<property role="3GE5qa" value="rule" />
<ref role="13h7C2" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
<node concept="13i0hz" id="36tQV5ArDPR" role="13h7CS">
<property role="TrG5h" value="allComponents" />
<node concept="3Tm1VV" id="36tQV5ArDPS" role="1B3o_S" />
<node concept="3clFbS" id="36tQV5ArDPT" role="3clF47">
<node concept="3clFbF" id="36tQV5ArDPU" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5ArDPV" role="3clFbG">
<node concept="2OqwBi" id="36tQV5ArDPW" role="2Oq$k0">
<node concept="2OqwBi" id="36tQV5ArDPX" role="2Oq$k0">
<node concept="13iPFW" id="36tQV5ArDPY" role="2Oq$k0" />
<node concept="3Tsc0h" id="36tQV5ArDPZ" role="2OqNvi">
<ref role="3TtcxE" to="wq2x:36tQV5AmIsU" resolve="head" />
</node>
</node>
<node concept="3QWeyG" id="36tQV5ArDQ0" role="2OqNvi">
<node concept="2OqwBi" id="36tQV5ArDQ1" role="576Qk">
<node concept="13iPFW" id="36tQV5ArDQ2" role="2Oq$k0" />
<node concept="3Tsc0h" id="36tQV5ArDQ3" role="2OqNvi">
<ref role="3TtcxE" to="wq2x:36tQV5AmIsV" resolve="guard" />
</node>
</node>
</node>
</node>
<node concept="3QWeyG" id="36tQV5ArDQ4" role="2OqNvi">
<node concept="2OqwBi" id="36tQV5ArDQ5" role="576Qk">
<node concept="13iPFW" id="36tQV5ArDQ6" role="2Oq$k0" />
<node concept="3Tsc0h" id="36tQV5ArDQ7" role="2OqNvi">
<ref role="3TtcxE" to="wq2x:36tQV5AmIsW" resolve="body" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="A3Dl8" id="36tQV5ArDQ8" role="3clF45">
<node concept="3Tqbb2" id="36tQV5ArDQ9" role="A3Ik2">
<ref role="ehGHo" to="wq2x:6p0DfM0a3d3" resolve="RuleComponent" />
</node>
</node>
</node>
<node concept="13hLZK" id="36tQV5ArDPH" role="13h7CW">
<node concept="3clFbS" id="36tQV5ArDPI" role="2VODD2" />
</node>
</node>
</model>

200
typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/constraints.mps
View File

@ -91,6 +91,9 @@
<property id="521412098689998745" name="nonStatic" index="2bfB8j" />
<child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
</concept>
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
<reference id="1107535924139" name="classifier" index="3uigEE" />
</concept>
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
@ -221,54 +224,60 @@
</node>
</node>
</node>
<node concept="3clFbF" id="6fXjIfxgfUK" role="3cqZAp">
<node concept="2ShNRf" id="6fXjIfxgfUL" role="3clFbG">
<node concept="YeOm9" id="6fXjIfxgfUM" role="2ShVmc">
<node concept="1Y3b0j" id="6fXjIfxgfUN" role="YeSDq">
<property role="2bfB8j" value="true" />
<ref role="1Y3XeK" to="o8zo:4IP40Bi3e_R" resolve="ListScope" />
<ref role="37wK5l" to="o8zo:4IP40Bi3e_T" resolve="ListScope" />
<node concept="2YIFZM" id="6fXjIfxgfUO" role="37wK5m">
<ref role="37wK5l" to="33ny:~Collections.singletonList(java.lang.Object):java.util.List" resolve="singletonList" />
<ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
<node concept="2OqwBi" id="6fXjIfxgfUP" role="37wK5m">
<node concept="2OqwBi" id="6fXjIfxgfUQ" role="2Oq$k0">
<node concept="37vLTw" id="6fXjIfxgfUR" role="2Oq$k0">
<ref role="3cqZAo" node="6fXjIfxgfUC" resolve="rule" />
</node>
<node concept="3TrEf2" id="6fXjIfxgfUS" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:6wQEDbCCPyR" resolve="input" />
</node>
</node>
<node concept="3TrEf2" id="6fXjIfxgfUT" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5NuEpF1ihrB" resolve="input" />
</node>
</node>
</node>
<node concept="3Tm1VV" id="6fXjIfxgfUU" role="1B3o_S" />
<node concept="3clFb_" id="6fXjIfxgfUV" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="getName" />
<node concept="17QB3L" id="6fXjIfxgfUW" role="3clF45" />
<node concept="3Tm1VV" id="6fXjIfxgfUX" role="1B3o_S" />
<node concept="37vLTG" id="6fXjIfxgfUY" role="3clF46">
<property role="TrG5h" value="child" />
<node concept="3Tqbb2" id="6fXjIfxgfUZ" role="1tU5fm" />
</node>
<node concept="3clFbS" id="6fXjIfxgfV0" role="3clF47">
<node concept="3clFbF" id="6fXjIfxgfV1" role="3cqZAp">
<node concept="2OqwBi" id="6fXjIfxgfV2" role="3clFbG">
<node concept="1PxgMI" id="6fXjIfxgfV3" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<node concept="37vLTw" id="6fXjIfxgfV4" role="1m5AlR">
<ref role="3cqZAo" node="6fXjIfxgfUY" resolve="child" />
</node>
<node concept="chp4Y" id="6fXjIfxgneH" role="3oSUPX">
<ref role="cht4Q" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="3cpWs8" id="36tQV5AKsH3" role="3cqZAp">
<node concept="3cpWsn" id="36tQV5AKsH4" role="3cpWs9">
<property role="TrG5h" value="deprecated_scope" />
<node concept="3uibUv" id="36tQV5AKsH2" role="1tU5fm">
<ref role="3uigEE" to="o8zo:4IP40Bi3e_R" resolve="ListScope" />
</node>
<node concept="2ShNRf" id="36tQV5AKsH5" role="33vP2m">
<node concept="YeOm9" id="36tQV5AKsH6" role="2ShVmc">
<node concept="1Y3b0j" id="36tQV5AKsH7" role="YeSDq">
<property role="2bfB8j" value="true" />
<ref role="1Y3XeK" to="o8zo:4IP40Bi3e_R" resolve="ListScope" />
<ref role="37wK5l" to="o8zo:4IP40Bi3e_T" resolve="ListScope" />
<node concept="2YIFZM" id="36tQV5AKsH8" role="37wK5m">
<ref role="37wK5l" to="33ny:~Collections.singletonList(java.lang.Object):java.util.List" resolve="singletonList" />
<ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
<node concept="2OqwBi" id="36tQV5AKsH9" role="37wK5m">
<node concept="2OqwBi" id="36tQV5AKsHa" role="2Oq$k0">
<node concept="37vLTw" id="36tQV5AKsHb" role="2Oq$k0">
<ref role="3cqZAo" node="6fXjIfxgfUC" resolve="rule" />
</node>
<node concept="3TrcHB" id="6fXjIfxgfV5" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
<node concept="3TrEf2" id="36tQV5AKsHc" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:6wQEDbCCPyR" resolve="input" />
</node>
</node>
<node concept="3TrEf2" id="36tQV5AKsHd" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5NuEpF1ihrB" resolve="input" />
</node>
</node>
</node>
<node concept="3Tm1VV" id="36tQV5AKsHe" role="1B3o_S" />
<node concept="3clFb_" id="36tQV5AKsHf" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="getName" />
<node concept="17QB3L" id="36tQV5AKsHg" role="3clF45" />
<node concept="3Tm1VV" id="36tQV5AKsHh" role="1B3o_S" />
<node concept="37vLTG" id="36tQV5AKsHi" role="3clF46">
<property role="TrG5h" value="child" />
<node concept="3Tqbb2" id="36tQV5AKsHj" role="1tU5fm" />
</node>
<node concept="3clFbS" id="36tQV5AKsHk" role="3clF47">
<node concept="3clFbF" id="36tQV5AKsHl" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5AKsHm" role="3clFbG">
<node concept="1PxgMI" id="36tQV5AKsHn" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<node concept="37vLTw" id="36tQV5AKsHo" role="1m5AlR">
<ref role="3cqZAo" node="36tQV5AKsHi" resolve="child" />
</node>
<node concept="chp4Y" id="36tQV5AKsHp" role="3oSUPX">
<ref role="cht4Q" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
</node>
<node concept="3TrcHB" id="36tQV5AKsHq" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
@ -278,6 +287,103 @@
</node>
</node>
</node>
<node concept="3clFbH" id="36tQV5AKtGx" role="3cqZAp" />
<node concept="3cpWs8" id="36tQV5AKyUH" role="3cqZAp">
<node concept="3cpWsn" id="36tQV5AKyUI" role="3cpWs9">
<property role="TrG5h" value="rt" />
<node concept="3Tqbb2" id="36tQV5AKyUF" role="1tU5fm">
<ref role="ehGHo" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
</node>
<node concept="2OqwBi" id="36tQV5AKyUJ" role="33vP2m">
<node concept="2rP1CM" id="36tQV5AKyUK" role="2Oq$k0" />
<node concept="2Xjw5R" id="36tQV5AKyUL" role="2OqNvi">
<node concept="1xMEDy" id="36tQV5AKyUM" role="1xVPHs">
<node concept="chp4Y" id="36tQV5AKyUN" role="ri$Ld">
<ref role="cht4Q" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
</node>
</node>
<node concept="1xIGOp" id="36tQV5AKyUO" role="1xVPHs" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="36tQV5AKxYj" role="3cqZAp">
<node concept="3cpWsn" id="36tQV5AKxYk" role="3cpWs9">
<property role="TrG5h" value="scope" />
<node concept="3uibUv" id="36tQV5AKxYl" role="1tU5fm">
<ref role="3uigEE" to="o8zo:4IP40Bi3e_R" resolve="ListScope" />
</node>
<node concept="2ShNRf" id="36tQV5AKxYm" role="33vP2m">
<node concept="YeOm9" id="36tQV5AKxYn" role="2ShVmc">
<node concept="1Y3b0j" id="36tQV5AKxYo" role="YeSDq">
<property role="2bfB8j" value="true" />
<ref role="1Y3XeK" to="o8zo:4IP40Bi3e_R" resolve="ListScope" />
<ref role="37wK5l" to="o8zo:4IP40Bi3e_T" resolve="ListScope" />
<node concept="2YIFZM" id="36tQV5AKxYp" role="37wK5m">
<ref role="37wK5l" to="33ny:~Collections.singletonList(java.lang.Object):java.util.List" resolve="singletonList" />
<ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
<node concept="2OqwBi" id="36tQV5AKxYq" role="37wK5m">
<node concept="2OqwBi" id="36tQV5AKxYr" role="2Oq$k0">
<node concept="37vLTw" id="36tQV5AK$eh" role="2Oq$k0">
<ref role="3cqZAo" node="36tQV5AKyUI" resolve="rt" />
</node>
<node concept="3TrEf2" id="36tQV5AK$PU" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:36tQV5AmIsx" resolve="input" />
</node>
</node>
<node concept="3TrEf2" id="36tQV5AKxYu" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5NuEpF1ihrB" resolve="input" />
</node>
</node>
</node>
<node concept="3Tm1VV" id="36tQV5AKxYv" role="1B3o_S" />
<node concept="3clFb_" id="36tQV5AKxYw" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="getName" />
<node concept="17QB3L" id="36tQV5AKxYx" role="3clF45" />
<node concept="3Tm1VV" id="36tQV5AKxYy" role="1B3o_S" />
<node concept="37vLTG" id="36tQV5AKxYz" role="3clF46">
<property role="TrG5h" value="child" />
<node concept="3Tqbb2" id="36tQV5AKxY$" role="1tU5fm" />
</node>
<node concept="3clFbS" id="36tQV5AKxY_" role="3clF47">
<node concept="3clFbF" id="36tQV5AKxYA" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5AKxYB" role="3clFbG">
<node concept="1PxgMI" id="36tQV5AKxYC" role="2Oq$k0">
<property role="1BlNFB" value="true" />
<node concept="37vLTw" id="36tQV5AKxYD" role="1m5AlR">
<ref role="3cqZAo" node="36tQV5AKxYz" resolve="child" />
</node>
<node concept="chp4Y" id="36tQV5AKxYE" role="3oSUPX">
<ref role="cht4Q" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
</node>
<node concept="3TrcHB" id="36tQV5AKxYF" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="36tQV5AKvF5" role="3cqZAp" />
<node concept="3clFbF" id="36tQV5AKrE2" role="3cqZAp">
<node concept="2ShNRf" id="36tQV5AKrDY" role="3clFbG">
<node concept="1pGfFk" id="36tQV5AKs69" role="2ShVmc">
<ref role="37wK5l" to="o8zo:7ipADkTevLv" resolve="CompositeScope" />
<node concept="37vLTw" id="36tQV5AK_Gk" role="37wK5m">
<ref role="3cqZAo" node="36tQV5AKxYk" resolve="scope" />
</node>
<node concept="37vLTw" id="36tQV5AKu$4" role="37wK5m">
<ref role="3cqZAo" node="36tQV5AKsH4" resolve="deprecated_scope" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>

311
typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps
View File

@ -17,6 +17,7 @@
<import index="ykok" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.smodel.constraints(MPS.Core/)" />
<import index="35tq" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.scope(MPS.Core/)" />
<import index="cxk7" ref="r:daa544a7-0a5c-49c0-a54c-4c2a5b4868aa(jetbrains.mps.logic.builtin.predicate)" />
<import index="i8bi" ref="r:c3548bac-30eb-4a2a-937c-0111d5697309(jetbrains.mps.lang.smodel.generator.smodelAdapter)" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="5j4j" ref="r:c8fb1c5e-8204-4904-a38f-678899d447c1(jetbrains.mps.logic.structure)" implicit="true" />
<import index="qgy9" ref="r:5195f849-566d-46a3-bb0a-7ae9911e2652(jetbrains.mps.logic.editor)" implicit="true" />
@ -465,6 +466,10 @@
<concept id="3562215692195599741" name="jetbrains.mps.lang.smodel.structure.SLinkImplicitSelect" flags="nn" index="13MTOL">
<reference id="3562215692195600259" name="link" index="13MTZf" />
</concept>
<concept id="2644386474302386080" name="jetbrains.mps.lang.smodel.structure.PropertyIdRefExpression" flags="nn" index="355D3s">
<reference id="2644386474302386081" name="conceptDeclaration" index="355D3t" />
<reference id="2644386474302386082" name="propertyDeclaration" index="355D3u" />
</concept>
<concept id="2644386474300074836" name="jetbrains.mps.lang.smodel.structure.ConceptIdRefExpression" flags="nn" index="35c_gC">
<reference id="2644386474300074837" name="conceptDeclaration" index="35c_gD" />
</concept>
@ -1120,6 +1125,31 @@
</node>
</node>
</node>
<node concept="3F0ifn" id="36tQV5Ansmv" role="3EZMnx">
<property role="3F0ifm" value="" />
<node concept="VPM3Z" id="36tQV5Ansmw" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="pVoyu" id="36tQV5Ansmx" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3F2HdR" id="36tQV5Ansny" role="3EZMnx">
<property role="2czwfO" value=" " />
<ref role="1NtTu8" to="wq2x:36tQV5Anslx" resolve="template" />
<node concept="l2Vlx" id="36tQV5Ansnz" role="2czzBx" />
<node concept="lj46D" id="36tQV5Ansn$" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="pVoyu" id="36tQV5Ansn_" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="tppnM" id="36tQV5AnsnA" role="sWeuL">
<node concept="ljvvj" id="36tQV5AnsnB" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
</node>
<node concept="l2Vlx" id="6p0DfM0dray" role="2iSdaV" />
</node>
</node>
@ -1681,6 +1711,117 @@
<ref role="1NtTu8" to="wq2x:5NuEpF1ihrB" resolve="input" />
</node>
<node concept="l2Vlx" id="5NuEpF1iiVz" role="2iSdaV" />
<node concept="3EZMnI" id="36tQV5AyfuC" role="3EZMnx">
<node concept="VPM3Z" id="36tQV5AyfuD" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="ljvvj" id="36tQV5AyfuE" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="1QoScp" id="36tQV5AyfuF" role="3EZMnx">
<property role="1QpmdY" value="true" />
<node concept="3F0ifn" id="36tQV5AyfuG" role="1QoS34">
<property role="3F0ifm" value="exactly" />
<ref role="1ERwB7" node="12yN8DyB6zn" resolve="Rule_ActionMap" />
<ref role="1k5W1q" node="4aJUH_hW38r" resolve="RuleKeyword" />
<node concept="OXEIz" id="36tQV5AyfuH" role="P5bDN">
<node concept="1oHujT" id="36tQV5AyfuI" role="OY2wv">
<property role="1oHujS" value="including all subconcepts" />
<node concept="1oIgkG" id="36tQV5AyfuJ" role="1oHujR">
<node concept="3clFbS" id="36tQV5AyfuK" role="2VODD2">
<node concept="3clFbF" id="36tQV5AyfuL" role="3cqZAp">
<node concept="37vLTI" id="36tQV5AyfuM" role="3clFbG">
<node concept="3clFbT" id="36tQV5AyfuN" role="37vLTx">
<property role="3clFbU" value="false" />
</node>
<node concept="2OqwBi" id="36tQV5AyfuO" role="37vLTJ">
<node concept="3GMtW1" id="36tQV5AyfuP" role="2Oq$k0" />
<node concept="3TrcHB" id="36tQV5AyfuQ" role="2OqNvi">
<ref role="3TsBF5" to="wq2x:36tQV5Ayfuv" resolve="exactMatch" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="pkWqt" id="36tQV5AyfuR" role="3e4ffs">
<node concept="3clFbS" id="36tQV5AyfuS" role="2VODD2">
<node concept="3clFbF" id="36tQV5AyfuT" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5AyfuU" role="3clFbG">
<node concept="pncrf" id="36tQV5AyfuV" role="2Oq$k0" />
<node concept="3TrcHB" id="36tQV5AyfuW" role="2OqNvi">
<ref role="3TsBF5" to="wq2x:36tQV5Ayfuv" resolve="exactMatch" />
</node>
</node>
</node>
</node>
</node>
<node concept="3F0ifn" id="36tQV5AyfuX" role="1QoVPY">
<property role="3F0ifm" value="" />
<property role="ilYzB" value="including all subconcepts" />
<ref role="1ERwB7" node="12yN8DyB6zn" resolve="Rule_ActionMap" />
<node concept="OXEIz" id="36tQV5AyfuY" role="P5bDN">
<node concept="1oHujT" id="36tQV5AyfuZ" role="OY2wv">
<property role="1oHujS" value="exactly" />
<node concept="1oIgkG" id="36tQV5Ayfv0" role="1oHujR">
<node concept="3clFbS" id="36tQV5Ayfv1" role="2VODD2">
<node concept="3clFbF" id="36tQV5Ayfv2" role="3cqZAp">
<node concept="37vLTI" id="36tQV5Ayfv3" role="3clFbG">
<node concept="3clFbT" id="36tQV5Ayfv4" role="37vLTx">
<property role="3clFbU" value="true" />
</node>
<node concept="2OqwBi" id="36tQV5Ayfv5" role="37vLTJ">
<node concept="3GMtW1" id="36tQV5Ayfv6" role="2Oq$k0" />
<node concept="3TrcHB" id="36tQV5Ayfv7" role="2OqNvi">
<ref role="3TsBF5" to="wq2x:36tQV5Ayfuv" resolve="exactMatch" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="pkWqt" id="36tQV5Ayfv8" role="pqm2j">
<node concept="3clFbS" id="36tQV5Ayfv9" role="2VODD2">
<node concept="3clFbF" id="36tQV5Ayfva" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5Ayfvb" role="3clFbG">
<node concept="2OqwBi" id="36tQV5Ayfvc" role="2Oq$k0">
<node concept="pncrf" id="36tQV5Ayfvd" role="2Oq$k0" />
<node concept="3TrEf2" id="36tQV5Ayfve" role="2OqNvi">
<ref role="3Tt5mk" to="wq2x:5NuEpF1ihrB" resolve="input" />
</node>
</node>
<node concept="3x8VRR" id="36tQV5Ayfvf" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="l2Vlx" id="36tQV5Ayfvg" role="2iSdaV" />
<node concept="pkWqt" id="36tQV5AyfHe" role="pqm2j">
<node concept="3clFbS" id="36tQV5AyfHf" role="2VODD2">
<node concept="3clFbF" id="36tQV5AyiO6" role="3cqZAp">
<node concept="3fqX7Q" id="36tQV5AymYc" role="3clFbG">
<node concept="2YIFZM" id="36tQV5AymYe" role="3fr31v">
<ref role="37wK5l" to="i8bi:5IkW5anFfpR" resolve="hasValue" />
<ref role="1Pybhc" to="i8bi:5IkW5anFfnn" resolve="SPropertyOperations" />
<node concept="pncrf" id="36tQV5AymYf" role="37wK5m" />
<node concept="355D3s" id="36tQV5AymYg" role="37wK5m">
<ref role="355D3t" to="wq2x:5NuEpF1if3e" resolve="RuleInputSpecification" />
<ref role="355D3u" to="wq2x:36tQV5Ayfuv" resolve="exactMatch" />
</node>
<node concept="10Nm6u" id="36tQV5AymYh" role="37wK5m" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="24kQdi" id="60B5zVESCE$">
@ -6600,5 +6741,175 @@
<node concept="l2Vlx" id="3pMFS1zdejH" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="36tQV5AmIt3">
<property role="3GE5qa" value="rule" />
<ref role="1XX52x" to="wq2x:36tQV5AmIt0" resolve="ConstraintRuleStatement" />
<node concept="3EZMnI" id="36tQV5AB4ng" role="2wV5jI">
<node concept="3F0ifn" id="36tQV5ACCxk" role="3EZMnx">
<property role="3F0ifm" value=" " />
</node>
<node concept="3EZMnI" id="36tQV5ABts7" role="3EZMnx">
<node concept="lj46D" id="36tQV5ACfrF" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="VPM3Z" id="36tQV5ABts9" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="l2Vlx" id="36tQV5ABtsc" role="2iSdaV" />
<node concept="3F1sOY" id="36tQV5AB4nq" role="3EZMnx">
<ref role="1NtTu8" to="wq2x:36tQV5AmIt1" resolve="rule" />
</node>
</node>
<node concept="l2Vlx" id="36tQV5AB4nj" role="2iSdaV" />
<node concept="3vyZuw" id="36tQV5AB4nG" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="3F0ifn" id="36tQV5ADqlq" role="3EZMnx">
<property role="3F0ifm" value=" " />
</node>
</node>
</node>
<node concept="24kQdi" id="36tQV5AmMLP">
<property role="3GE5qa" value="rule" />
<ref role="1XX52x" to="wq2x:36tQV5AmIsB" resolve="ConstraintRule" />
<node concept="3EZMnI" id="36tQV5AmMLR" role="2wV5jI">
<node concept="3F2HdR" id="36tQV5AmMLS" role="3EZMnx">
<ref role="1NtTu8" to="wq2x:36tQV5AmIsU" resolve="head" />
<node concept="l2Vlx" id="36tQV5AmMLT" role="2czzBx" />
<node concept="ljvvj" id="36tQV5AmMLU" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="3F0ifn" id="36tQV5AmMLV" role="2czzBI">
<property role="3F0ifm" value="auto" />
<ref role="1k5W1q" to="tpen:hinfsDb" resolve="EmptyCell" />
<node concept="Vb9p2" id="36tQV5AmMLW" role="3F10Kt">
<property role="Vbekb" value="BOLD" />
</node>
</node>
</node>
<node concept="VPM3Z" id="36tQV5AmMLX" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="3F2HdR" id="36tQV5AmMLY" role="3EZMnx">
<property role="2czwfO" value=" " />
<ref role="1NtTu8" to="wq2x:36tQV5AmIsV" resolve="guard" />
<node concept="l2Vlx" id="36tQV5AmMLZ" role="2czzBx" />
<node concept="tppnM" id="36tQV5AmMM0" role="sWeuL">
<node concept="ljvvj" id="36tQV5AmMM1" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="ljvvj" id="36tQV5AmMM2" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="3F0ifn" id="36tQV5AmMM3" role="2czzBI">
<ref role="1k5W1q" to="tpen:hinfsDb" resolve="EmptyCell" />
<node concept="Vb9p2" id="36tQV5AmMM4" role="3F10Kt">
<property role="Vbekb" value="BOLD" />
</node>
</node>
<node concept="pkWqt" id="36tQV5AmMM5" role="pqm2j">
<node concept="3clFbS" id="36tQV5AmMM6" role="2VODD2">
<node concept="3clFbF" id="36tQV5AmMM7" role="3cqZAp">
<node concept="2OqwBi" id="36tQV5AmMM8" role="3clFbG">
<node concept="2OqwBi" id="36tQV5AmMM9" role="2Oq$k0">
<node concept="pncrf" id="36tQV5AmMMa" role="2Oq$k0" />
<node concept="3Tsc0h" id="36tQV5AmMMb" role="2OqNvi">
<ref role="3TtcxE" to="wq2x:36tQV5AmIsV" resolve="guard" />
</node>
</node>
<node concept="3GX2aA" id="36tQV5AmMMc" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="3F0ifn" id="36tQV5AmMMd" role="3EZMnx">
<property role="3F0ifm" value="────────────────────────────────────────" />
<ref role="1k5W1q" node="4aJUH_hW38r" resolve="RuleKeyword" />
<node concept="VPxyj" id="36tQV5AmMMe" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="VPM3Z" id="36tQV5AmMMf" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="ljvvj" id="36tQV5AmMMg" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3EZMnI" id="36tQV5AmMMh" role="3EZMnx">
<node concept="ljvvj" id="36tQV5AmMMi" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="l2Vlx" id="36tQV5AmMMj" role="2iSdaV" />
<node concept="3F2HdR" id="36tQV5AmMMk" role="3EZMnx">
<property role="2czwfO" value="else" />
<ref role="1NtTu8" to="wq2x:36tQV5AmIsW" resolve="body" />
<node concept="l2Vlx" id="36tQV5AmMMl" role="2czzBx" />
<node concept="tppnM" id="36tQV5AmMMm" role="sWeuL">
<ref role="1k5W1q" node="4aJUH_hW38r" resolve="RuleKeyword" />
</node>
<node concept="3F0ifn" id="36tQV5AmMMn" role="2czzBI">
<property role="3F0ifm" value="empty" />
<ref role="1k5W1q" to="tpen:hinfsDb" resolve="EmptyCell" />
<node concept="Vb9p2" id="36tQV5AmMMo" role="3F10Kt">
<property role="Vbekb" value="BOLD" />
</node>
</node>
</node>
</node>
<node concept="l2Vlx" id="36tQV5AmMMp" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="36tQV5AmNr7">
<property role="3GE5qa" value="rule" />
<ref role="1XX52x" to="wq2x:36tQV5AmIsf" resolve="RuleTemplate" />
<node concept="3EZMnI" id="36tQV5AmNNV" role="2wV5jI">
<node concept="PMmxH" id="36tQV5AmNO2" role="3EZMnx">
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
</node>
<node concept="3F0A7n" id="36tQV5AmNOb" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="3F1sOY" id="36tQV5AmNOj" role="3EZMnx">
<ref role="1NtTu8" to="wq2x:36tQV5AmIsx" resolve="input" />
<node concept="ljvvj" id="36tQV5AynMl" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="l2Vlx" id="36tQV5AmNNY" role="2iSdaV" />
<node concept="3EZMnI" id="36tQV5AmP0Z" role="3EZMnx">
<node concept="VPM3Z" id="36tQV5AmP10" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="ljvvj" id="36tQV5AyoeJ" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="l2Vlx" id="36tQV5AmP1a" role="2iSdaV" />
<node concept="3F1sOY" id="36tQV5AmP1b" role="3EZMnx">
<property role="1$x2rV" value="apply always" />
<ref role="1NtTu8" to="wq2x:36tQV5AmQgD" resolve="condition" />
</node>
</node>
<node concept="3F0ifn" id="36tQV5AmPZK" role="3EZMnx">
<ref role="1k5W1q" to="tpen:hshO_Yc" resolve="Comment" />
<node concept="VPM3Z" id="36tQV5AmPZL" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="ljvvj" id="36tQV5AmPZM" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3EZMnI" id="36tQV5AmO_Z" role="3EZMnx">
<node concept="VPM3Z" id="36tQV5AmOA1" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
<node concept="3F1sOY" id="36tQV5AmONt" role="3EZMnx">
<ref role="1NtTu8" to="wq2x:36tQV5AmIss" resolve="code" />
</node>
<node concept="l2Vlx" id="36tQV5AmOA4" role="2iSdaV" />
</node>
</node>
</node>
</model>

91
typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps
View File

@ -91,6 +91,13 @@
<property role="20lbJX" value="0..n" />
<ref role="20lvS9" node="6p0DfM0asBO" resolve="ConstraintDeclaration" />
</node>
<node concept="1TJgyj" id="36tQV5Anslx" role="1TKVEi">
<property role="IQ2ns" value="3575255234175157601" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="template" />
<property role="20lbJX" value="0..n" />
<ref role="20lvS9" node="36tQV5AmIsf" resolve="RuleTemplate" />
</node>
<node concept="PrWs8" id="6p0DfM0au2d" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
@ -406,6 +413,11 @@
<property role="TrG5h" value="RuleInputSpecification" />
<property role="EcuMT" value="6691972578451976398" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyi" id="36tQV5Ayfuv" role="1TKVEl">
<property role="IQ2nx" value="3575255234177988511" />
<property role="TrG5h" value="exactMatch" />
<ref role="AX2Wp" to="tpck:fKAQMTB" resolve="boolean" />
</node>
<node concept="1TJgyj" id="5NuEpF1iiA0" role="1TKVEi">
<property role="20lmBu" value="reference" />
<property role="20kJfa" value="applicableConcept" />
@ -1340,5 +1352,84 @@
<ref role="20lvS9" to="5j4j:7E86$tKsl45" resolve="LogicalItem" />
</node>
</node>
<node concept="1TIwiD" id="36tQV5AmIsf">
<property role="EcuMT" value="3575255234174969615" />
<property role="3GE5qa" value="rule" />
<property role="TrG5h" value="RuleTemplate" />
<property role="34LRSv" value="template" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="36tQV5AmIsx" role="1TKVEi">
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="input" />
<property role="IQ2ns" value="3575255234174969633" />
<ref role="20lvS9" node="5NuEpF1if3e" resolve="RuleInputSpecification" />
</node>
<node concept="1TJgyj" id="36tQV5AmQgD" role="1TKVEi">
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="condition" />
<property role="IQ2ns" value="3575255234175001641" />
<ref role="20lvS9" node="4laj_h9P4cy" resolve="Condition" />
</node>
<node concept="1TJgyj" id="36tQV5AmIss" role="1TKVEi">
<property role="IQ2ns" value="3575255234174969628" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="code" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" to="tpee:fzclF80" resolve="StatementList" />
</node>
<node concept="PrWs8" id="36tQV5AmIsC" role="PzmwI">
<ref role="PrY4T" to="tpee:hCUYCKd" resolve="IValidIdentifier" />
</node>
<node concept="PrWs8" id="36tQV5AmIsP" role="PzmwI">
<ref role="PrY4T" to="5j4j:7E86$tK$Rgo" resolve="LogicalVariableScope" />
</node>
<node concept="PrWs8" id="36tQV5AmIsH" role="PzmwI">
<ref role="PrY4T" node="7IysFeBd3kI" resolve="ApplicationSessionParticipant" />
</node>
</node>
<node concept="1TIwiD" id="36tQV5AmIsB">
<property role="EcuMT" value="3575255234174969639" />
<property role="3GE5qa" value="rule" />
<property role="TrG5h" value="ConstraintRule" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="36tQV5AmIsU" role="1TKVEi">
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="head" />
<property role="20lbJX" value="0..n" />
<property role="IQ2ns" value="3575255234174969658" />
<ref role="20lvS9" node="6p0DfM0a3gA" resolve="Head" />
</node>
<node concept="1TJgyj" id="36tQV5AmIsV" role="1TKVEi">
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="guard" />
<property role="20lbJX" value="0..n" />
<property role="IQ2ns" value="3575255234174969659" />
<ref role="20lvS9" node="6p0DfM0a3Qe" resolve="Guard" />
</node>
<node concept="1TJgyj" id="36tQV5AmIsW" role="1TKVEi">
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="body" />
<property role="20lbJX" value="0..n" />
<property role="IQ2ns" value="3575255234174969660" />
<ref role="20lvS9" node="6p0DfM0a3TO" resolve="Body" />
</node>
<node concept="PrWs8" id="36tQV5Ax0RU" role="PzmwI">
<ref role="PrY4T" node="7IysFeBd3kI" resolve="ApplicationSessionParticipant" />
</node>
</node>
<node concept="1TIwiD" id="36tQV5AmIt0">
<property role="EcuMT" value="3575255234174969664" />
<property role="3GE5qa" value="rule" />
<property role="TrG5h" value="ConstraintRuleStatement" />
<property role="34LRSv" value="constraint rule" />
<ref role="1TJDcQ" to="tpee:fzclF8l" resolve="Statement" />
<node concept="1TJgyj" id="36tQV5AmIt1" role="1TKVEi">
<property role="IQ2ns" value="3575255234174969665" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="rule" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="36tQV5AmIsB" resolve="ConstraintRule" />
</node>
</node>
</model>

20
typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains.mps.lang.typesystem2.rule.mps
View File

@ -2248,5 +2248,25 @@
<node concept="2tJIrI" id="1CcQBrPcZWl" role="jymVt" />
<node concept="3Tm1VV" id="1CcQBrPcZVH" role="1B3o_S" />
</node>
<node concept="3HP615" id="36tQV5AurZW">
<property role="3GE5qa" value="ruleTemplate" />
<property role="TrG5h" value="ConstraintRuleTemplate" />
<node concept="2tJIrI" id="36tQV5Aus0e" role="jymVt" />
<node concept="3clFb_" id="36tQV5Aus0w" role="jymVt">
<property role="1EzhhJ" value="true" />
<property role="TrG5h" value="apply" />
<node concept="37vLTG" id="36tQV5Auubn" role="3clF46">
<property role="TrG5h" value="session" />
<node concept="3uibUv" id="36tQV5Auubo" role="1tU5fm">
<ref role="3uigEE" to="psr6:18kNIl1vDPZ" resolve="AbstractMacroProcessing" />
</node>
</node>
<node concept="3Tm1VV" id="36tQV5Aus0z" role="1B3o_S" />
<node concept="3clFbS" id="36tQV5Aus0$" role="3clF47" />
<node concept="3cqZAl" id="36tQV5AI6in" role="3clF45" />
</node>
<node concept="2tJIrI" id="36tQV5AIeEy" role="jymVt" />
<node concept="3Tm1VV" id="36tQV5AurZX" role="1B3o_S" />
</node>
</model>