From a0bc96b3e0aa78e7c8aeee083324030b3f38b278 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 13 Apr 2020 14:18:07 +0200 Subject: [PATCH] Move all concepts related to term to j.m.coderules. --- .../generator/template/main@generator.mps | 110 +-- .../languageModels/behavior.mps | 392 ++++++++ .../languageModels/constraints.mps | 198 +++- .../languageModels/editor.mps | 711 ++++++++++++++- .../jetbrains.mps.lang.coderules.analysis.mps | 14 +- .../languageModels/migration.mps | 2 +- .../languageModels/structure.mps | 201 ++++- .../languageModels/typesystem.mps | 44 + .../jetbrains.mps.logic.mpl | 2 - .../languageModels/behavior.mps | 440 --------- .../languageModels/constraints.mps | 207 +---- .../languageModels/editor.mps | 842 ++---------------- .../languageModels/migration.mps | 1 - .../languageModels/structure.mps | 195 +--- .../languageModels/typesystem.mps | 36 - 15 files changed, 1665 insertions(+), 1730 deletions(-) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps index c85aa1be..6fac9580 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps @@ -19627,12 +19627,12 @@ - + - + @@ -19699,7 +19699,7 @@ - + @@ -19718,7 +19718,7 @@ - + @@ -19730,7 +19730,7 @@ - + @@ -19741,7 +19741,7 @@ - + @@ -19755,10 +19755,10 @@ - + - + @@ -19768,7 +19768,7 @@ - + @@ -19834,13 +19834,13 @@ - + - + @@ -19857,7 +19857,7 @@ - + @@ -19875,7 +19875,7 @@ - + @@ -19897,7 +19897,7 @@ - + @@ -19905,14 +19905,14 @@ - + - + @@ -19951,7 +19951,7 @@ - + @@ -19959,14 +19959,14 @@ - + - + @@ -19985,7 +19985,7 @@ - + @@ -20003,15 +20003,15 @@ - + - + - + @@ -20034,13 +20034,13 @@ - + - + @@ -20053,7 +20053,7 @@ - + @@ -20078,7 +20078,7 @@ - + @@ -20109,7 +20109,7 @@ - + @@ -20279,7 +20279,7 @@ - + @@ -20296,7 +20296,7 @@ - + @@ -20329,7 +20329,7 @@ - + @@ -20349,7 +20349,7 @@ - + @@ -20366,7 +20366,7 @@ - + @@ -20410,7 +20410,7 @@ - + @@ -20461,7 +20461,7 @@ - + @@ -20471,7 +20471,7 @@ - + @@ -20521,7 +20521,7 @@ - + @@ -20531,7 +20531,7 @@ - + @@ -20581,7 +20581,7 @@ - + @@ -20591,7 +20591,7 @@ - + @@ -20648,7 +20648,7 @@ - + @@ -20668,7 +20668,7 @@ - + @@ -20678,7 +20678,7 @@ - + @@ -20699,7 +20699,7 @@ - + @@ -20767,7 +20767,7 @@ - + @@ -20777,7 +20777,7 @@ - + @@ -20799,7 +20799,7 @@ - + @@ -20866,7 +20866,7 @@ - + @@ -20876,7 +20876,7 @@ - + @@ -20897,7 +20897,7 @@ - + @@ -20960,7 +20960,7 @@ - + @@ -20975,7 +20975,7 @@ - + @@ -20994,7 +20994,7 @@ - + @@ -21019,7 +21019,7 @@ - + @@ -21044,7 +21044,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps index 2915f4e4..1acf7f93 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps @@ -5,6 +5,10 @@ + + + + @@ -49,12 +53,18 @@ + + + + + + @@ -178,6 +188,9 @@ + + + @@ -218,14 +231,24 @@ + + + + + + + + + + @@ -1936,5 +1959,374 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps index 1ce25803..4dfd9573 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps @@ -6,6 +6,11 @@ + + + + + @@ -19,8 +24,8 @@ + - @@ -131,6 +136,7 @@ + @@ -139,6 +145,7 @@ + @@ -155,6 +162,7 @@ + @@ -196,6 +204,7 @@ + @@ -274,6 +283,7 @@ + @@ -2208,5 +2218,191 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index 8ff4d423..7e6e737d 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -5,6 +5,10 @@ + + + + @@ -21,7 +25,7 @@ - + @@ -417,6 +421,7 @@ + @@ -451,7 +456,12 @@ + + + + + @@ -459,6 +469,9 @@ + + + @@ -471,6 +484,9 @@ + + + @@ -492,6 +508,9 @@ + + + @@ -557,6 +576,7 @@ + @@ -8178,5 +8198,694 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps index d6e5cfa1..1ccdb53a 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/jetbrains.mps.lang.coderules.analysis.mps @@ -4732,7 +4732,7 @@ - + @@ -4742,7 +4742,7 @@ - + @@ -4757,7 +4757,7 @@ - + @@ -4766,7 +4766,7 @@ - + @@ -5261,7 +5261,7 @@ - + @@ -5363,13 +5363,13 @@ - + - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps index 603a6bd6..b10e96d0 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps @@ -2410,7 +2410,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index d2580963..8011cec5 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -4,6 +4,7 @@ + @@ -11,7 +12,7 @@ - + @@ -28,6 +29,13 @@ + + + + + + + @@ -1848,5 +1856,196 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps index a387b052..7669d863 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps @@ -3,6 +3,9 @@ + + + @@ -15,6 +18,7 @@ + @@ -139,6 +143,11 @@ + + + + + @@ -1742,5 +1751,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index 23956bfc..e33087b5 100644 --- a/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -98,7 +98,6 @@ e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - 528ff3b9-5fc4-40dd-931f-c6ce3650640e(jetbrains.mps.lang.migration.runtime) @@ -163,7 +162,6 @@ - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps index 82a49d6a..eb62e2a8 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps @@ -19,7 +19,6 @@ - @@ -34,31 +33,13 @@ - - - - - - - - - - - - - - - - - - @@ -67,8 +48,6 @@ - - @@ -82,7 +61,6 @@ - @@ -90,16 +68,9 @@ - - - - - - - @@ -108,12 +79,6 @@ - - - - - - @@ -123,32 +88,19 @@ - - - - - - - - - - - - - @@ -163,15 +115,9 @@ - - - - - - @@ -190,26 +136,9 @@ - - - - - - - - - - - - - - - - - @@ -488,375 +417,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps index 9f3af231..b1f6f2e0 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps @@ -16,7 +16,6 @@ - @@ -29,12 +28,6 @@ - - - - - - @@ -122,7 +115,6 @@ - @@ -146,7 +138,6 @@ - @@ -190,7 +181,6 @@ - @@ -223,18 +213,10 @@ - - - + - - - - - - @@ -298,7 +280,6 @@ - @@ -839,192 +820,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps index 4a0bd129..b3460eb4 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -32,6 +32,7 @@ + @@ -56,7 +57,6 @@ - @@ -64,7 +64,6 @@ - @@ -74,11 +73,8 @@ - - - @@ -98,7 +94,6 @@ - @@ -206,7 +201,6 @@ - @@ -229,7 +223,6 @@ - @@ -250,7 +243,6 @@ - @@ -271,11 +263,6 @@ - - - - - @@ -312,7 +299,6 @@ - @@ -410,7 +396,6 @@ - @@ -421,12 +406,6 @@ - - - - - - @@ -456,23 +435,16 @@ - - - - - - - @@ -490,9 +462,6 @@ - - - @@ -522,15 +491,10 @@ - - - + - - - @@ -564,15 +528,10 @@ - - - - - @@ -2838,648 +2797,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4024,31 +3341,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4283,17 +3575,6 @@ - - - - - - - - - - - @@ -4933,6 +4214,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4987,73 +4321,9 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps index e20d6d7e..411ac7e1 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/migration.mps @@ -20,7 +20,6 @@ - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps index 99329dae..dc4a65d4 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps @@ -9,6 +9,7 @@ + @@ -46,7 +47,6 @@ - @@ -377,188 +377,11 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -610,13 +433,6 @@ - - - - - - - @@ -689,15 +505,8 @@ - + - - - - - - - diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps index ca6b73ef..73f750f2 100644 --- a/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -122,7 +122,6 @@ - @@ -1225,24 +1224,6 @@ - - - - - - - - - - - - - - - - - - @@ -1385,22 +1366,5 @@ - - - - - - - - - - - - - - - - -