From 7d47c843fabc692f37b9d0bd051a8e9630245b7e Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 22 Aug 2024 14:43:36 +0200 Subject: [PATCH 01/17] org.mpsqa.lint: also exclude generates into dependencies when search for unused dependencies --- ...a.lint.generic.linters_library.modules.mps | 51 ++++++++++++++----- 1 file changed, 39 insertions(+), 12 deletions(-) diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps index 5430670a..58798107 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps @@ -2076,6 +2076,12 @@ + + + + + + @@ -2149,21 +2155,42 @@ - - - - - + + + + + + + + + + - - + + + + + + - - - - - + + + + + + + + + + + + + + + + + From 733c56be17d0f413a4d05c51e3a84d0a7db7fc4d Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 22 Aug 2024 14:51:36 +0200 Subject: [PATCH 02/17] org.mpsqa.lint: run the garbage collector only before running the checking rules. Running it every time is very slow and doesn't really make the result more precise. --- ...s_library.performance_typesystem_rules.mps | 51 +++++-------------- 1 file changed, 12 insertions(+), 39 deletions(-) diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps index 5e584a20..556646b2 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps @@ -118,9 +118,6 @@ - - - @@ -1346,6 +1343,18 @@ + + + + + + + + + + + + @@ -1583,42 +1592,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - From 9de2f8a26ef948e4e08f1f15aadd9d4a79efb951 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Fri, 23 Aug 2024 11:08:14 +0200 Subject: [PATCH 03/17] linters: refactor code --- ....generic.generator.templates@generator.mps | 288 +++++++---- .../org.mpsqa.lint.generic.behavior.mps | 44 ++ .../models/org.mpsqa.lint.generic.util.mps | 455 ++++-------------- .../org.mpsqa.lint.generic.mpl | 10 + 4 files changed, 335 insertions(+), 462 deletions(-) diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps index 45531901..23d30577 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps @@ -11,6 +11,8 @@ + + @@ -20,6 +22,16 @@ + + + + + + + + + + @@ -27,13 +39,21 @@ - - + + + + + + + + + + @@ -41,7 +61,6 @@ - @@ -50,6 +69,7 @@ + @@ -101,6 +121,10 @@ + + + + @@ -136,6 +160,14 @@ + + + + + + + + @@ -155,7 +187,9 @@ - + + + @@ -192,106 +226,136 @@ + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - + + + - - - - - - - - - + + + + + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + @@ -299,24 +363,45 @@ + + + + + + + + + + + + + + + + + - - + + - - + + + + + + - + - - - - + + + + @@ -346,26 +431,16 @@ - - - - - - - - - - - - - - - + + + + + + - @@ -396,6 +471,9 @@ + + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps index 7b482d30..33a9c311 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps @@ -5,6 +5,7 @@ + @@ -78,6 +79,9 @@ + + + @@ -97,6 +101,7 @@ + @@ -143,6 +148,7 @@ + @@ -191,6 +197,9 @@ + + + @@ -1761,5 +1770,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps index 88ea5dda..b4dd6092 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps @@ -19,6 +19,7 @@ + @@ -177,9 +178,6 @@ - - - @@ -248,12 +246,6 @@ - - - - - - @@ -300,23 +292,9 @@ - - - - - - - - - - - - - - @@ -377,42 +355,39 @@ - - - - - + + + + + - + - - - + + + - - + + - + - + - + - - - @@ -478,64 +453,37 @@ - - - - - + + + + + - + - - - + + + - - + + - + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -622,32 +570,32 @@ - - - - + + + + - - - - + + + + - + - + - - - + + + - + @@ -739,7 +687,7 @@ - + @@ -836,17 +784,33 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -1159,21 +1123,16 @@ - - - - - - - - - - - - + + + + + + + - + @@ -1183,21 +1142,6 @@ - - - - - - - - - - - - - - - @@ -1217,13 +1161,8 @@ - - - - - - - + + @@ -1525,7 +1464,7 @@ - + @@ -1550,29 +1489,25 @@ + - - - - - - - - - - - - - - + + + - - + + + + + + + + @@ -1584,33 +1519,12 @@ - - - + + + - - - - - - - - - - - - - - - - - - - - - - - + + @@ -1662,36 +1576,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2088,130 +1972,14 @@ - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2290,33 +2058,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl index b68cf7cd..09b52319 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl @@ -27,6 +27,7 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) + 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) @@ -55,11 +56,20 @@ + + + + + + + + + From 6cd100ee20f33bff296ae978d312780f4ae9904e Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Fri, 23 Aug 2024 11:25:37 +0200 Subject: [PATCH 04/17] linters: allow all static evaluatable expressions/types --- .../org.mpsqa.build._080_lint_build.mps | 7 +- .../models/org.mpsqa.lint.generic.editor.mps | 2 +- .../org.mpsqa.lint.generic.structure.mps | 2 +- .../org.mpsqa.lint.generic.typesystem.mps | 175 +++++------ .../models/org.mpsqa.lint.generic.util.mps | 283 +++++++----------- 5 files changed, 177 insertions(+), 292 deletions(-) diff --git a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps index 7e82e6b2..f9ecbb8d 100644 --- a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps +++ b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps @@ -6,7 +6,7 @@ - + @@ -370,6 +370,11 @@ + + + + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps index 75bda966..197d5865 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps @@ -1185,7 +1185,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps index 6630437e..9d2888b9 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps @@ -269,7 +269,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps index 71466d2b..44be6b22 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps @@ -32,8 +32,9 @@ - + + @@ -1487,7 +1488,7 @@ - + @@ -1720,6 +1721,16 @@ + + + + + + + + + + @@ -1733,6 +1744,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1743,7 +1775,7 @@ - + @@ -1761,7 +1793,7 @@ - + @@ -1771,56 +1803,27 @@ - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - + + + - - - - - - - + + @@ -1842,7 +1845,7 @@ - + @@ -1861,12 +1864,12 @@ - - - + + + @@ -1924,58 +1927,18 @@ - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - + + @@ -2001,12 +1964,12 @@ - - - + + + @@ -2080,7 +2043,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps index b4dd6092..824042f9 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps @@ -21,6 +21,7 @@ + @@ -891,7 +892,7 @@ - + @@ -1172,287 +1173,203 @@ - - - - - - - + + + + + + + - - + + + - - - - - - - - + + + - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - + - - + + - - - + + + - + - + - - - - + + + + - + - - - + + + - + - - - - + + - - - + + + - - - + + + + + - + - - - + + + - + - + - - - - + + + + - + - - - + + + - + + + + + + + + + + + - - - - + + + + - + - - - + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - - + + From bae0546717645610e252f0ee4522bd79e55cd4d7 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Wed, 28 Aug 2024 12:08:01 +0200 Subject: [PATCH 05/17] linters: refactor code (2) --- .../org.mpsqa.build._080_lint_build.mps | 104 ++++++++++++++++++ .../languages/org.mpsqa.lint/.mps/modules.xml | 1 + ....generic.generator.templates@generator.mps | 15 ++- .../org.mpsqa.lint.generic.behavior.mps | 75 +++---------- .../models/org.mpsqa.lint.generic.editor.mps | 6 +- .../org.mpsqa.lint.generic.typesystem.mps | 68 ++++++------ .../org.mpsqa.lint.generic.mpl | 11 +- ...int.generic.linters_library.filesystem.mps | 2 +- ...psqa.lint.generic.linters_library.meta.mps | 2 +- ...qa.lint.generic.linters_library.models.mps | 2 +- ...a.lint.generic.linters_library.modules.mps | 2 +- ...sqa.lint.generic.linters_library.nodes.mps | 2 +- ...org.mpsqa.lint.generic.linters_library.msd | 2 + .../org.mpsqa.lint.generic.runtime.mps} | 89 +++++++++++---- .../org.mpsqa.lint.generic.runtime.msd | 61 ++++++++++ ...andbox._010_smoke_user_defined_linters.mps | 2 +- .../org.mpsqa.lint.generic.sandbox.msd | 2 + ...ang.linters_library.performance_editor.mps | 2 +- ...linters_library.performance_typesystem.mps | 2 +- ...s_library.performance_typesystem_rules.mps | 2 +- 20 files changed, 314 insertions(+), 138 deletions(-) rename code/languages/org.mpsqa.lint/{languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps => solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps} (97%) create mode 100644 code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd diff --git a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps index f9ecbb8d..0bc16eaa 100644 --- a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps +++ b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps @@ -104,6 +104,7 @@ + @@ -119,8 +120,12 @@ + + + + @@ -375,6 +380,11 @@ + + + + + @@ -416,6 +426,15 @@ + + + + + + + + + @@ -487,6 +506,91 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/.mps/modules.xml b/code/languages/org.mpsqa.lint/.mps/modules.xml index 66bcb755..1450db49 100644 --- a/code/languages/org.mpsqa.lint/.mps/modules.xml +++ b/code/languages/org.mpsqa.lint/.mps/modules.xml @@ -6,6 +6,7 @@ + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps index 23d30577..a746cded 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps @@ -9,10 +9,9 @@ - - + @@ -364,7 +363,7 @@ - + @@ -438,7 +437,7 @@ - + @@ -451,9 +450,9 @@ - - - + + + @@ -472,7 +471,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps index 33a9c311..792852d8 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps @@ -20,8 +20,8 @@ - + @@ -79,9 +79,6 @@ - - - @@ -101,7 +98,6 @@ - @@ -148,7 +144,6 @@ - @@ -197,9 +192,6 @@ - - - @@ -531,7 +523,7 @@ - + @@ -634,7 +626,7 @@ - + @@ -650,7 +642,7 @@ - + @@ -676,7 +668,7 @@ - + @@ -1001,7 +993,7 @@ - + @@ -1015,13 +1007,13 @@ - + - + @@ -1055,7 +1047,7 @@ - + @@ -1076,7 +1068,7 @@ - + @@ -1089,7 +1081,7 @@ - + @@ -1159,13 +1151,13 @@ - + - + @@ -1233,7 +1225,7 @@ - + @@ -1246,7 +1238,7 @@ - + @@ -1295,7 +1287,7 @@ - + @@ -1770,40 +1762,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps index 197d5865..001ebd4d 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps @@ -13,10 +13,10 @@ - + @@ -608,7 +608,7 @@ - + @@ -646,7 +646,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps index 44be6b22..39ec5d3f 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps @@ -11,7 +11,6 @@ - @@ -31,6 +30,7 @@ + @@ -384,7 +384,7 @@ - + @@ -397,7 +397,7 @@ - + @@ -529,7 +529,7 @@ - + @@ -542,7 +542,7 @@ - + @@ -945,9 +945,9 @@ - - - + + + @@ -984,7 +984,7 @@ - + @@ -999,7 +999,7 @@ - + @@ -1050,9 +1050,9 @@ - - - + + + @@ -1094,7 +1094,7 @@ - + @@ -1109,7 +1109,7 @@ - + @@ -1134,7 +1134,7 @@ - + @@ -1156,7 +1156,7 @@ - + @@ -1167,7 +1167,7 @@ - + @@ -1177,7 +1177,7 @@ - + @@ -1192,7 +1192,7 @@ - + @@ -1207,7 +1207,7 @@ - + @@ -1257,7 +1257,7 @@ - + @@ -1279,7 +1279,7 @@ - + @@ -1290,7 +1290,7 @@ - + @@ -1300,7 +1300,7 @@ - + @@ -1315,7 +1315,7 @@ - + @@ -1330,7 +1330,7 @@ - + @@ -1351,7 +1351,7 @@ - + @@ -1373,7 +1373,7 @@ - + @@ -1384,7 +1384,7 @@ - + @@ -1394,7 +1394,7 @@ - + @@ -1409,7 +1409,7 @@ - + @@ -1421,7 +1421,7 @@ - + @@ -1461,7 +1461,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl index 09b52319..24031c5a 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl @@ -1,7 +1,7 @@ - + @@ -28,6 +28,7 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) + b15468d9-435b-45b2-bf51-3f984f734cc4(org.mpsqa.lint.generic.runtime) @@ -72,6 +73,8 @@ + + @@ -90,6 +93,7 @@ 20c6e580-bdc5-4067-8049-d7e3265a86de(jetbrains.mps.typesystemEngine) 446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + b15468d9-435b-45b2-bf51-3f984f734cc4(org.mpsqa.lint.generic.runtime) @@ -154,7 +158,12 @@ + + + + b15468d9-435b-45b2-bf51-3f984f734cc4(org.mpsqa.lint.generic.runtime) + c7fb639f-be78-4307-89b0-b5959c3fa8c8(jetbrains.mps.lang.text) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps index 693a4785..fdfdc795 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps @@ -167,7 +167,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps index 3a74bfbb..22485a44 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps @@ -71,7 +71,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps index 4ab7ffa7..a01050de 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps @@ -214,7 +214,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps index 58798107..bdcb0a51 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps @@ -234,7 +234,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps index c9504e38..8390591d 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps @@ -132,7 +132,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/org.mpsqa.lint.generic.linters_library.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/org.mpsqa.lint.generic.linters_library.msd index ac7bbd4e..967a2405 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/org.mpsqa.lint.generic.linters_library.msd +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/org.mpsqa.lint.generic.linters_library.msd @@ -71,6 +71,8 @@ + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps similarity index 97% rename from code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps rename to code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps index 824042f9..837b6e19 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.util.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps @@ -1,29 +1,34 @@ - + - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + @@ -220,6 +225,7 @@ + @@ -653,7 +659,7 @@ - + @@ -690,7 +696,7 @@ - + @@ -789,11 +795,11 @@ - + - + @@ -850,7 +856,7 @@ - + @@ -1418,9 +1424,9 @@ - + - + @@ -1441,7 +1447,7 @@ - + @@ -2001,5 +2007,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd new file mode 100644 index 00000000..f47ef6e6 --- /dev/null +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd @@ -0,0 +1,61 @@ + + + + + + + + + + + + + + + 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) + ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + 40ab19e9-751a-4433-b645-0e65160e58a0(org.mpsqa.lint.generic) + 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) + 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) + 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps index f9eec2a5..3325b828 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps @@ -131,7 +131,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/org.mpsqa.lint.generic.sandbox.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/org.mpsqa.lint.generic.sandbox.msd index 2784cb86..06cbc7a3 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/org.mpsqa.lint.generic.sandbox.msd +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/org.mpsqa.lint.generic.sandbox.msd @@ -54,6 +54,8 @@ + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps index 9c8a3bce..3e7a76fd 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps @@ -154,7 +154,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem.mps index 01bb34cf..36046bff 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem.mps @@ -67,7 +67,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps index 556646b2..d86e394e 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps @@ -122,7 +122,7 @@ - + From dec5fb96dd033643db36d9323eec0fee91d67f88 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 29 Aug 2024 10:46:00 +0200 Subject: [PATCH 06/17] Revert "org.mpsqa.lint: run the garbage collector only before running the checking rules." This reverts commit 733c56be17d0f413a4d05c51e3a84d0a7db7fc4d. --- ...s_library.performance_typesystem_rules.mps | 51 ++++++++++++++----- 1 file changed, 39 insertions(+), 12 deletions(-) diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps index d86e394e..d8fc9248 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps @@ -118,6 +118,9 @@ + + + @@ -1343,18 +1346,6 @@ - - - - - - - - - - - - @@ -1592,6 +1583,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + From 4aafcee564ab8d9cbcaef5853bd62257b9b6cc67 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 29 Aug 2024 10:48:00 +0200 Subject: [PATCH 07/17] linters: skip evaluation for memory_hungry_checking_rule --- ....mps_lang.linters_library.performance_typesystem_rules.mps | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps index d8fc9248..cf11745d 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps @@ -137,6 +137,9 @@ + + + @@ -1155,6 +1158,7 @@ + From 4a2d2e03aa210e07b95a0aa0bd5f9b5e78d39d27 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Fri, 23 Aug 2024 15:31:36 +0200 Subject: [PATCH 08/17] linters: improve linter UI + separate linters into different categories --- ...rrors_suppressor.pluginSolution.plugin.mps | 1 - .../org.mpsqa.build._080_lint_build.mps | 51 +- ....generic.generator.templates@generator.mps | 1341 +++++- .../org.mpsqa.lint.generic.behavior.mps | 755 ++- .../models/org.mpsqa.lint.generic.editor.mps | 498 +- .../org.mpsqa.lint.generic.structure.mps | 159 +- .../org.mpsqa.lint.generic.typesystem.mps | 2259 ++++++++- .../org.mpsqa.lint.generic.mpl | 8 +- ...int.generic.linters_library.filesystem.mps | 2183 +++++---- ...psqa.lint.generic.linters_library.meta.mps | 203 +- ...qa.lint.generic.linters_library.models.mps | 3487 ++++++-------- ...a.lint.generic.linters_library.modules.mps | 4076 ++++++++--------- ...sqa.lint.generic.linters_library.nodes.mps | 1619 +++---- ...org.mpsqa.lint.generic.linters_library.msd | 4 +- .../models/org.mpsqa.lint.generic.runtime.mps | 2048 +-------- .../org.mpsqa.lint.generic.runtime.msd | 6 - ...andbox._010_smoke_user_defined_linters.mps | 606 ++- .../org.mpsqa.lint.generic.sandbox.msd | 1 - ...s_lang.linters_library.behavior_aspect.mps | 1049 +++-- ...mps_lang.linters_library.build_scripts.mps | 8 +- ...lang.linters_library.constraint_aspect.mps | 214 +- ...t.mps_lang.linters_library.expressions.mps | 127 +- ..._lang.linters_library.generator_aspect.mps | 356 +- ...ang.linters_library.performance_editor.mps | 138 +- ...linters_library.performance_typesystem.mps | 179 +- ...s_library.performance_typesystem_rules.mps | 1323 +++--- ..._lang.linters_library.structure_aspect.mps | 50 +- ...qa.lint.mps_lang.linters_library.tests.mps | 11 +- ...lang.linters_library.typesystem_aspect.mps | 233 +- 29 files changed, 12163 insertions(+), 10830 deletions(-) diff --git a/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/models/org.mpsqa.base.errors_suppressor.pluginSolution.plugin.mps b/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/models/org.mpsqa.base.errors_suppressor.pluginSolution.plugin.mps index e257c2f7..da3f2503 100644 --- a/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/models/org.mpsqa.base.errors_suppressor.pluginSolution.plugin.mps +++ b/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/models/org.mpsqa.base.errors_suppressor.pluginSolution.plugin.mps @@ -20,7 +20,6 @@ - diff --git a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps index 0bc16eaa..807ee433 100644 --- a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps +++ b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps @@ -322,11 +322,6 @@ - - - - - @@ -406,11 +401,6 @@ - - - - - @@ -426,14 +416,28 @@ + + + - - - + + + + + + + + + + + + + + @@ -527,31 +531,11 @@ - - - - - - - - - - - - - - - - - - - - @@ -608,6 +592,7 @@ + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps index a746cded..ffe0bef1 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps @@ -4,6 +4,7 @@ + @@ -11,15 +12,22 @@ - + + + + + - + + + + @@ -31,13 +39,26 @@ + + + + + + + + + + + + + @@ -50,20 +71,27 @@ + + + + + + + @@ -72,9 +100,15 @@ + + + + + + @@ -85,25 +119,37 @@ + + + + + + + + + + + + @@ -112,6 +158,10 @@ + + + + @@ -120,13 +170,23 @@ + + + + + + + + + + @@ -140,6 +200,7 @@ + @@ -160,9 +221,6 @@ - - - @@ -186,20 +244,40 @@ + + + + + + + + + + + + + + + + + + + + @@ -230,131 +308,206 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + @@ -362,23 +515,35 @@ - - - + + + + + - + - - - - - + + + + + + + + + + + + + + + @@ -450,9 +615,9 @@ - - - + + + @@ -471,7 +636,7 @@ - + @@ -531,7 +696,957 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps index 792852d8..cfeed3c9 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps @@ -21,10 +21,10 @@ - + + - @@ -162,6 +162,10 @@ + + + + @@ -191,6 +195,12 @@ + + + + + + @@ -205,12 +215,17 @@ + + + + + @@ -231,6 +246,11 @@ + + + + + @@ -271,6 +291,10 @@ + + + + @@ -303,7 +327,8 @@ - + + @@ -469,6 +494,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -523,7 +575,7 @@ - + @@ -626,7 +678,7 @@ - + @@ -642,7 +694,7 @@ - + @@ -668,7 +720,7 @@ - + @@ -993,7 +1045,7 @@ - + @@ -1007,13 +1059,13 @@ - + - + @@ -1047,7 +1099,7 @@ - + @@ -1068,7 +1120,7 @@ - + @@ -1081,7 +1133,7 @@ - + @@ -1151,13 +1203,13 @@ - + - + @@ -1225,7 +1277,7 @@ - + @@ -1238,7 +1290,7 @@ - + @@ -1287,7 +1339,7 @@ - + @@ -1578,6 +1630,24 @@ + + + + + + + + + + + + + + + + + + @@ -1762,5 +1832,654 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps index 001ebd4d..961baf53 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps @@ -8,7 +8,6 @@ - @@ -16,11 +15,13 @@ - + + + @@ -37,16 +38,17 @@ - + + @@ -71,7 +73,6 @@ - @@ -108,6 +109,7 @@ + @@ -211,6 +213,9 @@ + + + @@ -232,6 +237,9 @@ + + + @@ -241,6 +249,7 @@ + @@ -365,28 +374,36 @@ + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - + - + - + @@ -402,32 +419,32 @@ - - - - - - - - - - + + + - - + + + + + - - + + + + + + - - + + @@ -485,29 +502,20 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - @@ -585,7 +593,7 @@ - + @@ -608,7 +616,7 @@ - + @@ -646,7 +654,7 @@ - + @@ -718,45 +726,47 @@ - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + - - @@ -764,10 +774,17 @@ - - - - + + + + + + + + + + + @@ -799,7 +816,6 @@ - @@ -812,8 +828,9 @@ + - + @@ -824,7 +841,7 @@ - + @@ -851,117 +868,131 @@ - + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + - - - + + + @@ -969,10 +1000,30 @@ + + + + + - - - + + + + + + + + + + + + + + + + + + @@ -1078,9 +1129,8 @@ - - + @@ -1107,7 +1157,7 @@ - + @@ -1176,7 +1226,6 @@ - @@ -1514,30 +1563,36 @@ - - + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + @@ -1548,5 +1603,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps index 9d2888b9..80a67634 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps @@ -9,6 +9,7 @@ + @@ -28,6 +29,7 @@ + @@ -43,6 +45,8 @@ + + @@ -54,6 +58,7 @@ + @@ -104,14 +109,14 @@ - + - - + + @@ -147,9 +152,10 @@ - - - + + + + @@ -235,18 +241,21 @@ - + - + + - + + - + + @@ -360,5 +369,135 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps index 39ec5d3f..e347d7e6 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps @@ -8,6 +8,10 @@ + + + + @@ -30,20 +34,40 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -51,6 +75,7 @@ + @@ -59,6 +84,10 @@ + + + + @@ -68,10 +97,16 @@ + + + + + + @@ -82,6 +117,9 @@ + + + @@ -95,12 +133,16 @@ + + + + @@ -116,10 +158,12 @@ + + @@ -144,6 +188,8 @@ + + @@ -164,9 +210,11 @@ + + @@ -181,6 +229,13 @@ + + + + + + + @@ -195,14 +250,35 @@ + + + + + + + + + + + + + + + + + + + + + @@ -274,6 +350,13 @@ + + + + + + + @@ -303,11 +386,11 @@ + - @@ -345,9 +428,13 @@ + + + + @@ -360,9 +447,12 @@ + + + @@ -384,7 +474,7 @@ - + @@ -397,7 +487,7 @@ - + @@ -529,7 +619,7 @@ - + @@ -542,7 +632,7 @@ - + @@ -664,22 +754,27 @@ - - - - - - - - + + + + + - - - - + + + + + + + + + - - + + + + + @@ -734,28 +829,46 @@ - - - + + + + + + + + - - - + + + + + + - - - + + + - - + + + + + + + + + + + + @@ -919,16 +1032,13 @@ - - - - - - - - + + + + + + - @@ -945,9 +1055,9 @@ - - - + + + @@ -984,7 +1094,7 @@ - + @@ -999,7 +1109,7 @@ - + @@ -1009,21 +1119,18 @@ - - - - - - - - - + + + + - - + + - + + + @@ -1050,9 +1157,9 @@ - - - + + + @@ -1094,7 +1201,7 @@ - + @@ -1109,7 +1216,7 @@ - + @@ -1122,27 +1229,225 @@ - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1156,7 +1461,7 @@ - + @@ -1167,7 +1472,7 @@ - + @@ -1177,11 +1482,11 @@ - + - + @@ -1192,7 +1497,7 @@ - + @@ -1200,14 +1505,14 @@ - + - + @@ -1226,7 +1531,7 @@ - + @@ -1242,30 +1547,11 @@ - + - - - - - - - - - - - - - - - - - - - @@ -1279,7 +1565,7 @@ - + @@ -1290,7 +1576,7 @@ - + @@ -1300,11 +1586,11 @@ - + - + @@ -1315,7 +1601,7 @@ - + @@ -1323,14 +1609,14 @@ - + - + @@ -1341,25 +1627,6 @@ - - - - - - - - - - - - - - - - - - - @@ -1373,7 +1640,7 @@ - + @@ -1384,7 +1651,7 @@ - + @@ -1394,11 +1661,11 @@ - + - + @@ -1409,7 +1676,7 @@ - + @@ -1421,11 +1688,11 @@ - + - + @@ -1443,7 +1710,7 @@ - + @@ -1461,7 +1728,7 @@ - + @@ -2147,23 +2414,62 @@ + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + - + - - + + + + + + + + + + + + @@ -2192,9 +2498,16 @@ - - - + + + + + + + + + + @@ -2474,5 +2787,1647 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl index 24031c5a..c68764ba 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/org.mpsqa.lint.generic.mpl @@ -45,6 +45,7 @@ + @@ -56,6 +57,7 @@ + @@ -91,9 +93,10 @@ 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 20c6e580-bdc5-4067-8049-d7e3265a86de(jetbrains.mps.typesystemEngine) - 446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - b15468d9-435b-45b2-bf51-3f984f734cc4(org.mpsqa.lint.generic.runtime) + c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) + 1a8554c4-eb84-43ba-8c34-6f0d90c6e75a(jetbrains.mps.lang.smodel.query) + b15468d9-435b-45b2-bf51-3f984f734cc4(org.mpsqa.lint.generic.runtime) @@ -152,6 +155,7 @@ + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps index fdfdc795..7654cab7 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps @@ -11,6 +11,7 @@ + @@ -30,6 +31,7 @@ + @@ -57,6 +59,7 @@ + @@ -70,6 +73,7 @@ + @@ -144,14 +148,17 @@ + + + + - @@ -179,23 +186,21 @@ + + + + + - - - - - - - - - - + + + @@ -206,6 +211,7 @@ + @@ -214,13 +220,6 @@ - - - - - - - @@ -239,6 +238,7 @@ + @@ -252,265 +252,183 @@ - - + + - - - + + - - - + + + - - - + + - + - - - + + + - - + + - - - - - + + + + + - + - + - - + + - + - - - + + + - - + + - + - - - + + - - + + - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - + + - - - - - - - - - - + + - - - + + + + + + + + - - - - - + + + + + + + + @@ -549,12 +467,10 @@ - + - - - + @@ -571,378 +487,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -958,7 +502,15 @@ - + + + + + + + + + @@ -975,11 +527,11 @@ - - - + + + @@ -987,466 +539,155 @@ + - + - + - + + + - + - + - - - - - - - + + + + - - - + + - - - + + + - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - + + - - - - - - - - - - - - - - - + + - - - - - - - - - - + + + + + + - - - - - - - - - - + + + + + - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - + + + + + - - - - + + + + + + + - + - + - + @@ -1470,6 +711,7 @@ + @@ -1478,12 +720,16 @@ - + + + + + @@ -1531,11 +777,8 @@ - - - - - + + @@ -1598,6 +841,984 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps index 22485a44..1a40461b 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps @@ -89,10 +89,10 @@ - - + + - + @@ -146,6 +146,8 @@ + + @@ -370,7 +372,7 @@ - + @@ -424,10 +426,12 @@ - + + - + + @@ -436,14 +440,12 @@ - + - + - - - + @@ -468,7 +470,7 @@ - + @@ -477,7 +479,8 @@ - + + @@ -513,64 +516,32 @@ - - - - - - - - - - - + + - - + + - - + + - - - + - + - - - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + @@ -695,7 +666,7 @@ - + @@ -755,26 +726,26 @@ - + + - + + - + + + - - - - + + - - - + @@ -817,14 +788,11 @@ - - - - + - + @@ -844,22 +812,20 @@ - - - - - - - + + - - + + - + + + + @@ -900,40 +866,37 @@ - - - - - + + - - + + - - - - + + - + - + + - + + - + - - + + - - + + - - + + @@ -957,34 +920,12 @@ - + + - + - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps index a01050de..99f4d6eb 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps @@ -10,7 +10,6 @@ - @@ -26,7 +25,6 @@ - @@ -39,6 +37,7 @@ + @@ -173,9 +172,7 @@ - - - + @@ -201,7 +198,6 @@ - @@ -226,6 +222,11 @@ + + + + + @@ -239,10 +240,10 @@ - - + + - + @@ -257,11 +258,6 @@ - - - - - @@ -284,8 +280,15 @@ + + + + + + + @@ -322,6 +325,7 @@ + @@ -337,6 +341,7 @@ + @@ -352,6 +357,9 @@ + + + @@ -364,190 +372,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -566,7 +390,7 @@ - + @@ -603,131 +427,133 @@ - - - - - - - - + + + + - - + + - - - + + + - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - + + + + + + + + + + + + + - - + + + + + - + + + + + + + + + + - - - + + + + + + + @@ -752,7 +578,73 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -765,11 +657,19 @@ - + + + + + - + + + + + @@ -845,45 +745,37 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - + + + + + + + + + + + + + - - + + - - - - - + + @@ -896,45 +788,37 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - + + + + + + + + + + + + + - - + + - - - - - + + @@ -1091,13 +975,13 @@ - + - + @@ -1131,25 +1015,17 @@ - - + + - - - - - + - - - - - - + + @@ -1169,440 +1045,383 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - + + + + + + + @@ -1634,7 +1453,7 @@ - + @@ -1706,13 +1525,17 @@ - - - - + + + + - - + + + + + + @@ -1908,460 +1731,182 @@ - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - + + - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - + + + - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - + + - - + + - - - + + + - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - + + + + + @@ -2369,152 +1914,231 @@ - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - + + + - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - + + - - - + + + + - - - - - - - - - + + + + + + + + + + - - - + + + + + + + + @@ -2527,19 +2151,10 @@ - - - - - - - - - - + - - + + @@ -2563,13 +2178,19 @@ - + - - + + - - + + + + + + + + @@ -2589,33 +2210,18 @@ - + - - - - - - - - - - - - - - - - - + + - + - + @@ -2629,7 +2235,7 @@ - + @@ -2658,167 +2264,99 @@ + + + - + + - + - + - - - - - - - + + + + - - + + - - - + + + - - - - - + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + - + + + + + + + + - - - + + + + + + + + @@ -2831,19 +2369,10 @@ - - - - - - - - - - + - - + + @@ -2852,13 +2381,16 @@ - + - - + + - - + + + + + @@ -2882,70 +2414,42 @@ - - - - - - - - - - - - - - - - - + + + - + - + - - - - - - - - - - - - - - - - - + + + - + - + - + - + - + - + - + @@ -2959,7 +2463,7 @@ - + @@ -2989,25 +2493,93 @@ + + + - + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3067,71 +2639,59 @@ - - - - - - - - + + - + - + - + - + - + - - + + - - + + - + - - - - - - - - + + - + - + - + - + - + - + - - + + @@ -3147,34 +2707,32 @@ - - - - - - - + - - + + - - + + - - + + - - + + - + + + + - + + @@ -3187,29 +2745,17 @@ - - + + - - - - - - - + - - - - - - - + @@ -3267,37 +2813,16 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - + + @@ -3351,11 +2876,8 @@ - - - - - + + @@ -3443,12 +2965,10 @@ - + - - - + @@ -3457,22 +2977,18 @@ - + - - - - - - - - + + + + @@ -3490,206 +3006,190 @@ - - - - + + + + + + + + + + + + - - - - - - - + + - - - - - - - + + + - - - + + + - - + + - - + + - - - - - - - - + + + + + + + + + + + - - + + - + - + - + - - - - - - - + + + + + + + + + + + + + + + + + - + - - + + - - + + - - + + - + - - - + + + - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - + + + + - - - - - - - - @@ -3702,17 +3202,9 @@ - - - - - + - - - - @@ -3730,34 +3222,13 @@ - - - - - - - - - - - - - - - - - - + - - - - @@ -3788,23 +3259,12 @@ - - - - - - - - - - - - - - - - - + + + + + + @@ -3831,6 +3291,7 @@ + @@ -3861,13 +3322,16 @@ - + + + - + + @@ -3900,48 +3364,47 @@ - + + - - - - - + + + - - + + - + - + - + - + - + - + - + - + - + - - + + @@ -4030,48 +3493,49 @@ - - - - - + + + - - + + - + - + - + - + - + - + - + - + - - + + + - + + - - + + + @@ -4161,212 +3625,165 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + - - - - - - + + - - - - - + + + + + - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - + + + + + + + + + + - + @@ -4374,30 +3791,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps index bdcb0a51..37cbc289 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps @@ -32,7 +32,6 @@ - @@ -246,6 +245,11 @@ + + + + + @@ -253,10 +257,10 @@ - - + + - + @@ -311,12 +315,6 @@ - - - - - - @@ -334,8 +332,12 @@ + + + + @@ -439,336 +441,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -778,7 +450,7 @@ - + @@ -863,117 +535,390 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + - - - + + + - - - - - - - - - + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1011,37 +956,42 @@ - - - - - - - - - + + + + + + + + + - - + + + + + + + + + + - - - - - - - - + + + + + + + + - - + + - - - @@ -1123,7 +1073,7 @@ - + @@ -1149,7 +1099,8 @@ - + + @@ -1220,13 +1171,17 @@ - - - - + + + + - - + + + + + + @@ -1500,14 +1455,14 @@ - + - + @@ -1515,18 +1470,6 @@ - - - - - - - - - - - - @@ -1608,13 +1551,13 @@ - + - + @@ -1666,29 +1609,17 @@ - - + + - - - - - - - + - - - - - - - - + + @@ -1708,658 +1639,574 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + - - + + - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + - + + + + + + + @@ -2432,6 +2279,9 @@ + + + @@ -2448,14 +2298,11 @@ - + - - - - + @@ -2496,7 +2343,7 @@ - + @@ -2512,53 +2359,56 @@ - + + - - + + + - - + + - + - + - + - + - + - + - + - + - + - + + - + - + - + @@ -2766,121 +2616,164 @@ - + + - + + + + - + + + + + + + + + + + + - + + - + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + @@ -2889,166 +2782,91 @@ - - - - + + + + - - + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - + + + - - - + + + + @@ -3073,18 +2891,12 @@ - - + + - + - - - - - - @@ -3119,8 +2931,8 @@ - - + + @@ -3167,518 +2979,478 @@ - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + - - + + + + + - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - + + + + - - + + + + + + + + + + + + + - - - - - - - - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + - - - - + + + - - - - - - - + + - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - + + + + + - - + + - - - + + + + + + + + + + + - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - + + - - - - - - - + + - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - + + @@ -3686,23 +3458,40 @@ - - - + + + + + + + + - - + + + + + + + - + + + + + + + + - + @@ -4001,7 +3790,7 @@ - + @@ -4011,7 +3800,7 @@ - + @@ -4129,7 +3918,7 @@ - + @@ -4141,7 +3930,7 @@ - + @@ -4239,7 +4028,7 @@ - + @@ -4251,7 +4040,7 @@ - + @@ -5967,23 +5756,8 @@ - - - - - - - - - - - - - - - - - + + @@ -6044,11 +5818,8 @@ - - - - - + + @@ -6063,7 +5834,7 @@ - + @@ -6095,10 +5866,11 @@ - + + - + @@ -6109,18 +5881,24 @@ + + - - - - - + + + - - + + + + + - + + + + @@ -6129,7 +5907,7 @@ - + @@ -6140,17 +5918,11 @@ - + - - - - - - - - + + @@ -6215,11 +5987,11 @@ - + - + @@ -6303,12 +6075,7 @@ - - - - - - + @@ -6343,8 +6110,16 @@ - - + + + + + + + + + + @@ -6360,124 +6135,80 @@ - - - + + + + + + + - - - - - - - - - - + + + + + + + + + - - - - - - - - - - + + + + + + + + - - - - - - - - - + + + + + - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - + + + + - - - - - - - + + - - - - - - - - + + + + + + + + @@ -6491,14 +6222,6 @@ - - - - - - - - @@ -6583,7 +6306,7 @@ - + @@ -6601,7 +6324,7 @@ - + @@ -6610,7 +6333,7 @@ - + @@ -6623,127 +6346,76 @@ - - - - + + + + - - - - - - - - + + - - - - - - - - - + + + - - + + - - + + - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -6751,11 +6423,10 @@ - - - - + + + @@ -6864,7 +6535,7 @@ - + @@ -6877,42 +6548,44 @@ - + + - - + + + - - + + - + - + - + - + - + - + - + - + - - + + @@ -7347,115 +7020,154 @@ - + + - - + + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - + + - - + + - + - - - + - + - + - + - + - + - + - + - + - + - + - - + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + @@ -7477,38 +7189,41 @@ - - + + + - - + + - + - + - + - + - - + + + - - + + + - + - + - + @@ -7648,7 +7363,7 @@ - + @@ -7658,7 +7373,7 @@ - + @@ -8385,30 +8100,35 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8512,7 +8232,7 @@ - + @@ -8527,14 +8247,11 @@ - + - - - - + @@ -8637,7 +8354,10 @@ - + + + + @@ -8688,147 +8408,153 @@ - + + - - + + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + + - - + + - + - + - + - + - + - + - + - + - + - + - + - - + + + - - + + - + - + - + - + - + - - + + + - - + + + - + - + - + - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps index 8390591d..75bb68a5 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps @@ -64,6 +64,9 @@ + + + @@ -147,14 +150,21 @@ + + + + + + + - - + + - + @@ -162,11 +172,6 @@ - - - - - @@ -195,7 +200,6 @@ - @@ -238,6 +242,9 @@ + + + @@ -348,22 +355,22 @@ - - + + - - - + + + - - + + - - + + - - + + @@ -373,24 +380,24 @@ - - + + - + - - + + - + - - + + @@ -482,321 +489,211 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - + @@ -821,7 +718,10 @@ - + + + + @@ -832,19 +732,20 @@ - + - - - + - + + + + @@ -855,246 +756,195 @@ - + - - - - + + + + - - + + - - + + - - - + + + - - + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + - - - - - + + - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + @@ -1140,13 +990,13 @@ - + - + - + @@ -1164,7 +1014,7 @@ - + @@ -1195,10 +1045,10 @@ - + - + @@ -1209,20 +1059,20 @@ - + - - - + + + - + @@ -1235,8 +1085,9 @@ - - + + + @@ -1268,135 +1119,67 @@ - - - - - + + + + + + + + + + - - - - - + + + + + + + - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - @@ -1426,37 +1209,50 @@ - + - - + + - - + + + - + + + + + + - + + - - + + + - + + - - + + + - + + + + - + - - + + @@ -1495,7 +1291,7 @@ - + @@ -1504,7 +1300,7 @@ - + @@ -1513,7 +1309,7 @@ - + @@ -1525,19 +1321,30 @@ - + - - + + + - - + + + - - + + + + + + + + + + - - + + + @@ -1644,7 +1451,7 @@ - + @@ -1812,56 +1619,60 @@ - + - - - - - + + + - + - + - + - + - - - - - + + + - - + + - + - + - + - + - - + + + + + + + + + + @@ -1884,182 +1695,73 @@ - - - - - + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - + + + + + + + + @@ -2068,14 +1770,6 @@ - - - - - - - - @@ -2106,21 +1800,18 @@ - - - - - - - + + + + - + @@ -2146,13 +1837,10 @@ - - + + - - - - + @@ -2168,6 +1856,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2183,9 +1919,10 @@ + - + @@ -2211,37 +1948,85 @@ - - + + - - - - + - + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - + - + @@ -2589,7 +2374,7 @@ - + @@ -2787,7 +2572,7 @@ - + @@ -2993,7 +2778,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/org.mpsqa.lint.generic.linters_library.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/org.mpsqa.lint.generic.linters_library.msd index 967a2405..b8cadae1 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/org.mpsqa.lint.generic.linters_library.msd +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/org.mpsqa.lint.generic.linters_library.msd @@ -13,7 +13,7 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) + 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) @@ -33,6 +33,7 @@ + @@ -71,7 +72,6 @@ - diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps index 837b6e19..80086ffe 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps @@ -1,34 +1,17 @@ - + - - - + - + - - - - - - - - - - - - - - - @@ -38,60 +21,23 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -99,43 +45,26 @@ - - - - - - - - - - - - - - - - - - - - - - + + + + + + - @@ -147,23 +76,12 @@ - - - - - - - - - - - @@ -171,19 +89,8 @@ - - - - - - - - - - - - + @@ -193,8 +100,6 @@ - - @@ -203,53 +108,28 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - + + + @@ -260,1787 +140,271 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + + + - - + + + + + - - - - - + + + + - - - - - + + - + - + - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - + + + - - - - - - - - - - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd index f47ef6e6..47fca930 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd @@ -12,11 +12,7 @@ - 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) - ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - 40ab19e9-751a-4433-b645-0e65160e58a0(org.mpsqa.lint.generic) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) - 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) @@ -50,10 +46,8 @@ - - diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps index 3325b828..c0c01959 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps @@ -124,7 +124,6 @@ - @@ -143,13 +142,18 @@ + + + + + - - + + - + @@ -157,19 +161,13 @@ - - - - - - - + @@ -180,13 +178,6 @@ - - - - - - - @@ -212,8 +203,75 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -227,247 +285,210 @@ - - - - - + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + - - - - - - - + + - - - - - - - - - - - - + + + + - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + - - - - - + + - - - - - - + + + + + + + + + + + - + + + + + + @@ -476,100 +497,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -638,13 +565,18 @@ - - - - - - - + + + + + + + + + + + + @@ -786,13 +718,13 @@ - + - + @@ -834,7 +766,7 @@ - + @@ -901,12 +833,10 @@ - + - - - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/org.mpsqa.lint.generic.sandbox.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/org.mpsqa.lint.generic.sandbox.msd index 06cbc7a3..6afa64ae 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/org.mpsqa.lint.generic.sandbox.msd +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/org.mpsqa.lint.generic.sandbox.msd @@ -54,7 +54,6 @@ - diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.behavior_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.behavior_aspect.mps index 026c0a26..bef40159 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.behavior_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.behavior_aspect.mps @@ -98,12 +98,15 @@ - + + + + + - - + + - @@ -130,7 +133,9 @@ - + + + @@ -149,6 +154,8 @@ + + @@ -157,13 +164,6 @@ - - - - - - - @@ -183,6 +183,7 @@ + @@ -252,8 +253,22 @@ - - + + + + + + + + + + + + + + + + @@ -264,597 +279,590 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + - - + + - - + + - - - + + + - - + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + - - - - - - - - - - - - - - - - + + + + + - - - - - - - + + + + + + + - - - - - - - + + + + + + + + + + + + + - - - - + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - + + + + + + - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - + + - - - - + + - - + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - + + - - - - - - - - - + + + + - - - - - - + + - - + + - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - + + - - - - - + + + + + + + + + - - + + + + + + - - + + - - - - - - - - + + + + + + + + + + + + + - - + + @@ -862,13 +870,53 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + @@ -896,13 +944,10 @@ - + - - - - + @@ -941,140 +986,132 @@ - - - - + + + + + - - + + - - + + - - - + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - - - - - - - - - + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.build_scripts.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.build_scripts.mps index 728ae556..0ae44d4d 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.build_scripts.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.build_scripts.mps @@ -117,10 +117,10 @@ - - + + - + @@ -471,7 +471,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.constraint_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.constraint_aspect.mps index ebb6b450..2c85d97d 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.constraint_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.constraint_aspect.mps @@ -16,9 +16,6 @@ - - - @@ -76,22 +73,21 @@ - + + + + + - - + + - - - - - - - - + + + @@ -115,13 +111,6 @@ - - - - - - - @@ -129,14 +118,6 @@ - - - - - - - - @@ -153,134 +134,117 @@ - + - - - - - - - - - - + - - - - + + + + + - - + + - - + + - - - + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - - - - - - - - - + + + + + - - - - + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + - - - + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.expressions.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.expressions.mps index 3dc381e6..b5968037 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.expressions.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.expressions.mps @@ -115,10 +115,10 @@ - - + + - + @@ -172,6 +172,8 @@ + + @@ -230,6 +232,7 @@ + @@ -243,14 +246,12 @@ - - - - - + + + - + @@ -260,6 +261,7 @@ + @@ -273,26 +275,24 @@ - - - - - - - - + + + - + + + - + + @@ -309,14 +309,15 @@ + - - + + - + @@ -327,12 +328,14 @@ + + @@ -342,7 +345,8 @@ - + + @@ -359,258 +363,335 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.generator_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.generator_aspect.mps index 6792e978..960608c0 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.generator_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.generator_aspect.mps @@ -11,13 +11,11 @@ + - - - @@ -34,6 +32,9 @@ + + + @@ -44,6 +45,7 @@ + @@ -61,6 +63,12 @@ + + + + + + @@ -71,12 +79,15 @@ - + + + + + - - + + - @@ -86,9 +97,6 @@ - - - @@ -96,6 +104,9 @@ + + + @@ -108,6 +119,7 @@ + @@ -116,13 +128,6 @@ - - - - - - - @@ -130,14 +135,6 @@ - - - - - - - - @@ -150,12 +147,9 @@ - + - - - @@ -166,7 +160,10 @@ - + + + + @@ -206,12 +203,7 @@ - - - - - - + @@ -219,96 +211,106 @@ - - - - + + + + + - - + + + + + + - - - + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - + + - - - - - - - - - - - - - + + - - + + + + + + + + + + + + + + + - - - + + + + @@ -319,32 +321,31 @@ - + - - - - - + + - - + + - + + - + + @@ -392,92 +393,81 @@ - - - - + + + + + - - + + + + + + - - - + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - + + - - + + + + + + + + + + + - - - + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps index 3e7a76fd..c2aebff1 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps @@ -169,10 +169,10 @@ - - + + - + @@ -205,8 +205,11 @@ + + + @@ -371,50 +374,52 @@ - + + - - + + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + @@ -504,47 +509,48 @@ - - + + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + @@ -634,76 +640,78 @@ - - + + + - - + + - + - + - + - + - + - + - + - + - - + + + - - + + - + - + - + - + - + - + - + - + - + - + - + @@ -1149,7 +1157,7 @@ - + @@ -1215,7 +1223,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem.mps index 36046bff..2361b594 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem.mps @@ -85,10 +85,10 @@ - - + + - + @@ -100,8 +100,11 @@ + + + @@ -219,15 +222,17 @@ - + + + - + @@ -355,9 +360,10 @@ + - + @@ -485,9 +491,10 @@ + - + @@ -666,53 +673,55 @@ - + + - - + + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -802,38 +811,39 @@ - - + + + - - + + - + - + - + - + - + - + - + - + - + @@ -923,35 +933,36 @@ - - + + + - - + + - + - + - + - + - + - + - + - + @@ -1076,11 +1087,8 @@ - - - - - + + @@ -1090,50 +1098,52 @@ - + + - - + + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + @@ -1223,35 +1233,36 @@ - - + + + - - + + - + - + - + - + - + - + - + - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps index cf11745d..4ab7af0a 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps @@ -26,9 +26,6 @@ - - - @@ -46,7 +43,6 @@ - @@ -110,17 +106,6 @@ - - - - - - - - - - - @@ -143,17 +128,10 @@ - - - - - - - - - - + + + @@ -189,6 +167,9 @@ + + + @@ -347,7 +328,7 @@ - + @@ -444,407 +425,372 @@ - - - - - - - - - + + + + + - - - - - - - - - - + + + + + + - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + - - - - + + + - + - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + - - + + + + + + + + + + + + + - - - - - - + + + + + + + + + - - - - - - + + + + + - - - - - - - - - - - + + + + + + + + - - - + + + - - - - - + + - - - - - - - - - - - - - - - + + + + + + - - - - + + + + - - - - - - - - - - - - + + + + - - - - - - - - - + + + + + - - - - + + + + + + + + - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + - - + + - - + + - - - - - + + - - - - - + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + @@ -1006,15 +952,17 @@ - + + + - + @@ -1038,7 +986,8 @@ - + + @@ -1066,9 +1015,10 @@ + - + @@ -1105,9 +1055,10 @@ + - + @@ -1128,7 +1079,7 @@ - + @@ -1268,7 +1219,7 @@ - + @@ -1350,6 +1301,18 @@ + + + + + + + + + + + + @@ -1429,451 +1392,380 @@ - - - - - - - - - + + + + + - - - - - - - - - - + + + + + + - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + - - - - + + + - + - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + - - + + + + + + + + - - - - - - - - + + + + + + + + + + + + + - - - - + + + + + + + + + - - - - - - - - - - - + + + + + - - - - - - - - - - - + + + + + + + + + + - - - - - + + + + - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - + + + + + - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - + + - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - + + + + - - - - + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + - - + + - - + + - - - - - + + - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - + + + @@ -1985,15 +1877,17 @@ - + + + - + @@ -2017,7 +1911,8 @@ - + + @@ -2045,9 +1940,10 @@ + - + @@ -2084,9 +1980,10 @@ + - + @@ -2107,7 +2004,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.structure_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.structure_aspect.mps index 7d669ad8..e8451222 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.structure_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.structure_aspect.mps @@ -87,10 +87,10 @@ - - + + - + @@ -122,6 +122,7 @@ + @@ -179,13 +180,16 @@ - + + + - + + @@ -208,8 +212,15 @@ + + + + + + + @@ -218,20 +229,11 @@ - - - - - - - - - - - + + - + @@ -284,7 +286,10 @@ - + + + + @@ -292,11 +297,8 @@ - - - - - + + @@ -381,7 +383,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.tests.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.tests.mps index 26fdbfe0..f8c41502 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.tests.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.tests.mps @@ -81,10 +81,10 @@ - - + + - + @@ -433,7 +433,7 @@ - + @@ -502,6 +502,9 @@ + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps index c2f12cde..ada74ff8 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps @@ -19,9 +19,6 @@ - - - @@ -79,22 +76,21 @@ - + + + + + - - + + - - - - - - - - + + + @@ -121,13 +117,6 @@ - - - - - - - @@ -135,14 +124,6 @@ - - - - - - - - @@ -196,135 +177,127 @@ - - - - + + + + + - - + + - - + + - - - + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + - - + + - - + + + + + + + + + + + + + + + + - - - + + + + From 58b8e462076ac4ae808128d7e42da35ef54336ae Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 29 Aug 2024 16:36:55 +0200 Subject: [PATCH 09/17] linters: rename forwardException to formatException --- .../org.mpsqa.lint.generic.generator.templates@generator.mps | 2 +- .../models/org.mpsqa.lint.generic.editor.mps | 2 +- .../models/org.mpsqa.lint.generic.structure.mps | 4 ++-- .../models/org.mpsqa.lint.generic.typesystem.mps | 2 +- .../org.mpsqa.lint.generic.linters_library.filesystem.mps | 2 +- .../models/org.mpsqa.lint.generic.linters_library.models.mps | 2 +- .../models/org.mpsqa.lint.generic.linters_library.modules.mps | 2 +- ...a.lint.generic.sandbox._010_smoke_user_defined_linters.mps | 2 +- 8 files changed, 9 insertions(+), 9 deletions(-) diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps index ffe0bef1..3b4c4835 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/generator/templates/org.mpsqa.lint.generic.generator.templates@generator.mps @@ -699,7 +699,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps index 961baf53..f5d0bff2 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.editor.mps @@ -1624,7 +1624,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps index 80a67634..c683a6a5 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.structure.mps @@ -451,8 +451,8 @@ - - + + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps index e347d7e6..6c478a47 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps @@ -2829,7 +2829,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps index 7654cab7..12bf30b5 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.filesystem.mps @@ -187,7 +187,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps index 99f4d6eb..4cabeaf1 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps @@ -222,7 +222,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps index 37cbc289..69277fec 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps @@ -246,7 +246,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps index c0c01959..60115e7c 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.sandbox/models/org.mpsqa.lint.generic.sandbox._010_smoke_user_defined_linters.mps @@ -143,7 +143,7 @@ - + From 30d4a164fa5c5482d75817bd974df21df7d3106b Mon Sep 17 00:00:00 2001 From: danielratiu Date: Mon, 2 Sep 2024 17:47:00 +0200 Subject: [PATCH 10/17] feature/improved generator profiler (#186) * lint: added a linter for performance of generators * profile: improved implementation * lint: removed linter for generator performance since it does not work * fixed linter code * ran migration * build_all_scripts * build: added build for "profile" project * build: added build for "profile" project --- build.gradle | 5 + .../org.mpsqa.build._090_profile_build.mps | 406 +++ .../org.mpsqa.build._100_allInOne_build.mps | 7 + ...qa.lint.generic.linters_library.models.mps | 7 +- .../org.mpsqa.profile/.mps/modules.xml | 2 + .../org.mpsqa.profile.generator.behavior.mps | 312 ++ ...rg.mpsqa.profile.generator.constraints.mps | 19 + .../org.mpsqa.profile.generator.editor.mps | 130 + .../org.mpsqa.profile.generator.structure.mps | 57 + ...org.mpsqa.profile.generator.typesystem.mps | 11 + .../org.mpsqa.profile.generator.mpl | 62 + ...rofile.generator.pluginSolution.plugin.mps | 2514 ++++++++++++----- ...mpsqa.profile.generator.pluginSolution.msd | 8 + ...a.profile.generator.sandbox._010_smoke.mps | 27 + .../org.mpsqa.profile.generator.sandbox.msd | 22 + 15 files changed, 2833 insertions(+), 756 deletions(-) create mode 100644 code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._090_profile_build.mps create mode 100644 code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.behavior.mps create mode 100644 code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.constraints.mps create mode 100644 code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.editor.mps create mode 100644 code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.structure.mps create mode 100644 code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.typesystem.mps create mode 100644 code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/org.mpsqa.profile.generator.mpl create mode 100644 code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/models/org.mpsqa.profile.generator.sandbox._010_smoke.mps create mode 100644 code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/org.mpsqa.profile.generator.sandbox.msd diff --git a/build.gradle b/build.gradle index c12e6295..02ec60db 100644 --- a/build.gradle +++ b/build.gradle @@ -216,6 +216,10 @@ task build_lint_analysis_languages(type: BuildLanguages, dependsOn: []) { script scriptFile("build-lint-analysis-languages.xml") } +task build_profile_languages(type: BuildLanguages, dependsOn: []) { + script scriptFile("build-profile-languages.xml") +} + task build_sandboxes(type: BuildLanguages) { dependsOn 'build_base_languages' dependsOn 'build_unused_languages' @@ -234,6 +238,7 @@ tasks.register('build_main_languages') { dependsOn 'build_arch_languages' dependsOn 'build_deprecation_analysis_languages' dependsOn 'build_lint_analysis_languages' + dependsOn 'build_profile_languages' } tasks.register('build_all_languages') { diff --git a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._090_profile_build.mps b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._090_profile_build.mps new file mode 100644 index 00000000..af0573ff --- /dev/null +++ b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._090_profile_build.mps @@ -0,0 +1,406 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._100_allInOne_build.mps b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._100_allInOne_build.mps index 0b02c3b8..9de4defc 100644 --- a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._100_allInOne_build.mps +++ b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._100_allInOne_build.mps @@ -15,6 +15,7 @@ + @@ -207,6 +208,9 @@ + + + @@ -272,6 +276,9 @@ + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps index 4cabeaf1..cc9e77a1 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps @@ -61,6 +61,9 @@ + + + @@ -3077,8 +3080,8 @@ - - + + diff --git a/code/languages/org.mpsqa.profile/.mps/modules.xml b/code/languages/org.mpsqa.profile/.mps/modules.xml index fe18a1ab..ef5a26cb 100644 --- a/code/languages/org.mpsqa.profile/.mps/modules.xml +++ b/code/languages/org.mpsqa.profile/.mps/modules.xml @@ -2,7 +2,9 @@ + + \ No newline at end of file diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.behavior.mps b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.behavior.mps new file mode 100644 index 00000000..8602036d --- /dev/null +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.behavior.mps @@ -0,0 +1,312 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.constraints.mps b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.constraints.mps new file mode 100644 index 00000000..6fde4d51 --- /dev/null +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.constraints.mps @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.editor.mps b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.editor.mps new file mode 100644 index 00000000..5c9ef75e --- /dev/null +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.editor.mps @@ -0,0 +1,130 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.structure.mps b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.structure.mps new file mode 100644 index 00000000..6611aa03 --- /dev/null +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.structure.mps @@ -0,0 +1,57 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.typesystem.mps b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.typesystem.mps new file mode 100644 index 00000000..e2650716 --- /dev/null +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.typesystem.mps @@ -0,0 +1,11 @@ + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/org.mpsqa.profile.generator.mpl b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/org.mpsqa.profile.generator.mpl new file mode 100644 index 00000000..1f5c1efe --- /dev/null +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/org.mpsqa.profile.generator.mpl @@ -0,0 +1,62 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/models/org.mpsqa.profile.generator.pluginSolution.plugin.mps b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/models/org.mpsqa.profile.generator.pluginSolution.plugin.mps index 8483a844..03d29343 100644 --- a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/models/org.mpsqa.profile.generator.pluginSolution.plugin.mps +++ b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/models/org.mpsqa.profile.generator.pluginSolution.plugin.mps @@ -38,7 +38,15 @@ + + + + + + + + @@ -61,6 +69,8 @@ + + @@ -74,16 +84,20 @@ + + + + - - - + + + @@ -103,10 +117,10 @@ + - @@ -114,8 +128,16 @@ + + + + + + + + @@ -125,12 +147,16 @@ + + + + @@ -145,6 +171,7 @@ + @@ -158,6 +185,9 @@ + + + @@ -172,7 +202,9 @@ - + + + @@ -185,18 +217,16 @@ - - - - + + - - - + + + @@ -211,6 +241,7 @@ + @@ -219,7 +250,9 @@ - + + + @@ -227,19 +260,48 @@ + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -258,6 +320,7 @@ + @@ -276,8 +339,24 @@ + + + + + + + + + + + + + + + + @@ -314,449 +393,56 @@ - - - - - - - + + + + + + - - - - - - - - - - + + + + + + + - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - @@ -774,7 +460,7 @@ - + @@ -783,291 +469,701 @@ + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - + + + - - - - + + + + - - - + + + + - - - - - - - - + + + + - - - - - - - - - - - + + + + + - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - + + + - - + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - + + - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1164,37 +1260,95 @@ - - - - + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1268,22 +1422,27 @@ + + + + + + - - + - - + + - - + + @@ -1315,18 +1474,22 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -1362,61 +1525,904 @@ - - - - - + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + - - - - - - + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/org.mpsqa.profile.generator.pluginSolution.msd b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/org.mpsqa.profile.generator.pluginSolution.msd index 9b2d64df..9d0d702a 100644 --- a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/org.mpsqa.profile.generator.pluginSolution.msd +++ b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/org.mpsqa.profile.generator.pluginSolution.msd @@ -20,6 +20,8 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi) 215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator) + b401a680-8325-4110-8fd3-84331ff25bef(jetbrains.mps.lang.generator) + f2dcc147-aab4-4104-b1ec-d894be52ada2(org.mpsqa.profile.generator) @@ -46,12 +48,18 @@ + + + + + + diff --git a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/models/org.mpsqa.profile.generator.sandbox._010_smoke.mps b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/models/org.mpsqa.profile.generator.sandbox._010_smoke.mps new file mode 100644 index 00000000..e7043a55 --- /dev/null +++ b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/models/org.mpsqa.profile.generator.sandbox._010_smoke.mps @@ -0,0 +1,27 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/org.mpsqa.profile.generator.sandbox.msd b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/org.mpsqa.profile.generator.sandbox.msd new file mode 100644 index 00000000..79f855f5 --- /dev/null +++ b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/org.mpsqa.profile.generator.sandbox.msd @@ -0,0 +1,22 @@ + + + + + + + + + + + + + + + + + + + + + + From 9029e535a6bf5e2d224d291ea4dc3607284b9f7e Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Mon, 9 Sep 2024 23:05:00 +0200 Subject: [PATCH 11/17] linters: work on a copy instead of detaching the root node when sorting the violations (#193) --- .../org.mpsqa.lint.generic.behavior.mps | 155 ++++++++---------- 1 file changed, 65 insertions(+), 90 deletions(-) diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps index cfeed3c9..63366e3d 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps @@ -6,6 +6,7 @@ + @@ -202,6 +203,10 @@ + + + + @@ -226,8 +231,9 @@ - - + + + @@ -241,7 +247,6 @@ - @@ -299,6 +304,7 @@ + @@ -889,95 +895,39 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - + + + + + + + + + + + - + @@ -1021,22 +971,47 @@ - + + + - - - - + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + From 5bbafc57bcd6e3a8b89f2262c85cc04a65a2c28d Mon Sep 17 00:00:00 2001 From: danielratiu Date: Mon, 9 Sep 2024 23:21:59 +0200 Subject: [PATCH 12/17] linters: added a linter for memory_hungry_editors (#194) --- ...ang.linters_library.performance_editor.mps | 1203 ++++++++++++++++- 1 file changed, 1202 insertions(+), 1 deletion(-) diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps index c2aebff1..4375b5c2 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_editor.mps @@ -22,7 +22,7 @@ - + @@ -37,6 +37,8 @@ + + @@ -58,6 +60,7 @@ + @@ -66,23 +69,34 @@ + + + + + + + + + + + @@ -111,6 +125,7 @@ + @@ -125,6 +140,9 @@ + + + @@ -137,11 +155,18 @@ + + + + + + + @@ -166,6 +191,9 @@ + + + @@ -200,6 +228,9 @@ + + + @@ -1292,5 +1323,1175 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + From 0737cc1f04c98fa27e0a2ec91dac4802f2472fae Mon Sep 17 00:00:00 2001 From: danielratiu Date: Tue, 10 Sep 2024 15:21:15 +0200 Subject: [PATCH 13/17] linters: keep violations which are still relevant when new violations are saved (#195) * linters: added tests for detecting new violations by generic linters * linters: saving of new violations keeps the old ResultEntry nodes such that a model DIFF contains only the new violations * linters: fixed dependencies of tests build script * workflow: use v4 of the actions/upload-artifact --- .github/workflows/build_mpsqa.yml | 2 +- .../org.mpsqa.lint.generic.behavior.mps | 53 +- .../models/org.mpsqa.lint.build.mps | 10 + ....mpsqa.lint.generic_linters_test@tests.mps | 482 ++++++++++++++++++ ...org.mpsqa.lint.test.linter_definitions.mps | 138 +++++ .../org.mpsqa.lint.test.msd | 13 + 6 files changed, 674 insertions(+), 24 deletions(-) create mode 100644 code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.generic_linters_test@tests.mps create mode 100644 code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.test.linter_definitions.mps diff --git a/.github/workflows/build_mpsqa.yml b/.github/workflows/build_mpsqa.yml index 7c8bb362..b8cfaf3a 100644 --- a/.github/workflows/build_mpsqa.yml +++ b/.github/workflows/build_mpsqa.yml @@ -79,7 +79,7 @@ jobs: configuration-cache-enabled: true - name: Archive distribution - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: org.mpsqa.allInOne path: build/artifacts/org.mpsqa.allInOne/ diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps index 63366e3d..cc13ad59 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.behavior.mps @@ -231,7 +231,6 @@ - @@ -915,19 +914,37 @@ - - - + + + - - - + + + + + - - + + + + + + + + + + + + + + + + + + @@ -970,13 +987,8 @@ - - - - - - - + + @@ -1004,13 +1016,8 @@ - - - - - - - + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.build/models/org.mpsqa.lint.build.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.build/models/org.mpsqa.lint.build.mps index bf10c635..0e9d0660 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.build/models/org.mpsqa.lint.build.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.build/models/org.mpsqa.lint.build.mps @@ -242,6 +242,16 @@ + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.generic_linters_test@tests.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.generic_linters_test@tests.mps new file mode 100644 index 00000000..380edb4c --- /dev/null +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.generic_linters_test@tests.mps @@ -0,0 +1,482 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.test.linter_definitions.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.test.linter_definitions.mps new file mode 100644 index 00000000..05032a82 --- /dev/null +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.test.linter_definitions.mps @@ -0,0 +1,138 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/org.mpsqa.lint.test.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/org.mpsqa.lint.test.msd index a150e58f..4f81031c 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/org.mpsqa.lint.test.msd +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/org.mpsqa.lint.test.msd @@ -15,25 +15,38 @@ 12a40499-ed72-4b23-9437-358c4217c97b(org.mpsqa.lint.mps_lang.linters_library) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + b15468d9-435b-45b2-bf51-3f984f734cc4(org.mpsqa.lint.generic.runtime) + 40ab19e9-751a-4433-b645-0e65160e58a0(org.mpsqa.lint.generic) + + + + + + + + + + + From 74fca16645c2ab4e3ea2c603074289276b4bdb72 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Thu, 12 Sep 2024 21:49:33 +0200 Subject: [PATCH 14/17] errors suppressor: also suppress messages in the editor unless the feature is deactivated (#197) --- ...rg.mpsqa.base.errors_suppressor.editor.mps | 14 + ...mpsqa.base.errors_suppressor.structure.mps | 5 + .../models/org.mpsqa.base.build.mps | 13 + ...rrors_suppressor.pluginSolution.plugin.mps | 970 +++++++++++++++--- ....base.errors_suppressor.pluginSolution.msd | 8 +- 5 files changed, 877 insertions(+), 133 deletions(-) diff --git a/code/languages/org.mpsqa.base/languages/org.mpsqa.base.errors_suppressor/models/org.mpsqa.base.errors_suppressor.editor.mps b/code/languages/org.mpsqa.base/languages/org.mpsqa.base.errors_suppressor/models/org.mpsqa.base.errors_suppressor.editor.mps index 603983ac..bdc4f207 100644 --- a/code/languages/org.mpsqa.base/languages/org.mpsqa.base.errors_suppressor/models/org.mpsqa.base.errors_suppressor.editor.mps +++ b/code/languages/org.mpsqa.base/languages/org.mpsqa.base.errors_suppressor/models/org.mpsqa.base.errors_suppressor.editor.mps @@ -95,6 +95,20 @@ + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.base/languages/org.mpsqa.base.errors_suppressor/models/org.mpsqa.base.errors_suppressor.structure.mps b/code/languages/org.mpsqa.base/languages/org.mpsqa.base.errors_suppressor/models/org.mpsqa.base.errors_suppressor.structure.mps index fcb7091a..6d1e8d43 100644 --- a/code/languages/org.mpsqa.base/languages/org.mpsqa.base.errors_suppressor/models/org.mpsqa.base.errors_suppressor.structure.mps +++ b/code/languages/org.mpsqa.base/languages/org.mpsqa.base.errors_suppressor/models/org.mpsqa.base.errors_suppressor.structure.mps @@ -88,6 +88,11 @@ + + + + + diff --git a/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.build/models/org.mpsqa.base.build.mps b/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.build/models/org.mpsqa.base.build.mps index 95f07234..f044413d 100644 --- a/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.build/models/org.mpsqa.base.build.mps +++ b/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.build/models/org.mpsqa.base.build.mps @@ -100,6 +100,7 @@ + @@ -836,6 +837,7 @@ + @@ -887,6 +889,17 @@ + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/models/org.mpsqa.base.errors_suppressor.pluginSolution.plugin.mps b/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/models/org.mpsqa.base.errors_suppressor.pluginSolution.plugin.mps index da3f2503..67ef32a2 100644 --- a/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/models/org.mpsqa.base.errors_suppressor.pluginSolution.plugin.mps +++ b/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/models/org.mpsqa.base.errors_suppressor.pluginSolution.plugin.mps @@ -12,6 +12,8 @@ + + @@ -24,9 +26,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -41,6 +67,7 @@ + @@ -60,6 +87,9 @@ + + + @@ -70,12 +100,15 @@ + + + @@ -83,7 +116,11 @@ + + + + @@ -117,6 +154,7 @@ + @@ -124,6 +162,9 @@ + + + @@ -139,6 +180,9 @@ + + + @@ -154,6 +198,7 @@ + @@ -255,7 +300,6 @@ - @@ -291,6 +335,9 @@ + + + @@ -299,6 +346,10 @@ + + + + @@ -317,22 +368,36 @@ - + + + + + + + + + + + + + + + - - + + - + @@ -349,54 +414,81 @@ - - - - - - - - - - - + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + - - - - - - - + + + + + + @@ -410,6 +502,9 @@ + + + @@ -620,62 +715,33 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - + + - - - - - - - - - - - + + + + + + + + + + + + + + @@ -743,6 +809,125 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -783,35 +968,74 @@ - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - - - - - + + @@ -824,6 +1048,22 @@ + + + + + + + + + + + + + + + + @@ -853,11 +1093,8 @@ - - - - - + + @@ -866,6 +1103,54 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -897,38 +1182,459 @@ - - - - - + + - - - - - - - - + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/org.mpsqa.base.errors_suppressor.pluginSolution.msd b/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/org.mpsqa.base.errors_suppressor.pluginSolution.msd index ea802272..f0615dd0 100644 --- a/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/org.mpsqa.base.errors_suppressor.pluginSolution.msd +++ b/code/languages/org.mpsqa.base/solutions/org.mpsqa.base.errors_suppressor.pluginSolution/org.mpsqa.base.errors_suppressor.pluginSolution.msd @@ -18,8 +18,10 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations) - 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) + 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) bc0be9e0-3b05-4108-89c1-9ae0623ef4fe(org.mpsqa.base.errors_suppressor) + 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) + 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) @@ -29,6 +31,7 @@ + @@ -44,7 +47,10 @@ + + + From 810f65dd46be552c54f9b1ee6cd2f933a6ebaf97 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Mon, 16 Sep 2024 12:30:50 +0200 Subject: [PATCH 15/17] mpsqa.lint: create a new linter for checking unreferenced error report statements --- .../org.mpsqa.build._080_lint_build.mps | 5 + ...lang.linters_library.typesystem_aspect.mps | 258 ++++++++++++++++++ ...rg.mpsqa.lint.mps_lang.linters_library.msd | 3 + 3 files changed, 266 insertions(+) diff --git a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps index 807ee433..9e7ff829 100644 --- a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps +++ b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps @@ -854,6 +854,11 @@ + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps index ada74ff8..fd881b0e 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps @@ -13,12 +13,16 @@ + + + + @@ -35,6 +39,9 @@ + + + @@ -74,19 +81,38 @@ + + + + + + + + + + + + + + + + + + + @@ -117,6 +143,15 @@ + + + + + + + + + @@ -124,11 +159,22 @@ + + + + + + + + + + + @@ -303,5 +349,217 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/org.mpsqa.lint.mps_lang.linters_library.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/org.mpsqa.lint.mps_lang.linters_library.msd index 93c0ce69..f7a5bbb0 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/org.mpsqa.lint.mps_lang.linters_library.msd +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/org.mpsqa.lint.mps_lang.linters_library.msd @@ -32,6 +32,7 @@ a381759b-acec-4e2e-8745-7bf905520fca(jetbrains.mps.ide.modelchecker.platform) 9e98f4e2-decf-4e97-bf80-9109e8b759aa(jetbrains.mps.lang.feedback.context) 0cf935df-4699-4e9c-a132-fa109541cba3(jetbrains.mps.build.mps) + 8585453e-6bfb-4d80-98de-b16074f1d86c(jetbrains.mps.lang.test) @@ -62,6 +63,7 @@ + @@ -80,6 +82,7 @@ + From e1cba2da668510662d8b4440be0eaa23571e8691 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Tue, 17 Sep 2024 14:48:14 +0200 Subject: [PATCH 16/17] fix the build script --- .../org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps | 3 +++ 1 file changed, 3 insertions(+) diff --git a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps index a5ef79d3..8910c715 100644 --- a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps +++ b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._080_lint_build.mps @@ -231,6 +231,9 @@ + + + From 38fd3c1c01307e7ee0ed3f3c312da1d3fdb051a7 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Tue, 17 Sep 2024 16:18:52 +0200 Subject: [PATCH 17/17] rerun migrations --- .../org.mpsqa.build._090_profile_build.mps | 4 +- .../org.mpsqa.lint.generic.typesystem.mps | 40 ++++++++-------- ...qa.lint.generic.linters_library.models.mps | 46 +++++++++---------- ...a.lint.generic.linters_library.modules.mps | 39 ++++++++-------- ...sqa.lint.generic.linters_library.nodes.mps | 10 ++-- .../models/org.mpsqa.lint.generic.runtime.mps | 8 ++-- .../org.mpsqa.lint.generic.runtime.msd | 5 +- ...s_lang.linters_library.behavior_aspect.mps | 2 +- ...lang.linters_library.constraint_aspect.mps | 2 +- ..._lang.linters_library.generator_aspect.mps | 4 +- ...s_library.performance_typesystem_rules.mps | 2 +- ...lang.linters_library.typesystem_aspect.mps | 8 ++-- ....mpsqa.lint.generic_linters_test@tests.mps | 24 +++++----- ...org.mpsqa.lint.test.linter_definitions.mps | 8 ++-- .../org.mpsqa.profile.generator.behavior.mps | 6 +-- .../org.mpsqa.profile.generator.editor.mps | 2 +- .../org.mpsqa.profile.generator.structure.mps | 2 +- .../org.mpsqa.profile.generator.mpl | 3 +- ...rofile.generator.pluginSolution.plugin.mps | 33 ++++++------- ...a.profile.generator.sandbox._010_smoke.mps | 2 +- .../org.mpsqa.profile.generator.sandbox.msd | 3 +- 21 files changed, 126 insertions(+), 127 deletions(-) diff --git a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._090_profile_build.mps b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._090_profile_build.mps index af0573ff..03dd5155 100644 --- a/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._090_profile_build.mps +++ b/code/languages/org.mpsqa.build/solutions/org.mpsqa.build/models/org.mpsqa.build._090_profile_build.mps @@ -52,7 +52,7 @@ - + @@ -65,7 +65,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps index a4416058..019bed29 100644 --- a/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps +++ b/code/languages/org.mpsqa.lint/languages/org.mpsqa.lint.generic/models/org.mpsqa.lint.generic.typesystem.mps @@ -270,6 +270,7 @@ + @@ -450,7 +451,6 @@ - @@ -3569,7 +3569,7 @@ - + @@ -3583,9 +3583,9 @@ - + - + @@ -3649,7 +3649,7 @@ - + @@ -3664,7 +3664,7 @@ - + @@ -3682,9 +3682,9 @@ - + - + @@ -3743,7 +3743,7 @@ - + @@ -3754,7 +3754,7 @@ - + @@ -3772,9 +3772,9 @@ - + - + @@ -3821,7 +3821,7 @@ - + @@ -3832,7 +3832,7 @@ - + @@ -3850,9 +3850,9 @@ - + - + @@ -3912,7 +3912,7 @@ - + @@ -3923,7 +3923,7 @@ - + @@ -3941,9 +3941,9 @@ - + - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps index d2d459c9..7a7bfe6d 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.models.mps @@ -5,7 +5,7 @@ - + @@ -249,6 +249,7 @@ + @@ -345,7 +346,6 @@ - @@ -1096,7 +1096,7 @@ - + @@ -1107,9 +1107,9 @@ - + - + @@ -1247,7 +1247,7 @@ - + @@ -1258,9 +1258,9 @@ - + - + @@ -1295,14 +1295,14 @@ - + - + - + @@ -1328,7 +1328,7 @@ - + @@ -1340,9 +1340,9 @@ - + - + @@ -1365,24 +1365,24 @@ - + - + - + - + - + - + @@ -2098,7 +2098,7 @@ - + @@ -2106,9 +2106,9 @@ - + - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps index cd9f480a..41b7b4cc 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.modules.mps @@ -4,7 +4,7 @@ - + @@ -399,7 +399,6 @@ - @@ -1801,7 +1800,7 @@ - + @@ -1812,9 +1811,9 @@ - + - + @@ -1826,14 +1825,14 @@ - + - + - + @@ -1844,7 +1843,7 @@ - + @@ -1852,9 +1851,9 @@ - + - + @@ -2115,7 +2114,7 @@ - + @@ -2123,9 +2122,9 @@ - + - + @@ -2148,24 +2147,24 @@ - + - + - + - + - + - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps index 36997b83..6e03c9fc 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.nodes.mps @@ -5,7 +5,7 @@ - + @@ -167,6 +167,7 @@ + @@ -295,7 +296,6 @@ - @@ -587,7 +587,7 @@ - + @@ -602,9 +602,9 @@ - + - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps index 80086ffe..be0be81a 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/models/org.mpsqa.lint.generic.runtime.mps @@ -31,7 +31,7 @@ - + @@ -91,7 +91,7 @@ - + @@ -112,7 +112,7 @@ - + @@ -146,7 +146,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd index 47fca930..a7a4b53d 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.runtime/org.mpsqa.lint.generic.runtime.msd @@ -1,5 +1,5 @@ - + @@ -10,7 +10,6 @@ - 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) @@ -18,7 +17,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.behavior_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.behavior_aspect.mps index 8ab0c0da..6a94a0b8 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.behavior_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.behavior_aspect.mps @@ -98,7 +98,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.constraint_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.constraint_aspect.mps index c9f7edf8..3e8feb53 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.constraint_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.constraint_aspect.mps @@ -73,7 +73,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.generator_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.generator_aspect.mps index 9116f962..8545f12a 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.generator_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.generator_aspect.mps @@ -32,7 +32,7 @@ - + @@ -79,7 +79,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps index 0bb93b0c..4c3373a5 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.performance_typesystem_rules.mps @@ -5,7 +5,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps index fd11ba06..5a6e4eba 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.mps_lang.linters_library/models/org.mpsqa.lint.mps_lang.linters_library.typesystem_aspect.mps @@ -39,7 +39,7 @@ - + @@ -86,10 +86,10 @@ - + - + @@ -97,7 +97,7 @@ - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.generic_linters_test@tests.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.generic_linters_test@tests.mps index 380edb4c..a4a3af0b 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.generic_linters_test@tests.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.generic_linters_test@tests.mps @@ -40,6 +40,7 @@ + @@ -89,19 +90,20 @@ - + - + + @@ -109,7 +111,7 @@ - + @@ -156,7 +158,7 @@ - + @@ -171,7 +173,6 @@ - @@ -180,6 +181,7 @@ + @@ -223,7 +225,7 @@ - + @@ -238,9 +240,9 @@ - + - + @@ -303,7 +305,7 @@ - + @@ -318,9 +320,9 @@ - + - + diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.test.linter_definitions.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.test.linter_definitions.mps index 05032a82..3d7ac978 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.test.linter_definitions.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.test/models/org.mpsqa.lint.test.linter_definitions.mps @@ -3,7 +3,7 @@ - + @@ -29,7 +29,7 @@ - + @@ -38,7 +38,7 @@ - + @@ -48,7 +48,7 @@ - + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.behavior.mps b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.behavior.mps index 8602036d..45c89805 100644 --- a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.behavior.mps +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.behavior.mps @@ -73,7 +73,7 @@ - + @@ -84,7 +84,7 @@ - + @@ -111,7 +111,7 @@ - + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.editor.mps b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.editor.mps index 5c9ef75e..06752e98 100644 --- a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.editor.mps +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.editor.mps @@ -35,7 +35,7 @@ - + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.structure.mps b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.structure.mps index 6611aa03..42bda8b9 100644 --- a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.structure.mps +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/models/org.mpsqa.profile.generator.structure.mps @@ -28,7 +28,7 @@ - + diff --git a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/org.mpsqa.profile.generator.mpl b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/org.mpsqa.profile.generator.mpl index 1f5c1efe..0a45f737 100644 --- a/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/org.mpsqa.profile.generator.mpl +++ b/code/languages/org.mpsqa.profile/languages/org.mpsqa.profile.generator/org.mpsqa.profile.generator.mpl @@ -11,13 +11,12 @@ - - + diff --git a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/models/org.mpsqa.profile.generator.pluginSolution.plugin.mps b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/models/org.mpsqa.profile.generator.pluginSolution.plugin.mps index c943a201..44d52faf 100644 --- a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/models/org.mpsqa.profile.generator.pluginSolution.plugin.mps +++ b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.pluginSolution/models/org.mpsqa.profile.generator.pluginSolution.plugin.mps @@ -8,7 +8,7 @@ - + @@ -246,6 +246,7 @@ + @@ -334,7 +335,6 @@ - @@ -1090,7 +1090,7 @@ - + @@ -1098,9 +1098,9 @@ - + - + @@ -1534,7 +1534,7 @@ - + @@ -1689,7 +1689,7 @@ - + @@ -1699,7 +1699,7 @@ - + @@ -1716,9 +1716,9 @@ - + - + @@ -2058,10 +2058,10 @@ - + - + @@ -2071,9 +2071,9 @@ - + - + @@ -2114,12 +2114,12 @@ - + - + @@ -2288,6 +2288,7 @@ + diff --git a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/models/org.mpsqa.profile.generator.sandbox._010_smoke.mps b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/models/org.mpsqa.profile.generator.sandbox._010_smoke.mps index e7043a55..fc1d092f 100644 --- a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/models/org.mpsqa.profile.generator.sandbox._010_smoke.mps +++ b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/models/org.mpsqa.profile.generator.sandbox._010_smoke.mps @@ -13,7 +13,7 @@ - + diff --git a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/org.mpsqa.profile.generator.sandbox.msd b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/org.mpsqa.profile.generator.sandbox.msd index 79f855f5..97d8543e 100644 --- a/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/org.mpsqa.profile.generator.sandbox.msd +++ b/code/languages/org.mpsqa.profile/solutions/org.mpsqa.profile.generator.sandbox/org.mpsqa.profile.generator.sandbox.msd @@ -1,5 +1,5 @@ - + @@ -10,7 +10,6 @@ -