René's URL Explorer Experiment


Title: WIP Even more JSpecify annotations by dondonz · Pull Request #4098 · graphql-java/graphql-java · GitHub

Open Graph Title: WIP Even more JSpecify annotations by dondonz · Pull Request #4098 · graphql-java/graphql-java

X Title: WIP Even more JSpecify annotations by dondonz · Pull Request #4098 · graphql-java/graphql-java

Description: Trying out IntelliJ's Infer Nullity tool to speed things up I gave https://github.com/ucr-riple/NullAwayAnnotator a try but I couldn't get it to work. I'm sure I am missing something, but anyway In...

Open Graph Description: Trying out IntelliJ's Infer Nullity tool to speed things up I gave https://github.com/ucr-riple/NullAwayAnnotator a try but I couldn't get it to work. I'm sure I am missing something, b...

X Description: Trying out IntelliJ's Infer Nullity tool to speed things up I gave https://github.com/ucr-riple/NullAwayAnnotator a try but I couldn't get it to work. I'm sure I am missing ...

Opengraph URL: https://github.com/graphql-java/graphql-java/pull/4098

X: @github

direct link

Domain: github.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:e045f91f-605a-980e-4441-9261c21ccc88
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idB75E:3A836B:1F577B:2B4E08:696F31E2
html-safe-nonce161d460487b8396e7016f270c7a8c4d4d39674cbcfb5094586511c39531a3433
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCNzVFOjNBODM2QjoxRjU3N0I6MkI0RTA4OjY5NkYzMUUyIiwidmlzaXRvcl9pZCI6IjgzMDM1MjY3MzU0NDk2MzMyNTAiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac490ae2d3d933b981161ea16ed60db73e61fd62c5080ec04e7c245f5ae403b612
hovercard-subject-tagpull_request:2768819894
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/graphql-java/graphql-java/4098/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/2ad69b29c1afdf11e9c2cd50201d918416d6ad019b23c892f762525aea55bafb/graphql-java/graphql-java/pull/4098
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/2ad69b29c1afdf11e9c2cd50201d918416d6ad019b23c892f762525aea55bafb/graphql-java/graphql-java/pull/4098
og:image:altTrying out IntelliJ's Infer Nullity tool to speed things up I gave https://github.com/ucr-riple/NullAwayAnnotator a try but I couldn't get it to work. I'm sure I am missing something, b...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamedondonz
hostnamegithub.com
expected-hostnamegithub.com
Noneb278ad162d35332b6de714dfb005de04386c4d92df6475522bef910f491a35ee
turbo-cache-controlno-preview
go-importgithub.com/graphql-java/graphql-java git https://github.com/graphql-java/graphql-java.git
octolytics-dimension-user_id14289921
octolytics-dimension-user_logingraphql-java
octolytics-dimension-repository_id38602457
octolytics-dimension-repository_nwographql-java/graphql-java
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id38602457
octolytics-dimension-repository_network_root_nwographql-java/graphql-java
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release39aed5006635ab6f45e6b77d23e73b08a00272a3
ui-targetcanary-1
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/graphql-java/graphql-java/pull/4098#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgraphql-java%2Fgraphql-java%2Fpull%2F4098
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgraphql-java%2Fgraphql-java%2Fpull%2F4098
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=graphql-java%2Fgraphql-java
Reloadhttps://github.com/graphql-java/graphql-java/pull/4098
Reloadhttps://github.com/graphql-java/graphql-java/pull/4098
Reloadhttps://github.com/graphql-java/graphql-java/pull/4098
graphql-java https://github.com/graphql-java
graphql-javahttps://github.com/graphql-java/graphql-java
Notifications https://github.com/login?return_to=%2Fgraphql-java%2Fgraphql-java
Fork 1.2k https://github.com/login?return_to=%2Fgraphql-java%2Fgraphql-java
Star 6.2k https://github.com/login?return_to=%2Fgraphql-java%2Fgraphql-java
Code https://github.com/graphql-java/graphql-java
Issues 40 https://github.com/graphql-java/graphql-java/issues
Pull requests 17 https://github.com/graphql-java/graphql-java/pulls
Discussions https://github.com/graphql-java/graphql-java/discussions
Actions https://github.com/graphql-java/graphql-java/actions
Projects 0 https://github.com/graphql-java/graphql-java/projects
Wiki https://github.com/graphql-java/graphql-java/wiki
Security Uh oh! There was an error while loading. Please reload this page. https://github.com/graphql-java/graphql-java/security
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
Insights https://github.com/graphql-java/graphql-java/pulse
Code https://github.com/graphql-java/graphql-java
Issues https://github.com/graphql-java/graphql-java/issues
Pull requests https://github.com/graphql-java/graphql-java/pulls
Discussions https://github.com/graphql-java/graphql-java/discussions
Actions https://github.com/graphql-java/graphql-java/actions
Projects https://github.com/graphql-java/graphql-java/projects
Wiki https://github.com/graphql-java/graphql-java/wiki
Security https://github.com/graphql-java/graphql-java/security
Insights https://github.com/graphql-java/graphql-java/pulse
Sign up for GitHub https://github.com/signup?return_to=%2Fgraphql-java%2Fgraphql-java%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2Fgraphql-java%2Fgraphql-java%2Fissues%2Fnew%2Fchoose
Jump to bottomhttps://github.com/graphql-java/graphql-java/pull/4098#issue-comment-box
dondonzhttps://github.com/dondonz
masterhttps://github.com/graphql-java/graphql-java/tree/master
intellij-infers-nullityhttps://github.com/graphql-java/graphql-java/tree/intellij-infers-nullity
WIP Even more JSpecify annotations https://github.com/graphql-java/graphql-java/pull/4098#top
dondonzhttps://github.com/dondonz
masterhttps://github.com/graphql-java/graphql-java/tree/master
intellij-infers-nullityhttps://github.com/graphql-java/graphql-java/tree/intellij-infers-nullity
Conversation 8 https://github.com/graphql-java/graphql-java/pull/4098
Commits 16 https://github.com/graphql-java/graphql-java/pull/4098/commits
Checks 3 https://github.com/graphql-java/graphql-java/pull/4098/checks
Files changed 16 https://github.com/graphql-java/graphql-java/pull/4098/files
https://github.co/hiddenchars
https://github.com/graphql-java/graphql-java/pull/{{ revealButtonHref }}
https://github.com/dondonz
dondonzhttps://github.com/dondonz
Aug 23, 2025https://github.com/graphql-java/graphql-java/pull/4098#issue-3348293266
https://github.com/ucr-riple/NullAwayAnnotatorhttps://github.com/ucr-riple/NullAwayAnnotator
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
dondonzhttps://github.com/dondonz
August 21, 2025 19:23https://github.com/graphql-java/graphql-java/pull/4098#commits-pushed-1b01d2b
https://github.com/dondonz
Annotate GraphQLAppliedDirectivehttps://github.com/graphql-java/graphql-java/pull/4098/commits/1b01d2be7b93674fb7d7057f8752aa5c2acaeb70
1b01d2bhttps://github.com/graphql-java/graphql-java/pull/4098/commits/1b01d2be7b93674fb7d7057f8752aa5c2acaeb70
https://github.com/dondonz
Add GraphQLSchema annotationhttps://github.com/graphql-java/graphql-java/pull/4098/commits/8684b480c4d26354f5018b256679d72017fcf04c
8684b48https://github.com/graphql-java/graphql-java/pull/4098/commits/8684b480c4d26354f5018b256679d72017fcf04c
https://github.com/dondonz
Remove exemptionhttps://github.com/graphql-java/graphql-java/pull/4098/commits/0cdc8de9217781de563ecd46c3fff5e2adae5bb2
0cdc8dehttps://github.com/graphql-java/graphql-java/pull/4098/commits/0cdc8de9217781de563ecd46c3fff5e2adae5bb2
https://github.com/dondonz
Annotate GraphQLType and GraphQLEnumTypehttps://github.com/graphql-java/graphql-java/pull/4098/commits/30d0abe5030860e27a7e15f3a1de7341d2cc12bc
30d0abehttps://github.com/graphql-java/graphql-java/pull/4098/commits/30d0abe5030860e27a7e15f3a1de7341d2cc12bc
https://github.com/dondonz
Add Nullmarked to GraphQLEnumTypehttps://github.com/graphql-java/graphql-java/pull/4098/commits/6ee01b8d1bad802b13dfcc6a16757cfcba63b9d8
6ee01b8https://github.com/graphql-java/graphql-java/pull/4098/commits/6ee01b8d1bad802b13dfcc6a16757cfcba63b9d8
https://github.com/dondonz
Annotate GraphQLCodeRegistryhttps://github.com/graphql-java/graphql-java/pull/4098/commits/a45c613666a563aa74e5890adcccb415de92f74b
a45c613https://github.com/graphql-java/graphql-java/pull/4098/commits/a45c613666a563aa74e5890adcccb415de92f74b
https://github.com/dondonz
Annotate GraphQLListhttps://github.com/graphql-java/graphql-java/pull/4098/commits/70336d52fff03a401344dd803dff5dc7cddf12cc
70336d5https://github.com/graphql-java/graphql-java/pull/4098/commits/70336d52fff03a401344dd803dff5dc7cddf12cc
https://github.com/dondonz
Annotate PropertyDataFetcherhttps://github.com/graphql-java/graphql-java/pull/4098/commits/29f836314d2739a5dcd34877edeacffdd99c7d7b
29f8363https://github.com/graphql-java/graphql-java/pull/4098/commits/29f836314d2739a5dcd34877edeacffdd99c7d7b
https://github.com/dondonz
Annotate GraphQLUnionTypehttps://github.com/graphql-java/graphql-java/pull/4098/commits/083b2ab146875818b89ae7b4cd80cba98a526c3d
083b2abhttps://github.com/graphql-java/graphql-java/pull/4098/commits/083b2ab146875818b89ae7b4cd80cba98a526c3d
https://github.com/dondonz
Tidy uphttps://github.com/graphql-java/graphql-java/pull/4098/commits/b4761ef4f69a5f30e451185c1127a6ac22611395
b4761efhttps://github.com/graphql-java/graphql-java/pull/4098/commits/b4761ef4f69a5f30e451185c1127a6ac22611395
https://github.com/dondonz
Annotate GraphQLScalarTypehttps://github.com/graphql-java/graphql-java/pull/4098/commits/9a78fb3622a8320a13327c3391bdf5737f3730e1
9a78fb3https://github.com/graphql-java/graphql-java/pull/4098/commits/9a78fb3622a8320a13327c3391bdf5737f3730e1
https://github.com/dondonz
Annotate GraphQLNamedInputTypehttps://github.com/graphql-java/graphql-java/pull/4098/commits/7bbfd9c62f2ae3fcfa5b6495906c2015c969a9f2
7bbfd9chttps://github.com/graphql-java/graphql-java/pull/4098/commits/7bbfd9c62f2ae3fcfa5b6495906c2015c969a9f2
https://github.com/dondonz
Add ErrorTypehttps://github.com/graphql-java/graphql-java/pull/4098/commits/7427f644997554179cb3b675932b7be57fdb6e32
7427f64https://github.com/graphql-java/graphql-java/pull/4098/commits/7427f644997554179cb3b675932b7be57fdb6e32
https://github.com/dondonz
Annotate Directiveshttps://github.com/graphql-java/graphql-java/pull/4098/commits/120095c14f032ac83c77d13ca3853abe97acdccd
120095chttps://github.com/graphql-java/graphql-java/pull/4098/commits/120095c14f032ac83c77d13ca3853abe97acdccd
https://github.com/dondonz
Annotate ErrorClassificationhttps://github.com/graphql-java/graphql-java/pull/4098/commits/012f49cbdea2117ced568d8d3689da263582f11d
012f49chttps://github.com/graphql-java/graphql-java/pull/4098/commits/012f49cbdea2117ced568d8d3689da263582f11d
https://github.com/dondonz
Annotate ExceptionWhileDataFetchinghttps://github.com/graphql-java/graphql-java/pull/4098/commits/afdd408ebd4341869b814f97784dbd7bf9b1a59d
afdd408https://github.com/graphql-java/graphql-java/pull/4098/commits/afdd408ebd4341869b814f97784dbd7bf9b1a59d
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
Aug 23, 2025https://github.com/graphql-java/graphql-java/pull/4098#issuecomment-3217064261
afdd408https://github.com/graphql-java/graphql-java/commit/afdd408ebd4341869b814f97784dbd7bf9b1a59d
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
https://github.com/bbakerman
bbakermanhttps://github.com/bbakerman
Aug 25, 2025 https://github.com/graphql-java/graphql-java/pull/4098#pullrequestreview-3150184106
View reviewed changes https://github.com/graphql-java/graphql-java/pull/4098/files/afdd408ebd4341869b814f97784dbd7bf9b1a59d
src/main/java/graphql/schema/GraphQLEnumType.javahttps://github.com/graphql-java/graphql-java/pull/4098/files/afdd408ebd4341869b814f97784dbd7bf9b1a59d#diff-3f4e4c0c6db2dc650fc90d704c1f39aa87cec3ecf10bd7282ae2e140fbbde127
bbakermanhttps://github.com/bbakerman
Aug 25, 2025https://github.com/graphql-java/graphql-java/pull/4098#discussion_r2297293202
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
dondonzhttps://github.com/dondonz
Aug 25, 2025https://github.com/graphql-java/graphql-java/pull/4098#discussion_r2298392074
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
https://github.com/bbakerman
bbakermanhttps://github.com/bbakerman
Aug 25, 2025 https://github.com/graphql-java/graphql-java/pull/4098#pullrequestreview-3150187731
View reviewed changes https://github.com/graphql-java/graphql-java/pull/4098/files/afdd408ebd4341869b814f97784dbd7bf9b1a59d
src/main/java/graphql/schema/GraphQLSchema.javahttps://github.com/graphql-java/graphql-java/pull/4098/files/afdd408ebd4341869b814f97784dbd7bf9b1a59d#diff-a234c614ce8dd6a83d2a968bcde64e148233fd4e45df3d8c2601f2ac2b91a058
bbakermanhttps://github.com/bbakerman
Aug 25, 2025https://github.com/graphql-java/graphql-java/pull/4098#discussion_r2297295623
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
dondonzhttps://github.com/dondonz
Aug 25, 2025https://github.com/graphql-java/graphql-java/pull/4098#discussion_r2298399822
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
dondonzhttps://github.com/dondonz
Aug 27, 2025https://github.com/graphql-java/graphql-java/pull/4098#discussion_r2303425273
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
dondonzhttps://github.com/dondonz
Aug 27, 2025https://github.com/graphql-java/graphql-java/pull/4098#discussion_r2303431014
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
https://github.com/dondonz
dondonzhttps://github.com/dondonz
25.x breaking changeshttps://github.com/graphql-java/graphql-java/milestone/82
Aug 27, 2025https://github.com/graphql-java/graphql-java/pull/4098#event-19364987796
https://github.com/dondonz
dondonzhttps://github.com/dondonz
25.x breaking changeshttps://github.com/graphql-java/graphql-java/milestone/82
26.xhttps://github.com/graphql-java/graphql-java/milestone/91
Nov 9, 2025https://github.com/graphql-java/graphql-java/pull/4098#event-20821467509
https://github.com/dondonz
dondonzhttps://github.com/dondonz
Dec 4, 2025https://github.com/graphql-java/graphql-java/pull/4098#issuecomment-3609400842
#4105https://github.com/graphql-java/graphql-java/pull/4105
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
https://github.com/dondonz
dondonzhttps://github.com/dondonz
Dec 4, 2025https://github.com/graphql-java/graphql-java/pull/4098#event-21345885562
https://github.com/dondonz
dondonzhttps://github.com/dondonz
26.xhttps://github.com/graphql-java/graphql-java/milestone/91
Dec 4, 2025https://github.com/graphql-java/graphql-java/pull/4098#event-21345886906
https://github.com/dondonz
dondonzhttps://github.com/dondonz
Dec 4, 2025 https://github.com/graphql-java/graphql-java/pull/4098#ref-pullrequest-3692677386
JSpecify big wave 2 #4184 https://github.com/graphql-java/graphql-java/pull/4184
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fgraphql-java%2Fgraphql-java%2Fpull%2F4098
https://github.com/bbakerman
bbakerman https://github.com/bbakerman
https://github.com/graphql-java/graphql-java/pull/4098/files/afdd408ebd4341869b814f97784dbd7bf9b1a59d
Please reload this pagehttps://github.com/graphql-java/graphql-java/pull/4098
https://github.com/dondonz
https://github.com/bbakerman
https://github.com/apps/copilot-swe-agent
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.