Merge branch 'master' into 264-elem-attr

objectionary · Feb 6, 2025 · 3844348 · 3844348
2 parents 4981e60 + 332aff9
commit 3844348
Show file tree

Hide file tree

Showing 4 changed files with 90 additions and 6 deletions.
diff --git a/.github/motives.sh b/.github/motives.sh
@@ -40,17 +40,36 @@ while IFS= read -r f; do
   echo "${n} -> $(du -b "${html}" | cut -f1) bytes"
 done < <(find src/main/resources/org/eolang/motives -name '*.md')
 
-(
-  printf '<html><body style="font-family: monospace;">\n'
-  printf '<p>Latest version: %s</p>\n' "${tag}"
-  printf '<p>List of lints in this version<p>'
+function list_them() {
   printf "<ul>\n"
   while IFS= read -r f; do
     n=$(basename "${f}" ".html")
     printf '<li><a href="%s">%s</a></li>\n' \
       "/lints/${tag}/${n}.html" "${n}"
   done < <(find "gh-pages/${tag}" -name '*.html' | sort)
   printf '</ul>\n'
+}
+
+function head() {
+  printf '<html><body style="font-family: monospace;">\n'
+}
+
+function tail() {
   printf '<p>Published on %s.</p>\n' "$(date)"
   printf '</body></html>'
+}
+
+(
+  head
+  printf '<p>Latest version: <a href="/lints/%s/index.html">%s</a></p>\n' "${tag}" "${tag}"
+  printf '<p>List of lints in this version:<p>'
+  list_them
+  tail
 ) > "gh-pages/index.html"
+
+(
+  head
+  printf "<p>List of lints in %s:<p>" "${tag}"
+  list_them
+  tail
+) > "gh-pages/${tag}/index.html"
diff --git a/pom.xml b/pom.xml
@@ -144,7 +144,7 @@ SOFTWARE.
     <dependency>
       <groupId>com.github.volodya-lombrozo</groupId>
       <artifactId>xnav</artifactId>
-      <version>0.1.10</version>
+      <version>0.1.10</version
     </dependency>
     <dependency>
       <groupId>org.apache.opennlp</groupId>
@@ -299,7 +299,7 @@ SOFTWARE.
           <plugin>
             <groupId>org.pitest</groupId>
             <artifactId>pitest-maven</artifactId>
-            <version>1.17.4</version>
+            <version>1.18.0</version>
             <executions>
               <execution>
                 <goals>

diff --git a/src/test/resources/org/eolang/lints/packs/duplicate-metas/catches-duplicate-unlint.yaml b/src/test/resources/org/eolang/lints/packs/duplicate-metas/catches-duplicate-unlint.yaml
@@ -0,0 +1,33 @@
+# The MIT License (MIT)
+#
+# Copyright (c) 2016-2025 Objectionary.com
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the "Software"), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included
+# in all copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+---
+sheets:
+  - /org/eolang/lints/metas/duplicate-metas.xsl
+asserts:
+  - /defects[count(defect[@severity='warning'])=1]
+  - /defects/defect[@line='2']
+input: |
+  +unlint foo
+  +unlint foo
+
+  # No comments.
+  [] > main
diff --git a/src/test/resources/org/eolang/lints/packs/duplicate-metas/passes-on-all-unique-unlint.yaml b/src/test/resources/org/eolang/lints/packs/duplicate-metas/passes-on-all-unique-unlint.yaml
@@ -0,0 +1,32 @@
+# The MIT License (MIT)
+#
+# Copyright (c) 2016-2025 Objectionary.com
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the "Software"), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included
+# in all copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+---
+sheets:
+  - /org/eolang/lints/metas/duplicate-metas.xsl
+asserts:
+  - /defects[count(defect[@severity='warning'])=0]
+input: |
+  +unlint foo
+  +unlint bar
+
+  # No comments.
+  [] > main