From 181824b8633b7e5dfbb7bd2d3bc01549cc31c0f5 Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Sat, 2 Apr 2022 14:43:25 +0200 Subject: [PATCH 01/10] improved value inspector --- .../org.iets3.opensource/.mps/vcs.xml | 10 +- .../models/behavior.mps | 214 ++--- .../models/editor.mps | 703 +++++++--------- .../models/intentions.mps | 4 +- .../models/structure.mps | 62 +- .../models/runtime.mps | 15 +- .../models/plugin.mps | 761 +++++++++--------- 7 files changed, 809 insertions(+), 960 deletions(-) diff --git a/code/languages/org.iets3.opensource/.mps/vcs.xml b/code/languages/org.iets3.opensource/.mps/vcs.xml index cbf847c1b6..18b2599de3 100644 --- a/code/languages/org.iets3.opensource/.mps/vcs.xml +++ b/code/languages/org.iets3.opensource/.mps/vcs.xml @@ -1,13 +1,5 @@ - - - - + \ No newline at end of file diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/behavior.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/behavior.mps index 572f5dc569..d48f4f353a 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/behavior.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/behavior.mps @@ -24902,7 +24902,7 @@ - + @@ -26605,6 +26605,112 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -26685,40 +26791,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -27819,77 +27891,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/editor.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/editor.mps index f6209eb83e..78be55ea79 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/editor.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/editor.mps @@ -1,7 +1,6 @@ - @@ -12,9 +11,9 @@ + - @@ -39,12 +38,14 @@ - - + + + + @@ -179,6 +180,7 @@ + @@ -209,9 +211,6 @@ - - - @@ -397,6 +396,10 @@ + + + + @@ -461,7 +464,6 @@ - @@ -598,6 +600,8 @@ + + @@ -5091,7 +5095,7 @@ - + @@ -5108,189 +5112,93 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - + + - - - + + + + - - - - - - - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + - - - - - + - - - - - + + - - + + + + + + + + - - - - @@ -5309,186 +5217,125 @@ - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + - - + + + + - - - - - - - - + + + + + + + + + + + + + + + - - - - - + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - @@ -5531,7 +5378,7 @@ - + @@ -7032,18 +6879,6 @@ - - - - - - - - - - - - @@ -7446,95 +7281,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7688,6 +7434,11 @@ + + + + + @@ -7716,5 +7467,101 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/intentions.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/intentions.mps index 1610a53c16..a89c7de888 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/intentions.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/intentions.mps @@ -2516,7 +2516,7 @@ - + @@ -2539,7 +2539,7 @@ - + diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/structure.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/structure.mps index 6b3dbbcdf4..f2e51d727d 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/structure.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/structure.mps @@ -1722,7 +1722,7 @@ - + @@ -2171,15 +2171,6 @@ - - - - - - - - - @@ -2188,18 +2179,28 @@ - - + + - - - - - + + + + + + + - + + + + + + + + + @@ -2226,21 +2227,20 @@ - - + + + + + + - - - - - - - + + + + + - - - - + diff --git a/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.base.runtime/models/runtime.mps b/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.base.runtime/models/runtime.mps index 305c3c6ea8..d5aa3deed4 100644 --- a/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.base.runtime/models/runtime.mps +++ b/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.base.runtime/models/runtime.mps @@ -196,6 +196,7 @@ + @@ -1626,6 +1627,7 @@ + @@ -1668,7 +1670,6 @@ - @@ -3409,5 +3410,17 @@ + + + + + + + + + + + + diff --git a/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.plugin/models/plugin.mps b/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.plugin/models/plugin.mps index dde98e6e5a..32caef82ad 100644 --- a/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.plugin/models/plugin.mps +++ b/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.plugin/models/plugin.mps @@ -1,7 +1,6 @@ - @@ -1228,7 +1227,7 @@ - + @@ -1354,7 +1353,7 @@ - + @@ -1367,9 +1366,7 @@ - - - + @@ -2455,245 +2452,97 @@ - + - - - - - - + + + + + + - - + + - - + + - + - - - + + + - + - - - + + + - + - - + + - - - - + + + + - - + + - + - + - - - + + + - + - + - + - - - - + + + + - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2789,97 +2638,386 @@ - + - - - - - - - - - - - - + + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - + - - - + + + - + - - + + - - - - + + + + - - + + - + - + - - - + + + - + - + - + - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2979,146 +3117,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - From 4dcb43f0854d5796469b2bf7c827ae5310b43bfc Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Sat, 2 Apr 2022 16:16:41 +0200 Subject: [PATCH 02/10] fixed equals and hashcode of nix --- .../models/runtime.mps | 55 +++++++++++++++---- 1 file changed, 43 insertions(+), 12 deletions(-) diff --git a/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.base.runtime/models/runtime.mps b/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.base.runtime/models/runtime.mps index d5aa3deed4..511e769f5a 100644 --- a/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.base.runtime/models/runtime.mps +++ b/code/languages/org.iets3.opensource/solutions/org.iets3.core.expr.base.runtime/models/runtime.mps @@ -1675,30 +1675,61 @@ - + + - - - - - - + + + + + + + + + + + + + + + + + + + - - + + - + - + - + + + + + + + + + + + + + + + + + + From ea2965b0d7a3304d4950e79d9134e31d35a9b659 Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Mon, 4 Apr 2022 20:09:40 +0200 Subject: [PATCH 03/10] hopefully fixed a strange error --- .../models/intentions.mps | 119 +++++++++--------- 1 file changed, 59 insertions(+), 60 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/intentions.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/intentions.mps index 087fd01ff5..1514194513 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/intentions.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/intentions.mps @@ -937,66 +937,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1131,5 +1071,64 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + From e0008a72dae106ddd846ee1cecc87d8c44637022 Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Sun, 24 Apr 2022 18:42:08 +0200 Subject: [PATCH 04/10] Running runManually from a root now also works if that root has an annotation (refresh didn't work previously) --- .../models/org/iets3/core/plugin/plugin.mps | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.plugin/models/org/iets3/core/plugin/plugin.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.plugin/models/org/iets3/core/plugin/plugin.mps index 550ce91224..73b4183d54 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.plugin/models/org/iets3/core/plugin/plugin.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.plugin/models/org/iets3/core/plugin/plugin.mps @@ -6,9 +6,9 @@ - + - + From 214e785563db68a762fac5b94d8e5cdd81ab7721 Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Wed, 22 Mar 2023 13:12:56 +0100 Subject: [PATCH 05/10] improved renderReadable of DataDeltaLiteral --- .../models/behavior.mps | 45 +++++++++++++++++++ 1 file changed, 45 insertions(+) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps index 3c18a8c54a..62e1e177d3 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps @@ -188,6 +188,9 @@ + + + @@ -1700,5 +1703,47 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + From 860b45d7aacc4f1bd4dbfee25cceae76031c05e2 Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Fri, 24 Mar 2023 15:45:33 +0100 Subject: [PATCH 06/10] improved renderReadable of DataDeltaLiteral; this time really. --- .../models/behavior.mps | 84 +++++++++---------- 1 file changed, 42 insertions(+), 42 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps index 62e1e177d3..06399d4ce3 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps @@ -1683,6 +1683,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1703,47 +1745,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - From 8000b368a40c551b0c35e859de5c30131108c24d Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Tue, 28 Mar 2023 20:36:14 +0200 Subject: [PATCH 07/10] improved renderReadable of TimeDeltaLiteral; this time really. --- .../models/behavior.mps | 50 +++++++++++++++++-- 1 file changed, 46 insertions(+), 4 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps index 06399d4ce3..db7ec5340d 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps @@ -1686,9 +1686,6 @@ - - - @@ -1722,7 +1719,10 @@ - + + + + @@ -1745,5 +1745,47 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + From 59b38d475f46e55b10624c303f99c7a87736e182 Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Fri, 14 Apr 2023 16:35:48 +0200 Subject: [PATCH 08/10] renderReadable for makeDate and makeTime --- .../models/behavior.mps | 178 ++++++++++++++++-- 1 file changed, 158 insertions(+), 20 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps index db7ec5340d..5cd4528716 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps @@ -1725,26 +1725,6 @@ - - - - - - - - - - - - - - - - - - - - @@ -1787,5 +1767,163 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + From e5188492d0b0b7ea23e346b498dd1dd1975b2515 Mon Sep 17 00:00:00 2001 From: Markus Voelter Date: Fri, 14 Apr 2023 18:15:33 +0200 Subject: [PATCH 09/10] renderReadable for makeDate and makeTime --- .../models/behavior.mps | 66 +++++++++++-------- 1 file changed, 38 insertions(+), 28 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps index 5cd4528716..8996f1c4d7 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.datetime/models/behavior.mps @@ -1767,26 +1767,6 @@ - - - - - - - - - - - - - - - - - - - - @@ -1839,10 +1819,15 @@ - - - - + + + + + + + + + @@ -1908,10 +1893,15 @@ - - - - + + + + + + + + + @@ -1925,5 +1915,25 @@ + + + + + + + + + + + + + + + + + + + + From 5248c94cc6598ffe221ac24d00a53483ea83ab99 Mon Sep 17 00:00:00 2001 From: Michael Gronover Date: Tue, 12 Nov 2024 11:14:07 +0100 Subject: [PATCH 10/10] Renamed Intention for inlining all function calls --- .../models/intentions.mps | 92 +++++++++---------- 1 file changed, 46 insertions(+), 46 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/intentions.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/intentions.mps index 1514194513..8ee50e9881 100644 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/intentions.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.toplevel/models/intentions.mps @@ -1026,54 +1026,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -1130,5 +1085,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +