This is the bulk of the work to update javadoc to use certain terminology 
dependent on the source version in use. There will be a minor update when 
JDK-8247994 has been pushed. That will allow us to modify strings displayed by 
JavaScript Search.

The groups of terms being changed are:

* `Types` to `Classes and Interfaces`
* `Annotation Type` to `Annotation Interface`
* `Enum` to `Enum Class`

The new terminology will be used when the source version of the elements being 
documented is 16 or higher. This is the default behavior. The corollary is that 
the old terminology will be used when the `--source` or `--release` option is 
used to specify a version less than `16`.

In addition, the terminology for `Record` is being unconditionally changed to 
use `Record Class`. Since the feature was in preview before this release, there 
is no need to be able to generate the previous form.

Also, in the course of this work, it was noted that on the "Use" page for an 
annotation type/interface, it was incorrectly classified as a *class*, instead 
of *annotation interface*: that has been fixed.

Fundamentally, the change is managed at a very low level, by passing a _mapping 
function_ into `Resource.getText`. This allows high level code, `HtmlDoclet` in 
this case, to provide version-specific overrides of the resource key to be 
used. The avoids having to have version-specific checks at the point of use for 
each affected resource.

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

Commit messages:
 - remove adaptive terminology for records
 - add test
 - Remove obsolete properties and code
 - Version 2: release-specific terminology
 - JDK-8258002: Update "type" terminology in generated docs

Changes: https://git.openjdk.java.net/jdk16/pull/20/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk16&pr=20&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8258002
  Stats: 561 lines in 46 files changed: 322 ins; 45 del; 194 mod
  Patch: https://git.openjdk.java.net/jdk16/pull/20.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk16 pull/20/head:pull/20

PR: https://git.openjdk.java.net/jdk16/pull/20

Reply via email to