Skip to content

Commit bed442a

Browse files
rultorrultor
committed
Merge branch '__rultor'
2 parents 494f36c + bee758f commit bed442a

13 files changed

+487
-0
lines changed

‎src/main/resources/org/eolang/lints/misc/wrong-sprintf-arguments.xsl‎

Lines changed: 93 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,93 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<!--
3+
The MIT License (MIT)
4+
5+
Copyright (c) 2016-2024 Objectionary.com
6+
7+
Permission is hereby granted, free of charge, to any person obtaining a copy
8+
of this software and associated documentation files (the "Software"), to deal
9+
in the Software without restriction, including without limitation the rights
10+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11+
copies of the Software, and to permit persons to whom the Software is
12+
furnished to do so, subject to the following conditions:
13+
14+
The above copyright notice and this permission notice shall be included
15+
in all copies or substantial portions of the Software.
16+
17+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19+
FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
20+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
23+
SOFTWARE.
24+
-->
25+
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:math="http://www.w3.org/2005/xpath-functions/math" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:eo="https://www.eolang.org" version="2.0" id="wrong-sprintf-arguments">
26+
<xsl:import href="/org/eolang/funcs/lineno.xsl"/>
27+
<xsl:output encoding="UTF-8" method="xml"/>
28+
<xsl:function name="eo:hex-to-placeholder" as="xs:integer">
29+
<xsl:param name="hex" as="xs:string"/>
30+
<xsl:variable name="hex-upper" select="upper-case($hex)"/>
31+
<xsl:variable name="length" select="string-length($hex-upper)"/>
32+
<xsl:variable name="decimal" select="sum(for $i in 1 to $length return (index-of(string-to-codepoints('0123456789ABCDEF'), string-to-codepoints(substring($hex-upper, $i, 1))) - 1) * xs:integer(math:pow(16, $length - $i)))"/>
33+
<xsl:sequence select="$decimal"/>
34+
</xsl:function>
35+
<xsl:variable name="sprintf" select="//o[@base='.sprintf'][o[@base='.txt']/o[@base='.eolang']/o[@base='org']] | //o[@base='.sprintf'][o[@base='.txt']/o[@base='.eolang']/o[@base='org']/o[@base='Q']]"/>
36+
<xsl:template name="nested-args">
37+
<xsl:param name="node"/>
38+
<xsl:for-each select="$node/o[not(@base='tuple') and not(@base='.empty')]">
39+
<xsl:value-of select="@base"/>
40+
<xsl:text> </xsl:text>
41+
</xsl:for-each>
42+
<xsl:for-each select="$node/o[@base='tuple']">
43+
<xsl:call-template name="nested-args">
44+
<xsl:with-param name="node" select="."/>
45+
</xsl:call-template>
46+
</xsl:for-each>
47+
</xsl:template>
48+
<xsl:template match="/">
49+
<defects>
50+
<xsl:for-each select="$sprintf">
51+
<xsl:variable name="sprintf-text" select="o[@base='string'][1]/text()"/>
52+
<xsl:variable name="tokens" select="tokenize($sprintf-text, '-')"/>
53+
<xsl:variable name="placeholder">
54+
<xsl:for-each select="$tokens">
55+
<xsl:value-of select="codepoints-to-string(eo:hex-to-placeholder(.))"/>
56+
</xsl:for-each>
57+
</xsl:variable>
58+
<xsl:variable name="allowed">
59+
<xsl:analyze-string select="$placeholder" regex="%[sdfxb]">
60+
<xsl:matching-substring>
61+
<match/>
62+
</xsl:matching-substring>
63+
</xsl:analyze-string>
64+
</xsl:variable>
65+
<xsl:variable name="declared" select="count($allowed/match)"/>
66+
<xsl:variable name="tupled" select="o[@base='tuple']/o[not(@base='.empty')]"/>
67+
<xsl:variable name="nested">
68+
<xsl:for-each select="$tupled">
69+
<xsl:call-template name="nested-args">
70+
<xsl:with-param name="node" select="."/>
71+
</xsl:call-template>
72+
</xsl:for-each>
73+
</xsl:variable>
74+
<xsl:variable name="used" select="count($tupled[not(@base='tuple')]/@base) + count(tokenize(substring($nested, 1, string-length($nested) - 1), '\s+'))"/>
75+
<xsl:if test="$sprintf-text != '' and $declared != $used">
76+
<defect>
77+
<xsl:attribute name="line">
78+
<xsl:value-of select="eo:lineno(@line)"/>
79+
</xsl:attribute>
80+
<xsl:attribute name="severity">
81+
<xsl:text>warning</xsl:text>
82+
</xsl:attribute>
83+
<xsl:text>According to the formatting template of the "sprintf" object, a tuple of </xsl:text>
84+
<xsl:value-of select="$declared"/>
85+
<xsl:text> elements is expected as the second argument of it, while a tuple of </xsl:text>
86+
<xsl:value-of select="$used"/>
87+
<xsl:text> element(s) is provided</xsl:text>
88+
</defect>
89+
</xsl:if>
90+
</xsl:for-each>
91+
</defects>
92+
</xsl:template>
93+
</xsl:stylesheet>

‎src/main/resources/org/eolang/motives/misc/wrong-sprintf-arguments.md‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
# Wrong `QQ.txt.sprintf` Arguments
2+
3+
The `QQ.txt.sprintf` object must have a match between its placeholder variables
4+
and passed arguments.
5+
6+
Incorrect:
7+
8+
```eo
9+
[] > app
10+
QQ.io.stdout > @
11+
QQ.txt.sprintf
12+
"Hello, %s! Your account is %d."
13+
* name
14+
```
15+
16+
Correct:
17+
18+
```eo
19+
[] > app
20+
QQ.io.stdout > @
21+
QQ.txt.sprintf
22+
"Hello, %s! Your account is %d."
23+
* name acc
24+
```

