From 8f0e0e1da58c882787edbcc3f8d9f2ac791028e6 Mon Sep 17 00:00:00 2001 From: Daniel Ratiu Date: Thu, 29 Feb 2024 09:36:32 +0100 Subject: [PATCH] linters_library.models: fixed the linter for slow_opening_of_editors --- ...ang.linters_library.performance_editor.mps | 316 +++++++++++++----- 1 file changed, 235 insertions(+), 81 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_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 2162e157..34bdf2e0 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 @@ -10,6 +10,7 @@ + @@ -21,10 +22,15 @@ + + + + + @@ -33,7 +39,6 @@ - @@ -63,6 +68,7 @@ + @@ -84,6 +90,7 @@ + @@ -174,6 +181,12 @@ + + + + + + @@ -259,6 +272,14 @@ + + + + + + + + @@ -271,6 +292,10 @@ + + + + @@ -643,6 +668,47 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -670,6 +736,13 @@ + + + + + + + @@ -820,6 +893,8 @@ + + @@ -932,7 +1007,7 @@ - + @@ -978,61 +1053,70 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - + + + + + + + + + + @@ -1044,63 +1128,133 @@ - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + - - + + - - - - - + + - - - - - + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +