Searched defs:replaceLastHistoryEntry (Results 1 - 3 of 3) sorted by relevance
/openjdk10/langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ | ||
H A D | IOContext.java | 55 public abstract void replaceLastHistoryEntry(String source); method in class:IOContext |
H A D | ConsoleIOContext.java | 686 public void replaceLastHistoryEntry(String source) { method in class:ConsoleIOContext |
H A D | JShellTool.java | 3599 public void replaceLastHistoryEntry(String source) { method in class:NonInteractiveIOContext |
Completed in 58 milliseconds