jline.console.history.History.previous()方法的使用及代码示例

x33g5p2x  于2022-01-20 转载在 其他  
字(0.8k)|赞(0)|评价(0)|浏览(201)

本文整理了Java中jline.console.history.History.previous()方法的一些代码示例,展示了History.previous()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。History.previous()方法的具体详情如下:
包路径:jline.console.history.History
类名称:History
方法名:previous

History.previous介绍

暂无

代码示例

代码示例来源:origin: jline/jline

/**
 * Move up or down the history tree.
 */
private boolean moveHistory(final boolean next) throws IOException {
  if (next && !history.next()) {
    return false;
  }
  else if (!next && !history.previous()) {
    return false;
  }
  setBuffer(history.current());
  return true;
}

代码示例来源:origin: com.typesafe.sbt/incremental-compiler

/**
 * Move up or down the history tree.
 */
private boolean moveHistory(final boolean next) throws IOException {
  if (next && !history.next()) {
    return false;
  }
  else if (!next && !history.previous()) {
    return false;
  }
  setBuffer(history.current());
  return true;
}

相关文章