Details
-
Enhancement
-
Resolution: Fixed
-
P3
-
17
-
None
Description
The jdk.javadoc.doclet.Reporter interface does not provide a means to report a diagnostic at a position in an arbitrary file that may be read by a doclet.
We should add the following methods:
void print(FileObject fo, int start, int pos, int end, String msg)
default void print(FileObject fo, int pos, String msg) { print(fo, pos, pos, pos, msg); }
We should add the following methods:
void print(FileObject fo, int start, int pos, int end, String msg)
default void print(FileObject fo, int pos, String msg) { print(fo, pos, pos, pos, msg); }
Attachments
Issue Links
- relates to
-
JDK-8267126 javadoc should show "line and caret" for diagnostics.
- Resolved
-
JDK-8268972 Add default impl for recent new Reporter.print method
- Resolved
-
JDK-8267204 Expose access to underlying streams in Reporter
- Resolved
-
JDK-8267129 DocSourcePositions: add new getPosition method
- Open