From c800cdb4cb16153e79e57b33cd6b0dfabb2c1127 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 1 Aug 2014 11:25:32 +0200 Subject: [PATCH] Huge improvements in the AST presentation and editing. --- .../generator/template/main@generator.mps | 224 +- .../jetbrains.mps.logic.mpl | 4 + .../languageModels/actions.mps | 229 ++ .../languageModels/constraints.mps | 38 + .../languageModels/editor.mps | 2032 ++++++++++++----- .../languageModels/intentions.mps | 111 + .../languageModels/structure.mps | 66 +- .../models/jetbrains/mps/logic/sandbox.mps | 6 +- .../models/jetbrains/mps/unification/util.mps | 297 +-- 9 files changed, 2096 insertions(+), 911 deletions(-) create mode 100644 languages/jetbrains.mps.logic/languageModels/actions.mps create mode 100644 languages/jetbrains.mps.logic/languageModels/intentions.mps diff --git a/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 9d560bae..f67c80c4 100644 --- a/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -13,7 +13,6 @@ - @@ -48,50 +47,24 @@ - - - - - - - - - - - - - - - - - - + + + + + - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + @@ -151,50 +124,24 @@ - - - - - - - - - - - - - - - - - - + + + + + - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + @@ -276,36 +223,17 @@ - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - + + + @@ -507,36 +435,17 @@ - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - + + + @@ -548,36 +457,17 @@ - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - + + + diff --git a/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 7225f6b0..913c791c 100644 --- a/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -31,12 +31,16 @@ + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp) aee9cad2-acd4-4608-aef2-0004f6a1cdbd(jetbrains.mps.lang.actions) + fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) 2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design) diff --git a/languages/jetbrains.mps.logic/languageModels/actions.mps b/languages/jetbrains.mps.logic/languageModels/actions.mps new file mode 100644 index 00000000..b4cb020c --- /dev/null +++ b/languages/jetbrains.mps.logic/languageModels/actions.mps @@ -0,0 +1,229 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/constraints.mps b/languages/jetbrains.mps.logic/languageModels/constraints.mps index 86b1f843..574ee940 100644 --- a/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -2,6 +2,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/editor.mps b/languages/jetbrains.mps.logic/languageModels/editor.mps index dfedbb61..a14a7263 100644 --- a/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -4,206 +4,60 @@ + + + - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - + + - - + + + + + @@ -213,6 +67,7 @@ + @@ -223,12 +78,9 @@ - + - - - - + @@ -236,36 +88,17 @@ - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - + + + @@ -286,8 +119,28 @@ - + + + + + + + + + + + + + + + + + + + + + @@ -302,6 +155,10 @@ + + + + @@ -309,15 +166,15 @@ - - - + + + @@ -326,104 +183,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -431,6 +193,9 @@ + + + @@ -443,6 +208,7 @@ + @@ -455,7 +221,10 @@ - + + + + @@ -463,118 +232,22 @@ - - + + - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -587,117 +260,31 @@ + - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + + + + @@ -737,17 +324,40 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -755,9 +365,1413 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/intentions.mps b/languages/jetbrains.mps.logic/languageModels/intentions.mps new file mode 100644 index 00000000..2042c825 --- /dev/null +++ b/languages/jetbrains.mps.logic/languageModels/intentions.mps @@ -0,0 +1,111 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/languageModels/structure.mps b/languages/jetbrains.mps.logic/languageModels/structure.mps index 166ba098..5f92b9e9 100644 --- a/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -20,6 +20,10 @@ + + + + @@ -60,20 +64,12 @@ - - - - - - + + - - - - - - + + @@ -82,7 +78,7 @@ - + @@ -124,5 +120,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps index e07fab6e..fb1e9e2a 100644 --- a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps +++ b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps @@ -963,7 +963,7 @@ - + @@ -986,7 +986,7 @@ - + @@ -1057,7 +1057,7 @@ - + diff --git a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/unification/util.mps b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/unification/util.mps index 748c7427..382a5204 100644 --- a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/unification/util.mps +++ b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/unification/util.mps @@ -11,191 +11,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -205,23 +21,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + @@ -241,21 +71,35 @@ - - - + + + + - + + + + + + + - - - - - + + + + + + - + + + + + + + @@ -285,25 +129,33 @@ + - + + + + + + + - - - - - + + + + + + - + - + @@ -323,11 +175,18 @@ - - - + + + + - + + + + + + +