JSpecify big wave 3 by dondonz · Pull Request #4274 · graphql-java/graphql-java

dondonz · 2026-03-01T00:01:20Z

Another wave of JSpecify changes, this time featuring Claude's agent teams.

Keeping in draft while I review.

66 classes annotated

graphql.analysis (16 classes)

QueryComplexityCalculator, QueryComplexityInfo, QueryDepthInfo, QueryReducer, QueryTransformer, QueryTraversalOptions, QueryVisitor, QueryVisitorFieldArgumentEnvironment, QueryVisitorFieldArgumentInputValue, QueryVisitorFieldArgumentValueEnvironment, QueryVisitorFieldEnvironment, QueryVisitorFragmentDefinitionEnvironment, QueryVisitorFragmentSpreadEnvironment, QueryVisitorInlineFragmentEnvironment, QueryVisitorStub, ValueTraverser

graphql.execution core (26 classes)

AbortExecutionException, AsyncExecutionStrategy, AsyncSerialExecutionStrategy, CoercedVariables, DataFetcherExceptionHandlerParameters, DataFetcherExceptionHandlerResult, DefaultValueUnboxer, ExecutionContext, ExecutionId, ExecutionStepInfo, ExecutionStrategyParameters, FetchedValue, FieldValueInfo, InputMapDefinesTooManyFieldsException, MergedSelectionSet, MissingRootTypeException, NonNullableValueCoercedAsNullException, NormalizedVariables, OneOfNullValueException, OneOfTooManyKeysException, ResultNodesInfo, ResultPath, SimpleDataFetcherExceptionHandler, SubscriptionExecutionStrategy, UnknownOperationException, UnresolvedTypeException

graphql.execution sub-packages (24 classes)

ConditionalNodeDecision, QueryAppliedDirective, QueryAppliedDirectiveArgument, QueryDirectives, FieldValidationInstrumentation, SimpleFieldValidation, InstrumentationCreateStateParameters, InstrumentationExecuteOperationParameters, InstrumentationExecutionParameters, InstrumentationExecutionStrategyParameters, InstrumentationFieldCompleteParameters, InstrumentationFieldFetchParameters, InstrumentationFieldParameters, InstrumentationValidationParameters, TracingInstrumentation, TracingSupport, PreparsedDocumentEntry, ApolloPersistedQuerySupport, InMemoryPersistedQueryCache, PersistedQueryCacheMiss, PersistedQueryIdInvalid, PersistedQueryNotFound, DelegatingSubscription, SubscriptionPublisher

Review passes

./gradlew compileJava passes. The reviewer agent also fixed cascading NullAway errors in calling code (e.g. ResultPath, ExecutionStepInfo, ExecutionContext, TracingSupport) using assertNotNull() where structural invariants guarantee non-null.

https://claude.ai/code/session_01FG3V2VvjSSbUVcjn9FX4yx

@nonnull

- QueryAppliedDirectiveArgument: remove @nonnull from Builder methods (import was dropped) - ResultPath: fix @nullable parent/segment dereferences with assertNotNull - ExecutionStepInfo: fix @nullable field dereference in getResultKey() - ExecutionContext: add assertNotNull for AtomicReference.get() calls on errors - SubscriptionExecutionStrategy: fix @nullable getField()/getDeferredCallContext() dereferences - AsyncSerialExecutionStrategy: fix @nullable getSubField()/getFieldValueObject() issues - DataFetcherExceptionHandlerParameters: mark getSourceLocation() @nullable - ExceptionWhileDataFetching: accept @nullable SourceLocation in constructor - TracingSupport/UnresolvedTypeError: fix @nullable getParent()/getFieldDefinition() dereferences - InstrumentationFieldParameters/Complete: fix @nullable getFieldDefinition() in getField() - ExecutionStepInfoFactory: fix @nullable getField() with assertNotNull - GraphQL: fix @nullable getDocument() with assertNotNull - ValueTraverser: fix @nullable newValue passed to ImmutableList.Builder.add() - MaxQueryDepthInstrumentation: mark getPathLength() param @nullable Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

dondonz · 2026-03-01T00:02:35Z

src/main/java/graphql/execution/AbortExecutionException.java

 * This Exception indicates that the current execution should be aborted.
 */
 @PublicApi
+@NullMarked


I abruptly ran out of credits here - more is coming

Given it's already 66 classes - the next wave will happen in a separate PR

github-actions · 2026-03-01T00:03:36Z

Test Results

335 files ±0 335 suites ±0 5m 4s ⏱️ -2s
5 378 tests ±0 5 369 ✅ - 1 9 💤 +1 0 ❌ ±0
5 467 runs ±0 5 458 ✅ - 1 9 💤 +1 0 ❌ ±0

Results for commit 0a77532. ± Comparison against base commit 739403f.

This pull request removes 196 and adds 172 tests. Note that renamed tests count towards both.

	?

	, expected: combo-\"\\\b\f\n\r\t, #4]
                __schema { types { fields { args { type { name fields { name }}}}}}
                __schema { types { fields { type { name fields { name }}}}}
                __schema { types { inputFields { type { inputFields { name }}}}}
                __schema { types { interfaces { fields { type { interfaces { name } } } } } }
                __schema { types { name} }
                __type(name : "t") { name }
                a1: __schema { types { name} }
                a1: __type(name : "t") { name }
…

