From 84162b9097ac7e201346e5b98596ee7cbcdb860f Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 4 Nov 2019 16:16:52 +0100
Subject: [PATCH] Deprecate NodeAnchor, provide migration to .pointer
 operation.

A usage of .pointer op as an argument to a constraint invokes require() on template application session.
---
 .../jetbrains.mps.lang.coderules.mpl          |   2 +-
 .../languageModels/migration.mps              | 162 ++++++++++++++++++
 .../languageModels/structure.mps              |   1 +
 3 files changed, 164 insertions(+), 1 deletion(-)

diff --git a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
index 7ddad26b..dffaecfb 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
+++ b/coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<language namespace="jetbrains.mps.lang.coderules" uuid="c4803b19-6d89-4a3b-bf82-390769514add" languageVersion="15" moduleVersion="0">
+<language namespace="jetbrains.mps.lang.coderules" uuid="c4803b19-6d89-4a3b-bf82-390769514add" languageVersion="16" moduleVersion="0">
   <models>
     <modelRoot contentPath="${module}" type="default">
       <sourceRoot location="languageModels" />
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps
index 57678297..47bac729 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps
@@ -136,6 +136,12 @@
       <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
         <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
       </concept>
+      <concept id="1140725362528" name="jetbrains.mps.lang.smodel.structure.Link_SetTargetOperation" flags="nn" index="2oxUTD">
+        <child id="1140725362529" name="linkTarget" index="2oxUTC" />
+      </concept>
+      <concept id="1138757581985" name="jetbrains.mps.lang.smodel.structure.Link_SetNewChildOperation" flags="nn" index="zfrQC">
+        <reference id="1139880128956" name="concept" index="1A9B2P" />
+      </concept>
       <concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
         <child id="1177027386292" name="conceptArgument" index="cj9EA" />
       </concept>
@@ -1244,5 +1250,161 @@
       <ref role="3uigEE" to="slm6:5TUCQr2ybBO" resolve="HasMigrationScriptReference" />
     </node>
   </node>
