org.jline.reader.History Java Examples

public static LineReader lineReader(File historyPath, Optional<SignalHandler> handler,
        Completer... completers) {
    // Protect the history file as may contain sensitive information
    FileUtils.setPermissionsToOwnerOnly(historyPath);

    // Create JLine LineReader
    History history = new DefaultHistory();
    LineReader reader = LineReaderBuilder.builder().terminal(terminal(handler)).history(history)
            .parser(new DefaultParser()).variable(LineReader.HISTORY_FILE, historyPath)
            .completer(new AggregateCompleter(completers)).highlighter(new DefaultHighlighter())
            .build();
    history.attach(reader);

    setOptions(reader);

    return reader;
}
 

private String calculateCommand(int currentOffset, Set<Integer> offsets) {
  if (!offsets.add(currentOffset)) {
    throw new IllegalArgumentException(
        "Cycled rerun of commands from history " + offsets);
  }

  History history = sqlLine.getLineReader().getHistory();
  Iterator<History.Entry> iterator = currentOffset > 0
      ? history.iterator(currentOffset - 1)
      : history.reverseIterator(history.size() - 1 + currentOffset);
  String command = iterator.next().line();
  if (command.trim().startsWith("!/") || command.startsWith("!rerun")) {
    String[] cmd = sqlLine.split(command);
    if (cmd.length > 2 || (cmd.length == 2 && !cmd[1].matches("-?\\d+"))) {
      return command;
    }
    int offset = cmd.length == 1 ? -1 : Integer.parseInt(cmd[1]);
    if (history.size() < offset || history.size() - 1 < -offset) {
      return command;
    }
    return calculateCommand(offset, offsets);
  }
  return command;
}
 

public static void main(String[] args) throws Exception {
  final Terminal terminal = TerminalBuilder.builder()
      .system(true)
      .build();

  History defaultHistory = new DefaultHistory();
  // Register a shutdown-hook per JLine documentation to save history
  Runtime.getRuntime().addShutdownHook(new Thread(() -> {
    try {
      defaultHistory.save();
    } catch (IOException e) {
      LOG.debug("Failed to save terminal history", e);
    }
  }));

  final LineReader lineReader = LineReaderBuilder.builder()
      .terminal(terminal)
      .highlighter(new DefaultHighlighter())
      .history(defaultHistory)
      .build();

  LogServiceShellOpts opts = new LogServiceShellOpts();
  JCommander.newBuilder()
      .addObject(opts)
      .build()
      .parse(args);

  try (LogServiceClient logServiceClient = new LogServiceClient(opts.getMetaQuorum())) {
    LogServiceShell client = new LogServiceShell(terminal, lineReader, logServiceClient);
    client.run();
  }
}
 

/**
 * Build JLine line reader with default history
 *
 * @return line reader
 */
private LineReader buildLineReader() {
	History history = new DefaultHistory();
	LineReader reader = LineReaderBuilder.builder().terminal(this.terminal).history(history).build();

	Path file = Paths.get(appInfo.getDataDirectory().toString(), "history.txt");
	reader.setVariable(LineReader.HISTORY_FILE, file);

	return reader;
}
 

public static void main(String[] args) throws Exception {
  final Terminal terminal = TerminalBuilder.builder()
      .system(true)
      .build();

  History defaultHistory = new DefaultHistory();
  // Register a shutdown-hook per JLine documentation to save history
  Runtime.getRuntime().addShutdownHook(new Thread(() -> {
    try {
      defaultHistory.save();
    } catch (IOException e) {
      LOG.debug("Failed to save terminal history", e);
    }
  }));

  final LineReader lineReader = LineReaderBuilder.builder()
      .terminal(terminal)
      .highlighter(new DefaultHighlighter())
      .history(defaultHistory)
      .build();

  LogServiceShellOpts opts = new LogServiceShellOpts();
  JCommander.newBuilder()
      .addObject(opts)
      .build()
      .parse(args);

  try (LogServiceClient logServiceClient = new LogServiceClient(opts.metaQuorum)) {
    LogServiceShell client = new LogServiceShell(terminal, lineReader, logServiceClient);
    client.run();
  }
}
 

public void rerun(String line, DispatchCallback callback) {
  String[] cmd = sqlLine.split(line);
  History history = sqlLine.getLineReader().getHistory();
  int size = history.size();
  if (cmd.length > 2 || (cmd.length == 2 && !cmd[1].matches("-?\\d+"))) {
    if (size == 0) {
      sqlLine.error("Usage: rerun <offset>, history should not be empty");
    } else {
      sqlLine.error("Usage: rerun <offset>, available range of offset is -"
          + (size - 1) + ".." + size);
    }
    callback.setToFailure();
    return;
  }

  int offset = cmd.length == 1 ? -1 : Integer.parseInt(cmd[1]);
  if (size < offset || size - 1 < -offset || offset == 0) {
    if (offset == 0) {
      sqlLine.error(
          "Usage: rerun <offset>, offset should be positive or negative");
    }
    if (size == 0) {
      sqlLine.error("Usage: rerun <offset>, history should not be empty");
    } else {
      sqlLine.error("Usage: rerun <offset>, available range of offset is -"
          + (size - 1) + ".." + size);
    }
    callback.setToFailure();
    return;
  }

  sqlLine.dispatch(calculateCommand(offset, new HashSet<>()), callback);
}
 

public History getHistory()
{
    return reader.getHistory();
}
 

@Override
public String expandHistory(History history, String line) {
  return line;
}
 

@Override
public Iterable<? extends History.Entry> getHistory() {
  return lineReader.getHistory();
}
 

@Override
public Iterable<? extends History.Entry> getHistory() {
  return new ArrayList<>();
}
 

@Primary
@Bean
public History history(LineReader lineReader) {
    lineReader.setVariable(LineReader.HISTORY_FILE, Paths.get("history.log"));
    return new DefaultHistory(lineReader);
}
 

@Bean
@Primary
public History history(LineReader lineReader, @Qualifier(HISTORY_FILE) File historyFile) {
    lineReader.setVariable(LineReader.HISTORY_FILE, historyFile.toPath());
    return new DefaultHistory(lineReader);
}
 

/**
 * Return the terminal reader history
 *
 * @return history
 */
public History getHistory() {
    return new DefaultHistory(this.reader());
}
 

Iterable<? extends History.Entry> getHistory();