Commit 8c654557 authored by André Pacak's avatar André Pacak
Browse files

insert lookup no context rule

parent 6d812f2b
...@@ -176,6 +176,9 @@ ...@@ -176,6 +176,9 @@
<concept id="1143224066846" name="jetbrains.mps.lang.smodel.structure.Node_InsertNextSiblingOperation" flags="nn" index="HtI8k"> <concept id="1143224066846" name="jetbrains.mps.lang.smodel.structure.Node_InsertNextSiblingOperation" flags="nn" index="HtI8k">
<child id="1143224066849" name="insertedNode" index="HtI8F" /> <child id="1143224066849" name="insertedNode" index="HtI8F" />
</concept> </concept>
<concept id="1143224127713" name="jetbrains.mps.lang.smodel.structure.Node_InsertPrevSiblingOperation" flags="nn" index="HtX7F">
<child id="1143224127716" name="insertedNode" index="HtX7I" />
</concept>
<concept id="1145383075378" name="jetbrains.mps.lang.smodel.structure.SNodeListType" flags="in" index="2I9FWS"> <concept id="1145383075378" name="jetbrains.mps.lang.smodel.structure.SNodeListType" flags="in" index="2I9FWS">
<reference id="1145383142433" name="elementConcept" index="2I9WkF" /> <reference id="1145383142433" name="elementConcept" index="2I9WkF" />
</concept> </concept>
...@@ -185,6 +188,7 @@ ...@@ -185,6 +188,7 @@
<concept id="1139184414036" name="jetbrains.mps.lang.smodel.structure.LinkList_AddNewChildOperation" flags="nn" index="WFELt"> <concept id="1139184414036" name="jetbrains.mps.lang.smodel.structure.LinkList_AddNewChildOperation" flags="nn" index="WFELt">
<reference id="1139877738879" name="concept" index="1A0vxQ" /> <reference id="1139877738879" name="concept" index="1A0vxQ" />
</concept> </concept>
<concept id="1139613262185" name="jetbrains.mps.lang.smodel.structure.Node_GetParentOperation" flags="nn" index="1mfA1w" />
<concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" /> <concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" />
<concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp"> <concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
<child id="1140131861877" name="replacementNode" index="1P9ThW" /> <child id="1140131861877" name="replacementNode" index="1P9ThW" />
...@@ -1147,11 +1151,6 @@ ...@@ -1147,11 +1151,6 @@
</node> </node>
</node> </node>
<node concept="3clFbH" id="32CDcOyUv1L" role="3cqZAp" /> <node concept="3clFbH" id="32CDcOyUv1L" role="3cqZAp" />
<node concept="3SKdUt" id="32CDcOyTbXq" role="3cqZAp">
<node concept="3SKdUq" id="32CDcOyTbXs" role="3SKWNk">
<property role="3SKdUp" value="TODO why are there 6 decls? infer and check twice" />
</node>
</node>
<node concept="3cpWs8" id="32CDcOyFp__" role="3cqZAp"> <node concept="3cpWs8" id="32CDcOyFp__" role="3cqZAp">
<node concept="3cpWsn" id="32CDcOyFp_A" role="3cpWs9"> <node concept="3cpWsn" id="32CDcOyFp_A" role="3cpWs9">
<property role="TrG5h" value="declsWithContext" /> <property role="TrG5h" value="declsWithContext" />
...@@ -1241,13 +1240,92 @@ ...@@ -1241,13 +1240,92 @@
<node concept="3clFbH" id="32CDcOyNSCn" role="3cqZAp" /> <node concept="3clFbH" id="32CDcOyNSCn" role="3cqZAp" />
<node concept="3SKdUt" id="32CDcOyNsQ7" role="3cqZAp"> <node concept="3SKdUt" id="32CDcOyNsQ7" role="3cqZAp">
<node concept="3SKdUq" id="32CDcOyNsQ9" role="3SKWNk"> <node concept="3SKdUq" id="32CDcOyNsQ9" role="3SKWNk">
<property role="3SKdUp" value="TODO generate context rules" /> <property role="3SKdUp" value="TODO generate context rule" />
</node>
</node>
<node concept="1DcWWT" id="4RJJaubx1XX" role="3cqZAp">
<node concept="3clFbS" id="4RJJaubx1XZ" role="2LFqv$">
<node concept="3cpWs8" id="4RJJaubx5Q3" role="3cqZAp">
<node concept="3cpWsn" id="4RJJaubx5Q4" role="3cpWs9">
<property role="TrG5h" value="instancesOfDeclaration" />
<node concept="2I9FWS" id="4RJJaubx5PZ" role="1tU5fm">
<ref role="2I9WkF" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="2OqwBi" id="4RJJaubx5Q5" role="33vP2m">
<node concept="37vLTw" id="4RJJaubx5Q6" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJaubf6Wq" resolve="querier" />
</node>
<node concept="liA8E" id="4RJJaubx5Q7" role="2OqNvi">
<ref role="37wK5l" to="5tos:4RJJaub9DpF" resolve="getInstancesOfDeclaration" />
<node concept="37vLTw" id="4RJJaubx5Q8" role="37wK5m">
<ref role="3cqZAo" node="32CDcOyY7qw" resolve="declarationWithTermAndContext" />
</node>
</node>
</node>
</node>
</node>
<node concept="1DcWWT" id="4RJJaubx5V2" role="3cqZAp">
<node concept="3clFbS" id="4RJJaubx5V4" role="2LFqv$">
<node concept="3cpWs8" id="4RJJaubxenT" role="3cqZAp">
<node concept="3cpWsn" id="4RJJaubxenU" role="3cpWs9">
<property role="TrG5h" value="createdRule" />
<node concept="2OqwBi" id="4RJJaubxenV" role="33vP2m">
<node concept="37vLTw" id="4RJJaubxenW" role="2Oq$k0">
<ref role="3cqZAo" node="32CDcOyFphS" resolve="projectContext" />
</node>
<node concept="liA8E" id="4RJJaubxenX" role="2OqNvi">
<ref role="37wK5l" to="5tos:4RJJaubx95f" resolve="createContextProjectionRule" />
<node concept="37vLTw" id="4RJJaubxenY" role="37wK5m">
<ref role="3cqZAo" node="4RJJaubx5V5" resolve="instance" />
</node>
</node>
</node>
<node concept="3Tqbb2" id="4RJJaub$qhA" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
</node>
</node>
<node concept="3clFbF" id="4RJJaub$qWf" role="3cqZAp">
<node concept="2OqwBi" id="4RJJaub$rYE" role="3clFbG">
<node concept="2OqwBi" id="4RJJaub$riw" role="2Oq$k0">
<node concept="37vLTw" id="4RJJaub$qWd" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJaubx5V5" resolve="instance" />
</node>
<node concept="1mfA1w" id="4RJJaub$rId" role="2OqNvi" />
</node>
<node concept="HtX7F" id="4RJJaub$sCs" role="2OqNvi">
<node concept="37vLTw" id="4RJJaub$sCR" role="HtX7I">
<ref role="3cqZAo" node="4RJJaubxenU" resolve="createdRule" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="4RJJaubx5V5" role="1Duv9x">
<property role="TrG5h" value="instance" />
<node concept="3Tqbb2" id="4RJJaubx64$" role="1tU5fm">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
<node concept="37vLTw" id="4RJJaubx6_H" role="1DdaDG">
<ref role="3cqZAo" node="4RJJaubx5Q4" resolve="instancesOfDeclaration" />
</node>
</node>
</node>
<node concept="3cpWsn" id="4RJJaubx1Y0" role="1Duv9x">
<property role="TrG5h" value="declWithContext" />
<node concept="3Tqbb2" id="4RJJaubx3yd" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="37vLTw" id="4RJJaubx4ag" role="1DdaDG">
<ref role="3cqZAo" node="32CDcOyFp_A" resolve="declsWithContext" />
</node> </node>
</node> </node>
<node concept="3clFbH" id="32CDcOyO7vy" role="3cqZAp" /> <node concept="3clFbH" id="32CDcOyO7vy" role="3cqZAp" />
<node concept="3SKdUt" id="32CDcOyNnkh" role="3cqZAp"> <node concept="3SKdUt" id="32CDcOyNnkh" role="3cqZAp">
<node concept="3SKdUq" id="32CDcOyNnkj" role="3SKWNk"> <node concept="3SKdUq" id="32CDcOyNnkj" role="3SKWNk">
<property role="3SKdUp" value="TODO generate lookup no context judgment" /> <property role="3SKdUp" value="generate lookup no context judgment" />
</node> </node>
</node> </node>
<node concept="3cpWs8" id="32CDcOz4ljQ" role="3cqZAp"> <node concept="3cpWs8" id="32CDcOz4ljQ" role="3cqZAp">
...@@ -1266,16 +1344,27 @@ ...@@ -1266,16 +1344,27 @@
</node> </node>
</node> </node>
</node> </node>
<node concept="3clFbF" id="32CDcOz4pDE" role="3cqZAp"> <node concept="3cpWs8" id="4RJJaubC1p3" role="3cqZAp">
<node concept="2OqwBi" id="32CDcOz4rpa" role="3clFbG"> <node concept="3cpWsn" id="4RJJaubC1p4" role="3cpWs9">
<node concept="2OqwBi" id="32CDcOz4r0v" role="2Oq$k0"> <property role="TrG5h" value="lookupDeclaration" />
<node concept="37vLTw" id="32CDcOz4pDC" role="2Oq$k0"> <node concept="3Tqbb2" id="4RJJaubC1oW" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="2OqwBi" id="4RJJaubC1p5" role="33vP2m">
<node concept="37vLTw" id="4RJJaubC1p6" role="2Oq$k0">
<ref role="3cqZAo" node="32CDcOyFphS" resolve="projectContext" /> <ref role="3cqZAo" node="32CDcOyFphS" resolve="projectContext" />
</node> </node>
<node concept="liA8E" id="32CDcOz4rfn" role="2OqNvi"> <node concept="liA8E" id="4RJJaubC1p7" role="2OqNvi">
<ref role="37wK5l" to="5tos:32CDcOyTUll" resolve="getLookupDeclaration" /> <ref role="37wK5l" to="5tos:32CDcOyTUll" resolve="getLookupDeclaration" />
</node> </node>
</node> </node>
</node>
</node>
<node concept="3clFbF" id="32CDcOz4pDE" role="3cqZAp">
<node concept="2OqwBi" id="32CDcOz4rpa" role="3clFbG">
<node concept="37vLTw" id="4RJJaubC1p9" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJaubC1p4" resolve="lookupDeclaration" />
</node>
<node concept="HtI8k" id="32CDcOz4sPc" role="2OqNvi"> <node concept="HtI8k" id="32CDcOz4sPc" role="2OqNvi">
<node concept="37vLTw" id="32CDcOz4sQ7" role="HtI8F"> <node concept="37vLTw" id="32CDcOz4sQ7" role="HtI8F">
<ref role="3cqZAo" node="32CDcOz4ljR" resolve="lookupNoContextDeclaration" /> <ref role="3cqZAo" node="32CDcOz4ljR" resolve="lookupNoContextDeclaration" />
...@@ -1296,10 +1385,7 @@ ...@@ -1296,10 +1385,7 @@
<ref role="3cqZAo" node="32CDcOyFphS" resolve="projectContext" /> <ref role="3cqZAo" node="32CDcOyFphS" resolve="projectContext" />
</node> </node>
<node concept="liA8E" id="32CDcOyFunP" role="2OqNvi"> <node concept="liA8E" id="32CDcOyFunP" role="2OqNvi">
<ref role="37wK5l" to="5tos:32CDcOyEKvA" resolve="eliminateContextInput" /> <ref role="37wK5l" to="5tos:32CDcOz3Fzl" resolve="createLookupNoContextDeclaration" />
<node concept="37vLTw" id="32CDcOyFunQ" role="37wK5m">
<ref role="3cqZAo" node="32CDcOyFqUA" resolve="decl" />
</node>
</node> </node>
</node> </node>
</node> </node>
...@@ -1331,6 +1417,45 @@ ...@@ -1331,6 +1417,45 @@
<ref role="3cqZAo" node="32CDcOyFp_A" resolve="declsWithContext" /> <ref role="3cqZAo" node="32CDcOyFp_A" resolve="declsWithContext" />
</node> </node>
</node> </node>
<node concept="3clFbH" id="4RJJaubwC7i" role="3cqZAp" />
<node concept="3SKdUt" id="4RJJaubwF2h" role="3cqZAp">
<node concept="3SKdUq" id="4RJJaubwF2j" role="3SKWNk">
<property role="3SKdUp" value="generate lookup no context rules" />
</node>
</node>
<node concept="3cpWs8" id="4RJJaubIiQ8" role="3cqZAp">
<node concept="3cpWsn" id="4RJJaubIiQ9" role="3cpWs9">
<property role="TrG5h" value="lookupNoContextRule" />
<node concept="3Tqbb2" id="4RJJaubIiQ6" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
<node concept="2OqwBi" id="4RJJaubIiQa" role="33vP2m">
<node concept="37vLTw" id="4RJJaubIiQb" role="2Oq$k0">
<ref role="3cqZAo" node="32CDcOyFphS" resolve="projectContext" />
</node>
<node concept="liA8E" id="4RJJaubIiQc" role="2OqNvi">
<ref role="37wK5l" to="5tos:4RJJaubFW4Q" resolve="createLookupNoContextRule" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="4RJJaubCoCC" role="3cqZAp">
<node concept="2OqwBi" id="4RJJaubCsFl" role="3clFbG">
<node concept="HtI8k" id="4RJJaubCuuk" role="2OqNvi">
<node concept="37vLTw" id="4RJJaubIqK_" role="HtI8F">
<ref role="3cqZAo" node="4RJJaubIiQ9" resolve="lookupNoContextRule" />
</node>
</node>
<node concept="2OqwBi" id="4RJJaubLcps" role="2Oq$k0">
<node concept="37vLTw" id="4RJJaubLcjD" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJaubf6Wq" resolve="querier" />
</node>
<node concept="liA8E" id="4RJJaubLxio" role="2OqNvi">
<ref role="37wK5l" to="5tos:4RJJaubLgPa" resolve="getLastElement" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="4RJJaubeT53" role="3cqZAp" /> <node concept="3clFbH" id="4RJJaubeT53" role="3cqZAp" />
</node> </node>
<node concept="3cpWsn" id="4RJJaubeT55" role="1Duv9x"> <node concept="3cpWsn" id="4RJJaubeT55" role="1Duv9x">
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment