[code-reflection] RFR: Add support for more types [v3]

[Paul Sandoz]

On Thu, 25 Apr 2024 21:05:15 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> Yes, `TypeDefinition` is identifier plus `List<TypeDefinition>`. So we have some flexibility in there. I was assuming we wanted 1-1 relationship between TypeDefinition and JavaTypes, but that doesn't need to be the case.

Right, this enables us to serialize and parse non-Java-based code models with some non-Java-like type descriptions.

-------------

PR Comment: https://git.openjdk.org/babylon/pull/51#issuecomment-2078201167