‎src/test/resources/org/eolang/lints/packs/wrong-sprintf-arguments/allows-correct-arguments-number.yaml‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2016-2024 Objectionary.com
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
---
23+
sheets:
24+
- /org/eolang/lints/misc/wrong-sprintf-arguments.xsl
25+
asserts:
26+
- /defects[count(defect[@severity='warning'])=0]
27+
input: |
28+
# App.
29+
[] > app
30+
QQ.io.stdout > @
31+
org.eolang.txt.sprintf
32+
"Hello, %s! Your account is %d."
33+
* name acc

‎src/test/resources/org/eolang/lints/packs/wrong-sprintf-arguments/allows-many-good-arguments.yaml‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2016-2024 Objectionary.com
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
---
23+
sheets:
24+
- /org/eolang/lints/misc/wrong-sprintf-arguments.xsl
25+
asserts:
26+
- /defects[count(defect[@severity='warning'])=0]
27+
input: |
28+
# App.
29+
[] > app
30+
QQ.io.stdout > @
31+
org.eolang.txt.sprintf
32+
"Hello, %s (%x, match: %b)! Your account is %d, your temperature %f."
33+
* name name.as-bytes true acc t

‎src/test/resources/org/eolang/lints/packs/wrong-sprintf-arguments/allows-percentage-sign.yaml‎

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2016-2024 Objectionary.com
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
---
23+
sheets:
24+
- /org/eolang/lints/misc/wrong-sprintf-arguments.xsl
25+
asserts:
26+
- /defects[count(defect[@severity='warning'])=0]
27+
input: |
28+
# App.
29+
[] > app
30+
org.eolang.txt.sprintf
31+
"Water constitutes 0.023%% of Earth mass, which is %d tons"
32+
* 1.4e18

‎src/test/resources/org/eolang/lints/packs/wrong-sprintf-arguments/allows-sprintf-containing-tuple-with-number.yaml‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2016-2024 Objectionary.com
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
---
23+
sheets:
24+
- /org/eolang/lints/misc/wrong-sprintf-arguments.xsl
25+
asserts:
26+
- /defects[count(defect[@severity='warning'])=0]
27+
input: |
28+
# App.
29+
[] > app
30+
QQ.io.stdout > @
31+
org.eolang.txt.sprintf
32+
"Привет, %d"
33+
* 52

‎src/test/resources/org/eolang/lints/packs/wrong-sprintf-arguments/allows-sprintf-containing-tuple-with-string.yaml‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2016-2024 Objectionary.com
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
---
23+
sheets:
24+
- /org/eolang/lints/misc/wrong-sprintf-arguments.xsl
25+
asserts:
26+
- /defects[count(defect[@severity='warning'])=0]
27+
input: |
28+
# App.
29+
[] > app
30+
QQ.io.stdout > @
31+
org.eolang.txt.sprintf
32+
"Hello, %s"
33+
* "Jeff"

‎src/test/resources/org/eolang/lints/packs/wrong-sprintf-arguments/catches-arguments-absence.yaml‎

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2016-2024 Objectionary.com
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
---
23+
sheets:
24+
- /org/eolang/lints/misc/wrong-sprintf-arguments.xsl
25+
asserts:
26+
- /defects[count(defect[@severity='warning'])=1]
27+
- /defects/defect[@line='4']
28+
input: |
29+
# App.
30+
[] > app
31+
QQ.io.stdout > @
32+
org.eolang.txt.sprintf
33+
"Hello, %s! Your account is %d."
34+
*

‎src/test/resources/org/eolang/lints/packs/wrong-sprintf-arguments/catches-more-arguments-than-needed.yaml‎

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2016-2024 Objectionary.com
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
---
23+
sheets:
24+
- /org/eolang/lints/misc/wrong-sprintf-arguments.xsl
25+
asserts:
26+
- /defects[count(defect[@severity='warning'])=1]
27+
- /defects/defect[@line='4']
28+
input: |
29+
# App.
30+
[] > app
31+
QQ.io.stdout > @
32+
org.eolang.txt.sprintf
33+
"Hello, %s! Your account is %d."
34+
* name acc foo bar

‎src/test/resources/org/eolang/lints/packs/wrong-sprintf-arguments/catches-multiple-sprintfs.yaml‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
# The MIT License (MIT)
2+
#
3+
# Copyright (c) 2016-2024 Objectionary.com
4+
#
5+
# Permission is hereby granted, free of charge, to any person obtaining a copy
6+
# of this software and associated documentation files (the "Software"), to deal
7+
# in the Software without restriction, including without limitation the rights
8+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
# copies of the Software, and to permit persons to whom the Software is
10+
# furnished to do so, subject to the following conditions:
11+
#
12+
# The above copyright notice and this permission notice shall be included
13+
# in all copies or substantial portions of the Software.
14+
#
15+
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
# FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
18+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
# SOFTWARE.
22+
---
23+
sheets:
24+
- /org/eolang/lints/misc/wrong-sprintf-arguments.xsl
25+
asserts:
26+
- /defects[count(defect[@severity='warning'])=1]
27+
- /defects/defect[@line='7']
28+
input: |
29+
# App.
30+
[] > app
31+
QQ.io.stdout > @
32+
org.eolang.txt.sprintf
33+
"Hello, %s! Your account is %d."
34+
* name acc
35+
org.eolang.txt.sprintf
36+
"Hello, %s! Your account is %f."
37+
* f

0 commit comments

Comments
 (0)