jshell/tool/JShellTool.java

1192     private void processCommand(String cmd) {
1193         if (cmd.startsWith("/-")) {
1196                 cmdUseHistoryEntry(Integer.parseInt(cmd.substring(1)));
1203         int idx = cmd.indexOf(' ');
1205             arg = cmd.substring(idx + 1).trim();
1206             cmd = cmd.substring(0, idx);
1208         Command[] candidates = findCommand(cmd, c -> c.kind.isRealCommand);
1211                 if (!rerunHistoryEntryById(cmd.substring(1))) {
1212                     errormsg("jshell.err.no.such.command.or.snippet.id", cmd);
1222                 errormsg("jshell.err.command.ambiguous", cmd,
1229     private Command[] findCommand(String cmd, Predicate<Command> filter) {
1230         Command exact = commands.get(cmd);
1237                        .filter(command -> command.command.startsWith(cmd))
1357     private void registerCommand(Command cmd) {
1358         commands.put(cmd.command, cmd);
1457                         .filter(cmd -> cmd.kind.showInHelp || cmd.kind == CommandKind.HELP_SUBJECT)
1754         String cmd = "/set";
1755         ArgTokenizer at = new ArgTokenizer(cmd, arg.trim());
1756         String which = subCommand(cmd, at, SET_SUBCOMMANDS);
1789                 errormsg("jshell.err.arg", cmd, at.val());
1801     String subCommand(String cmd, ArgTokenizer at, String[] subs) {
1815             errormsg("jshell.err.arg", cmd, sub);
1823             errormsg("jshell.err.sub.ambiguous", cmd, sub);
1838         final String[] cmd;
1841         EditorSetting(String[] cmd, boolean wait) {
1843             this.cmd = cmd;
1861                 String[] cmd = editorString.split(RECORD_SEPARATOR);
1862                 return new EditorSetting(cmd, wait);
1873                     : (wait ? WAIT_PREFIX : NORMAL_PREFIX) + String.join(RECORD_SEPARATOR, cmd));
1880                 return Arrays.equals(cmd, ed.cmd) && wait == ed.wait;
1889             hash = 71 * hash + Arrays.deepHashCode(this.cmd);
1988                 Stream<String> elems = Arrays.stream(ed.cmd);
2133                 String cmd = matches[0].command;
2134                 if (cmd.equals("/set")) {
2136                     String which = subCommand(cmd, at, SET_SUBCOMMANDS);
2172                 .filter(cmd -> cmd.kind.showInHelp),
2173                 cmd -> cmd.command + " " + getResourceString(cmd.helpKey + ".args"),
2174                 cmd -> getResourceString(cmd.helpKey + ".summary")
2178                 .filter(cmd -> cmd.kind == CommandKind.HELP_SUBJECT),
2179                 cmd -> cmd.command,
2180                 cmd -> getResourceString(cmd.helpKey + ".summary")
2247             Predicate<Snippet> defFilter, String rawargs, String cmd) {
2248         ArgTokenizer at = new ArgTokenizer(cmd, rawargs.trim());
2424             ExternalEditor.edit(editor.cmd, src,