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

Introduce LogicalContext, Constraint to be used to create occurrences

This commit is contained in:
Fedor Isakov 2015-12-21 10:46:16 +01:00
parent 39b37ab5f4
commit 0b742ce9e2
2 changed files with 77 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -194,6 +194,12 @@
<child id="1163668934364" name="ifFalse" index="3K4GZi" />
</concept>
<concept id="1208890769693" name="jetbrains.mps.baseLanguage.structure.ArrayLengthOperation" flags="nn" index="1Rwk04" />
<concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
<property id="6329021646629104958" name="text" index="3SKdUp" />
</concept>
<concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
<child id="6329021646629175155" name="commentPart" index="3SKWNk" />
</concept>
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
<concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
<concept id="1146644641414" name="jetbrains.mps.baseLanguage.structure.ProtectedVisibility" flags="nn" index="3Tmbuc" />
@ -1196,6 +1202,23 @@
<node concept="3Tm1VV" id="78CwJJcOwWU" role="1B3o_S" />
<node concept="3clFbS" id="78CwJJcOwWV" role="3clF47" />
</node>
<node concept="2tJIrI" id="7IvepusY5hO" role="jymVt" />
<node concept="3clFb_" id="7IvepusY5jA" role="jymVt">
<property role="1EzhhJ" value="true" />
<property role="2aFKle" value="false" />
<property role="TrG5h" value="occurrence" />
<node concept="37vLTG" id="7IvepusY5kK" role="3clF46">
<property role="TrG5h" value="context" />
<node concept="3uibUv" id="7IvepusY5lC" role="1tU5fm">
<ref role="3uigEE" to="45ys:7IvepusY4Ez" resolve="LogicalContext" />
</node>
</node>
<node concept="3clFbS" id="7IvepusY5jD" role="3clF47" />
<node concept="3Tm1VV" id="7IvepusY5jE" role="1B3o_S" />
<node concept="3uibUv" id="7IvepusY5iM" role="3clF45">
<ref role="3uigEE" node="5uFPQ7BZac$" resolve="ConstraintOccurrence" />
</node>
</node>
<node concept="2tJIrI" id="78CwJJcOwxN" role="jymVt" />
<node concept="3Tm1VV" id="6Kcfpq7BfEo" role="1B3o_S" />
<node concept="3uibUv" id="5uFPQ7B$Pog" role="3HQHJm">
@ -1207,16 +1230,6 @@
<property role="1dT_AB" value="A constraint provided by a handler. Can only be told." />
</node>
</node>
<node concept="TZ5HA" id="5uFPQ7BvQOC" role="TZ5H$">
<node concept="1dT_AC" id="5uFPQ7BvQOD" role="1dT_Ay">
<property role="1dT_AB" value="FIXME: should be merely a factory for ConstraintOccurrence's" />
</node>
</node>
<node concept="TZ5HA" id="5uFPQ7BvRQ$" role="TZ5H$">
<node concept="1dT_AC" id="5uFPQ7BvRQ_" role="1dT_Ay">
<property role="1dT_AB" value="FIXME: should be provided by the session (from ConstraintSymbol)" />
</node>
</node>
</node>
</node>
<node concept="3HP615" id="6Kcfpq7Bj7q">
@ -2322,6 +2335,39 @@
</node>
</node>
</node>
<node concept="2tJIrI" id="7IvepusY5Hm" role="jymVt" />
<node concept="3clFb_" id="7IvepusY6iw" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="2aFKle" value="false" />
<property role="TrG5h" value="occurrence" />
<node concept="37vLTG" id="7IvepusY6ix" role="3clF46">
<property role="TrG5h" value="context" />
<node concept="3uibUv" id="7IvepusY6iy" role="1tU5fm">
<ref role="3uigEE" to="45ys:7IvepusY4Ez" resolve="LogicalContext" />
</node>
</node>
<node concept="3Tm1VV" id="7IvepusY6i$" role="1B3o_S" />
<node concept="3uibUv" id="7IvepusY6i_" role="3clF45">
<ref role="3uigEE" node="5uFPQ7BZac$" resolve="ConstraintOccurrence" />
</node>
<node concept="3clFbS" id="7IvepusY6iA" role="3clF47">
<node concept="3SKdUt" id="49L2l3F7HGG" role="3cqZAp">
<node concept="3SKdUq" id="49L2l3F7HGI" role="3SKWNk">
<property role="3SKdUp" value="FIXME: implement me" />
</node>
</node>
<node concept="YS8fn" id="49L2l3F7Gx7" role="3cqZAp">
<node concept="2ShNRf" id="49L2l3F7GxA" role="YScLw">
<node concept="1pGfFk" id="49L2l3F7HEo" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;(java.lang.String)" resolve="UnsupportedOperationException" />
<node concept="Xl_RD" id="49L2l3F7HEV" role="37wK5m">
<property role="Xl_RC" value="not implemented" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="5uFPQ7BZvRq" role="jymVt" />
<node concept="3Tm1VV" id="5uFPQ7BZsAY" role="1B3o_S" />
<node concept="3uibUv" id="5uFPQ7BZsBQ" role="EKbjA">

21
languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/logical.mps
View File

@ -594,5 +594,26 @@
<ref role="3uigEE" node="7HUwyZauJhz" resolve="LogicalPattern" />
</node>
</node>
<node concept="3HP615" id="7IvepusY4Ez">
<property role="TrG5h" value="LogicalContext" />
<node concept="2tJIrI" id="7IvepusY4EL" role="jymVt" />
<node concept="3clFb_" id="7IvepusY4EY" role="jymVt">
<property role="1EzhhJ" value="true" />
<property role="TrG5h" value="valueFor" />
<node concept="37vLTG" id="7IvepusY4FP" role="3clF46">
<property role="TrG5h" value="logicalPattern" />
<node concept="3uibUv" id="7IvepusY4G3" role="1tU5fm">
<ref role="3uigEE" node="7HUwyZauJhz" resolve="LogicalPattern" />
</node>
</node>
<node concept="3uibUv" id="7IvepusY4Fi" role="3clF45">
<ref role="3uigEE" to="wyt6:~Object" resolve="Object" />
</node>
<node concept="3Tm1VV" id="7IvepusY4F1" role="1B3o_S" />
<node concept="3clFbS" id="7IvepusY4F2" role="3clF47" />
</node>
<node concept="2tJIrI" id="7IvepusY4EQ" role="jymVt" />
<node concept="3Tm1VV" id="7IvepusY4E$" role="1B3o_S" />
</node>
</model>