RFR: 8220497: Improve Javadoc search feature and add test coverage

[Jonathan Gibbons]

On 4/11/19 8:19 AM, Hannes Wallnöfer wrote:
>> It seems a bug that typing excess whitespace should cause the match to fail. You should ignore all whitespace everywhere in the search string.
> I spent quite a bit of time on getting whitespace right. Ignoring all whitespace seems wrong as it would mean that „ob ject“ matches java.lang.Object. The solution I found is to make white space significant if it separates two words/identifiers, and make it optional if it occurs at the edge of the query string or before/after a separator character.
>
> This more or less replicates white space in Java syntax, and it happens to also work well for search tags.
>
>     

Chuckle, yes, we should not accept/ignore whitespace between identifier 
characters, as in "obj ect"!

-- Jon

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/javadoc-dev/attachments/20190411/2658a7bd/attachment.html>