langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/main/Option.java
changeset 42821 e5eee1c92be0
parent 42408 d6f09ae68eab
child 42823 58864b03c7b9
equal deleted inserted replaced
42820:ae6d3b80c89c 42821:e5eee1c92be0
   340             }
   340             }
   341             super.process(helper, option, operand);
   341             super.process(helper, option, operand);
   342         }
   342         }
   343     },
   343     },
   344 
   344 
   345     VERSION("-version", "opt.version", STANDARD, INFO) {
   345     VERSION("--version -version", "opt.version", STANDARD, INFO) {
   346         @Override
   346         @Override
   347         public void process(OptionHelper helper, String option) throws InvalidValueException {
   347         public void process(OptionHelper helper, String option) throws InvalidValueException {
   348             Log log = helper.getLog();
   348             Log log = helper.getLog();
   349             String ownName = helper.getOwnName();
   349             String ownName = helper.getOwnName();
   350             log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "version", ownName,  JavaCompiler.version());
   350             log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "version", ownName,  JavaCompiler.version());
   351             super.process(helper, option);
   351             super.process(helper, option);
   352         }
   352         }
   353     },
   353     },
   354 
   354 
   355     FULLVERSION("-fullversion", null, HIDDEN, INFO) {
   355     FULLVERSION("--full-version -fullversion", null, HIDDEN, INFO) {
   356         @Override
   356         @Override
   357         public void process(OptionHelper helper, String option) throws InvalidValueException {
   357         public void process(OptionHelper helper, String option) throws InvalidValueException {
   358             Log log = helper.getLog();
   358             Log log = helper.getLog();
   359             String ownName = helper.getOwnName();
   359             String ownName = helper.getOwnName();
   360             log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "fullVersion", ownName,  JavaCompiler.fullVersion());
   360             log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "fullVersion", ownName,  JavaCompiler.fullVersion());
   400             }
   400             }
   401             helper.put(option, option);
   401             helper.put(option, option);
   402         }
   402         }
   403     },
   403     },
   404 
   404 
   405     X("-X", "opt.X", STANDARD, INFO) {
   405     X("--help-extra -X", "opt.X", STANDARD, INFO) {
   406         @Override
   406         @Override
   407         public void process(OptionHelper helper, String option) throws InvalidValueException {
   407         public void process(OptionHelper helper, String option) throws InvalidValueException {
   408             Log log = helper.getLog();
   408             Log log = helper.getLog();
   409             showHelp(log, OptionKind.EXTENDED);
   409             showHelp(log, OptionKind.EXTENDED);
   410             log.printNewline(WriterKind.STDOUT);
   410             log.printNewline(WriterKind.STDOUT);