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

[Chen Liang]

On Thu, 10 Aug 2023 22:37:33 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 with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains five additional commits since the last revision:
> 
>  - Iteration of spec update.
>  - Merge branch 'master' into JDK-8281169
>  - Checkpoint intermediate state.
>  - Merge branch 'master' into JDK-8281169
>  - JDK-8281169: Expand discussion of elements and types

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

> 47:  * element} representing {@code java.util.Set}, and the family of
> 48:  * {@linkplain javax.lang.model.type types} that may be associated
> 49:  * with an element, like the raw type {@code java.util.Set},{@code

Suggestion:

 * with an element, like the raw type {@code java.util.Set}, {@code

Looks like an incorrect space deletion change here.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/15097#discussion_r1295257389