René's URL Explorer Experiment


Title: Add Null Support by rcosta358 · Pull Request #143 · liquid-java/liquidjava · GitHub

Open Graph Title: Add Null Support by rcosta358 · Pull Request #143 · liquid-java/liquidjava

X Title: Add Null Support by rcosta358 · Pull Request #143 · liquid-java/liquidjava

Description: Refinement type checker for Java with liquid types and typestates - catch bugs at compile time - Add Null Support by rcosta358 · Pull Request #143 · liquid-java/liquidjava

Open Graph Description: This PR adds support for null checking in LiquidJava. Changes Refinements Language Added the null literal to the grammar Added the LiteralNull AST node Typing The literal null can be assigned to...

X Description: This PR adds support for null checking in LiquidJava. Changes Refinements Language Added the null literal to the grammar Added the LiteralNull AST node Typing The literal null can be assigned to...

Opengraph URL: https://github.com/liquid-java/liquidjava/pull/143

X: @github

direct link

Domain: Github.com

route-pattern/:user_id/:repository/pull/:id/commits(.:format)
route-controllerpull_requests
route-actioncommits
fetch-noncev2:3534775e-2347-9893-f7fb-c17f6404d623
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id9CB8:18879D:163FD1C:1E26EF0:6A62DB8A
html-safe-nonce0a6be572d2cc5786bff9b4a868decbba17b955254a14d7b92da1f02ebf24aaed
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5Q0I4OjE4ODc5RDoxNjNGRDFDOjFFMjZFRjA6NkE2MkRCOEEiLCJ2aXNpdG9yX2lkIjoiNDQ5NjMxNjgwMzQzNTM4Nzc4NiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacf82a0d686dda59280f0725f6936f744bb2b65cd0674344207a3dec21f9bbdf41
hovercard-subject-tagpull_request:3258634661
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///pull_requests/show/commits
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/liquid-java/liquidjava/pull/143/commits
twitter:imagehttps://opengraph.githubassets.com/fe8f96f26a9984f549c4c642278eb3a5d8a7c3bcf6a503f27389e4a39d7e5605/liquid-java/liquidjava/pull/143
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/fe8f96f26a9984f549c4c642278eb3a5d8a7c3bcf6a503f27389e4a39d7e5605/liquid-java/liquidjava/pull/143
og:image:altThis PR adds support for null checking in LiquidJava. Changes Refinements Language Added the null literal to the grammar Added the LiteralNull AST node Typing The literal null can be assigned to...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamercosta358
hostnamegithub.com
expected-hostnamegithub.com
Nonedf33b1b61ee7b9a0af988199bfc3503c9c1acafb1f1d40e1f140ea7c84f890dd
turbo-cache-controlno-cache
go-importgithub.com/liquid-java/liquidjava git https://github.com/liquid-java/liquidjava.git
octolytics-dimension-user_id242831829
octolytics-dimension-user_loginliquid-java
octolytics-dimension-repository_id258218369
octolytics-dimension-repository_nwoliquid-java/liquidjava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id258218369
octolytics-dimension-repository_network_root_nwoliquid-java/liquidjava
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
released41cd1bdb290013455c0ac430fa755621733f5eb
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://Github.com/liquid-java/liquidjava/pull/143/commits#start-of-content
https://Github.com/
Sign in https://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F143%2Fcommits
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
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
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
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
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
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/enterprise/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%2Fliquid-java%2Fliquidjava%2Fpull%2F143%2Fcommits
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%2Fpull_requests%2Fshow%2Fcommits&source=header-repo&source_repo=liquid-java%2Fliquidjava
Reloadhttps://Github.com/liquid-java/liquidjava/pull/143/commits
Reloadhttps://Github.com/liquid-java/liquidjava/pull/143/commits
Reloadhttps://Github.com/liquid-java/liquidjava/pull/143/commits
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/143/commits
liquid-java https://Github.com/liquid-java
liquidjavahttps://Github.com/liquid-java/liquidjava
Notifications https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Fork 36 https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Star 65 https://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava
Code https://Github.com/liquid-java/liquidjava
Issues 20 https://Github.com/liquid-java/liquidjava/issues
Pull requests 8 https://Github.com/liquid-java/liquidjava/pulls
Actions https://Github.com/liquid-java/liquidjava/actions
Projects https://Github.com/liquid-java/liquidjava/projects
Security and quality 0 https://Github.com/liquid-java/liquidjava/security
Insights https://Github.com/liquid-java/liquidjava/pulse
Code https://Github.com/liquid-java/liquidjava
Issues https://Github.com/liquid-java/liquidjava/issues
Pull requests https://Github.com/liquid-java/liquidjava/pulls
Actions https://Github.com/liquid-java/liquidjava/actions
Projects https://Github.com/liquid-java/liquidjava/projects
Security and quality https://Github.com/liquid-java/liquidjava/security
Insights https://Github.com/liquid-java/liquidjava/pulse
rcosta358https://Github.com/rcosta358
mainhttps://Github.com/liquid-java/liquidjava/tree/main
null-supporthttps://Github.com/liquid-java/liquidjava/tree/null-support
Conversationhttps://Github.com/liquid-java/liquidjava/pull/143
Commits13 (13)https://Github.com/liquid-java/liquidjava/pull/143/commits
Checkshttps://Github.com/liquid-java/liquidjava/pull/143/checks
Files changedhttps://Github.com/liquid-java/liquidjava/pull/143/files
Add Null Supporthttps://Github.com/liquid-java/liquidjava/pull/143/commits#top
rcosta358https://Github.com/rcosta358
mainhttps://Github.com/liquid-java/liquidjava/tree/main
null-supporthttps://Github.com/liquid-java/liquidjava/tree/null-support
Add Null & Boxed Types Supporthttps://Github.com/liquid-java/liquidjava/pull/143/commits/7a8de62da7bd87bfc7562b5d66455e8449914e1c
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
7a8de62https://Github.com/liquid-java/liquidjava/pull/143/commits/7a8de62da7bd87bfc7562b5d66455e8449914e1c
https://Github.com/liquid-java/liquidjava/tree/7a8de62da7bd87bfc7562b5d66455e8449914e1c
Add Testshttps://Github.com/liquid-java/liquidjava/pull/143/commits/c2ae323ac47635cafbf202cffd5512dbcbd212bd
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
c2ae323https://Github.com/liquid-java/liquidjava/pull/143/commits/c2ae323ac47635cafbf202cffd5512dbcbd212bd
https://Github.com/liquid-java/liquidjava/tree/c2ae323ac47635cafbf202cffd5512dbcbd212bd
Minor Changeshttps://Github.com/liquid-java/liquidjava/pull/143/commits/d73b81c6954c118bb160634d558fce3b55d24d4f
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
d73b81chttps://Github.com/liquid-java/liquidjava/pull/143/commits/d73b81c6954c118bb160634d558fce3b55d24d4f
https://Github.com/liquid-java/liquidjava/tree/d73b81c6954c118bb160634d558fce3b55d24d4f
Unused Importshttps://Github.com/liquid-java/liquidjava/pull/143/commits/f24dc28dec63b6fd41d4045c4e8e4cc9d1d1d1bf
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
f24dc28https://Github.com/liquid-java/liquidjava/pull/143/commits/f24dc28dec63b6fd41d4045c4e8e4cc9d1d1d1bf
https://Github.com/liquid-java/liquidjava/tree/f24dc28dec63b6fd41d4045c4e8e4cc9d1d1d1bf
Minor Improvementshttps://Github.com/liquid-java/liquidjava/pull/143/commits/cb50d1e54db9cb9ea2b38585b826d825728f03a4
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
cb50d1ehttps://Github.com/liquid-java/liquidjava/pull/143/commits/cb50d1e54db9cb9ea2b38585b826d825728f03a4
https://Github.com/liquid-java/liquidjava/tree/cb50d1e54db9cb9ea2b38585b826d825728f03a4
Merge branch 'main' into null-supporthttps://Github.com/liquid-java/liquidjava/pull/143/commits/65e938d3fd9681f6e8addeafb1e66142900c43aa
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
65e938dhttps://Github.com/liquid-java/liquidjava/pull/143/commits/65e938d3fd9681f6e8addeafb1e66142900c43aa
https://Github.com/liquid-java/liquidjava/tree/65e938d3fd9681f6e8addeafb1e66142900c43aa
Mark Uninitialized Fields as Nullhttps://Github.com/liquid-java/liquidjava/pull/143/commits/aef5189ca19ca282d0b94ddb4410ed1edeefe943
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
aef5189https://Github.com/liquid-java/liquidjava/pull/143/commits/aef5189ca19ca282d0b94ddb4410ed1edeefe943
https://Github.com/liquid-java/liquidjava/tree/aef5189ca19ca282d0b94ddb4410ed1edeefe943
Merge branch 'main' into null-supporthttps://Github.com/liquid-java/liquidjava/pull/143/commits/e959ce6fe01d30f7aac385c9960ec2de14184072
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
e959ce6https://Github.com/liquid-java/liquidjava/pull/143/commits/e959ce6fe01d30f7aac385c9960ec2de14184072
https://Github.com/liquid-java/liquidjava/tree/e959ce6fe01d30f7aac385c9960ec2de14184072
Fix Mergehttps://Github.com/liquid-java/liquidjava/pull/143/commits/4c4661c2b610d81a8c2f420bb82235c7c56d0a09
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
4c4661chttps://Github.com/liquid-java/liquidjava/pull/143/commits/4c4661c2b610d81a8c2f420bb82235c7c56d0a09
https://Github.com/liquid-java/liquidjava/tree/4c4661c2b610d81a8c2f420bb82235c7c56d0a09
Remove Boxed Typeshttps://Github.com/liquid-java/liquidjava/pull/143/commits/8998f2380f264df511eea00461532fc57a0772e1
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
8998f23https://Github.com/liquid-java/liquidjava/pull/143/commits/8998f2380f264df511eea00461532fc57a0772e1
https://Github.com/liquid-java/liquidjava/tree/8998f2380f264df511eea00461532fc57a0772e1
Merge branch 'main' into null-supporthttps://Github.com/liquid-java/liquidjava/pull/143/commits/d8e500ddacf995abdde72b407041843e4052bf70
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
d8e500dhttps://Github.com/liquid-java/liquidjava/pull/143/commits/d8e500ddacf995abdde72b407041843e4052bf70
https://Github.com/liquid-java/liquidjava/tree/d8e500ddacf995abdde72b407041843e4052bf70
Change `CorrectNullChecks` Testhttps://Github.com/liquid-java/liquidjava/pull/143/commits/31bd897d05304209e1a729ca56efff84d1bcc41a
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
31bd897https://Github.com/liquid-java/liquidjava/pull/143/commits/31bd897d05304209e1a729ca56efff84d1bcc41a
https://Github.com/liquid-java/liquidjava/tree/31bd897d05304209e1a729ca56efff84d1bcc41a
Remove Fields Implicit Null Refinementhttps://Github.com/liquid-java/liquidjava/pull/143/commits/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16
https://Github.com/rcosta358
rcosta358https://Github.com/liquid-java/liquidjava/commits?author=rcosta358
c739e5fhttps://Github.com/liquid-java/liquidjava/pull/143/commits/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16
https://Github.com/liquid-java/liquidjava/tree/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16
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.