natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Implement handlers for typeOf query in all types aspects.

This commit is contained in:
Fedor Isakov 2020-11-24 13:23:11 +01:00
parent 73f610b597
commit 044b707b77
4 changed files with 181 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps
View File

@ -1319,6 +1319,60 @@
</node>
</node>
</node>
<node concept="2bWyPT" id="1T5MAgPFQLI" role="KEEm1">
<property role="TrG5h" value="typeOf" />
<ref role="KG3u5" to="tj24:1T5MAgP$8dd" resolve="TypeOfQuery" />
<node concept="3clFbS" id="1T5MAgPFQLJ" role="fHCRw">
<node concept="1nLNNL" id="1T5MAgPFQLK" role="3cqZAp">
<node concept="1nLNMm" id="1T5MAgPFQLL" role="1nLNNK">
<node concept="3xSepi" id="1T5MAgPFQLM" role="3xSepv">
<node concept="3Aq9E8" id="1T5MAgPFQLN" role="3xSepj">
<node concept="3I6sU6" id="1T5MAgPFQLO" role="3Ip0Jz">
<node concept="3I6s7M" id="1T5MAgPFQLP" role="3I6sU7">
<node concept="3Aqt3T" id="1T5MAgPFQLQ" role="3I6s78">
<ref role="3AqCNq" node="7L9cSENZwYg" resolve="importDecl" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1T5MAgPFQLR" role="3cqZAp" />
<node concept="1nLNNL" id="1T5MAgPFQLS" role="3cqZAp">
<node concept="1nLNMm" id="1T5MAgPFQLT" role="1nLNNK">
<node concept="3NuqgR" id="1T5MAgPFQLU" role="0Rg$4">
<node concept="aZer4" id="1T5MAgPFQLV" role="3XD1gS">
<property role="TrG5h" value="A" />
</node>
<node concept="aZer4" id="1T5MAgPFQLW" role="3XD1gS">
<property role="TrG5h" value="B" />
</node>
<node concept="32pEOW" id="1T5MAgPFQLX" role="3vLBG7" />
</node>
<node concept="3xSepi" id="1T5MAgPFQLY" role="3xSepv">
<node concept="3Aq9E8" id="1T5MAgPFQLZ" role="3xSepj">
<node concept="3I6sU6" id="1T5MAgPFQM0" role="3Ip0Jz">
<node concept="3I6s7M" id="1T5MAgPFQM1" role="3I6sU7">
<node concept="3Aqt3T" id="1T5MAgPFQM2" role="3I6s78">
<ref role="3AqCNq" node="7lt0LtPOZVl" resolve="recover" />
<node concept="37jhX" id="1T5MAgPFQM3" role="3AunhB">
<node concept="2OqwBi" id="1T5MAgPFQM4" role="37jj2">
<node concept="KwDlU" id="1T5MAgPFQM5" role="2Oq$k0" />
<node concept="liA8E" id="1T5MAgPFQM6" role="2OqNvi">
<ref role="37wK5l" to="tj24:5EDW3XDYOgY" resolve="getTypesCollector" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2bWyPT" id="tbauFycd1s" role="KEEm1">
<property role="TrG5h" value="convert" />
<ref role="KG3u5" to="tj24:5EDW3XDYNS7" resolve="ConvertQuery" />

29
samples/fitch/languages/samples.fitch/models/types.mps
View File

@ -564,6 +564,35 @@
</node>
</node>
</node>
<node concept="2bWyPT" id="1T5MAgPFQZV" role="KEEm1">
<property role="TrG5h" value="typeOf" />
<ref role="KG3u5" to="tj24:1T5MAgP$8dd" resolve="TypeOfQuery" />
<node concept="3clFbS" id="1T5MAgPFQZW" role="fHCRw">
<node concept="1nLNNL" id="1T5MAgPFQZX" role="3cqZAp">
<node concept="1nLNMm" id="1T5MAgPFQZY" role="1nLNNK">
<node concept="3xSepi" id="1T5MAgPFQZZ" role="3xSepv">
<node concept="3Aq9E8" id="1T5MAgPFR00" role="3xSepj">
<node concept="3I6sU6" id="1T5MAgPFR01" role="3Ip0Jz">
<node concept="3I6s7M" id="1T5MAgPFR02" role="3I6sU7">
<node concept="3Aqt3T" id="1T5MAgPFR03" role="3I6s78">
<ref role="3AqCNq" node="2aBGSFge6lJ" resolve="checkAll" />
<node concept="37jhX" id="1T5MAgPFR04" role="3AunhB">
<node concept="2OqwBi" id="1T5MAgPFR05" role="37jj2">
<node concept="KwDlU" id="1T5MAgPFR06" role="2Oq$k0" />
<node concept="liA8E" id="1T5MAgPFR07" role="2OqNvi">
<ref role="37wK5l" to="tj24:5EDW3XDYOgY" resolve="getTypesCollector" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</model>

29
samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
View File

