RFR: 8374730: Add support for null restriction in j.l.r.Type [v3]
Maurizio Cimadamore
mcimadamore at openjdk.org
Wed Jan 7 18:40:01 UTC 2026
> This PR adds j.l.r.Type support for null restrictions.
>
> More specifically, a new public interface is added, namely `NullRestrictedType`, modelling types with null restrictions.
>
> Changes to the signature parsing code have been made so that instances of the new interface are generated accordingly.
> A new test makes sure that everything behaves correctly.
>
> Note: we should also make sure that the `AnnotatedType` hierarchy is changed to reflect the null-restriction changes, but for now that is lower priority and will be pursued in a separate PR.
Maurizio Cimadamore has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains six commits:
- Merge branch 'bworld' into add_restricted_reflect_type
- Address review comments
- Simplify test
- Add signature parser support
Add test
- Merge branch 'bworld' into add_restricted_reflect_type
- Initial work
-------------
Changes: https://git.openjdk.org/valhalla/pull/1863/files
Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=1863&range=02
Stats: 387 lines in 11 files changed: 380 ins; 5 del; 2 mod
Patch: https://git.openjdk.org/valhalla/pull/1863.diff
Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1863/head:pull/1863
PR: https://git.openjdk.org/valhalla/pull/1863
More information about the valhalla-dev
mailing list