37     public abstract void close() throws IOException;
  38 
  39     public abstract String readLine(String prompt, String prefix) throws IOException, InputInterruptedException;
  40 
  41     public abstract boolean interactiveOutput();
  42 
  43     public abstract Iterable<String> currentSessionHistory();
  44 
  45     public abstract  boolean terminalEditorRunning();
  46 
  47     public abstract void suspend();
  48 
  49     public abstract void resume();
  50 
  51     public abstract void beforeUserCode();
  52 
  53     public abstract void afterUserCode();
  54 
  55     public abstract void replaceLastHistoryEntry(String source);
  56 


  57     class InputInterruptedException extends Exception {
  58         private static final long serialVersionUID = 1L;
  59     }
  60 }
  61 

  37     public abstract void close() throws IOException;
  38 
  39     public abstract String readLine(String prompt, String prefix) throws IOException, InputInterruptedException;
  40 
  41     public abstract boolean interactiveOutput();
  42 
  43     public abstract Iterable<String> currentSessionHistory();
  44 
  45     public abstract  boolean terminalEditorRunning();
  46 
  47     public abstract void suspend();
  48 
  49     public abstract void resume();
  50 
  51     public abstract void beforeUserCode();
  52 
  53     public abstract void afterUserCode();
  54 
  55     public abstract void replaceLastHistoryEntry(String source);
  56 
  57     public abstract int readUserInput();
  58 
  59     class InputInterruptedException extends Exception {
  60         private static final long serialVersionUID = 1L;
  61     }
  62 }
  63