Commit e8d3d147 authored by André Pacak's avatar André Pacak
Browse files

implement transformation to restrict variables

parent 2a89f931
......@@ -102,7 +102,7 @@
<lesser-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7108389602846455045" />
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="6068907917090082680" />
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
......@@ -162,6 +162,20 @@
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
<mapping-priority-rule kind="strictly_before">
<greater-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="6068907917090082680" />
</external-mapping>
</greater-priority-mapping>
<lesser-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7108389602846455045" />
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
</mapping-priorities>
</generator>
</generators>
......
......@@ -668,7 +668,7 @@
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:7kqDxo3jKhV" resolve="JudgmentInstance5" />
<node concept="1N5Pfh" id="7kqDxo3jT20" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2U2uJPq4fo5" resolve="judgment" />
<ref role="1N5Vy1" to="b83y:7kqDxo3jKhW" resolve="judgment" />
<node concept="1dDu$B" id="7kqDxo3jT21" role="1N6uqs">
<ref role="1dDu$A" to="b83y:7kqDxo3iXbt" resolve="JudgmentDeclaration5" />
</node>
......
......@@ -69,7 +69,6 @@
<child id="2973820376015605589" name="conclusion" index="1FvUUP" />
<child id="2973820376015605556" name="premises" index="1FvUVk" />
</concept>
<concept id="3351376301273846558" name="TypeLang.structure.SortString" flags="ng" index="1O_mBz" />
<concept id="3351376301269548860" name="TypeLang.structure.JudgmentInstanceMatch" flags="ng" index="1RlKn1">
<child id="3351376301269548861" name="term" index="1RlKn0" />
<child id="3351376301269548862" name="pat" index="1RlKn3" />
......@@ -553,7 +552,7 @@
<node concept="1FvB8F" id="7RSYa3mPfBA" role="1FvUVk">
<ref role="1FvB8G" node="qzb87neTLU" resolve="lookup" />
<node concept="1FvUUU" id="7RSYa3mPfBB" role="1FvB8H">
<property role="TrG5h" value="name" />
<property role="TrG5h" value="v" />
</node>
<node concept="1FvUUU" id="7RSYa3mPfBC" role="1FvB8I">
<property role="TrG5h" value="C" />
......@@ -754,103 +753,126 @@
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="1FtGIT" id="qzb87neTM2" role="1FtGIM" />
</node>
<node concept="1O_mBz" id="qzb87neTM3" role="1FvzHH">
<node concept="Zlr9x" id="qzb87neTM4" role="1FtGIM" />
<node concept="1FtGBS" id="7WLV7ZdkCAB" role="1FvzHH">
<ref role="1FtGBW" to="5va7:1Da9ityUTbw" resolve="Var" />
<node concept="Zlr9x" id="7WLV7ZdkCAH" role="1FtGIM" />
</node>
</node>
<node concept="1F53FG" id="qzb87neTHy" role="1FufQt" />
<node concept="1FvUVj" id="2U2uJPq7S1I" role="1FufQt">
<node concept="1FvUVj" id="7WLV7ZdkCAK" role="1FufQt">
<property role="TrG5h" value="lookup found" />
<node concept="1FvB8F" id="2U2uJPq7S1J" role="1FvUUP">
<node concept="1FvB8F" id="7WLV7ZdkCAL" role="1FvUUP">
<ref role="1FvB8G" node="qzb87neTLU" resolve="lookup" />
<node concept="1FvUUU" id="1i7EeNbivy_" role="1FvB8H">
<property role="TrG5h" value="x" />
<node concept="1XyUHm" id="5n5KhV4zdSC" role="1FvB8H">
<node concept="27Pwox" id="5n5KhV4zelK" role="1XyUH6">
<ref role="1F1YRu" to="5va7:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="5n5KhV4zeM6" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="5n5KhV4zfEK" role="bFJCb">
<property role="TrG5h" value="x" />
</node>
</node>
</node>
<node concept="1FvUUU" id="7WLV7ZdkCAM" role="1XBmw5">
<property role="TrG5h" value="v" />
</node>
</node>
<node concept="1FvUUU" id="2U2uJPq7S1N" role="1FvB8J">
<property role="TrG5h" value="ty" />
<node concept="1FvUUU" id="7WLV7ZdkCAN" role="1FvB8J">
<property role="TrG5h" value="T" />
</node>
<node concept="27Pwox" id="6OMXo1T_mfb" role="1FvB8I">
<node concept="27Pwox" id="7WLV7ZdkCAO" role="1FvB8I">
<ref role="1F1YRu" to="5va7:2_58u12e1eN" resolve="Bind" />
<node concept="bFJCQ" id="6OMXo1T_mfj" role="27Pwov">
<node concept="bFJCQ" id="7WLV7ZdkCAP" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="6OMXo1T_mfx" role="bFJCb">
<node concept="1FvUUU" id="7WLV7ZdkCAQ" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
<node concept="bFJCQ" id="6OMXo1T_mf$" role="27Pwov">
<node concept="bFJCQ" id="7WLV7ZdkCAR" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slbe" resolve="type" />
<node concept="1FvUUU" id="6OMXo1T_mfQ" role="bFJCb">
<property role="TrG5h" value="ty" />
<node concept="1FvUUU" id="7WLV7ZdkCAS" role="bFJCb">
<property role="TrG5h" value="T" />
</node>
</node>
<node concept="bFJCQ" id="6OMXo1T_mfT" role="27Pwov">
<node concept="bFJCQ" id="7WLV7ZdkCAT" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slb9" resolve="rest" />
<node concept="1FvUUU" id="6OMXo1T_mgr" role="bFJCb">
<node concept="1FvUUU" id="7WLV7ZdkCAU" role="bFJCb">
<property role="TrG5h" value="C2" />
</node>
</node>
</node>
</node>
<node concept="1FckbG" id="2U2uJPq7S1U" role="1FvUVk">
<node concept="1FvUUU" id="2U2uJPq7S1V" role="1FfB6u">
<node concept="1FckbG" id="7WLV7ZdkCAV" role="1FvUVk">
<node concept="1FvUUU" id="7WLV7ZdkCAW" role="1FfB6u">
<property role="TrG5h" value="x" />
</node>
<node concept="1FvUUU" id="2U2uJPq7S1W" role="1FfB6v">
<node concept="1FvUUU" id="7WLV7ZdkCAX" role="1FfB6v">
<property role="TrG5h" value="name" />
</node>
</node>
</node>
<node concept="1F53FG" id="2U2uJPq7S1X" role="1FufQt" />
<node concept="1FvUVj" id="2U2uJPq7S1Y" role="1FufQt">
<node concept="1F53FG" id="7WLV7ZdkCAY" role="1FufQt" />
<node concept="1FvUVj" id="7WLV7ZdkCAZ" role="1FufQt">
<property role="TrG5h" value="lookup next" />
<node concept="1Ff$0d" id="2U2uJPq7S2a" role="1FvUVk">
<node concept="1FvUUU" id="2U2uJPq7S2b" role="1Ff$0e">
<node concept="1Ff$0d" id="7WLV7ZdkCB0" role="1FvUVk">
<node concept="1FvUUU" id="7WLV7ZdkCB1" role="1Ff$0e">
<property role="TrG5h" value="x" />
</node>
<node concept="1FvUUU" id="2U2uJPq7S2c" role="1Ff$0f">
<node concept="1FvUUU" id="7WLV7ZdkCB2" role="1Ff$0f">
<property role="TrG5h" value="name" />
</node>
</node>
<node concept="1FvB8F" id="1hTaSs9EYHt" role="1FvUVk">
<node concept="1FvB8F" id="7WLV7ZdkCB3" role="1FvUVk">
<ref role="1FvB8G" node="qzb87neTLU" resolve="lookup" />
<node concept="1FvUUU" id="1hTaSs9EYHT" role="1FvB8H">
<property role="TrG5h" value="x" />
<node concept="1FvUUU" id="7WLV7ZdkCB4" role="1FvB8H">
<property role="TrG5h" value="v" />
</node>
<node concept="1FvUUU" id="1hTaSs9EYIf" role="1FvB8I">
<node concept="1FvUUU" id="7WLV7ZdkCB5" role="1FvB8I">
<property role="TrG5h" value="C2" />
</node>
<node concept="1FvUUU" id="1hTaSs9EYIp" role="1FvB8J">
<property role="TrG5h" value="ty" />
<node concept="1FvUUU" id="7WLV7ZdkCB6" role="1FvB8J">
<property role="TrG5h" value="T" />
</node>
</node>
<node concept="1FvB8F" id="1hTaSs9EYIt" role="1FvUUP">
<node concept="1FvB8F" id="7WLV7ZdkCB7" role="1FvUUP">
<ref role="1FvB8G" node="qzb87neTLU" resolve="lookup" />
<node concept="1FvUUU" id="1hTaSs9EYII" role="1FvB8H">
<property role="TrG5h" value="x" />
<node concept="1XyUHm" id="5n5KhV4zhRX" role="1FvB8H">
<node concept="27Pwox" id="5n5KhV4zjdE" role="1XyUH6">
<ref role="1F1YRu" to="5va7:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="5n5KhV4zjE0" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="5n5KhV4zk6s" role="bFJCb">
<property role="TrG5h" value="x" />
</node>
</node>
</node>
<node concept="1FvUUU" id="7WLV7ZdkCB8" role="1XBmw5">
<property role="TrG5h" value="v" />
</node>
</node>
<node concept="27Pwox" id="1hTaSs9EYJl" role="1FvB8I">
<node concept="27Pwox" id="7WLV7ZdkCB9" role="1FvB8I">
<ref role="1F1YRu" to="5va7:2_58u12e1eN" resolve="Bind" />
<node concept="bFJCQ" id="1hTaSs9EYJs" role="27Pwov">
<node concept="bFJCQ" id="7WLV7ZdkCBa" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="1hTaSs9EYJC" role="bFJCb">
<node concept="1FvUUU" id="7WLV7ZdkCBb" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
<node concept="bFJCQ" id="1hTaSs9EYJE" role="27Pwov">
<node concept="bFJCQ" id="7WLV7ZdkCBc" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slbe" resolve="type" />
<node concept="1FvUUU" id="1hTaSs9EYJS" role="bFJCb">
<property role="TrG5h" value="ty1" />
<node concept="1FvUUU" id="7WLV7ZdkCBd" role="bFJCb">
<property role="TrG5h" value="T1" />
</node>
</node>
<node concept="bFJCQ" id="1hTaSs9EYJU" role="27Pwov">
<node concept="bFJCQ" id="7WLV7ZdkCBe" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slb9" resolve="rest" />
<node concept="1FvUUU" id="1hTaSs9EYKm" role="bFJCb">
<node concept="1FvUUU" id="7WLV7ZdkCBf" role="bFJCb">
<property role="TrG5h" value="C2" />
</node>
</node>
</node>
<node concept="1FvUUU" id="1hTaSs9EYKw" role="1FvB8J">
<property role="TrG5h" value="ty" />
<node concept="1FvUUU" id="7WLV7ZdkCBg" role="1FvB8J">
<property role="TrG5h" value="T" />
</node>
</node>
</node>
......
<?xml version="1.0" encoding="UTF-8"?>
<solution name="pcf.measurements2" uuid="a28c55e7-ae22-406f-bc57-634a5b1f2c47" moduleVersion="0" pluginKind="PLUGIN_OTHER" compileInMPS="true">
<models>
<modelRoot contentPath="${module}" type="default">
<sourceRoot location="models" />
</modelRoot>
</models>
<sourcePath />
<dependencies>
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
<dependency reexport="false">742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)</dependency>
<dependency reexport="false">5b1f863d-65a0-41a6-a801-33896be24202(jetbrains.mps.ide.editor)</dependency>
<dependency reexport="false">5a551d67-ba3f-49dc-b984-2ea4f8c9ad07(pcf.lang)</dependency>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
<dependency reexport="false">82c33745-f966-4de8-b0f2-e83f1d9c7918(pcf.measurements)</dependency>
<dependency reexport="false">6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)</dependency>
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">c0c5d1c5-5221-451f-8a7f-16b584c03ae2(pcf.exectests)</dependency>
<dependency reexport="false">7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
<language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="0" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:28f9e497-3b42-4291-aeba-0a1039153ab1:jetbrains.mps.lang.plugin" version="4" />
<language slang="l:ef7bf5ac-d06c-4342-b11d-e42104eb9343:jetbrains.mps.lang.plugin.standalone" version="0" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="13" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
<module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" version="0" />
<module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
<module reference="5b1f863d-65a0-41a6-a801-33896be24202(jetbrains.mps.ide.editor)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)" version="0" />
<module reference="c0c5d1c5-5221-451f-8a7f-16b584c03ae2(pcf.exectests)" version="0" />
<module reference="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07(pcf.lang)" version="0" />
<module reference="82c33745-f966-4de8-b0f2-e83f1d9c7918(pcf.measurements)" version="0" />
<module reference="a28c55e7-ae22-406f-bc57-634a5b1f2c47(pcf.measurements2)" version="0" />
</dependencyVersions>
</solution>
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