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