Skip to content

Add MustCall annotations to JDBC Statement and ResultSet #258

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
parameshn wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Add MustCall annotations to JDBC Statement and ResultSet #258

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d9f35f2
Add mustcall annotations to ResultSet interface
parameshn Feb 15, 2026
f6e09dd
Add must call annotations for Statement
parameshn Feb 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion src/java.sql/share/classes/java/sql/ResultSet.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@
package java.sql;

import org.checkerframework.checker.nullness.qual.Nullable;
import org.checkerframework.checker.mustcall.qual.InheritableMustCall;
import org.checkerframework.framework.qual.AnnotatedFor;

import java.math.BigDecimal;
Expand Down Expand Up @@ -149,7 +150,8 @@
* @since 1.1
*/

@AnnotatedFor("nullness")
@AnnotatedFor({"nullness", "mustcall"})
@InheritableMustCall("close")
public interface ResultSet extends Wrapper, AutoCloseable {

/**
Expand Down
5 changes: 5 additions & 0 deletions src/java.sql/share/classes/java/sql/Statement.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,9 @@
import org.checkerframework.checker.sqlquotes.qual.SqlEvenQuotes;
import org.checkerframework.checker.tainting.qual.Untainted;

import org.checkerframework.checker.mustcall.qual.InheritableMustCall;
import org.checkerframework.framework.qual.AnnotatedFor;

import java.util.regex.Pattern;
import static java.util.stream.Collectors.joining;

Expand All @@ -47,6 +50,8 @@
* @see ResultSet
* @since 1.1
*/
@AnnotatedFor({"mustcall"})
@InheritableMustCall("close")
public interface Statement extends Wrapper, AutoCloseable {

/**
Expand Down
Loading