RFR: JDK-8200337: Generalize see and link tags for user-defined anchors [v2]

[Hannes Wallnöfer]

> Please review a a new feature to allow `@link`, `@linkplain` and `@see` tags to link to arbitrary URI fragments in the generated documentation (including in auxiliary `doc-files` documentation).
> 
> The changes in module `jdk.compiler` are mostly cleanup changes retained from earlier versions of the patch. The current proposed version uses a very simple change in `ReferenceParser` to avoid parsing the member name section of the reference when a non-member fragment is encountered.
> 
> The implementation introduces a new form of reference with a double hash mark (`##`) separator. This is a change from the previous implementation which also auto-recognized URI fragments and documentation paths by looking for `-` characters which are not allowed in member names. This feature was removed upon further consideration because it makes the feature more complex and less recognizable.
>  
> Links to auxiliary documentation files follow the same rules. They are recognized by looking for `/` characters in the fragment name. This means that ordinary `id` attribute values must not contain `/`, while auxiliary file paths must contain a `/` character. Both restrictions should be easy to sustain.
> 
> One thing that is difficult for this feature is to provide a good link label if no label is supplied in the tag. In contrast to program element names a fragment name does usually not make a good human readable name. The solution is to use the fragment name as default label text. I expect that the feature will usually be used with a user provided label.

Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:

  Require label for fragment and auxiliary doc references

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/10395/files
  - new: https://git.openjdk.org/jdk/pull/10395/files/0a9561bf..47f85204

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=10395&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=10395&range=00-01

  Stats: 78 lines in 3 files changed: 53 ins; 18 del; 7 mod
  Patch: https://git.openjdk.org/jdk/pull/10395.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/10395/head:pull/10395

PR: https://git.openjdk.org/jdk/pull/10395