[
https://issues.apache.org/jira/browse/GROOVY-12692?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=18138387#comment-18138387
]
ASF GitHub Bot commented on GROOVY-12692:
-----------------------------------------
codecov-commenter commented on PR #3213:
URL: https://github.com/apache/groovy/pull/3213#issuecomment-6645384331
##
[Codecov](https://app.codecov.io/gh/apache/groovy/pull/3213?dropdown=coverage&src=pr&el=h1&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=apache)
Report
:white_check_mark: All modified and coverable lines are covered by tests.
:white_check_mark: Project coverage is 74.1615%. Comparing base
([`d86ea7e`](https://app.codecov.io/gh/apache/groovy/commit/d86ea7eb853ec19d069ec99e3ad478f4186b7d54?dropdown=coverage&el=desc&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=apache))
to head
([`8eba227`](https://app.codecov.io/gh/apache/groovy/commit/8eba2270129c2cf66c16a2f709cc7b1f1105705b?dropdown=coverage&el=desc&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=apache)).
<details><summary>Additional details and impacted files</summary>
[](https://app.codecov.io/gh/apache/groovy/pull/3213?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=apache)
```diff
@@ Coverage Diff @@
## master #3213 +/- ##
==================================================
+ Coverage 74.1563% 74.1615% +0.0052%
- Complexity 43738 43740 +2
==================================================
Files 1692 1692
Lines 149549 149552 +3
Branches 28371 28371
==================================================
+ Hits 110900 110910 +10
+ Misses 28437 28435 -2
+ Partials 10212 10207 -5
```
| [Files with missing
lines](https://app.codecov.io/gh/apache/groovy/pull/3213?dropdown=coverage&src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=apache)
| Coverage Δ | |
|---|---|---|
|
[...ovy/groovy/typecheckers/FormatStringChecker.groovy](https://app.codecov.io/gh/apache/groovy/pull/3213?src=pr&el=tree&filepath=subprojects%2Fgroovy-typecheckers%2Fsrc%2Fmain%2Fgroovy%2Fgroovy%2Ftypecheckers%2FFormatStringChecker.groovy&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=apache#diff-c3VicHJvamVjdHMvZ3Jvb3Z5LXR5cGVjaGVja2Vycy9zcmMvbWFpbi9ncm9vdnkvZ3Jvb3Z5L3R5cGVjaGVja2Vycy9Gb3JtYXRTdHJpbmdDaGVja2VyLmdyb292eQ==)
| `84.0278% <100.0000%> (+3.8859%)` | :arrow_up: |
... and [10 files with indirect coverage
changes](https://app.codecov.io/gh/apache/groovy/pull/3213/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=apache)
</details>
<details><summary> :rocket: New features to boost your workflow: </summary>
- :snowflake: [Test
Analytics](https://docs.codecov.com/docs/test-analytics): Detect flaky tests,
report on failures, and find test suite problems.
- :package: [JS Bundle
Analysis](https://docs.codecov.com/docs/javascript-bundle-analysis): Save
yourself from yourself by tracking and limiting bundle sizes in JS merges.
</details>
> FormatStringChecker counts %% and %n as taking an argument when the arguments
> are not constants
> -----------------------------------------------------------------------------------------------
>
> Key: GROOVY-12692
> URL: https://issues.apache.org/jira/browse/GROOVY-12692
> Project: Groovy
> Issue Type: Bug
> Affects Versions: 6.0.0
> Reporter: Scott Murphy Heiberg
> Priority: Major
>
> With {{groovy.typecheckers.FormatStringChecker}} enabled, a format call whose
> arguments are not all constants is checked as if {{%%}} and {{%n}} each took
> an argument. A valid call is rejected.
> {{Percent.groovy}}:
> {code:groovy}
> import groovy.transform.TypeChecked
> @TypeChecked(extensions = 'groovy.typecheckers.FormatStringChecker')
> String show(String s) {
> String.format('100%% %s', s)
> }
> assert show('done') == '100% done'
> {code}
> {code:sh}
> groovyc Percent.groovy
> {code}
> Actual: exit 1 and
> {code:text}
> org.codehaus.groovy.control.MultipleCompilationErrorsException: startup
> failed:
> Percent.groovy: 5: [Static type checking] - MissingFormatArgument: Format
> specifier '%s'
> @ line 5, column 5.
> String.format('100%% %s', s)
> ^
> 1 error
> {code}
> Expected: the source compiles. {{java.util.Formatter}} gives {{%%}} and
> {{%n}} no argument, so the call returns {{100% done}}. The checker accepts
> the same format string when the argument is a constant
> ({{String.format('100%% %s', 'done')}}).
> More calls, each in a method with a {{String s}} parameter, with {{s =
> 'done'}} at run time:
> ||call||java.util.Formatter||FormatStringChecker||
> |{{String.format('%s%n', s)}}|returns {{done}} and a line
> separator|MissingFormatArgument: Format specifier '%n'|
> |{{String.format('%n%s', s)}}|returns a line separator and
> {{done}}|MissingFormatArgument: Format specifier '%s'|
> |{{String.format('%s %%', s)}}|returns {{done %}}|MissingFormatArgument:
> Format specifier '%%'|
> |{{String.format('%s %% %s', s, s)}}|returns {{done %
> done}}|MissingFormatArgument: Format specifier '%s'|
> |{{String.format('%s %% %<s', s)}}|returns {{done %
> done}}|MissingFormatArgument: Format specifier '%%'|
> |{{String.format('100%% %d', s)}}|IllegalFormatConversionException: d !=
> java.lang.String|MissingFormatArgument: Format specifier '%d'|
> |{{String.format('%% %<s', s)}}|MissingFormatArgumentException: Format
> specifier '%<s'|no error|
> |{{sprintf('%s%n', s)}}|returns {{done}} and a line
> separator|MissingFormatArgument: Format specifier '%n'|
> The rows for {{'100%% %d'}} and {{'%% %<s'}} show the other side of the same
> mistake: because the {{%%}} is given an argument, a real error is reported as
> a different error, or not at all.
> Affected versions: 6.0.0, 6.0.0-beta-1, 5.0.8 and 5.0.0 reject
> {{Percent.groovy}} the same way, and so does current master (7.0.0-SNAPSHOT
> at 5e9212ce1e).
> Cause: when not all arguments are constants, {{checkFormatStringTypes}}
> handles every specifier the format pattern matches as one that takes an
> argument: it checks the index against the number of arguments, reads that
> argument's type, and advances both the next index and the previous argument
> that {{%<}} refers to. The {{switch}} that follows skips {{%}} and {{n}}, but
> only after this bookkeeping. With constant arguments the checker runs
> {{java.util.Formatter}} itself, which is why that path is right.
> Fix outline: handle {{%%}} and {{%n}} before the argument bookkeeping,
> keeping the duplicate-flag check they already get.
> A pull request with regression tests follows.
> Environment: Groovy 6.0.0 on BellSoft JDK 21.0.12, macOS 26.5 (arm64);
> reproduced on master at 5e9212ce1e with the same JDK.
--
This message was sent by Atlassian Jira
(v10.3.26#10030026)
