Skip to content

Commit 2f510bc

Browse files
author
Alexander Pann
committed
Use allSupertypes method instead
1 parent 7dfcdfb commit 2f510bc

File tree

2 files changed

+74
-29
lines changed

2 files changed

+74
-29
lines changed

‎code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/behavior.mps‎

Lines changed: 68 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10233,6 +10233,74 @@
1023310233
</node>
1023410234
<node concept="10P_77" id="5L2mTKmB19J" role="3clF45" />
1023510235
</node>
10236+
<node concept="13i0hz" id="6NucLe1SARS" role="13h7CS">
10237+
<property role="TrG5h" value="allSupertypes" />
10238+
<ref role="13i0hy" node="4Q4DxjDsh$t" resolve="allSupertypes" />
10239+
<node concept="3Tm1VV" id="6NucLe1SART" role="1B3o_S" />
10240+
<node concept="3clFbS" id="6NucLe1SBkn" role="3clF47">
10241+
<node concept="3clFbH" id="6NucLe1SLNC" role="3cqZAp" />
10242+
<node concept="3clFbJ" id="5o7Ni5kjgYA" role="3cqZAp">
10243+
<node concept="3eOSWO" id="5o7Ni5kjp6$" role="3clFbw">
10244+
<node concept="3cmrfG" id="5o7Ni5kjp6N" role="3uHU7w">
10245+
<property role="3cmrfH" value="1" />
10246+
</node>
10247+
<node concept="2OqwBi" id="5o7Ni5kjkyx" role="3uHU7B">
10248+
<node concept="2OqwBi" id="5o7Ni5kjhRG" role="2Oq$k0">
10249+
<node concept="13iPFW" id="6NucLe1SLFv" role="2Oq$k0" />
10250+
<node concept="3Tsc0h" id="5o7Ni5kji6u" role="2OqNvi">
10251+
<ref role="3TtcxE" to="hm2y:S$tO8ocniV" resolve="elementTypes" />
10252+
</node>
10253+
</node>
10254+
<node concept="34oBXx" id="5o7Ni5kjmlv" role="2OqNvi" />
10255+
</node>
10256+
</node>
10257+
<node concept="3clFbS" id="5o7Ni5kjgYC" role="3clFbx">
10258+
<node concept="3cpWs8" id="6NucLe1SM4d" role="3cqZAp">
10259+
<node concept="3cpWsn" id="6NucLe1SM4g" role="3cpWs9">
10260+
<property role="TrG5h" value="types" />
10261+
<node concept="2I9FWS" id="6NucLe1SM4b" role="1tU5fm">
10262+
<ref role="2I9WkF" to="hm2y:6sdnDbSlaok" resolve="Type" />
10263+
</node>
10264+
<node concept="2ShNRf" id="6NucLe1SMkU" role="33vP2m">
10265+
<node concept="2T8Vx0" id="6NucLe1T3QR" role="2ShVmc">
10266+
<node concept="2I9FWS" id="6NucLe1T3QT" role="2T96Bj">
10267+
<ref role="2I9WkF" to="hm2y:6sdnDbSlaok" resolve="Type" />
10268+
</node>
10269+
</node>
10270+
</node>
10271+
</node>
10272+
</node>
10273+
<node concept="3clFbF" id="6NucLe1T4CG" role="3cqZAp">
10274+
<node concept="2OqwBi" id="6NucLe1T5L$" role="3clFbG">
10275+
<node concept="37vLTw" id="6NucLe1T4CE" role="2Oq$k0">
10276+
<ref role="3cqZAo" node="6NucLe1SM4g" resolve="types" />
10277+
</node>
10278+
<node concept="TSZUe" id="6NucLe1T7aW" role="2OqNvi">
10279+
<node concept="2ShNRf" id="5o7Ni5kjpf_" role="25WWJ7">
10280+
<node concept="3zrR0B" id="5o7Ni5kjqOU" role="2ShVmc">
10281+
<node concept="3Tqbb2" id="5o7Ni5kjqOW" role="3zrR0E">
10282+
<ref role="ehGHo" to="hm2y:S$tO8ocniU" resolve="TupleType" />
10283+
</node>
10284+
</node>
10285+
</node>
10286+
</node>
10287+
</node>
10288+
</node>
10289+
<node concept="3cpWs6" id="5o7Ni5kjpf1" role="3cqZAp">
10290+
<node concept="37vLTw" id="6NucLe1T46D" role="3cqZAk">
10291+
<ref role="3cqZAo" node="6NucLe1SM4g" resolve="types" />
10292+
</node>
10293+
</node>
10294+
</node>
10295+
</node>
10296+
<node concept="3clFbF" id="5o7Ni5kjqPL" role="3cqZAp">
10297+
<node concept="10Nm6u" id="5o7Ni5kjqPJ" role="3clFbG" />
10298+
</node>
10299+
</node>
10300+
<node concept="2I9FWS" id="6NucLe1SBko" role="3clF45">
10301+
<ref role="2I9WkF" to="hm2y:6sdnDbSlaok" resolve="Type" />
10302+
</node>
10303+
</node>
1023610304
</node>
1023710305
<node concept="13h7C7" id="S$tO8ocQNQ">
1023810306
<property role="3GE5qa" value="tuples" />

