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: 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 any non-primitive type String literals, literals of boxed types and new object instances implicitly carry the refinement _ != null, while the literal null carries the refinement _ == null When a class field is declared without a value, it is implicitly refined with _ == null Z3 Translation Nulls are converted to uninterpreted constants of the uninterpreted sort java.lang.Object In equality comparisons, null literals are converted to the sort of the other operand to match both sorts Simplification The simplifier removes redundant null checks when an equality to a non-null literal already implies a non-null value. This way, s == -1 && s != null simplifies to s == -1 instead of -1 != null Testing Added various tests to ensure the correctness of these changes

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/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:4f4d54fd-edcc-09f1-10f3-b1bd5d973b3b
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idE5F6:E9480:29968EC:39C199C:6A633118
html-safe-nonce3bb81d6e6f93dd1894242c1247563934ac5526e09510c8ba9b03fafc4a395a2a
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFNUY2OkU5NDgwOjI5OTY4RUM6MzlDMTk5Qzo2QTYzMzExOCIsInZpc2l0b3JfaWQiOiI4OTkxNTM5MzI5MDIzMjkxNjcyIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac605a730ae53caddc43ea06522ea501d678170664955c74c5fbf281174767ba73
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/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/liquid-java/liquidjava/pull/143/files
twitter:imagehttps://avatars.githubusercontent.com/u/76919550?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/76919550?s=400&v=4
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:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonedf6e1c2adcceb061ec8c4106a1b34f38280f08e13f2b195c661c202834cbc3b1
turbo-cache-controlno-preview
diff-viewunified
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 full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release822a0ff2a479845adcdd40a1a7b1734a56e05818
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://Github.com/liquid-java/liquidjava/pull/143/files#start-of-content
https://Github.com/
Sign in https://Github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fliquid-java%2Fliquidjava%2Fpull%2F143%2Ffiles
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%2Ffiles
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%2Ffiles&source=header-repo&source_repo=liquid-java%2Fliquidjava
Reloadhttps://Github.com/liquid-java/liquidjava/pull/143/files
Reloadhttps://Github.com/liquid-java/liquidjava/pull/143/files
Reloadhttps://Github.com/liquid-java/liquidjava/pull/143/files
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/143/files
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
Sign up for GitHub https://Github.com/signup?return_to=%2Fliquid-java%2Fliquidjava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://Github.com/login?return_to=%2Fliquid-java%2Fliquidjava%2Fissues%2Fnew%2Fchoose
rcosta358https://Github.com/rcosta358
mainhttps://Github.com/liquid-java/liquidjava/tree/main
null-supporthttps://Github.com/liquid-java/liquidjava/tree/null-support
Conversation 13 https://Github.com/liquid-java/liquidjava/pull/143
Commits 13 https://Github.com/liquid-java/liquidjava/pull/143/commits
Checks 1 https://Github.com/liquid-java/liquidjava/pull/143/checks
Files changed https://Github.com/liquid-java/liquidjava/pull/143/files
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/143/files
Add Null Support https://Github.com/liquid-java/liquidjava/pull/143/files#top
Show all changes 13 commits https://Github.com/liquid-java/liquidjava/pull/143/files
7a8de62 Add Null & Boxed Types Support rcosta358 Feb 7, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/7a8de62da7bd87bfc7562b5d66455e8449914e1c
c2ae323 Add Tests rcosta358 Feb 7, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/c2ae323ac47635cafbf202cffd5512dbcbd212bd
d73b81c Minor Changes rcosta358 Feb 7, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/d73b81c6954c118bb160634d558fce3b55d24d4f
f24dc28 Unused Imports rcosta358 Feb 8, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/f24dc28dec63b6fd41d4045c4e8e4cc9d1d1d1bf
cb50d1e Minor Improvements rcosta358 Feb 10, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/cb50d1e54db9cb9ea2b38585b826d825728f03a4
65e938d Merge branch 'main' into null-support rcosta358 Feb 11, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/65e938d3fd9681f6e8addeafb1e66142900c43aa
aef5189 Mark Uninitialized Fields as Null rcosta358 Feb 12, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/aef5189ca19ca282d0b94ddb4410ed1edeefe943
e959ce6 Merge branch 'main' into null-support rcosta358 Feb 12, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/e959ce6fe01d30f7aac385c9960ec2de14184072
4c4661c Fix Merge rcosta358 Feb 12, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/4c4661c2b610d81a8c2f420bb82235c7c56d0a09
8998f23 Remove Boxed Types rcosta358 Feb 13, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/8998f2380f264df511eea00461532fc57a0772e1
d8e500d Merge branch 'main' into null-support rcosta358 Feb 13, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/d8e500ddacf995abdde72b407041843e4052bf70
31bd897 Change `CorrectNullChecks` Test rcosta358 Feb 15, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/31bd897d05304209e1a729ca56efff84d1bcc41a
c739e5f Remove Fields Implicit Null Refinement rcosta358 Feb 15, 2026 https://Github.com/liquid-java/liquidjava/pull/143/commits/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16
Clear filters https://Github.com/liquid-java/liquidjava/pull/143/files
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/143/files
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/143/files
CorrectNullChecks.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-b02f6c2c1834cfccdfdf8950a9858244ffd55bd4ef04886e94bf6199bcfa6d95
ErrorAliasNotFound.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-dd361aa0d9aeb7bc8d5d5f057be78d34f2c0a579abbd7b8fcd28c70b80d400bc
ErrorGhostNotFound.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-7e4041643ae833f08869804c48d23a4510995eb22968959672bc26600ab8270a
ErrorLongUsagePredicates1.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-48992314fae1bc364a80f8969c0146d47f4f59e9265371731d04aff469b58be5
ErrorLongUsagePredicates2.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-410541727b7deff9544286cc52788c88a1a6c40c5da73c7e4069fc43fa1088bc
ErrorLongUsagePredicates3.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-a844758a149e4bd300ed90116d119adc6b93b8031aaa05f8eefbd05eb23e34a3
ErrorNullCheckAssignNonNull.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-d5e5dcaec321ffe40b690b61eee576d5447c0414ef15c83c51b1539c9e4186d9
ErrorNullCheckAssignNull.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-8614d8aefa2c5daa5cb74e5142c7a29bdea4dade7f2046ad15fb75e7eb6df74b
ErrorNullCheckAssignNullAfter.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-7b1d56f5ca1f30db03a0023ebbd7f78931959d508c03f956fb59955e73a55526
ErrorNullCheckAssignNullObject.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-18664d1a1cc7be214390dc1f30bed6ffc857f1fb4c9f1eb7c29c173d12574f05
ErrorNullCheckMethod.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-69502de41ca182100c4b26a1f0ad9c530b014929094974869a1270f46d7d4459
ErrorNullableFieldNonNullAssumption.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-edfff24248c167e261415acd98e6d041b6225c09b2b616a48762d3f3a9159626
ErrorNullableFieldNullAssumption.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-55d1c52c169d1ddb624ee4f6cf8ec8d89808b9c91b28876cf76b2ff3340d6e6e
AtomicReferenceRefinements.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-a722366938c2b34eae9f6d0ec368af7543010df833a74e226534a78c019cc650
AtomicReferenceTest.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-9ec35b1a91b2bb4e5a068c0f35f96f3a59488e9bcc17b84a31dd6a1c3d558608
.expected https://Github.com/liquid-java/liquidjava/pull/143/files#diff-2bf9cad4c62d3a648bdbf513d7fd024013eb0a3c524515a0ced83857117e49db
AtomicReferenceRefinements.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-5c882002a858d1fb8452e2989a44bb2b1f7c1f4d3c22cd01d94b9259569c869c
AtomicReferenceTest.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-2b7078f1ffb9ca2c771f7e7f3b9eebb55e030cea31f69a605276667a85b91f43
RJ.g4 https://Github.com/liquid-java/liquidjava/pull/143/files#diff-85d579821b529a7c67d24f1d5269b07a0d1b75d1632a2ab04338c07c86727fb4
RefinementTypeChecker.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-187faa4655438977e0288230e35850a99df0225c56822add8be32a1682406c60
OperationsChecker.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-3214d8c25f8b2399c8f8f1116a7320d8936b8144d91b61236b9dbd680992efb4
Predicate.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-111e002fc6e70d54831d53a1a6c85e0475ab8e8efd1d20f175e2da2bd65611b6
Expression.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-307a9a70dc12183ea2fffebe33ad456b349a325a9042a2c01c689c9c63c2e21f
LiteralNull.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-e01059f0e2aa6360bbd76b51518480a87f200fa65d170d23d541c602f0e3710b
TypeInfer.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-731f92fa0ed24e0727f9b56ab05b42475e947ab00d7ff7b7a787dc3d8b6daa55
ExpressionSimplifier.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-8f94ccf79e8bd9945a8a5b965a3ebc912dca6b67b39535b85ce67544bc704acf
ValDerivationNode.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-78fe7f874ecb7fbf460d15b351f9a5f2ccf631275b8cef50c92bd2f9e6a2ea9f
CreateASTVisitor.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-12b337267e677bf9f0a0792529bcf15d78834e66e712a157ebaf2b9893922b1e
ExpressionVisitor.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-fe4ce86520e54a0ee27a84ea6debfe929f8e8e15cccd8971a9553a06ea43cfc8
ExpressionToZ3Visitor.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-46d3ede98973a2e24c77031c022a71b96d29d720c695bd6621306085345fe141
TranslatorToZ3.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-a63c0e368d4aa554c9949489e1c10e6d0a92ea5ad5f63cdd213d91f1bc254daf
Utils.java https://Github.com/liquid-java/liquidjava/pull/143/files#diff-31775a5d12aa48bd034355c4d0f4330f8b8a26beb777ee1174592ba44809bc87
liquidjava-example/src/main/java/testSuite/CorrectNullChecks.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-b02f6c2c1834cfccdfdf8950a9858244ffd55bd4ef04886e94bf6199bcfa6d95
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/CorrectNullChecks.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-example/src/main/java/testSuite/ErrorAliasNotFound.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-dd361aa0d9aeb7bc8d5d5f057be78d34f2c0a579abbd7b8fcd28c70b80d400bc
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorAliasNotFound.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-dd361aa0d9aeb7bc8d5d5f057be78d34f2c0a579abbd7b8fcd28c70b80d400bc
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-dd361aa0d9aeb7bc8d5d5f057be78d34f2c0a579abbd7b8fcd28c70b80d400bc
liquidjava-example/src/main/java/testSuite/ErrorGhostNotFound.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-7e4041643ae833f08869804c48d23a4510995eb22968959672bc26600ab8270a
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorGhostNotFound.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-7e4041643ae833f08869804c48d23a4510995eb22968959672bc26600ab8270a
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-7e4041643ae833f08869804c48d23a4510995eb22968959672bc26600ab8270a
liquidjava-example/src/main/java/testSuite/ErrorLongUsagePredicates1.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-48992314fae1bc364a80f8969c0146d47f4f59e9265371731d04aff469b58be5
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorLongUsagePredicates1.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-48992314fae1bc364a80f8969c0146d47f4f59e9265371731d04aff469b58be5
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-48992314fae1bc364a80f8969c0146d47f4f59e9265371731d04aff469b58be5
liquidjava-example/src/main/java/testSuite/ErrorLongUsagePredicates2.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-410541727b7deff9544286cc52788c88a1a6c40c5da73c7e4069fc43fa1088bc
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorLongUsagePredicates2.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-410541727b7deff9544286cc52788c88a1a6c40c5da73c7e4069fc43fa1088bc
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-410541727b7deff9544286cc52788c88a1a6c40c5da73c7e4069fc43fa1088bc
liquidjava-example/src/main/java/testSuite/ErrorLongUsagePredicates3.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-a844758a149e4bd300ed90116d119adc6b93b8031aaa05f8eefbd05eb23e34a3
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorLongUsagePredicates3.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-a844758a149e4bd300ed90116d119adc6b93b8031aaa05f8eefbd05eb23e34a3
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-a844758a149e4bd300ed90116d119adc6b93b8031aaa05f8eefbd05eb23e34a3
liquidjava-example/src/main/java/testSuite/ErrorNullCheckAssignNonNull.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-d5e5dcaec321ffe40b690b61eee576d5447c0414ef15c83c51b1539c9e4186d9
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorNullCheckAssignNonNull.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-example/src/main/java/testSuite/ErrorNullCheckAssignNull.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-8614d8aefa2c5daa5cb74e5142c7a29bdea4dade7f2046ad15fb75e7eb6df74b
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorNullCheckAssignNull.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-example/src/main/java/testSuite/ErrorNullCheckAssignNullAfter.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-7b1d56f5ca1f30db03a0023ebbd7f78931959d508c03f956fb59955e73a55526
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorNullCheckAssignNullAfter.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-example/src/main/java/testSuite/ErrorNullCheckAssignNullObject.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-18664d1a1cc7be214390dc1f30bed6ffc857f1fb4c9f1eb7c29c173d12574f05
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorNullCheckAssignNullObject.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-example/src/main/java/testSuite/ErrorNullCheckMethod.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-69502de41ca182100c4b26a1f0ad9c530b014929094974869a1270f46d7d4459
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorNullCheckMethod.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-example/src/main/java/testSuite/ErrorNullableFieldNonNullAssumption.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-edfff24248c167e261415acd98e6d041b6225c09b2b616a48762d3f3a9159626
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorNullableFieldNonNullAssumption.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-example/src/main/java/testSuite/ErrorNullableFieldNullAssumption.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-55d1c52c169d1ddb624ee4f6cf8ec8d89808b9c91b28876cf76b2ff3340d6e6e
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/ErrorNullableFieldNullAssumption.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
.../src/main/java/testSuite/classes/atomic_reference_correct/AtomicReferenceRefinements.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-a722366938c2b34eae9f6d0ec368af7543010df833a74e226534a78c019cc650
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/classes/atomic_reference_correct/AtomicReferenceRefinements.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
...example/src/main/java/testSuite/classes/atomic_reference_correct/AtomicReferenceTest.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-9ec35b1a91b2bb4e5a068c0f35f96f3a59488e9bcc17b84a31dd6a1c3d558608
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/classes/atomic_reference_correct/AtomicReferenceTest.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-example/src/main/java/testSuite/classes/atomic_reference_error/.expectedhttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-2bf9cad4c62d3a648bdbf513d7fd024013eb0a3c524515a0ced83857117e49db
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/classes/atomic_reference_error/.expected
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
...le/src/main/java/testSuite/classes/atomic_reference_error/AtomicReferenceRefinements.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-5c882002a858d1fb8452e2989a44bb2b1f7c1f4d3c22cd01d94b9259569c869c
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/classes/atomic_reference_error/AtomicReferenceRefinements.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
...a-example/src/main/java/testSuite/classes/atomic_reference_error/AtomicReferenceTest.javahttps://Github.com/liquid-java/liquidjava/pull/143/files#diff-2b7078f1ffb9ca2c771f7e7f3b9eebb55e030cea31f69a605276667a85b91f43
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-example/src/main/java/testSuite/classes/atomic_reference_error/AtomicReferenceTest.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
liquidjava-verifier/src/main/antlr4/rj/grammar/RJ.g4https://Github.com/liquid-java/liquidjava/pull/143/files#diff-85d579821b529a7c67d24f1d5269b07a0d1b75d1632a2ab04338c07c86727fb4
View file https://Github.com/liquid-java/liquidjava/blob/c739e5f096fb4f3ae185dd2af2d0ba9c85d26f16/liquidjava-verifier/src/main/antlr4/rj/grammar/RJ.g4
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://Github.com/liquid-java/liquidjava/pull/143/{{ revealButtonHref }}
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-85d579821b529a7c67d24f1d5269b07a0d1b75d1632a2ab04338c07c86727fb4
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-85d579821b529a7c67d24f1d5269b07a0d1b75d1632a2ab04338c07c86727fb4
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-85d579821b529a7c67d24f1d5269b07a0d1b75d1632a2ab04338c07c86727fb4
https://Github.com/liquid-java/liquidjava/pull/143/files#diff-85d579821b529a7c67d24f1d5269b07a0d1b75d1632a2ab04338c07c86727fb4
Please reload this pagehttps://Github.com/liquid-java/liquidjava/pull/143/files
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.