graphql.AssertTest ‑ assertFalse with different number of error args but false does not throw assertions [toRun: <graphql.AssertTest$__spock_feature_0_21prov0_closure23@2f2bff16 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1, #0]
graphql.AssertTest ‑ assertFalse with different number of error args but false does not throw assertions [toRun: <graphql.AssertTest$__spock_feature_0_21prov0_closure24@75de29c0 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1 arg2, #1]
graphql.AssertTest ‑ assertFalse with different number of error args but false does not throw assertions [toRun: <graphql.AssertTest$__spock_feature_0_21prov0_closure25@fc807c1 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1 arg2 arg3, #2]
graphql.AssertTest ‑ assertFalse with different number of error args throws assertions [toRun: <graphql.AssertTest$__spock_feature_0_20prov0_closure20@733aa9d8 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1, #0]
graphql.AssertTest ‑ assertFalse with different number of error args throws assertions [toRun: <graphql.AssertTest$__spock_feature_0_20prov0_closure21@6dcc40f5 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1 arg2, #1]
graphql.AssertTest ‑ assertFalse with different number of error args throws assertions [toRun: <graphql.AssertTest$__spock_feature_0_20prov0_closure22@2b680207 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1 arg2 arg3, #2]
graphql.AssertTest ‑ assertNotNull with different number of  error args throws assertions [toRun: <graphql.AssertTest$__spock_feature_0_5prov0_closure3@6eb17ec8 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1, #0]
graphql.AssertTest ‑ assertNotNull with different number of  error args throws assertions [toRun: <graphql.AssertTest$__spock_feature_0_5prov0_closure4@48d293ee delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1 arg2, #1]
graphql.AssertTest ‑ assertNotNull with different number of  error args throws assertions [toRun: <graphql.AssertTest$__spock_feature_0_5prov0_closure5@7a0ef219 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1 arg2 arg3, #2]
graphql.AssertTest ‑ assertNotNull with different number of error args with non null does not throw assertions [toRun: <graphql.AssertTest$__spock_feature_0_6prov0_closure6@e5cbff2 delegate=inaccessible owner=inaccessible thisObject=inaccessible resolveStrategy=inaccessible directive=inaccessible parameterTypes=inaccessible maximumNumberOfParameters=inaccessible bcw=inaccessible thisType=inaccessible>, expectedMessage: error arg1, #0]
…

This pull request skips 1 test.

graphql.schema.fetching.LambdaFetchingSupportTest ‑ different class loaders induce certain behaviours

♻️ This comment has been updated with latest results.

All 66 classes annotated in Wave 1 (graphql.analysis, graphql.execution core, and graphql.execution sub-packages) are removed from the exemption list now that they carry @NullMarked. Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

dondonz · 2026-03-01T05:01:03Z

.claude/commands/jspecify-team-prompt.md

+graphql.execution.reactive.DelegatingSubscription
+graphql.execution.reactive.SubscriptionPublisher
+```
+


Worker 4 got removed because it was covered by previous PRs.

Work from worker 5 onwards will be in another PR. This PR is already quite large

- Explicitly state that @internal classes must not be annotated - Tighten exemption list cleanup instruction to remove only the annotated class Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

bbakerman · 2026-03-07T04:45:13Z

src/main/java/graphql/execution/directives/QueryAppliedDirectiveArgument.java

         * @return this builder
         */
-        public Builder valueLiteral(@NonNull Value<?> value) {
+        public Builder valueLiteral(Value<?> value) {


So you tuned OFF null marked but this is no less precise than it was. Perhaps a Object.requireNonNull ??

That's a good idea

bbakerman · 2026-03-07T04:48:35Z

src/main/java/graphql/execution/preparsed/PreparsedDocumentEntry.java


+    @Nullable
    public List<? extends GraphQLError> getErrors() {
        return errors;


Maybe we should change this so that errors is always non null but some times empty?

Document has to nullable of course. Quasi breaking change but nicer - eg less nullable things

That's a good idea, you mentioned this in another class too. I think better to make it an empty list by default, like DataFetcherResult

I will add a breaking change label

bbakerman

dondonz · 2026-03-07T07:24:26Z

I'm impressed, I have the correct number of fingers on both hands. Models have come a long way.

But I'm going to deduct marks for Python references creeping in!

github-actions · 2026-03-07T20:43:04Z

Test Report

Test Results

Java Version	Total	Passed	Failed	Errors	Skipped
Java 11	5518 (-190 🔴)	5509 (-143 🔴)	2 (+2 🔴)	0 (±0)	7 (-49)
Java 17	0 (-5708 🔴)	0 (-5651 🔴)	0 (±0)	0 (±0)	0 (-57)
Java 21	5518 (-190 🔴)	5508 (-143 🔴)	2 (+2 🔴)	0 (±0)	8 (-49)
Java 25	5518 (-190 🔴)	5508 (-143 🔴)	2 (+2 🔴)	0 (±0)	8 (-49)
jcstress	32 (±0)	32 (±0)	0 (±0)	0 (±0)	0 (±0)
Total	16586 (-6278 🔴)	16557 (-6080 🔴)	6 (+6 🔴)	0 (±0)	23 (-204)

Updated: 2026-03-22 07:24:46 UTC

# Conflicts: # .claude/commands/jspecify-annotate.md # src/main/java/graphql/execution/ExecutionContext.java # src/test/groovy/graphql/archunit/JSpecifyAnnotationsCheck.groovy

claude and others added 30 commits February 28, 2026 23:21

Add JSpecify agent team orchestrator prompt

7a3d03f

https://claude.ai/code/session_01FG3V2VvjSSbUVcjn9FX4yx

Move to .claude folder

b30585a

Add JSpecify annotations to QueryComplexityCalculator

18cd241

Add JSpecify annotations to AbortExecutionException

fc88122

Add JSpecify annotations to ConditionalNodeDecision

d71b245

Add JSpecify annotations to AsyncExecutionStrategy

f79e9ea

Add JSpecify annotations to QueryComplexityInfo

3194a43

Add JSpecify annotations to AsyncSerialExecutionStrategy

119d6dd

Add JSpecify annotations to QueryDepthInfo

ce144ba

Add JSpecify annotations to CoercedVariables

7765059

Add JSpecify annotations to QueryReducer

7c8569a

Add JSpecify annotations to QueryAppliedDirective

6801331

Add JSpecify annotations to DataFetcherExceptionHandlerParameters

6035167

Add JSpecify annotations to DataFetcherExceptionHandlerResult

dfae148

Add JSpecify annotations to QueryTransformer

460ee6b

Add JSpecify annotations to DefaultValueUnboxer

4427846

Add JSpecify annotations to QueryAppliedDirectiveArgument

32ecef7

Add JSpecify annotations to QueryTraversalOptions

f223706

Add JSpecify annotations to QueryVisitor

bfe03d0

Add JSpecify annotations to ExecutionContext

8b7d7a2

Add JSpecify annotations to ExecutionId

1d3a502

Add JSpecify annotations to QueryDirectives

ed60978

Add JSpecify annotations to QueryVisitorFieldArgumentEnvironment

24aa942

Add JSpecify annotations to QueryVisitorFieldArgumentInputValue

d92048b

Add JSpecify annotations to FieldValidationInstrumentation

1ebd551

Add JSpecify annotations to QueryVisitorFieldArgumentValueEnvironment

c3bda94

Add JSpecify annotations to SimpleFieldValidation

560b28d

Add JSpecify annotations to InstrumentationCreateStateParameters

b540dbb

Add JSpecify annotations to ExecutionStepInfo

e54951c

Add JSpecify annotations to QueryVisitorFieldEnvironment

f9c46df

dondonz and others added 12 commits March 1, 2026 10:41

Add JSpecify annotations to ResultNodesInfo

1154e30

Add JSpecify annotations to PersistedQueryCacheMiss

45ed448

Add JSpecify annotations to PersistedQueryIdInvalid

d7d5a82

Add JSpecify annotations to PersistedQueryNotFound

100c2cd

Add JSpecify annotations to ResultPath

4c004a1

Add JSpecify annotations to DelegatingSubscription

3e190f3

Add JSpecify annotations to SimpleDataFetcherExceptionHandler

e540440

Add JSpecify annotations to SubscriptionPublisher

e9fd9e9

Add JSpecify annotations to SubscriptionExecutionStrategy

76f195c

Add JSpecify annotations to UnknownOperationException

9db1bde

Add JSpecify annotations to UnresolvedTypeException

2529914

dondonz commented Mar 1, 2026

View reviewed changes

dondonz and others added 2 commits March 1, 2026 16:18

Clarify jspecify-annotate prompt: public API only, fix exemption cleanup

bb25aed

- Explicitly state that @internal classes must not be annotated - Tighten exemption list cleanup instruction to remove only the annotated class Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

Merge branch 'master' into claude/agent-team-jspecify-Frd74

0a77532

bbakerman reviewed Mar 7, 2026

View reviewed changes

bbakerman approved these changes Mar 7, 2026

View reviewed changes

Merge branch 'master' into claude/agent-team-jspecify-Frd74

d018b2d

dondonz added this to the 26.x is a breaking change release (other fixes as well) milestone Mar 21, 2026

Address comments

fbe0cac

dondonz added the breaking change requires a new major version to be relased label Mar 22, 2026

dondonz added 2 commits March 22, 2026 17:53

Merge branch 'master' into claude/agent-team-jspecify-Frd74

9dfc436

# Conflicts: # .claude/commands/jspecify-annotate.md # src/main/java/graphql/execution/ExecutionContext.java # src/test/groovy/graphql/archunit/JSpecifyAnnotationsCheck.groovy

Adjust for new operation directives

0c5cf94

github-actions bot mentioned this pull request Mar 22, 2026

CI Failure DoctorCI Failure - Run #23398087408 - JSpecifyAnnotationsCheck exemption list conflict #4351

Open

1 task

Conversation

dondonz commented Mar 1, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

66 classes annotated

graphql.analysis (16 classes)

graphql.execution core (26 classes)

graphql.execution sub-packages (24 classes)

Review passes

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

github-actions bot commented Mar 1, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Test Results

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

bbakerman left a comment

Choose a reason for hiding this comment

Uh oh!

dondonz commented Mar 7, 2026

Uh oh!

github-actions bot commented Mar 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Test Report

Test Results

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

dondonz commented Mar 1, 2026 •

edited

Loading

github-actions bot commented Mar 1, 2026 •

edited

Loading

github-actions bot commented Mar 7, 2026 •

edited

Loading