‎code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/typesystem.mps‎

Lines changed: 6 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -136,7 +136,6 @@
136136
<concept id="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
137137
<child id="1079359253376" name="expression" index="1eOMHV" />
138138
</concept>
139-
<concept id="1081506762703" name="jetbrains.mps.baseLanguage.structure.GreaterThanExpression" flags="nn" index="3eOSWO" />
140139
<concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
141140
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
142141
<child id="1081516765348" name="expression" index="3fr31v" />
@@ -10333,37 +10332,15 @@
1033310332
<property role="3GE5qa" value="tuples" />
1033410333
<property role="TrG5h" value="supertypeOf_TupleType" />
1033510334
<node concept="3clFbS" id="2V2blxGgdwR" role="2sgrp5">
10336-
<node concept="3clFbJ" id="5o7Ni5kjgYA" role="3cqZAp">
10337-
<node concept="3eOSWO" id="5o7Ni5kjp6$" role="3clFbw">
10338-
<node concept="3cmrfG" id="5o7Ni5kjp6N" role="3uHU7w">
10339-
<property role="3cmrfH" value="1" />
10335+
<node concept="3clFbF" id="6NucLe1T9s1" role="3cqZAp">
10336+
<node concept="2OqwBi" id="6NucLe1T9As" role="3clFbG">
10337+
<node concept="1YBJjd" id="6NucLe1T9s0" role="2Oq$k0">
10338+
<ref role="1YBMHb" node="2V2blxGgdxD" resolve="tt" />
1034010339
</node>
10341-
<node concept="2OqwBi" id="5o7Ni5kjkyx" role="3uHU7B">
10342-
<node concept="2OqwBi" id="5o7Ni5kjhRG" role="2Oq$k0">
10343-
<node concept="1YBJjd" id="5o7Ni5kjgZ5" role="2Oq$k0">
10344-
<ref role="1YBMHb" node="2V2blxGgdxD" resolve="tt" />
10345-
</node>
10346-
<node concept="3Tsc0h" id="5o7Ni5kji6u" role="2OqNvi">
10347-
<ref role="3TtcxE" to="hm2y:S$tO8ocniV" resolve="elementTypes" />
10348-
</node>
10349-
</node>
10350-
<node concept="34oBXx" id="5o7Ni5kjmlv" role="2OqNvi" />
10340+
<node concept="2qgKlT" id="6NucLe1T9Po" role="2OqNvi">
10341+
<ref role="37wK5l" to="pbu6:4Q4DxjDsh$t" resolve="allSupertypes" />
1035110342
</node>
1035210343
</node>
10353-
<node concept="3clFbS" id="5o7Ni5kjgYC" role="3clFbx">
10354-
<node concept="3cpWs6" id="5o7Ni5kjpf1" role="3cqZAp">
10355-
<node concept="2ShNRf" id="5o7Ni5kjpf_" role="3cqZAk">
10356-
<node concept="3zrR0B" id="5o7Ni5kjqOU" role="2ShVmc">
10357-
<node concept="3Tqbb2" id="5o7Ni5kjqOW" role="3zrR0E">
10358-
<ref role="ehGHo" to="hm2y:S$tO8ocniU" resolve="TupleType" />
10359-
</node>
10360-
</node>
10361-
</node>
10362-
</node>
10363-
</node>
10364-
</node>
10365-
<node concept="3clFbF" id="5o7Ni5kjqPL" role="3cqZAp">
10366-
<node concept="10Nm6u" id="5o7Ni5kjqPJ" role="3clFbG" />
1036710344
</node>
1036810345
</node>
1036910346
<node concept="1YaCAy" id="2V2blxGgdxD" role="1YuTPh">

0 commit comments

Comments
 (0)