MINOR: Bump checker.framework.version from 3.55.1 to 4.0.0 (#1113) Bumps `checker.framework.version` from 3.55.1 to 4.0.0. Updates `org.checkerframework:checker-qual` from 3.55.1 to 4.0.0 <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/typetools/checker-framework/releases">org.checkerframework:checker-qual's releases</a>.</em></p> <blockquote> <h2>Release 4.0.0 of the Checker Framework</h2> <h2>Version 4.0.0 (2026-04-07)</h2> <h3>User-visible changes</h3> <p>To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.</p> <p>The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.</p> <p>The type qualifiers and utility libraries in <code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.</p> <h3>Changes since version 3.0.0</h3> <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!</p> <p>New checkers include:</p> <ul> <li>The <a href="https://checkerframework.org/manual/#index-checker">Index Checker</a> warns about out-of-bounds accesses to arrays and strings.</li> <li>The <a href="https://checkerframework.org/manual/#initialized-fields-checker">Initialized Fields Checker</a> warns if a constructor does not initialize a field.</li> <li>The <a href="https://checkerframework.org/manual/#resource-leak-checker">Resource Leak Checker</a> guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, <code>ExecutionControl</code>, file, <code>FileLock</code>, <code>Formatter</code>, reader, <code>Scanner</code>, socket, stream, writer, etc.</li> <li>The <a href="https://checkerframework.org/manual/#sql-quotes-checker">SQL Quotes Checker</a> helps prevent SQL injection vulnerabilities.</li> </ul> <p>New command-line arguments include:</p> <ul> <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li> <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, <code>-AassumePure</code>, <code>-AassumePureGetters</code></li> <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li> <li><code>-AignoreRawTypeArguments</code></li> <li><code>-AwarnRedundantAnnotations</code></li> <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, <code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li> <li><code>-AshowSuppressWarningsStrings</code>, <code>-AwarnUnneededSuppressionsExceptions</code></li> <li><code>-AshowPrefixInWarningMessages</code></li> <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, <code>-AmergeStubsWithSource</code></li> <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, <code>-AexceptionLineSeparator</code></li> <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li> <li><code>-AslowTypecheckingSeconds</code></li> <li><code>-Aversion</code>, <code>-AprintGitProperties</code></li> <li>You can pass an option to only a particular checker (not all checkers) by using an underscore prefix.</li> </ul> <p>Other improvements include thousands of enhancements and bug fixes -- too many to list here.</p> <h3>Implementation details</h3> <p>All previously-deprecated methods and classes have been removed. If your project builds upon the Checker Framework, we suggest that you upgrade to version 3.55.1, resolve all the deprecation warnings, then upgrade to version 4.0.0.</p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md">org.checkerframework:checker-qual's changelog</a>.</em></p> <blockquote> <h2>Version 4.0.0 (2026-04-07)</h2> <h3>User-visible changes</h3> <p>To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.</p> <p>The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.</p> <p>The type qualifiers and utility libraries in <code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.</p> <h3>Changes since version 3.0.0</h3> <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!</p> <p>New checkers include:</p> <ul> <li>The <a href="https://checkerframework.org/manual/#index-checker">Index Checker</a> warns about out-of-bounds accesses to arrays and strings.</li> <li>The <a href="https://checkerframework.org/manual/#initialized-fields-checker">Initialized Fields Checker</a> warns if a constructor does not initialize a field.</li> <li>The <a href="https://checkerframework.org/manual/#resource-leak-checker">Resource Leak Checker</a> guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, <code>ExecutionControl</code>, file, <code>FileLock</code>, <code>Formatter</code>, reader, <code>Scanner</code>, socket, stream, writer, etc.</li> <li>The <a href="https://checkerframework.org/manual/#sql-quotes-checker">SQL Quotes Checker</a> helps prevent SQL injection vulnerabilities.</li> </ul> <p>New command-line arguments include:</p> <ul> <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li> <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, <code>-AassumePure</code>, <code>-AassumePureGetters</code></li> <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li> <li><code>-AignoreRawTypeArguments</code></li> <li><code>-AwarnRedundantAnnotations</code></li> <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, <code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li> <li><code>-AshowSuppressWarningsStrings</code>, <code>-AwarnUnneededSuppressionsExceptions</code></li> <li><code>-AshowPrefixInWarningMessages</code></li> <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, <code>-AmergeStubsWithSource</code></li> <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, <code>-AexceptionLineSeparator</code></li> <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li> <li><code>-AslowTypecheckingSeconds</code></li> </ul> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/479d0875daa271447e2822c657896b5f9d02ce24"><code>479d087</code></a> new release 4.0.0</li> <li><a href="https://github.com/typetools/checker-framework/commit/bfff75751f4fa4094b7d3015c4b2cfbc2893fbc5"><code>bfff757</code></a> Put the manual in the right place.</li> <li><a href="https://github.com/typetools/checker-framework/commit/c532f6d12fd5352610f70215f010786e9a2e9924"><code>c532f6d</code></a> Put a copy of manual.pdf at top level of website as expected.</li> <li><a href="https://github.com/typetools/checker-framework/commit/5e53e6cfd1e5535623ea260342391037106778ec"><code>5e53e6c</code></a> No closed issues.</li> <li><a href="https://github.com/typetools/checker-framework/commit/e67ae858ed36f81ac586fbf42821fa3a483e7f23"><code>e67ae85</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/4192d0d88bc272c571a8dd3454d499982cd0ee42"><code>4192d0d</code></a> Remove file SKIP-REQUIRE-JAVADOC</li> <li><a href="https://github.com/typetools/checker-framework/commit/7d6d85687d2298dbe85d59692ab85d03566a29e7"><code>7d6d856</code></a> Remove or update references to JDK 8-16</li> <li><a href="https://github.com/typetools/checker-framework/commit/b1e3761bbf0dfb1185d7e8e0b850ef97cafd5ea8"><code>b1e3761</code></a> Remove all deprecated methods</li> <li><a href="https://github.com/typetools/checker-framework/commit/a1b30642b07d64603a9ec9ef093f910e5be0bf41"><code>a1b3064</code></a> Directly use Java 17 and below Javac APIs. (<a href="https://redirect.github.com/typetools/checker-framework/issues/7582">#7582</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/4efdbdbbda3ac5230bcae57341098816aa71abfb"><code>4efdbdb</code></a> Remove support for Java 8 from scripts and build scripts. (<a href="https://redirect.github.com/typetools/checker-framework/issues/7575">#7575</a>)</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.55.1...checker-framework-4.0.0">compare view</a></li> </ul> </details> <br /> Updates `org.checkerframework:checker` from 3.55.1 to 4.0.0 <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/typetools/checker-framework/releases">org.checkerframework:checker's releases</a>.</em></p> <blockquote> <h2>Release 4.0.0 of the Checker Framework</h2> <h2>Version 4.0.0 (2026-04-07)</h2> <h3>User-visible changes</h3> <p>To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.</p> <p>The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.</p> <p>The type qualifiers and utility libraries in <code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.</p> <h3>Changes since version 3.0.0</h3> <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!</p> <p>New checkers include:</p> <ul> <li>The <a href="https://checkerframework.org/manual/#index-checker">Index Checker</a> warns about out-of-bounds accesses to arrays and strings.</li> <li>The <a href="https://checkerframework.org/manual/#initialized-fields-checker">Initialized Fields Checker</a> warns if a constructor does not initialize a field.</li> <li>The <a href="https://checkerframework.org/manual/#resource-leak-checker">Resource Leak Checker</a> guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, <code>ExecutionControl</code>, file, <code>FileLock</code>, <code>Formatter</code>, reader, <code>Scanner</code>, socket, stream, writer, etc.</li> <li>The <a href="https://checkerframework.org/manual/#sql-quotes-checker">SQL Quotes Checker</a> helps prevent SQL injection vulnerabilities.</li> </ul> <p>New command-line arguments include:</p> <ul> <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li> <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, <code>-AassumePure</code>, <code>-AassumePureGetters</code></li> <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li> <li><code>-AignoreRawTypeArguments</code></li> <li><code>-AwarnRedundantAnnotations</code></li> <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, <code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li> <li><code>-AshowSuppressWarningsStrings</code>, <code>-AwarnUnneededSuppressionsExceptions</code></li> <li><code>-AshowPrefixInWarningMessages</code></li> <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, <code>-AmergeStubsWithSource</code></li> <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, <code>-AexceptionLineSeparator</code></li> <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li> <li><code>-AslowTypecheckingSeconds</code></li> <li><code>-Aversion</code>, <code>-AprintGitProperties</code></li> <li>You can pass an option to only a particular checker (not all checkers) by using an underscore prefix.</li> </ul> <p>Other improvements include thousands of enhancements and bug fixes -- too many to list here.</p> <h3>Implementation details</h3> <p>All previously-deprecated methods and classes have been removed. If your project builds upon the Checker Framework, we suggest that you upgrade to version 3.55.1, resolve all the deprecation warnings, then upgrade to version 4.0.0.</p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md">org.checkerframework:checker's changelog</a>.</em></p> <blockquote> <h2>Version 4.0.0 (2026-04-07)</h2> <h3>User-visible changes</h3> <p>To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.</p> <p>The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.</p> <p>The type qualifiers and utility libraries in <code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.</p> <h3>Changes since version 3.0.0</h3> <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!</p> <p>New checkers include:</p> <ul> <li>The <a href="https://checkerframework.org/manual/#index-checker">Index Checker</a> warns about out-of-bounds accesses to arrays and strings.</li> <li>The <a href="https://checkerframework.org/manual/#initialized-fields-checker">Initialized Fields Checker</a> warns if a constructor does not initialize a field.</li> <li>The <a href="https://checkerframework.org/manual/#resource-leak-checker">Resource Leak Checker</a> guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, <code>ExecutionControl</code>, file, <code>FileLock</code>, <code>Formatter</code>, reader, <code>Scanner</code>, socket, stream, writer, etc.</li> <li>The <a href="https://checkerframework.org/manual/#sql-quotes-checker">SQL Quotes Checker</a> helps prevent SQL injection vulnerabilities.</li> </ul> <p>New command-line arguments include:</p> <ul> <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li> <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, <code>-AassumePure</code>, <code>-AassumePureGetters</code></li> <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li> <li><code>-AignoreRawTypeArguments</code></li> <li><code>-AwarnRedundantAnnotations</code></li> <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, <code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li> <li><code>-AshowSuppressWarningsStrings</code>, <code>-AwarnUnneededSuppressionsExceptions</code></li> <li><code>-AshowPrefixInWarningMessages</code></li> <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, <code>-AmergeStubsWithSource</code></li> <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, <code>-AexceptionLineSeparator</code></li> <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li> <li><code>-AslowTypecheckingSeconds</code></li> </ul> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/479d0875daa271447e2822c657896b5f9d02ce24"><code>479d087</code></a> new release 4.0.0</li> <li><a href="https://github.com/typetools/checker-framework/commit/bfff75751f4fa4094b7d3015c4b2cfbc2893fbc5"><code>bfff757</code></a> Put the manual in the right place.</li> <li><a href="https://github.com/typetools/checker-framework/commit/c532f6d12fd5352610f70215f010786e9a2e9924"><code>c532f6d</code></a> Put a copy of manual.pdf at top level of website as expected.</li> <li><a href="https://github.com/typetools/checker-framework/commit/5e53e6cfd1e5535623ea260342391037106778ec"><code>5e53e6c</code></a> No closed issues.</li> <li><a href="https://github.com/typetools/checker-framework/commit/e67ae858ed36f81ac586fbf42821fa3a483e7f23"><code>e67ae85</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/4192d0d88bc272c571a8dd3454d499982cd0ee42"><code>4192d0d</code></a> Remove file SKIP-REQUIRE-JAVADOC</li> <li><a href="https://github.com/typetools/checker-framework/commit/7d6d85687d2298dbe85d59692ab85d03566a29e7"><code>7d6d856</code></a> Remove or update references to JDK 8-16</li> <li><a href="https://github.com/typetools/checker-framework/commit/b1e3761bbf0dfb1185d7e8e0b850ef97cafd5ea8"><code>b1e3761</code></a> Remove all deprecated methods</li> <li><a href="https://github.com/typetools/checker-framework/commit/a1b30642b07d64603a9ec9ef093f910e5be0bf41"><code>a1b3064</code></a> Directly use Java 17 and below Javac APIs. (<a href="https://redirect.github.com/typetools/checker-framework/issues/7582">#7582</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/4efdbdbbda3ac5230bcae57341098816aa71abfb"><code>4efdbdb</code></a> Remove support for Java 8 from scripts and build scripts. (<a href="https://redirect.github.com/typetools/checker-framework/issues/7575">#7575</a>)</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.55.1...checker-framework-4.0.0">compare view</a></li> </ul> </details> <br /> Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
The following guides explain the fundamental data structures used in the Java implementation of Apache Arrow.
Generated javadoc documentation is available here.
Refer to Building Apache Arrow for documentation of environment setup and build instructions.
Arrow uses Google's Flatbuffers to transport metadata. The java version of the library requires the generated flatbuffer classes can only be used with the same version that generated them. Arrow packages a version of the arrow-vector module that shades flatbuffers and arrow-format into a single JAR. Using the classifier “shade-format-flatbuffers” in your pom.xml will make use of this JAR, you can then exclude/resolve the original dependency to a version of your choosing.
$ flatc --version flatc version 25.1.24 $ grep "dep.fbs.version" pom.xml <dep.fbs.version>25.1.24</dep.fbs.version>
cd $ARROW_HOME # remove the existing files rm -rf format/src # regenerate from the .fbs files flatc --java -o format/src/main/java arrow-format/*.fbs # prepend license header mvn spotless:apply -pl :arrow-format
There are several system/environmental variables that users can configure. These trade off safety (they turn off checking) for speed. Typically they are only used in production settings after the code has been thoroughly tested without using them.
Bounds Checking for memory accesses: Bounds checking is on by default. You can disable it by setting either the system property(arrow.enable_unsafe_memory_access) or the environmental variable (ARROW_ENABLE_UNSAFE_MEMORY_ACCESS) to true. When both the system property and the environmental variable are set, the system property takes precedence.
null checking for gets: ValueVector get methods (not getObject) methods by default verify the slot is not null. You can disable it by setting either the system property(arrow.enable_null_check_for_get) or the environmental variable (ARROW_ENABLE_NULL_CHECK_FOR_GET) to false. When both the system property and the environmental variable are set, the system property takes precedence.
-Dio.netty.tryReflectionSetAccessible=true should be set. This fixes java.lang.UnsupportedOperationException: sun.misc.Unsafe or java.nio.DirectByteBuffer.(long, int) not available. thrown by Netty.StructVector enable -Darrow.struct.conflict.policy=CONFLICT_APPEND. Duplicate fields are ignored (CONFLICT_REPLACE) by default and overwritten. To support different policies for conflicting or duplicate fields set this JVM flag or use the correct static constructor methods for StructVectors.Arrow Java follows the Google Java Style Guide with the following differences:
NoFinalizer, OverloadMethodsDeclarationOrder, and VariableDeclarationUsageDistance due to the existing code base. These rules should be followed when possible.Refer to checkstyle.xml for rule specifics.
When running tests, Arrow Java uses the Logback logger with SLF4J. By default, it uses the logback.xml present in the corresponding module's src/test/resources directory, which has the default log level set to INFO. Arrow Java can be built with an alternate logback configuration file using the following command run in the project root directory:
mvn -Dlogback.configurationFile=file:<path-of-logback-file>
See Logback Configuration for more details.
Integration tests which require more time or more memory can be run by activating the integration-tests profile. This activates the Maven Failsafe plugin and any class prefixed with IT will be run during the testing phase. The integration tests currently require a larger amount of memory (>4GB) and time to complete. To activate the profile:
mvn -Pintegration-tests <rest of mvn arguments>