Migrate to jline3

.vscode/launch.json

@@ -4,6 +4,14 @@
     // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
     "version": "0.2.0",
     "configurations": [
+        {
+            "type": "java",
+            "name": "RascalShell2",
+            "request": "launch",
+            "mainClass": "org.rascalmpl.shell.RascalShell2",
+            "projectName": "rascal",
+            "console": "integratedTerminal"
+        },
         {
             "type": "java",
             "name": "Launch DocRunner",
@@ -38,7 +46,7 @@
             "request": "launch",
             "mainClass": "org.rascalmpl.shell.RascalShell",
             "projectName": "rascal",
-            "cwd" : "${workspaceFolder}/../rascal-tutor",
+            "cwd": "${workspaceFolder}/../rascal-tutor",
             "vmArgs": "-Xss80m -Xmx2g -ea"
         },
         {
@@ -47,7 +55,7 @@
             "request": "attach",
             "projectName": "rascal",
             "hostName": "localhost",
-            "port": 9001
+            "port": 9213
         },
         {
             "type": "java",

pom.xml

@@ -33,6 +33,7 @@
         <rascal.test.memory>2</rascal.test.memory>
         <maven.compiler.release>11</maven.compiler.release>
         <rascal-maven.version>0.28.4</rascal-maven.version>
+        <jline.version>3.27.0</jline.version>
     </properties>
 
     <licenses>
@@ -332,10 +333,6 @@
                                         <exclude>org.fusesource.jansi.internal.*</exclude>
                                     </excludes>
                                 </relocation>
-                                <relocation>
-                                    <pattern>jline</pattern>
-                                    <shadedPattern>org.rascalmpl.jline</shadedPattern>
-                                </relocation>
                             </relocations>
                             <filters>
                                 <filter>
@@ -464,10 +461,35 @@
             <artifactId>gson</artifactId>
             <version>2.10.1</version>
         </dependency>
-        <dependency>
-            <groupId>jline</groupId>
-            <artifactId>jline</artifactId>
-            <version>2.14.6</version>
+        <dependency> <!-- line reader/completion/history support -->
+            <groupId>org.jline</groupId>
+            <artifactId>jline-reader</artifactId>
+            <version>${jline.version}</version>
+        </dependency>
+        <dependency> <!-- terminal API -->
+            <groupId>org.jline</groupId>
+            <artifactId>jline-terminal</artifactId>
+            <version>${jline.version}</version>
+        </dependency>
+        <dependency> <!-- interaction with native APIs for console features, after jdk22 we can switch to FFM -->
+            <groupId>org.jline</groupId> 
+            <artifactId>jline-terminal-jni</artifactId>
+            <version>${jline.version}</version>
+        </dependency>
+        <dependency> <!-- styling api -->
+            <groupId>org.jline</groupId> 
+            <artifactId>jline-style</artifactId>
+            <version>${jline.version}</version>
+        </dependency>
+        <dependency> <!-- command registyr and extra features -->
+            <groupId>org.jline</groupId>
+            <artifactId>jline-console</artifactId>
+            <version>${jline.version}</version>
+        </dependency>
+        <dependency>  <!-- raw ansi commands -->
+            <groupId>org.jline</groupId>
+            <artifactId>jansi-core</artifactId>
+            <version>${jline.version}</version>
         </dependency>
         <dependency>
             <groupId>org.yaml</groupId>

src/org/rascalmpl/debug/IRascalMonitor.java

@@ -15,18 +15,21 @@
 import java.io.InputStream;
 import java.io.OutputStream;
 import java.io.PrintStream;
+import java.io.PrintWriter;
+import java.io.Reader;
 import java.util.function.BiConsumer;
 import java.util.function.BiFunction;
 import java.util.function.Function;
 import java.util.function.Supplier;
 
+
+import org.jline.terminal.Terminal;
+import org.jline.utils.InfoCmp.Capability;
 import org.rascalmpl.interpreter.BatchProgressMonitor;
 import org.rascalmpl.interpreter.NullRascalMonitor;
 import org.rascalmpl.repl.TerminalProgressBarMonitor;
 
 import io.usethesource.vallang.ISourceLocation;
-import jline.Terminal;
-import jline.TerminalFactory;
 
 public interface IRascalMonitor {
 	/**
@@ -158,8 +161,8 @@ default void jobStep(String name, String message) {
 	 * and otherwise default to a dumn terminal console progress logger.
 	 * @return
 	 */
-	public static IRascalMonitor buildConsoleMonitor(InputStream in, OutputStream out) {
-		return buildConsoleMonitor(in, out, inBatchMode());
+	public static IRascalMonitor buildConsoleMonitor(Terminal term) {
+		return buildConsoleMonitor(term, inBatchMode());
 	}
 
 	public static boolean inBatchMode() {
@@ -168,12 +171,11 @@ public static boolean inBatchMode() {
 			;
 	}
 
-	public static IRascalMonitor buildConsoleMonitor(InputStream in, OutputStream out, boolean batchMode) {
-		Terminal terminal = TerminalFactory.get();
+	public static IRascalMonitor buildConsoleMonitor(Terminal terminal, boolean batchMode) {
 
-		return !batchMode && terminal.isAnsiSupported()
-			? new TerminalProgressBarMonitor(out, in, terminal)
-			: new BatchProgressMonitor(new PrintStream(out))
+		return !batchMode && TerminalProgressBarMonitor.shouldWorkIn(terminal)
+			? new TerminalProgressBarMonitor(terminal)
+			: new BatchProgressMonitor(terminal.writer())
 		;
 	}
 

src/org/rascalmpl/ideservices/BasicIDEServices.java

@@ -34,16 +34,26 @@
 public class BasicIDEServices implements IDEServices {
   private final IRascalMonitor monitor;
   private final PrintWriter stderr;
+  private final Runnable clearRepl;
 
   public BasicIDEServices(PrintWriter stderr, IRascalMonitor monitor){
+    this(stderr, monitor, () -> {});
+  }
+  public BasicIDEServices(PrintWriter stderr, IRascalMonitor monitor, Runnable clearRepl){
     this.stderr = stderr;
     this.monitor = monitor;
+    this.clearRepl = clearRepl;
   }
 
   @Override
   public PrintWriter stderr() {
     return stderr;
   }
+
+  @Override
+  public void clearRepl() {
+    this.clearRepl.run();
+  }
 
   public void browse(ISourceLocation loc, String title, int viewColumn){
       browse(loc.getURI(), title, viewColumn);

src/org/rascalmpl/ideservices/IDEServices.java

@@ -73,6 +73,10 @@ default void unregisterLanguage(IConstructor language) {
     throw new UnsupportedOperationException("registerLanguage is not implemented in this environment.");
   }
 
+  default void clearRepl() {
+    throw new UnsupportedOperationException("Clear REPL is not supported in this IDE Service");
+  }
+
   /**
    * Asks the IDE to apply document edits as defined in the standard library module
    * analysis::diff::edits::TextEdits, according to the semantics defined in

src/org/rascalmpl/interpreter/BatchProgressMonitor.java

@@ -24,11 +24,15 @@ public class BatchProgressMonitor implements IRascalMonitor {
 	PrintWriter out;
 
 	public BatchProgressMonitor() {
-		this.out = new PrintWriter(System.err);
+		this(new PrintWriter(System.err, true));
 	}
 
 	public BatchProgressMonitor(PrintStream out) {
-		this.out = new PrintWriter(out);
+		this(new PrintWriter(out));
+	}
+
+	public BatchProgressMonitor(PrintWriter out) {
+		this.out = out;
 	}
 
 	@Override