removed dead method

usethesource · Apr 4, 2024 · ea79af8 · ea79af8
1 parent 08c3a02
commit ea79af8
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 9 deletions.
diff --git a/src/org/rascalmpl/ideservices/BasicIDEServices.java b/src/org/rascalmpl/ideservices/BasicIDEServices.java
@@ -41,10 +41,6 @@ public BasicIDEServices(PrintWriter stderr, IRascalMonitor monitor){
     this.stderr = stderr;
     this.monitor = monitor;
   }
-
-  public OutputStream getWrappedOutputStream() {
-    return monitor instanceof TerminalProgressBarMonitor ? ((OutputStream) monitor) : null;
-  }
 
   @Override
   public PrintWriter stderr() {

diff --git a/src/org/rascalmpl/shell/REPLRunner.java b/src/org/rascalmpl/shell/REPLRunner.java
@@ -49,11 +49,6 @@ private static ILanguageProtocol makeInterpreter(InputStream stdin, OutputStream
             new RascalInterpreterREPL(prettyPrompt, allowColors, getHistoryFile()) {
                 @Override
                 protected Evaluator constructEvaluator(InputStream input, OutputStream stdout, OutputStream stderr, IDEServices services) {
-                    if (services instanceof BasicIDEServices) {
-                        // TODO: find a better way to promote this wrapper to stdout
-                        stdout = ((BasicIDEServices) services).getWrappedOutputStream();
-                    }
-
                     Evaluator eval = ShellEvaluatorFactory.getDefaultEvaluator(input, stdout, stderr);
                     eval.setMonitor(services);
                     return eval;