From 73aac92e04309bc52927f70a3880b058901d8f3b Mon Sep 17 00:00:00 2001
From: Daniel Ratiu <ratiud@googlemail.com>
Date: Mon, 20 Nov 2023 10:42:49 +0100
Subject: [PATCH 1/2] lint: improved the implementation of
 "maximum_file_size_in_project_directory"

---
 ...qa.lint.generic.linters_library.filesystem.mps | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

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 338f745c..3287825b 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
@@ -405,17 +405,12 @@
                                 <node concept="3cmrfG" id="6HKgezSvRT0" role="3uHU7w">
                                   <property role="3cmrfH" value="1024" />
                                 </node>
-                                <node concept="2OqwBi" id="6HKgezSvRT1" role="3uHU7B">
-                                  <node concept="2OqwBi" id="6HKgezSvRT2" role="2Oq$k0">
-                                    <node concept="37vLTw" id="1NOhArATu84" role="2Oq$k0">
-                                      <ref role="3cqZAo" node="1NOhArATk0z" resolve="file" />
-                                    </node>
-                                    <node concept="liA8E" id="6HKgezSvRT4" role="2OqNvi">
-                                      <ref role="37wK5l" to="eoo2:~Path.toFile()" resolve="toFile" />
-                                    </node>
+                                <node concept="2OqwBi" id="3HZlqXuCsyR" role="3uHU7B">
+                                  <node concept="37vLTw" id="3HZlqXuCsbx" role="2Oq$k0">
+                                    <ref role="3cqZAo" node="1NOhArATk0_" resolve="attrs" />
                                   </node>
-                                  <node concept="liA8E" id="6HKgezSvRT5" role="2OqNvi">
-                                    <ref role="37wK5l" to="guwi:~File.length()" resolve="length" />
+                                  <node concept="liA8E" id="3HZlqXuCtle" role="2OqNvi">
+                                    <ref role="37wK5l" to="4qvk:~BasicFileAttributes.size()" resolve="size" />
                                   </node>
                                 </node>
                               </node>

From e81ba5356dcb988c49f37a73f97b04c53368a9ae Mon Sep 17 00:00:00 2001
From: Daniel Ratiu <ratiud@googlemail.com>
Date: Mon, 20 Nov 2023 10:44:22 +0100
Subject: [PATCH 2/2] lint: improved the implementation of
 "models_directory_contains_only_mpsr_mps_or_dot_model_files"

---
 ....mpsqa.lint.generic.linters_library.filesystem.mps | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

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 3287825b..47cc13d0 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
@@ -889,16 +889,11 @@
                                         </node>
                                         <node concept="3fqX7Q" id="UvPwwleo5d" role="3clFbw">
                                           <node concept="2OqwBi" id="UvPwwleo5f" role="3fr31v">
-                                            <node concept="2OqwBi" id="UvPwwleo5g" role="2Oq$k0">
-                                              <node concept="37vLTw" id="UvPwwleo5h" role="2Oq$k0">
-                                                <ref role="3cqZAo" node="UvPwwldjn0" resolve="file" />
-                                              </node>
-                                              <node concept="liA8E" id="UvPwwleo5i" role="2OqNvi">
-                                                <ref role="37wK5l" to="eoo2:~Path.toFile()" resolve="toFile" />
-                                              </node>
+                                            <node concept="37vLTw" id="3HZlqXuTtXW" role="2Oq$k0">
+                                              <ref role="3cqZAo" node="UvPwwldjn2" resolve="attrs" />
                                             </node>
                                             <node concept="liA8E" id="UvPwwleo5j" role="2OqNvi">
-                                              <ref role="37wK5l" to="guwi:~File.isDirectory()" resolve="isDirectory" />
+                                              <ref role="37wK5l" to="4qvk:~BasicFileAttributes.isDirectory()" resolve="isDirectory" />
                                             </node>
                                           </node>
                                         </node>