Lines Matching defs:version
6 * under the terms of the GNU General Public License version 2 only, as
14 * version 2 for more details (a copy is included in the LICENSE file that
17 * You should have received a copy of the GNU General Public License version
131 private static final String VERSION_RB_NAME = RB_NAME_PREFIX + ".version";
484 private final OptionSpecBuilder argVersion = parser.accepts("version");
485 private final OptionSpecBuilder argFullVersion = parser.accepts("full-version");
486 private final OptionSpecBuilder argShowVersion = parser.accepts("show-version");
516 cmdout.printf("jshell %s\n", version());
524 cmdout.printf("jshell %s\n", version());
913 hardmsg("jshell.msg.welcome", version());
3466 /** The current version number as a string.
3468 String version() {
3469 return version("release"); // mm.nn.oo[-milestone]
3472 /** The current full version number as a string.
3475 return version("full"); // mm.mm.oo[-milestone]-build
3478 private String version(String key) {
3483 return "(version info not available)";
3490 return "(version info not available)";