src/jdk.jshell/share/classes/jdk/internal/jshell/tool/IOContext.java

rev 3613 : imported patch 8131023

@@ -52,10 +52,12 @@
 
     public abstract void afterUserCode();
 
     public abstract void replaceLastHistoryEntry(String source);
 
+    public abstract int readUserInput();
+
     class InputInterruptedException extends Exception {
         private static final long serialVersionUID = 1L;
     }
 }