Skip to content

Commit

Permalink
Merge pull request #872 from IETS3/bugfix/TypeSystemImprovement
Browse files Browse the repository at this point in the history 
Bugfix/type system improvement
  • Loading branch information
@mgronover
mgronover authored Mar 25, 2024
2 parents 63658ef + e32a693 commit ab8cc89
Show file tree
Hide file tree
Showing 4 changed files with 580 additions and 16 deletions.
4 changes: 2 additions & 2 deletions code/languages/org.iets3.opensource/languages/org.iets3.core.base/org.iets3.core.base.mpl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
<dependency reexport="false">1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)</dependency>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
<dependency reexport="false">5454dbfd-2075-4de0-b85e-fa645eb6957e(com.mbeddr.mpsutil.serializer.xml)</dependency>
<dependency reexport="false">5454dbfd-2075-4de0-b85e-fa645eb6957e(de.itemis.mps.utils.serializer.xml)</dependency>
<dependency reexport="false">f0fff802-6d26-4d2e-b89d-391357265626(de.slisson.mps.hacks.editor)</dependency>
</dependencies>
<languageVersions>
Expand Down Expand Up @@ -72,10 +72,10 @@
<module reference="d3a0fd26-445a-466c-900e-10444ddfed52(com.mbeddr.mpsutil.filepicker)" version="0" />
<module reference="d09a16fb-1d68-4a92-a5a4-20b4b2f86a62(com.mbeddr.mpsutil.jung)" version="0" />
<module reference="b4d28e19-7d2d-47e9-943e-3a41f97a0e52(com.mbeddr.mpsutil.plantuml.node)" version="0" />
<module reference="5454dbfd-2075-4de0-b85e-fa645eb6957e(com.mbeddr.mpsutil.serializer.xml)" version="0" />
<module reference="848ef45d-e560-4e35-853c-f35a64cc135c(de.itemis.mps.editor.celllayout.runtime)" version="0" />
<module reference="24c96a96-b7a1-4f30-82da-0f8e279a2661(de.itemis.mps.editor.celllayout.styles)" version="0" />
<module reference="cce85e64-7b37-4ad5-b0e6-9d18324cdfb3(de.itemis.mps.selection.runtime)" version="0" />
<module reference="5454dbfd-2075-4de0-b85e-fa645eb6957e(de.itemis.mps.utils.serializer.xml)" version="0" />
<module reference="dc038ceb-b7ea-4fea-ac12-55f7400e97ba(de.slisson.mps.editor.multiline.runtime)" version="0" />
<module reference="f0fff802-6d26-4d2e-b89d-391357265626(de.slisson.mps.hacks.editor)" version="0" />
<module reference="92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext)" version="0" />
Expand Down
78 changes: 78 additions & 0 deletions code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/behavior.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22903,6 +22903,84 @@
</node>
<node concept="17QB3L" id="7VuYlCR4z4M" role="3clF45" />
</node>
<node concept="13i0hz" id="H8GgRpqbgk" role="13h7CS">
<property role="TrG5h" value="sortTypes" />
<node concept="3Tm1VV" id="H8GgRpqbgl" role="1B3o_S" />
<node concept="3cqZAl" id="H8GgRpqtdX" role="3clF45" />
<node concept="3clFbS" id="H8GgRpqbgn" role="3clF47">
<node concept="3cpWs8" id="H8GgRpq_ig" role="3cqZAp">
<node concept="3cpWsn" id="H8GgRpq_ij" role="3cpWs9">
<property role="TrG5h" value="sortedTypes" />
<node concept="2I9FWS" id="H8GgRpq_ie" role="1tU5fm">
<ref role="2I9WkF" to="hm2y:6sdnDbSlaok" resolve="Type" />
</node>
<node concept="2OqwBi" id="H8GgRpqPv3" role="33vP2m">
<node concept="2OqwBi" id="H8GgRpqBU5" role="2Oq$k0">
<node concept="2OqwBi" id="H8GgRpqtp5" role="2Oq$k0">
<node concept="13iPFW" id="H8GgRpqtew" role="2Oq$k0" />
<node concept="3Tsc0h" id="H8GgRpqtFR" role="2OqNvi">
<ref role="3TtcxE" to="hm2y:7VuYlCQZ3lm" resolve="types" />
</node>
</node>
<node concept="2S7cBI" id="H8GgRpqMKU" role="2OqNvi">
<node concept="1bVj0M" id="H8GgRpqMKW" role="23t8la">
<node concept="3clFbS" id="H8GgRpqMKX" role="1bW5cS">
<node concept="3clFbF" id="H8GgRpqMQm" role="3cqZAp">
<node concept="2OqwBi" id="H8GgRpqO9H" role="3clFbG">
<node concept="2OqwBi" id="H8GgRpqN5i" role="2Oq$k0">
<node concept="37vLTw" id="H8GgRpqMQl" role="2Oq$k0">
<ref role="3cqZAo" node="H8GgRpqMKY" resolve="it" />
</node>
<node concept="2yIwOk" id="H8GgRpqNHd" role="2OqNvi" />
</node>
<node concept="liA8E" id="H8GgRpqOBY" role="2OqNvi">
<ref role="37wK5l" to="c17a:~SAbstractConcept.getName()" resolve="getName" />
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="H8GgRpqMKY" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="H8GgRpqMKZ" role="1tU5fm" />
</node>
</node>
<node concept="1nlBCl" id="H8GgRpqML0" role="2S7zOq">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
<node concept="ANE8D" id="H8GgRpqQu3" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbF" id="H8GgRpqQBG" role="3cqZAp">
<node concept="2OqwBi" id="H8GgRpqTBH" role="3clFbG">
<node concept="2OqwBi" id="H8GgRpqQUt" role="2Oq$k0">
<node concept="13iPFW" id="H8GgRpqQBE" role="2Oq$k0" />
<node concept="3Tsc0h" id="H8GgRpqRuE" role="2OqNvi">
<ref role="3TtcxE" to="hm2y:7VuYlCQZ3lm" resolve="types" />
</node>
</node>
<node concept="2Kehj3" id="H8GgRpqYAB" role="2OqNvi" />
</node>
</node>
<node concept="3clFbF" id="H8GgRpr4Hu" role="3cqZAp">
<node concept="2OqwBi" id="H8GgRprgMy" role="3clFbG">
<node concept="2OqwBi" id="H8GgRpr84a" role="2Oq$k0">
<node concept="13iPFW" id="H8GgRpr4Hs" role="2Oq$k0" />
<node concept="3Tsc0h" id="H8GgRprbCF" role="2OqNvi">
<ref role="3TtcxE" to="hm2y:7VuYlCQZ3lm" resolve="types" />
</node>
</node>
<node concept="X8dFx" id="H8GgRprm0$" role="2OqNvi">
<node concept="37vLTw" id="H8GgRprqSp" role="25WWJ7">
<ref role="3cqZAo" node="H8GgRpq_ij" resolve="sortedTypes" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="13h7C7" id="XblfskIwwQ">
<ref role="13h7C2" to="hm2y:XblfskIwr9" resolve="IMultiTraceRoot" />
Expand Down
112 changes: 111 additions & 1 deletion ...anguages/org.iets3.opensource/languages/org.iets3.core.expr.simpleTypes/models/plugin.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,9 @@
<import index="btm1" ref="b0f8641f-bd77-4421-8425-30d9088a82f7/java:org.apache.commons.lang3(org.apache.commons/)" />
<import index="xfg9" ref="r:ac28053f-2041-47f6-806b-ecfaca05a64a(org.iets3.core.expr.base.runtime.runtime)" />
<import index="90d" ref="r:421d64ed-8024-497f-aeab-8bddeb389dd2(jetbrains.mps.lang.extension.methods)" />
<import index="82uw" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util.function(JDK/)" />
<import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" implicit="true" />
<import index="pbu6" ref="r:83e946de-2a7f-4a4c-b3c9-4f671aa7f2db(org.iets3.core.expr.base.behavior)" implicit="true" />
</imports>
<registry>
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
Expand Down Expand Up @@ -100,6 +102,9 @@
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
<child id="1068431790190" name="initializer" index="33vP2m" />
</concept>
<concept id="1513279640923991009" name="jetbrains.mps.baseLanguage.structure.IGenericClassCreator" flags="ng" index="366HgL">
<property id="1513279640906337053" name="inferTypeParams" index="373rjd" />
</concept>
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept>
Expand Down Expand Up @@ -195,6 +200,7 @@
<concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
<concept id="1170345865475" name="jetbrains.mps.baseLanguage.structure.AnonymousClass" flags="ig" index="1Y3b0j">
<reference id="1170346070688" name="classifier" index="1Y3XeK" />
<child id="1201186121363" name="typeParameter" index="2Ghqu4" />
</concept>
</language>
<language id="c0080a47-7e37-4558-bee9-9ae18e690549" name="jetbrains.mps.lang.extension">
Expand Down Expand Up @@ -359,6 +365,7 @@
<concept id="1160666733551" name="jetbrains.mps.baseLanguage.collections.structure.AddAllElementsOperation" flags="nn" index="X8dFx" />
<concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
<concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
<concept id="1165530316231" name="jetbrains.mps.baseLanguage.collections.structure.IsEmptyOperation" flags="nn" index="1v1jN8" />
<concept id="1225711141656" name="jetbrains.mps.baseLanguage.collections.structure.ListElementAccessExpression" flags="nn" index="1y4W85">
<child id="1225711182005" name="list" index="1y566C" />
<child id="1225711191269" name="index" index="1y58nS" />
Expand Down Expand Up @@ -1935,6 +1942,99 @@
</node>
</node>
</node>
<node concept="3clFbF" id="738HPfgQhkT" role="3cqZAp">
<node concept="2OqwBi" id="738HPfgQtDZ" role="3clFbG">
<node concept="37vLTw" id="738HPfgQhkR" role="2Oq$k0">
<ref role="3cqZAo" node="1cX0cm8Zurw" resolve="jt" />
</node>
<node concept="2qgKlT" id="738HPfgQB1O" role="2OqNvi">
<ref role="37wK5l" to="pbu6:H8GgRpqbgk" resolve="sortTypes" />
</node>
</node>
</node>
<node concept="3clFbF" id="7JCDpchDZwS" role="3cqZAp">
<node concept="2OqwBi" id="7JCDpchEFHq" role="3clFbG">
<node concept="2OqwBi" id="7JCDpchEaLn" role="2Oq$k0">
<node concept="37vLTw" id="7JCDpchDZwR" role="2Oq$k0">
<ref role="3cqZAo" node="1cX0cm8Zurw" resolve="jt" />
</node>
<node concept="3Tsc0h" id="7JCDpchEouj" role="2OqNvi">
<ref role="3TtcxE" to="hm2y:7VuYlCQZ3lm" resolve="types" />
</node>
</node>
<node concept="liA8E" id="7JCDpchF17F" role="2OqNvi">
<ref role="37wK5l" to="33ny:~Collection.removeIf(java.util.function.Predicate)" resolve="removeIf" />
<node concept="2ShNRf" id="7JCDpchLjN2" role="37wK5m">
<node concept="YeOm9" id="7JCDpchL_eb" role="2ShVmc">
<node concept="1Y3b0j" id="7JCDpchL_ee" role="YeSDq">
<property role="2bfB8j" value="true" />
<property role="373rjd" value="true" />
<ref role="1Y3XeK" to="82uw:~Predicate" resolve="Predicate" />
<ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
<node concept="3Tm1VV" id="7JCDpchL_ef" role="1B3o_S" />
<node concept="3clFb_" id="7JCDpchL_et" role="jymVt">
<property role="TrG5h" value="test" />
<node concept="3Tm1VV" id="7JCDpchL_eu" role="1B3o_S" />
<node concept="10P_77" id="7JCDpchL_ew" role="3clF45" />
<node concept="37vLTG" id="7JCDpchL_ex" role="3clF46">
<property role="TrG5h" value="p1" />
<node concept="3uibUv" id="7JCDpchL_i0" role="1tU5fm">
<ref role="3uigEE" to="mhbf:~SNode" resolve="SNode" />
</node>
</node>
<node concept="3clFbS" id="7JCDpchL_ez" role="3clF47">
<node concept="3clFbF" id="7JCDpchLOGR" role="3cqZAp">
<node concept="2OqwBi" id="7JCDpchLYU4" role="3clFbG">
<node concept="37vLTw" id="7JCDpchLOGQ" role="2Oq$k0">
<ref role="3cqZAo" node="7JCDpchL_ex" resolve="p1" />
</node>
<node concept="liA8E" id="7JCDpchMax_" role="2OqNvi">
<ref role="37wK5l" to="mhbf:~SNode.isInstanceOfConcept(org.jetbrains.mps.openapi.language.SAbstractConcept)" resolve="isInstanceOfConcept" />
<node concept="35c_gC" id="7JCDpchMp6y" role="37wK5m">
<ref role="35c_gD" to="hm2y:3tcv7J0pmjC" resolve="EmptyType" />
</node>
</node>
</node>
</node>
</node>
<node concept="2AHcQZ" id="7JCDpchL_e_" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="3uibUv" id="7JCDpchL_hZ" role="2Ghqu4">
<ref role="3uigEE" to="mhbf:~SNode" resolve="SNode" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbJ" id="7JCDpch_jK9" role="3cqZAp">
<node concept="3clFbS" id="7JCDpch_jKb" role="3clFbx">
<node concept="3cpWs6" id="7JCDpchOmSQ" role="3cqZAp">
<node concept="2ShNRf" id="7JCDpchOI_u" role="3cqZAk">
<node concept="3zrR0B" id="7JCDpchOIyJ" role="2ShVmc">
<node concept="3Tqbb2" id="7JCDpchOIyK" role="3zrR0E">
<ref role="ehGHo" to="hm2y:3tcv7J0pmjC" resolve="EmptyType" />
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="7JCDpch$tFj" role="3clFbw">
<node concept="2OqwBi" id="7JCDpch$3ie" role="2Oq$k0">
<node concept="37vLTw" id="7JCDpchzQLK" role="2Oq$k0">
<ref role="3cqZAo" node="1cX0cm8Zurw" resolve="jt" />
</node>
<node concept="3Tsc0h" id="7JCDpch$eRZ" role="2OqNvi">
<ref role="3TtcxE" to="hm2y:7VuYlCQZ3lm" resolve="types" />
</node>
</node>
<node concept="1v1jN8" id="7JCDpchNXIY" role="2OqNvi" />
</node>
</node>
<node concept="3clFbH" id="7JCDpchRjjZ" role="3cqZAp" />
<node concept="3clFbJ" id="6irnVZTrlW7" role="3cqZAp">
<node concept="3clFbS" id="6irnVZTrlW9" role="3clFbx">
<node concept="3cpWs6" id="6irnVZTtp2C" role="3cqZAp">
Expand Down Expand Up @@ -2608,6 +2708,16 @@
</node>
</node>
</node>
<node concept="3clFbF" id="738HPfgQXcL" role="3cqZAp">
<node concept="2OqwBi" id="738HPfgR54b" role="3clFbG">
<node concept="37vLTw" id="738HPfgQXcJ" role="2Oq$k0">
<ref role="3cqZAo" node="1G7Ce6wlPOc" resolve="jt" />
</node>
<node concept="2qgKlT" id="738HPfgRkXU" role="2OqNvi">
<ref role="37wK5l" to="pbu6:H8GgRpqbgk" resolve="sortTypes" />
</node>
</node>
</node>
<node concept="3cpWs6" id="1G7Ce6w_U39" role="3cqZAp">
<node concept="37vLTw" id="1G7Ce6wA3HL" role="3cqZAk">
<ref role="3cqZAo" node="1G7Ce6wlPOc" resolve="jt" />
Expand Down Expand Up @@ -2671,7 +2781,7 @@
</node>
</node>
</node>
<node concept="3clFbH" id="5Am5nOKXK3Z" role="3cqZAp" />
<node concept="3clFbH" id="7JCDpchWuq7" role="3cqZAp" />
<node concept="3cpWs8" id="1G7Ce6wQ1ls" role="3cqZAp">
<node concept="3cpWsn" id="1G7Ce6wQ1lv" role="3cpWs9">
<property role="TrG5h" value="idxA" />
Expand Down
Loading

0 comments on commit ab8cc89

Please sign in to comment.