Skip to content

Add Null Support #143

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
rcosta358 wants to merge 13 commits into
base: main
Choose a base branch
from
Draft

Add Null Support #143

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
7a8de62
Add Null & Boxed Types Support
rcosta358 Feb 7, 2026
c2ae323
Add Tests
rcosta358 Feb 7, 2026
d73b81c
Minor Changes
rcosta358 Feb 7, 2026
f24dc28
Unused Imports
rcosta358 Feb 8, 2026
cb50d1e
Minor Improvements
rcosta358 Feb 10, 2026
65e938d
Merge branch 'main' into null-support
rcosta358 Feb 11, 2026
aef5189
Mark Uninitialized Fields as Null
rcosta358 Feb 12, 2026
e959ce6
Merge branch 'main' into null-support
rcosta358 Feb 12, 2026
4c4661c
Fix Merge
rcosta358 Feb 12, 2026
8998f23
Remove Boxed Types
rcosta358 Feb 13, 2026
d8e500d
Merge branch 'main' into null-support
rcosta358 Feb 13, 2026
31bd897
Change `CorrectNullChecks` Test
rcosta358 Feb 15, 2026
c739e5f
Remove Fields Implicit Null Refinement
rcosta358 Feb 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Unused Imports
  • Loading branch information
@rcosta358
rcosta358 committed Feb 8, 2026
commit f24dc28dec63b6fd41d4045c4e8e4cc9d1d1d1bf
2 changes: 0 additions & 2 deletions ...verifier/src/main/java/liquidjava/processor/refinement_checker/RefinementTypeChecker.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,11 +13,9 @@
import liquidjava.processor.refinement_checker.object_checkers.AuxStateHandler;
import liquidjava.rj_language.BuiltinFunctionPredicate;
import liquidjava.rj_language.Predicate;
import liquidjava.rj_language.ast.LiteralNull;
import liquidjava.utils.Utils;
import liquidjava.utils.constants.Formats;
import liquidjava.utils.constants.Keys;
import liquidjava.utils.constants.Ops;
import liquidjava.utils.constants.Types;

import org.apache.commons.lang3.NotImplementedException;
Expand Down
4 changes: 2 additions & 2 deletions liquidjava-verifier/src/main/java/liquidjava/utils/Utils.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@ public class Utils {

private static final Set<String> DEFAULT_NAMES = Set.of("old", "length", "addToIndex", "getFromIndex");
private static final Set<String> PRIMITIVE_TYPES = Set.of("int", "boolean", "long", "short", "float", "double");
private static final Set<String> BOXED_TYPES = Set.of("java.lang.Integer", "java.lang.Boolean", "java.lang.Long", "java.lang.Short",
"java.lang.Float", "java.lang.Double");
private static final Set<String> BOXED_TYPES = Set.of("java.lang.Integer", "java.lang.Boolean", "java.lang.Long",
"java.lang.Short", "java.lang.Float", "java.lang.Double");

public static CtTypeReference<?> getType(String type, Factory factory) {
// TODO: complete with other types
Expand Down