RFR: JDK-8281169: Expand discussion of elements and types [v4]

[Pavel Rappo]

On Wed, 16 Aug 2023 16:52:46 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> The goal is this change is to convey to the reader an accurate "vibe" for the dichotomy between elements and type in the javax.lang.model API rather than a primer on category theory (projection-embedding pairs, etc.).
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Implement review feedback.

Marked as reviewed by prappo (Reviewer).

src/java.compiler/share/classes/javax/lang/model/package-info.java line 28:

> 26: /**
> 27:  * Types and hierarchies of packages comprising a {@index "Java language
> 28:  * model"}, a reflective API that models the declarations and types of the Java

That was a nice way of doing it!

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

PR Review: https://git.openjdk.org/jdk/pull/15097#pullrequestreview-1581085872
PR Review Comment: https://git.openjdk.org/jdk/pull/15097#discussion_r1296210918