Update checker-qual.jar

[mernst]

No description provided.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro Plus

Run ID: 44d67799-890e-4b0d-a8cf-89915ee11af1

📥 Commits

Reviewing files that changed from the base of the PR and between 119e808 and 6f911d2.

⛔ Files ignored due to path filters (1)

• checker-qual.jar is excluded by !**/*.jar

📒 Files selected for processing (25)

• src/java.base/share/classes/org/checkerframework/checker/builder/qual/CalledMethods.java
• src/java.base/share/classes/org/checkerframework/checker/formatter/qual/ConversionCategory.java
• src/java.base/share/classes/org/checkerframework/checker/formatter/qual/FormatBottom.java
• src/java.base/share/classes/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java
• src/java.base/share/classes/org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.java
• src/java.base/share/classes/org/checkerframework/checker/index/qual/IndexOrHigh.java
• src/java.base/share/classes/org/checkerframework/checker/index/qual/LengthOf.java
• src/java.base/share/classes/org/checkerframework/checker/interning/qual/InternedDistinct.java
• src/java.base/share/classes/org/checkerframework/checker/nonempty/qual/EnsuresNonEmptyIf.java
• src/java.base/share/classes/org/checkerframework/checker/optional/qual/RequiresPresent.java
• src/java.base/share/classes/org/checkerframework/checker/regex/qual/RegexBottom.java
• src/java.base/share/classes/org/checkerframework/checker/signature/qual/BinaryName.java
• src/java.base/share/classes/org/checkerframework/checker/signature/qual/CanonicalName.java
• src/java.base/share/classes/org/checkerframework/checker/signature/qual/FullyQualifiedName.java
• src/java.base/share/classes/org/checkerframework/checker/sqlquotes/qual/SqlQuotesBottom.java
• src/java.base/share/classes/org/checkerframework/common/aliasing/qual/NonLeaked.java
• src/java.base/share/classes/org/checkerframework/common/reflection/qual/ClassBound.java
• src/java.base/share/classes/org/checkerframework/common/reflection/qual/ClassVal.java
• src/java.base/share/classes/org/checkerframework/common/reflection/qual/MethodVal.java
• src/java.base/share/classes/org/checkerframework/common/returnsreceiver/qual/UnknownThis.java
• src/java.base/share/classes/org/checkerframework/dataflow/qual/Pure.java
• src/java.base/share/classes/org/checkerframework/dataflow/qual/SideEffectFree.java
• src/java.base/share/classes/org/checkerframework/dataflow/qual/SideEffectsOnly.java
• src/java.base/share/classes/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.java
• src/java.base/share/classes/org/checkerframework/framework/qual/DoesNotUnrefineReceiver.java

---

📝 Walkthrough

Walkthrough

The changes update Checker Framework annotations and their documentation. They simplify several @DefaultFor declarations, clarify index and purity contracts, and remove Pure.Kind. Formatter category helpers now have expanded documentation and informative failure messages. Javadocs correct wording, examples, parser comments, and Java SE references. DoesNotUnrefineReceiver now uses @InheritedAnnotation.

Possibly related PRs

• typetools/jdk#265: Updates the same dataflow annotations, including Pure, SideEffectFree, and SideEffectsOnly.
• typetools/jdk#268: Introduces and applies DoesNotUnrefineReceiver.
• typetools/jdk#282: Updates the same SideEffectsOnly and SideEffectFree annotation definitions.

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}