< prev index next >

src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/ToolOption.java

Print this page 
rev 48243 : 8189102: All tools should support -?, -h and --help
Reviewed-by: kvn, jjg, weijun, alanb, rfield, ksrini


 322             helper.jdtoolOpts.put(XCLASSES, true);
 323         }
 324     },
 325 
 326     DUMPONERROR("--dump-on-error", HIDDEN) {
 327         @Override
 328         public void process(Helper helper) {
 329             helper.dumpOnError = true;
 330         }
 331     },
 332 
 333     IGNORE_SOURCE_ERRORS("--ignore-source-errors", HIDDEN) {
 334         @Override
 335         public void process(Helper helper) {
 336             helper.jdtoolOpts.put(IGNORE_SOURCE_ERRORS, true);
 337         }
 338     },
 339 
 340     // ----- help options -----
 341 
 342     HELP("--help -help", STANDARD) {
 343         @Override
 344         public void process(Helper helper) throws OptionException {
 345             throw new OptionException(OK, helper::usage);
 346         }
 347     },
 348 
 349     HELP_EXTRA("--help-extra -X", STANDARD) {
 350         @Override
 351         public void process(Helper helper) throws OptionException {
 352            throw new OptionException(OK, helper::Xusage);
 353         }
 354     },
 355 
 356     // This option exists only for the purpose of documenting itself.
 357     // It's actually implemented by the launcher.
 358     J("-J", STANDARD, true) {
 359         @Override
 360         public void process(Helper helper) {
 361             throw new AssertionError("the -J flag should be caught by the launcher.");
 362         }




 322             helper.jdtoolOpts.put(XCLASSES, true);
 323         }
 324     },
 325 
 326     DUMPONERROR("--dump-on-error", HIDDEN) {
 327         @Override
 328         public void process(Helper helper) {
 329             helper.dumpOnError = true;
 330         }
 331     },
 332 
 333     IGNORE_SOURCE_ERRORS("--ignore-source-errors", HIDDEN) {
 334         @Override
 335         public void process(Helper helper) {
 336             helper.jdtoolOpts.put(IGNORE_SOURCE_ERRORS, true);
 337         }
 338     },
 339 
 340     // ----- help options -----
 341 
 342     HELP("--help -help -? -h", STANDARD) {
 343         @Override
 344         public void process(Helper helper) throws OptionException {
 345             throw new OptionException(OK, helper::usage);
 346         }
 347     },
 348 
 349     HELP_EXTRA("--help-extra -X", STANDARD) {
 350         @Override
 351         public void process(Helper helper) throws OptionException {
 352            throw new OptionException(OK, helper::Xusage);
 353         }
 354     },
 355 
 356     // This option exists only for the purpose of documenting itself.
 357     // It's actually implemented by the launcher.
 358     J("-J", STANDARD, true) {
 359         @Override
 360         public void process(Helper helper) {
 361             throw new AssertionError("the -J flag should be caught by the launcher.");
 362         }
< prev index next >