Details
-
Enhancement
-
Resolution: Won't Fix
-
P4
-
6
-
generic
-
other
Description
Generate HTML pages on demand from source code.
The user would start from an initial page, and either search
or click on a link to access an HTML page of interest, which
would be generated on-the-fly.
It would be a web server, written in Java as a doclet.
It need not be built on any existing web server.
Two advantages of this approach are:
- Users could pass around source files containing only
stubs and doc comments to enable integrating
different sets of documentation, and to greatly reduce
the size of the documentation bundle (HTML files go away).
- We could implement a feature for user-customizable views
of the documentation. A user would modify their javadoc
command to show or hide protected members, for instance.
The user would start from an initial page, and either search
or click on a link to access an HTML page of interest, which
would be generated on-the-fly.
It would be a web server, written in Java as a doclet.
It need not be built on any existing web server.
Two advantages of this approach are:
- Users could pass around source files containing only
stubs and doc comments to enable integrating
different sets of documentation, and to greatly reduce
the size of the documentation bundle (HTML files go away).
- We could implement a feature for user-customizable views
of the documentation. A user would modify their javadoc
command to show or hide protected members, for instance.