391 O("-O", null, HIDDEN, BASIC), |
391 O("-O", null, HIDDEN, BASIC), |
392 |
392 |
393 /* -Xjcov produces tables to support the code coverage tool jcov. */ |
393 /* -Xjcov produces tables to support the code coverage tool jcov. */ |
394 XJCOV("-Xjcov", null, HIDDEN, BASIC), |
394 XJCOV("-Xjcov", null, HIDDEN, BASIC), |
395 |
395 |
|
396 PLUGIN("-Xplugin:", "opt.arg.plugin", "opt.plugin", EXTENDED, BASIC) { |
|
397 @Override |
|
398 public boolean process(OptionHelper helper, String option) { |
|
399 String p = option.substring(option.indexOf(':') + 1); |
|
400 String prev = helper.get(PLUGIN); |
|
401 helper.put(PLUGIN.text, (prev == null) ? p : prev + '\0' + p.trim()); |
|
402 return false; |
|
403 } |
|
404 }, |
|
405 |
396 /* This is a back door to the compiler's option table. |
406 /* This is a back door to the compiler's option table. |
397 * -XDx=y sets the option x to the value y. |
407 * -XDx=y sets the option x to the value y. |
398 * -XDx sets the option x to the value x. |
408 * -XDx sets the option x to the value x. |
399 */ |
409 */ |
400 XD("-XD", null, HIDDEN, BASIC) { |
410 XD("-XD", null, HIDDEN, BASIC) { |