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

implemented baseline type checker

parent efcf930a
......@@ -33,10 +33,11 @@
<import index="tzfm" ref="r:35a7f664-0726-41d1-b51b-d8fe4b23d8e9(pcf.anno.ext.structure)" />
<import index="r1fn" ref="r:643fd2cc-24f9-4234-81b0-5ec221d50839(template)" />
<import index="ug13" ref="r:d03141cb-725a-4265-8652-9530eb837f39(t1_t2var_t3_model)" />
<import index="lbqe" ref="r:75122dd5-e879-4d70-912f-2c72d05a2b71(t1_t2_model)" />
<import index="n3rl" ref="r:883cd422-5c3a-4cea-8d2e-d7e2ee86f0fb(t1_t2_t3noprop_model)" />
<import index="4b1i" ref="r:f230daf9-e717-4b79-b0f5-a87cad6afe1a(t1_t2var_t3noprop)" />
<import index="rjsk" ref="r:0357bd78-03de-4fb4-bdba-fa5e79068e66(t1_t2var_model)" />
<import index="angm" ref="r:5d03262c-eeaa-486d-aff1-609288c3ca95(baseline)" />
<import index="akxw" ref="r:cbb36a76-80d6-433c-a1e1-738d00ca5543(t1_t2_model)" />
</imports>
<registry>
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
......@@ -9337,16 +9338,16 @@
</node>
<node concept="1Ls8ON" id="432jgFqHot$" role="33vP2m">
<node concept="1Xw6AR" id="432jgFqHot_" role="1Lso8e">
<node concept="1dCxOl" id="3MmiZ7vaFoV" role="1XwpL7">
<property role="1XweGQ" value="r:75122dd5-e879-4d70-912f-2c72d05a2b71" />
<node concept="1j_P7g" id="3MmiZ7vaFoW" role="1j$8Uc">
<node concept="1dCxOl" id="6c_t6NjHl7c" role="1XwpL7">
<property role="1XweGQ" value="r:cbb36a76-80d6-433c-a1e1-738d00ca5543" />
<node concept="1j_P7g" id="6c_t6NjHl7d" role="1j$8Uc">
<property role="1j_P7h" value="t1_t2_model" />
</node>
</node>
</node>
<node concept="2ShNRf" id="432jgFqHotC" role="1Lso8e">
<node concept="HV5vD" id="432jgFqHotD" role="2ShVmc">
<ref role="HV5vE" to="lbqe:2OWUssMkejD" resolve="AnalysisResultAccess" />
<ref role="HV5vE" to="akxw:6c_t6NjH7Tr" resolve="AnalysisResultAccess" />
</node>
</node>
</node>
......@@ -9433,84 +9434,145 @@
</node>
</node>
<node concept="3clFbH" id="7kcFSsq8erA" role="3cqZAp" />
<node concept="3clFbH" id="7r$VmKSL2Za" role="3cqZAp" />
<node concept="3clFbF" id="3jYyFA7ez$e" role="3cqZAp">
<node concept="2OqwBi" id="3jYyFA7e$zR" role="3clFbG">
<node concept="37vLTw" id="3jYyFA7ez$c" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
<node concept="3cpWs8" id="6c_t6NjGbjJ" role="3cqZAp">
<node concept="3cpWsn" id="6c_t6NjGbjK" role="3cpWs9">
<property role="TrG5h" value="baselineMPSJava" />
<node concept="1LlUBW" id="6c_t6NjGbjL" role="1tU5fm">
<node concept="1XwpNF" id="6c_t6NjGbjM" role="1Lm7xW" />
<node concept="3uibUv" id="6c_t6NjGbjN" role="1Lm7xW">
<ref role="3uigEE" to="r1fn:1qgtRARH0vS" resolve="IAnalysisResultAccess" />
</node>
</node>
<node concept="TSZUe" id="3jYyFA7eAuj" role="2OqNvi">
<node concept="37vLTw" id="3jYyFA7eAAz" role="25WWJ7">
<ref role="3cqZAo" node="3jYyFA7edj4" resolve="t1_t2var_t3noprop" />
<node concept="1Ls8ON" id="6c_t6NjGbjO" role="33vP2m">
<node concept="1Xw6AR" id="6c_t6NjGbjP" role="1Lso8e">
<node concept="1dCxOl" id="6c_t6NjGbEG" role="1XwpL7">
<property role="1XweGQ" value="r:5d03262c-eeaa-486d-aff1-609288c3ca95" />
<node concept="1j_P7g" id="6c_t6NjGbEH" role="1j$8Uc">
<property role="1j_P7h" value="baseline" />
</node>
</node>
</node>
<node concept="2ShNRf" id="6c_t6NjGbjS" role="1Lso8e">
<node concept="HV5vD" id="6c_t6NjGbjT" role="2ShVmc">
<ref role="HV5vE" to="angm:3MmiZ7vqaJX" resolve="AnalysisResultAccess" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="59rzbLoR2Nh" role="3cqZAp">
<node concept="2OqwBi" id="59rzbLoR3AT" role="3clFbG">
<node concept="37vLTw" id="59rzbLoR2Nf" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
<node concept="3clFbH" id="6c_t6NjGb7$" role="3cqZAp" />
<node concept="3clFbH" id="7r$VmKSL2Za" role="3cqZAp" />
<node concept="1X3_iC" id="6c_t6NjGtv$" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3clFbF" id="3jYyFA7ez$e" role="8Wnug">
<node concept="2OqwBi" id="3jYyFA7e$zR" role="3clFbG">
<node concept="37vLTw" id="3jYyFA7ez$c" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
</node>
<node concept="TSZUe" id="3jYyFA7eAuj" role="2OqNvi">
<node concept="37vLTw" id="3jYyFA7eAAz" role="25WWJ7">
<ref role="3cqZAo" node="3jYyFA7edj4" resolve="t1_t2var_t3noprop" />
</node>
</node>
</node>
<node concept="TSZUe" id="59rzbLoR5xb" role="2OqNvi">
<node concept="37vLTw" id="59rzbLoR5CQ" role="25WWJ7">
<ref role="3cqZAo" node="59rzbLoQQVa" resolve="t1_t2var_t3" />
</node>
</node>
<node concept="1X3_iC" id="6c_t6NjGtv_" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3clFbF" id="59rzbLoR2Nh" role="8Wnug">
<node concept="2OqwBi" id="59rzbLoR3AT" role="3clFbG">
<node concept="37vLTw" id="59rzbLoR2Nf" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
</node>
<node concept="TSZUe" id="59rzbLoR5xb" role="2OqNvi">
<node concept="37vLTw" id="59rzbLoR5CQ" role="25WWJ7">
<ref role="3cqZAo" node="59rzbLoQQVa" resolve="t1_t2var_t3" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2OWUssMlBRB" role="3cqZAp">
<node concept="2OqwBi" id="2OWUssMlBRC" role="3clFbG">
<node concept="37vLTw" id="2OWUssMlBRD" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
<node concept="1X3_iC" id="6c_t6NjGtvA" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3clFbF" id="2OWUssMlBRB" role="8Wnug">
<node concept="2OqwBi" id="2OWUssMlBRC" role="3clFbG">
<node concept="37vLTw" id="2OWUssMlBRD" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
</node>
<node concept="TSZUe" id="2OWUssMlBRE" role="2OqNvi">
<node concept="37vLTw" id="2OWUssMlCKk" role="25WWJ7">
<ref role="3cqZAo" node="2OWUssMlhQ6" resolve="t1_t2var" />
</node>
</node>
</node>
<node concept="TSZUe" id="2OWUssMlBRE" role="2OqNvi">
<node concept="37vLTw" id="2OWUssMlCKk" role="25WWJ7">
<ref role="3cqZAo" node="2OWUssMlhQ6" resolve="t1_t2var" />
</node>
</node>
<node concept="1X3_iC" id="6c_t6NjGtvB" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3clFbF" id="1qgtRARGry$" role="8Wnug">
<node concept="2OqwBi" id="1qgtRARGs93" role="3clFbG">
<node concept="37vLTw" id="1qgtRARGryy" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
</node>
<node concept="TSZUe" id="1qgtRARGtLC" role="2OqNvi">
<node concept="37vLTw" id="1qgtRARO3VS" role="25WWJ7">
<ref role="3cqZAo" node="1qgtRARO2W5" resolve="t1_t2_t3" />
</node>
</node>
</node>
</node>
</node>
<node concept="1X3_iC" id="4hnmNa9KIWY" role="lGtFl">
<node concept="1X3_iC" id="6c_t6NjGtvC" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3clFbF" id="4hnmNa9KAWS" role="8Wnug">
<node concept="2OqwBi" id="4hnmNa9KAWT" role="3clFbG">
<node concept="37vLTw" id="4hnmNa9KAWU" role="2Oq$k0">
<node concept="3clFbF" id="432jgFqHAJ1" role="8Wnug">
<node concept="2OqwBi" id="432jgFqHByM" role="3clFbG">
<node concept="37vLTw" id="432jgFqHAIZ" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
</node>
<node concept="TSZUe" id="4hnmNa9KAWV" role="2OqNvi">
<node concept="37vLTw" id="4hnmNa9KAWW" role="25WWJ7">
<ref role="3cqZAo" node="7kcFSsq8eAM" resolve="t1_t2_t3noprop" />
<node concept="TSZUe" id="432jgFqHDuh" role="2OqNvi">
<node concept="37vLTw" id="432jgFqHD_f" role="25WWJ7">
<ref role="3cqZAo" node="432jgFqHotw" resolve="t1_t2" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1qgtRARGry$" role="3cqZAp">
<node concept="2OqwBi" id="1qgtRARGs93" role="3clFbG">
<node concept="37vLTw" id="1qgtRARGryy" role="2Oq$k0">
<node concept="3clFbH" id="4hnmNa9KE07" role="3cqZAp" />
<node concept="3clFbF" id="6c_t6NjGtQr" role="3cqZAp">
<node concept="2OqwBi" id="6c_t6NjGuIp" role="3clFbG">
<node concept="37vLTw" id="6c_t6NjGtQp" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
</node>
<node concept="TSZUe" id="1qgtRARGtLC" role="2OqNvi">
<node concept="37vLTw" id="1qgtRARO3VS" role="25WWJ7">
<ref role="3cqZAo" node="1qgtRARO2W5" resolve="t1_t2_t3" />
<node concept="TSZUe" id="6c_t6NjGwD9" role="2OqNvi">
<node concept="37vLTw" id="6c_t6NjGwL5" role="25WWJ7">
<ref role="3cqZAo" node="6c_t6NjGbjK" resolve="baselineMPSJava" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="432jgFqHAJ1" role="3cqZAp">
<node concept="2OqwBi" id="432jgFqHByM" role="3clFbG">
<node concept="37vLTw" id="432jgFqHAIZ" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
</node>
<node concept="TSZUe" id="432jgFqHDuh" role="2OqNvi">
<node concept="37vLTw" id="432jgFqHD_f" role="25WWJ7">
<ref role="3cqZAo" node="432jgFqHotw" resolve="t1_t2" />
<node concept="3clFbH" id="6c_t6NjGs2y" role="3cqZAp" />
<node concept="3clFbH" id="6c_t6NjGsb2" role="3cqZAp" />
<node concept="1X3_iC" id="4hnmNa9KIWY" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3clFbF" id="4hnmNa9KAWS" role="8Wnug">
<node concept="2OqwBi" id="4hnmNa9KAWT" role="3clFbG">
<node concept="37vLTw" id="4hnmNa9KAWU" role="2Oq$k0">
<ref role="3cqZAo" node="1qgtRARGr0T" resolve="analyses" />
</node>
<node concept="TSZUe" id="4hnmNa9KAWV" role="2OqNvi">
<node concept="37vLTw" id="4hnmNa9KAWW" role="25WWJ7">
<ref role="3cqZAo" node="7kcFSsq8eAM" resolve="t1_t2_t3noprop" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="4hnmNa9KE07" role="3cqZAp" />
<node concept="1X3_iC" id="7r$VmKSKU9X" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
......
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