RFR: JDK-8282559: Allow multiple search terms in javadoc search [v2]

[Jonathan Gibbons]

On Wed, 13 Apr 2022 14:11:13 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

>> Please review the first of two PRs to enhance JavaDoc search. 
>> 
>> This one focuses on the existing search script, to which it adds the feature to search for multiple terms. It also improves the implementation of case-sensitive search as well as rating of matches and provides some general update and refactoring of the script.
>> 
>> The search section in the help page is updated to mention the multiple search term feature, and I repurposed the last example to show the new feature.
>> 
>> The new search function can be tested here (top-level API doc files only):
>> http://cr.openjdk.java.net/~hannesw/8282559/api.00/
>
> Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Update variable name

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties line 329:

> 327:     system properties and other terms defined in the API, using some or all of the name, optionally \
> 328:     using "camelCase" abbreviations. As of JDK 19, JavaDoc also supports searching for multiple terms. \
> 329:     For example:

Not a fan of version-specific phrasing. Also, "multiple terms" is very (very) vague.

One possibility is to merge with the previous sentence:

using some or all of the name, optionally \
     using "camelCase" abbreviations, or a series of parts of the term, separated by whitespace. \


Even better, to prevent an excessively long sentence, stop the first sentence after "API", which then describes what you can search for, and then start a new sentence after that, to describe how you can search for those items.

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

PR: https://git.openjdk.java.net/jdk/pull/8185