equal
deleted
inserted
replaced
143 ENCODING, |
143 ENCODING, |
144 SOURCE, |
144 SOURCE, |
145 TARGET, |
145 TARGET, |
146 VERSION, |
146 VERSION, |
147 FULLVERSION, |
147 FULLVERSION, |
|
148 DIAGS, |
148 HELP, |
149 HELP, |
149 A, |
150 A, |
150 X, |
151 X, |
151 J, |
152 J, |
152 MOREINFO, |
153 MOREINFO, |
370 public boolean process(Options options, String option) { |
371 public boolean process(Options options, String option) { |
371 helper.printFullVersion(); |
372 helper.printFullVersion(); |
372 return super.process(options, option); |
373 return super.process(options, option); |
373 } |
374 } |
374 }, |
375 }, |
|
376 new HiddenOption(DIAGS) { |
|
377 @Override |
|
378 public boolean process(Options options, String option) { |
|
379 Option xd = getOptions(helper, EnumSet.of(XD))[0]; |
|
380 option = option.substring(option.indexOf('=') + 1); |
|
381 String diagsOption = option.contains("%") ? |
|
382 "-XDdiagsFormat=" : |
|
383 "-XDdiags="; |
|
384 diagsOption += option; |
|
385 if (xd.matches(diagsOption)) |
|
386 return xd.process(options, diagsOption); |
|
387 else |
|
388 return false; |
|
389 } |
|
390 }, |
375 new Option(HELP, "opt.help") { |
391 new Option(HELP, "opt.help") { |
376 @Override |
392 @Override |
377 public boolean process(Options options, String option) { |
393 public boolean process(Options options, String option) { |
378 helper.printHelp(); |
394 helper.printHelp(); |
379 return super.process(options, option); |
395 return super.process(options, option); |