How to search HTML documentation generated by javadoc?

Question

I'm a Java beginner and I see a lot of documentation for Java APIs in similar HTML format, e.g. Java™ Platform, Standard Edition 8 API Specification. I don't see a search option in any of these documents, so when I need to find for example random(), I go to index, select R and use browser to search for random. Is there a faster way, e.g. global search?

Answer 1

If you want to generate a search box to javadoc, you can check this project:

https://github.com/ChillingVan/LocalHtmlSearchBox/blob/master/README_en.md

This create a search box when generating javadoc. You can also use it to generate a html file used to show a search box. The search data is parsed from the html files of javadoc. It is saved as json to a js file so that javascript can read it.

Answer 2

The new JavaDoc.Next in JDK9 produces HTML5 output and has a search box. It indexes package names, type names and member names, according to JDK 9 Language and Tooling Features presentation from JavaOne 2015.

Answer 3

Seems like this is the source you are looking for. (i.e. choose java se 8 api documentation) But I am not sure if it will be faster than ctrl+f or IDE support.