Add MustCall annotations to JDBC Statement and ResultSet

[parameshn]

This PR adds @InheritableMustCall("close") annotations to the JDBC interfaces Statement and ResultSet.

These types represent database-backed resources whose lifecycle already requires callers to invoke close(). Adding MustCall annotations enables the MustCall Checker to detect resource leaks in common JDBC usage patterns while refining the existing AutoCloseable contract.

This PR contributes to typetools/checker-framework#6354
by annotating additional JDK subtypes of AutoCloseable that own external resources.

Related tests are provided in typetools/checker-framework#7480
.

This PR intentionally includes only JDBC types. Audio/MIDI annotations from the original PR are being handled separately because their lifecycle semantics are more complex.

[coderabbitai]

📝 Walkthrough

Walkthrough

This change adds must-call checker semantics to the ResultSet and Statement interfaces in the java.sql module. The ResultSet interface imports InheritableMustCall and updates its @AnnotatedFor annotation to include both "nullness" and "mustcall" checkers, while adding @InheritableMustCall("close"). The Statement interface adds both InheritableMustCall and AnnotatedFor imports, and applies @AnnotatedFor({"mustcall"}) and @InheritableMustCall("close") annotations. These changes enforce that implementers of these interfaces must ensure their close() method is called.

🚥 Pre-merge checks | ✅ 2

✅ Passed checks (2 passed)

Check name	Status	Explanation
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Merge Conflict Detection	✅ Passed	✅ No merge conflicts detected when merging into master

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing touches

• 📝 Generate docstrings

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment

---

No actionable comments were generated in the recent review. 🎉

Tip

Issue Planner is now in beta. Read the docs and try it out! Share your feedback on Discord.

---

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 and usage tips.}