Skip to content

GitLab

I
iTypes
Commit 366244cf authored by André Pacak's avatar André Pacak
Browse files
Options

primitive version for computing program slice

parent 8e872b00
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 505 additions and 4 deletions
inca-translation/languages/TypeLang/generator/template/main@generator.mps
View file @ 366244cf
......@@ -8,6 +8,7 @@
<import index="b83y" ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)" />
<import index="pgas" ref="r:c75f6d0a-e344-4076-8a9a-431398544fab(TypeLang.behavior)" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
<import index="5tos" ref="r:6c771c8d-9cb2-4fab-8275-d58f36a74b25(TypeLang.generator.util)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
</imports>
<registry>
......@@ -40,6 +41,9 @@
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
<property id="1070475926801" name="value" index="Xl_RC" />
</concept>
<concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
<reference id="1144433194310" name="classConcept" index="1Pybhc" />
</concept>
<concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
<child id="1068431790190" name="initializer" index="33vP2m" />
......@@ -217,6 +221,7 @@
<concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
<concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
<concept id="1171391069720" name="jetbrains.mps.baseLanguage.collections.structure.GetIndexOfOperation" flags="nn" index="2WmjW8" />
<concept id="1160666733551" name="jetbrains.mps.baseLanguage.collections.structure.AddAllElementsOperation" flags="nn" index="X8dFx" />
<concept id="1162934736510" name="jetbrains.mps.baseLanguage.collections.structure.GetElementOperation" flags="nn" index="34jXtK" />
<concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
<concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
......@@ -1259,12 +1264,71 @@
</node>
</node>
<node concept="3clFbH" id="2groWwY3U_h" role="3cqZAp" />
<node concept="3SKdUt" id="5bZNdPkrarD" role="3cqZAp">
<node concept="3SKdUq" id="5bZNdPkrarF" role="3SKWNk">
<property role="3SKdUp" value="TODO create program slices that computes output of conclusion" />
<node concept="3cpWs8" id="2groWwYfPSO" role="3cqZAp">
<node concept="3cpWsn" id="2groWwYfPSP" role="3cpWs9">
<property role="TrG5h" value="criteria" />
<node concept="3Tqbb2" id="2groWwYfPSG" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="2groWwYfPSS" role="33vP2m">
<node concept="2OqwBi" id="2groWwYfPST" role="2Oq$k0">
<node concept="37vLTw" id="2groWwYfPSU" role="2Oq$k0">
<ref role="3cqZAo" node="5bZNdPki20X" resolve="in" />
</node>
<node concept="2qgKlT" id="2groWwYfPSV" role="2OqNvi">
<ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
</node>
</node>
<node concept="34jXtK" id="2groWwYfPSW" role="2OqNvi">
<node concept="37vLTw" id="2groWwYfPSX" role="25WWJ7">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="2groWwYeFOd" role="3cqZAp">
<node concept="3cpWsn" id="2groWwYeFOe" role="3cpWs9">
<property role="TrG5h" value="slice" />
<node concept="2I9FWS" id="2groWwYeFN$" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="2YIFZM" id="2groWwYeFOf" role="33vP2m">
<ref role="37wK5l" to="5tos:2groWwY4mJ_" resolve="computeSlice" />
<ref role="1Pybhc" to="5tos:2groWwY4mAJ" resolve="ProgramSliceGenerator" />
<node concept="2OqwBi" id="2groWwYeFOg" role="37wK5m">
<node concept="37vLTw" id="2groWwYeFOh" role="2Oq$k0">
<ref role="3cqZAo" node="5bZNdPkgJSg" resolve="rule" />
</node>
<node concept="3Tsc0h" id="2groWwYeFOi" role="2OqNvi">
<ref role="3TtcxE" to="b83y:2_58u12eCWO" resolve="premises" />
</node>
</node>
<node concept="37vLTw" id="2groWwYfT4Q" role="37wK5m">
<ref role="3cqZAo" node="2groWwYfPSP" resolve="criteria" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2groWwYeHFI" role="3cqZAp">
<node concept="2OqwBi" id="2groWwYeJhb" role="3clFbG">
<node concept="37vLTw" id="2groWwYeHFG" role="2Oq$k0">
<ref role="3cqZAo" node="5bZNdPko4Nn" resolve="premises" />
</node>
<node concept="X8dFx" id="2groWwYeLsn" role="2OqNvi">
<node concept="37vLTw" id="2groWwYeM4T" role="25WWJ7">
<ref role="3cqZAo" node="2groWwYeFOe" resolve="slice" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="3DmllL5sOVQ" role="3cqZAp" />
<node concept="3SKdUt" id="3DmllL5sMr2" role="3cqZAp">
<node concept="3SKdUq" id="3DmllL5sMr4" role="3SKWNk">
<property role="3SKdUp" value="TODO how do we now that xRequired has to be called with deconstructed context for recursive call-site?" />
</node>
</node>
<node concept="3clFbH" id="2groWwY1Uom" role="3cqZAp" />
<node concept="3clFbH" id="2groWwYeuQK" role="3cqZAp" />
<node concept="3cpWs8" id="5bZNdPki_lh" role="3cqZAp">
<node concept="3cpWsn" id="5bZNdPki_lk" role="3cpWs9">
<property role="TrG5h" value="xRequiredRule" />
......
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