src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/AbstractDoclet.java
equal
deleted
inserted
replaced
191 * |
191 * |
192 * @see jdk.doclet.DocletEnvironment |
192 * @see jdk.doclet.DocletEnvironment |
193 * @throws DocletException if there is a problem while generating the documentation |
193 * @throws DocletException if there is a problem while generating the documentation |
194 */ |
194 */ |
195 private void startGeneration(DocletEnvironment docEnv) throws DocletException { |
195 private void startGeneration(DocletEnvironment docEnv) throws DocletException { |
196 if (configuration.getIncludedTypeElements().isEmpty()) { |
196 |
|
197 // Modules with no documented classes may be specified on the |
|
198 // command line to specify a service provider, allow these. |
|
199 if (configuration.getSpecifiedModuleElements().isEmpty() && |
|
200 configuration.getIncludedTypeElements().isEmpty()) { |
197 messages.error("doclet.No_Public_Classes_To_Document"); |
201 messages.error("doclet.No_Public_Classes_To_Document"); |
198 return; |
202 return; |
199 } |
203 } |
200 if (!configuration.setOptions()) { |
204 if (!configuration.setOptions()) { |
201 return; |
205 return; |