Reference-types-definition
Fixtypes of Java (unannotated) reference types
and mutually recursive companions.
Since all the summands of class-type are recursive,
we need to supply a :base-case-override and a measure;
see fty::deftagsum for details.
Subtopics
- Class-type
- Fixtype of Java (unannotated) class (and interface) types
[JLS14:4.3] [JLS14:8.3].
- Array-type
- Fixtype of Java (unannotated) array types [JLS14:4.3] [JLS14:8.3].
- Reference-type
- Fixtype of Java (unannotated) reference types [JLS14:4.3] [JLS14:8.3].
- Type-argument
- Fixtype of Java (unannotated) type arguments [JLS14:4.5.1].
- Type-argument-list
- Fixtype of lists of Java (unannotated) type arguments.