> 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
