[CALCITE-7736] Replace the Checker Framework with NullAway and JSpecify - #5213

Draft

vlsi wants to merge 60 commits into

apache:mainfrom

vlsi:CALCITE-7736

Commits on Aug 30, 2026

[CALCITE-7736] Replace the Checker Framework with NullAway and JSpecify

vlsi
and
claude
committed
ab12fb1
[CALCITE-7736] Add the JSpecify Java 8 transformation workaround

committed
78c92ab
[CALCITE-7736] Move the Checker Framework annotations to JSpecify

vlsi
and
claude
committed
4e59988
[CALCITE-7736] Replace @PolyNull with @Contract

vlsi
and
claude
committed
0445ac7
[CALCITE-7736] Give type parameters the nullable bounds the Checker Framework inferred

vlsi
and
claude
committed
b30ab88
[CALCITE-7736] Let the linq4j tree visitor return null

vlsi
and
claude
committed
6830779
[CALCITE-7736] Admit that min and max return null for an empty sequence

vlsi
and
claude
committed
352ebdf
[CALCITE-7736] Let a seeded aggregate start from null

vlsi
and
claude
committed
8d0c680
[CALCITE-7736] Drop castNonNull calls whose argument is already non-null

vlsi
and
claude
committed
27e777b
[CALCITE-7736] Handle the nulls the JDK actually hands out

vlsi
and
claude
committed
193cfbd
[CALCITE-7736] Remove two annotations the migration made untrue

vlsi
and
claude
committed
40492e0
[CALCITE-7736] Let the memory window hold the nulls it is padded with

vlsi
and
claude
committed
98c896d
[CALCITE-7736] Let the join enumerators carry the null rows they emit

vlsi
and
claude
committed
8d1506c
[CALCITE-7736] Suppress the three do-nothing visitors

vlsi
and
claude
committed
caae6f6
[CALCITE-7736] Instantiate the result-ignoring visitors with @Nullable Void

vlsi
and
claude
committed
9a30b37
[CALCITE-7736] Drop castNonNull calls whose argument is already non-null

vlsi
and
claude
committed
2e438ff
[CALCITE-7736] Let the PairList implementations hold nullable pairs

vlsi
and
claude
committed
b618b5d
[CALCITE-7736] Let select and its siblings produce a nullable result

vlsi
and
claude
committed
ff73a5d
[CALCITE-7736] Let the SQL collection helpers carry null elements

vlsi
and
claude
committed
d3cbfc6
[CALCITE-7736] Let the null-tolerant collection helpers take nullable elements

vlsi
and
claude
committed
2e53e54
[CALCITE-7736] Let SqlFunctions carry the nulls that SQL values have

vlsi
and
claude
committed
7b53ff9
[CALCITE-7736] Let the shared utilities take nullable arguments

vlsi
and
claude
committed
0e86764
[CALCITE-7736] Let the utility collections and visitors carry nulls

vlsi
and
claude
committed
978eae2
[CALCITE-7736] Drop the preconditions that only the Checker Framework needed

vlsi
and
claude
committed
62b878a
[CALCITE-7736] Say what the guards already check, and drop two more dead preconditions

vlsi
and
claude
committed
8d4b426
[CALCITE-7736] Take the nullable bound on the acceptCall overrides, and two more dead preconditions

vlsi
and
claude
committed
db69bff
[CALCITE-7736] Read the nulls the JDK hands out, and restore two narrowings

vlsi
and
claude
committed
fbf3614
[CALCITE-7736] Let the values that are genuinely absent say so

vlsi
and
claude
committed
6efaac3
[CALCITE-7736] Type the collections and results that hold absent values

vlsi
and
claude
committed
c3d48f2
[CALCITE-7736] Let unwrap say it may find nothing, and split two contract guards

vlsi
and
claude
committed
9d5de4e
[CALCITE-7736] Ask for what is already established, and let the expression lists hold nulls

vlsi
and
claude
committed
0b4d95a
[CALCITE-7736] Say where a value is genuinely absent, and work around the bytecode wildcard

vlsi
and
claude
committed
600f708
[CALCITE-7736] Let the profiled rows and composed lists hold absent values

vlsi
and
claude
committed
08625f3
[CALCITE-7736] Read each value once, and drop a castNonNull that outlived its reason

vlsi
and
claude
committed
b340e2c
[CALCITE-7736] Close out the last of the core findings

vlsi
and
claude
committed
28369b6
[CALCITE-7736] Give the Void visitors the return type their visitor interface declares

vlsi
and
claude
committed
ddd6813
[CALCITE-7736] Carry the nullable element types through the JSON and metadata paths

vlsi
and
claude
committed
77efb2a
[CALCITE-7736] Carry the nullable element types through the adapters and the runtime

vlsi
and
claude
committed
0b18448
[CALCITE-7736] Carry the nullable element types through the planner and the parser

vlsi
and
claude
committed
d6e8a55
[CALCITE-7736] Let NullAway itself require the explicit null-marking

vlsi
and
claude
committed
b6a4afd
[CALCITE-7736] Put :server back under nullness verification

vlsi
and
claude
committed
bffba1c
[CALCITE-7736] Put :druid under nullness verification

vlsi
and
claude
committed
0ab1e27
[CALCITE-7736] Put :file under nullness verification

vlsi
and
claude
committed
34a8e17
[CALCITE-7736] Put :kafka under nullness verification

vlsi
and
claude
committed
c307931
[CALCITE-7736] Put :spark under nullness verification

vlsi
and
claude
committed
67d5292
[CALCITE-7736] Put :babel under nullness verification

vlsi
and
claude
committed
a3a7f72
[CALCITE-7736] Put :redis under nullness verification

vlsi
and
claude
committed
359fc31
[CALCITE-7736] Put :splunk under nullness verification

vlsi
and
claude
committed
b60bf84
[CALCITE-7736] Put :mongodb under nullness verification

vlsi
and
claude
committed
c6b74b9
[CALCITE-7736] Put :cassandra under nullness verification

vlsi
and
claude
committed
b01f2ce
[CALCITE-7736] Put :pig under nullness verification

vlsi
and
claude
committed
b657086
[CALCITE-7736] Put :arrow under nullness verification

vlsi
and
claude
committed
6b36f5b
[CALCITE-7736] Put :innodb under nullness verification

vlsi
and
claude
committed
26862be
[CALCITE-7736] Put :piglet under nullness verification

vlsi
and
claude
committed
8568d53
[CALCITE-7736] Put :geode under nullness verification

vlsi
and
claude
committed
4a33a25
[CALCITE-7736] Put :elasticsearch under nullness verification

vlsi
and
claude
committed
9396d74
[CALCITE-7736] Put :plus under nullness verification

vlsi
and
claude
committed
970698e
[CALCITE-7736] Put :example:csv and :example:function under nullness verification

vlsi
and
claude
committed
ba6a7cb
[CALCITE-7736] Put :testkit under nullness verification

vlsi
and
claude
committed
18e873d
[CALCITE-7736] Put :ubenchmark under nullness verification

vlsi
and
claude
committed
7dd0178