@ -16372,6 +16372,35 @@
</node>
</node>
</node>
<node concept="2bWyPT" id="1T5MAgPFR9x" role="KEEm1">
<property role="TrG5h" value="typeOf" />
<ref role="KG3u5" to="tj24:1T5MAgP$8dd" resolve="TypeOfQuery" />
<node concept="3clFbS" id="1T5MAgPFR9y" role="fHCRw">
<node concept="1nLNNL" id="1T5MAgPFR9z" role="3cqZAp">
<node concept="1nLNMm" id="1T5MAgPFR9$" role="1nLNNK">
<node concept="3xSepi" id="1T5MAgPFR9_" role="3xSepv">
<node concept="3Aq9E8" id="1T5MAgPFR9A" role="3xSepj">
<node concept="3I6sU6" id="1T5MAgPFR9B" role="3Ip0Jz">
<node concept="3I6s7M" id="1T5MAgPFR9C" role="3I6sU7">
<node concept="3Aqt3T" id="1T5MAgPFR9D" role="3I6s78">
<ref role="3AqCNq" node="4dPZ2m2jAgt" resolve="recoverAll" />
<node concept="37jhX" id="1T5MAgPFR9E" role="3AunhB">
<node concept="2OqwBi" id="1T5MAgPFR9F" role="37jj2">
<node concept="KwDlU" id="1T5MAgPFR9G" role="2Oq$k0" />
<node concept="liA8E" id="1T5MAgPFR9H" role="2OqNvi">
<ref role="37wK5l" to="tj24:5EDW3XDYOgY" resolve="getTypesCollector" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</model>

69
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
View File

@ -41406,6 +41406,75 @@
<node concept="3clFbH" id="tbauFyccF9" role="3cqZAp" />
</node>
</node>
<node concept="2bWyPT" id="1T5MAgP_idf" role="KEEm1">
<property role="TrG5h" value="typeOf" />
<ref role="KG3u5" to="tj24:1T5MAgP$8dd" resolve="TypeOfQuery" />
<node concept="3clFbS" id="1T5MAgP_idg" role="fHCRw">
<node concept="3clFbH" id="1T5MAgP_idh" role="3cqZAp" />
<node concept="1nLNNL" id="1T5MAgP_idi" role="3cqZAp">
<node concept="1nLNMm" id="1T5MAgP_idj" role="1nLNNK">
<node concept="3xSepi" id="1T5MAgP_idk" role="3xSepv">
<node concept="3Aq9E8" id="1T5MAgP_idl" role="3xSepj">
<node concept="3I6sU6" id="1T5MAgP_idm" role="3Ip0Jz">
<node concept="3I6s7M" id="1T5MAgP_idn" role="3I6sU7">
<node concept="3Aqt3T" id="1T5MAgP_ido" role="3I6s78">
<ref role="3AqCNq" node="36PPzUCxZA0" resolve="importDecls" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1T5MAgP_idp" role="3cqZAp" />
<node concept="1nLNNL" id="1T5MAgP_idq" role="3cqZAp">
<node concept="1nLNMm" id="1T5MAgP_idr" role="1nLNNK">
<node concept="3xSepi" id="1T5MAgP_ids" role="3xSepv">
<node concept="3Aq9E8" id="1T5MAgP_idt" role="3xSepj">
<node concept="3I6sU6" id="1T5MAgP_idu" role="3Ip0Jz">
<node concept="3I6s7M" id="1T5MAgP_idv" role="3I6sU7">
<node concept="3Aqt3T" id="1T5MAgP_idw" role="3I6s78">
<ref role="3AqCNq" node="4btN1w5Ki4T" resolve="checkDecls" />
</node>
</node>
<node concept="3I6s7M" id="1T5MAgP_idx" role="3I6sU7">
<node concept="3Aqt3T" id="1T5MAgP_idy" role="3I6s78">
<ref role="3AqCNq" node="34$A1MfabR$" resolve="checkAll" />
</node>
</node>
</node>
</node>
<node concept="3Aq9E8" id="1T5MAgP_idz" role="3xSepj">
<node concept="3I6sU6" id="1T5MAgP_id$" role="3Ip0Jz">
<node concept="3I6s7M" id="1T5MAgPHlgS" role="3I6sU7">
<node concept="3Aqt3T" id="1T5MAgPHlgQ" role="3I6s78">
<ref role="3AqCNq" node="35YJGAJTRng" resolve="expectType" />
<node concept="37jhX" id="1T5MAgPHlid" role="3AunhB">
<node concept="2OqwBi" id="1T5MAgPHl$z" role="37jj2">
<node concept="KwDlU" id="1T5MAgPHlic" role="2Oq$k0" />
<node concept="liA8E" id="1T5MAgPHlJe" role="2OqNvi">
<ref role="37wK5l" to="tj24:1T5MAgP$9vt" resolve="getSubject" />
</node>
</node>
</node>
<node concept="37jhX" id="1T5MAgP_idB" role="3AunhB">
<node concept="2OqwBi" id="1T5MAgP_idC" role="37jj2">
<node concept="KwDlU" id="1T5MAgP_idD" role="2Oq$k0" />
<node concept="liA8E" id="1T5MAgP_idE" role="2OqNvi">
<ref role="37wK5l" to="tj24:5EDW3XDYOgY" resolve="getTypesCollector" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1T5MAgP_idF" role="3cqZAp" />
</node>
</node>
<node concept="2bWyPT" id="tbauFybkrp" role="KEEm1">
<property role="TrG5h" value="convert" />
<ref role="KG3u5" to="tj24:5EDW3XDYNS7" resolve="ConvertQuery" />