+  <node concept="3SyAh_" id="5yr01fCxE81">
+    <property role="qMTe8" value="15" />
+    <property role="TrG5h" value="DropNodeAnchor" />
+    <node concept="3Tm1VV" id="5yr01fCxE82" role="1B3o_S" />
+    <node concept="3tTeZs" id="5yr01fCxE83" role="jymVt">
+      <property role="3tTeZt" value="&lt;no execute after&gt;" />
+      <ref role="3tTeZr" to="slm6:7ay_HjIMt1a" resolve="execute after" />
+    </node>
+    <node concept="3tTeZs" id="5yr01fCxE84" role="jymVt">
+      <property role="3tTeZt" value="&lt;no required data&gt;" />
+      <ref role="3tTeZr" to="slm6:5TUCQr2FPTh" resolve="requires annotation data" />
+    </node>
+    <node concept="3tTeZs" id="5yr01fCxE85" role="jymVt">
+      <property role="3tTeZt" value="&lt;no produced data&gt;" />
+      <ref role="3tTeZr" to="slm6:5TUCQr2C271" resolve="produces annotation data" />
+    </node>
+    <node concept="2tJIrI" id="5yr01fCxE86" role="jymVt" />
+    <node concept="3tYpMH" id="5yr01fCxE87" role="jymVt">
+      <property role="TrG5h" value="isRerunnable" />
+      <property role="3tYpME" value="true" />
+      <ref role="25KYV2" to="slm6:1JWcQ2VeWIs" resolve="isRerunnable" />
+      <node concept="3Tm1VV" id="5yr01fCxE88" role="1B3o_S" />
+      <node concept="10P_77" id="5yr01fCxE89" role="1tU5fm" />
+    </node>
+    <node concept="3tYpXE" id="5yr01fCxF35" role="jymVt">
+      <property role="TrG5h" value="description" />
+      <property role="3tYpXF" value="Replace NodeAnchor with a .pointer operation" />
+      <ref role="25KYV2" to="slm6:1_lSsE3RFpE" resolve="description" />
+      <node concept="3Tm1VV" id="5yr01fCxF37" role="1B3o_S" />
+      <node concept="17QB3L" id="5yr01fCxF38" role="1tU5fm" />
+    </node>
+    <node concept="q3mfD" id="5yr01fCxE8b" role="jymVt">
+      <property role="TrG5h" value="execute" />
+      <ref role="2VtyIY" to="slm6:4ubqdNOF9cA" resolve="execute" />
+      <node concept="3Tm1VV" id="5yr01fCxE8d" role="1B3o_S" />
+      <node concept="3clFbS" id="5yr01fCxE8f" role="3clF47">
+        <node concept="L3pyB" id="5yr01fCxFxN" role="3cqZAp">
+          <node concept="3clFbS" id="5yr01fCxFxO" role="L3pyw">
+            <node concept="3clFbF" id="5yr01fCxFGU" role="3cqZAp">
+              <node concept="2OqwBi" id="5yr01fCxGrb" role="3clFbG">
+                <node concept="qVDSY" id="5yr01fCxFGS" role="2Oq$k0">
+                  <node concept="chp4Y" id="5yr01fCxFPW" role="qVDSX">
+                    <ref role="cht4Q" to="wq2x:7smgEqggf12" resolve="NodeAnchor" />
+                  </node>
+                  <node concept="1dO9Bo" id="5yr01fCxFJJ" role="1dOa5D">
+                    <node concept="3Z_Q4n" id="5yr01fCxFMx" role="1dp2q7" />
+                  </node>
+                </node>
+                <node concept="2es0OD" id="5yr01fCxH4P" role="2OqNvi">
+                  <node concept="1bVj0M" id="5yr01fCxH4R" role="23t8la">
+                    <node concept="3clFbS" id="5yr01fCxH4S" role="1bW5cS">
+                      <node concept="3clFbH" id="5yr01fCxHcG" role="3cqZAp" />
+                      <node concept="3cpWs8" id="5yr01fCxHSx" role="3cqZAp">
+                        <node concept="3cpWsn" id="5yr01fCxHSy" role="3cpWs9">
+                          <property role="TrG5h" value="n" />
+                          <node concept="3Tqbb2" id="5yr01fCxHQC" role="1tU5fm">
+                            <ref role="ehGHo" to="tpee:fz3vP1J" resolve="Expression" />
+                          </node>
+                          <node concept="2OqwBi" id="5yr01fCxHSz" role="33vP2m">
+                            <node concept="37vLTw" id="5yr01fCxHS$" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5yr01fCxH4T" resolve="na" />
+                            </node>
+                            <node concept="3TrEf2" id="5yr01fCxHS_" role="2OqNvi">
+                              <ref role="3Tt5mk" to="wq2x:7smgEqggf13" resolve="node" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3cpWs8" id="5yr01fCxI_s" role="3cqZAp">
+                        <node concept="3cpWsn" id="5yr01fCxI_t" role="3cpWs9">
+                          <property role="TrG5h" value="de" />
+                          <node concept="3Tqbb2" id="5yr01fCxIxM" role="1tU5fm">
+                            <ref role="ehGHo" to="tpee:hqOqwz4" resolve="DotExpression" />
+                          </node>
+                          <node concept="2OqwBi" id="5yr01fCxI_u" role="33vP2m">
+                            <node concept="37vLTw" id="5yr01fCxI_v" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5yr01fCxH4T" resolve="na" />
+                            </node>
+                            <node concept="1_qnLN" id="5yr01fCxI_w" role="2OqNvi">
+                              <ref role="1_rbq0" to="tpee:hqOqwz4" resolve="DotExpression" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbH" id="5yr01fCxJO3" role="3cqZAp" />
+                      <node concept="3clFbF" id="5yr01fCxIax" role="3cqZAp">
+                        <node concept="2OqwBi" id="5yr01fCxJmp" role="3clFbG">
+                          <node concept="2OqwBi" id="5yr01fCxIQw" role="2Oq$k0">
+                            <node concept="37vLTw" id="5yr01fCxI_x" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5yr01fCxI_t" resolve="de" />
+                            </node>
+                            <node concept="3TrEf2" id="5yr01fCxJa4" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:hqOq$gm" resolve="operand" />
+                            </node>
+                          </node>
+                          <node concept="2oxUTD" id="5yr01fCxJD1" role="2OqNvi">
+                            <node concept="2OqwBi" id="5yr01fCxLku" role="2oxUTC">
+                              <node concept="37vLTw" id="5yr01fCxJJB" role="2Oq$k0">
+                                <ref role="3cqZAo" node="5yr01fCxHSy" resolve="n" />
+                              </node>
+                              <node concept="3YRAZt" id="5yr01fCxLCr" role="2OqNvi" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbF" id="5yr01fCxJWh" role="3cqZAp">
+                        <node concept="2OqwBi" id="5yr01fCxKEn" role="3clFbG">
+                          <node concept="2OqwBi" id="5yr01fCxK7E" role="2Oq$k0">
+                            <node concept="37vLTw" id="5yr01fCxJWf" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5yr01fCxI_t" resolve="de" />
+                            </node>
+                            <node concept="3TrEf2" id="5yr01fCxKur" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:hqOqNr4" resolve="operation" />
+                            </node>
+                          </node>
+                          <node concept="zfrQC" id="5yr01fCxKVR" role="2OqNvi">
+                            <ref role="1A9B2P" to="tp25:4o40NPkYE0z" resolve="Node_PointerOperation" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbH" id="5yr01fCxHgp" role="3cqZAp" />
+                    </node>
+                    <node concept="Rh6nW" id="5yr01fCxH4T" role="1bW2Oz">
+                      <property role="TrG5h" value="na" />
+                      <node concept="2jxLKc" id="5yr01fCxH4U" role="1tU5fm" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="37vLTw" id="5yr01fCxFzH" role="L3pyr">
+            <ref role="3cqZAo" node="5yr01fCxE8h" resolve="m" />
+          </node>
+        </node>
+      </node>
+      <node concept="ffn8J" id="5yr01fCxE8h" role="3clF46">
+        <property role="TrG5h" value="m" />
+        <ref role="ffrpq" to="slm6:7fCCGqboj9J" resolve="m" />
+        <node concept="3uibUv" id="5yr01fCxE8g" role="1tU5fm">
+          <ref role="3uigEE" to="lui2:~SModule" resolve="SModule" />
+        </node>
+      </node>
+      <node concept="q3mfm" id="5yr01fCxE8i" role="3clF45">
+        <ref role="q3mfh" to="slm6:4F5w8gPXEEe" />
+        <ref role="1QQUv3" node="5yr01fCxE8b" resolve="execute" />
+      </node>
+    </node>
+    <node concept="3tTeZs" id="5yr01fCxE8j" role="jymVt">
+      <property role="3tTeZt" value="&lt;no result checking&gt;" />
+      <ref role="3tTeZr" to="slm6:1JWcQ2VeXpD" resolve="check" />
+    </node>
+    <node concept="3uibUv" id="5yr01fCxE8k" role="1zkMxy">
+      <ref role="3uigEE" to="slm6:5TUCQr2ybBO" resolve="HasMigrationScriptReference" />
+    </node>
+  </node>
 </model>
 
diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
index 1454380e..06020b2c 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps
@@ -871,6 +871,7 @@
       <property role="20lbJX" value="fLJekj4/_1" />
       <ref role="20lvS9" to="tpee:fz3vP1J" resolve="Expression" />
     </node>
+    <node concept="asaX9" id="5yr01fCxOXU" role="lGtFl" />
   </node>
   <node concept="1TIwiD" id="6DOfTm$zRmf">
     <property role="EcuMT" value="7670825977262339471" />