|
Scala example source code file (JLineReader.scala)
The JLineReader.scala Scala example source code/* NSC -- new Scala compiler * Copyright 2005-2013 LAMP/EPFL * @author Stepan Koltsov */ package scala.tools.nsc package interpreter import jline.console.ConsoleReader import jline.console.completer._ import session._ import Completion._ /** * Reads from the console using JLine. */ class JLineReader(_completion: => Completion) extends InteractiveReader { val interactive = true val consoleReader = new JLineConsoleReader() lazy val completion = _completion lazy val history: JLineHistory = JLineHistory() private def term = consoleReader.getTerminal() def reset() = term.reset() def scalaToJline(tc: ScalaCompleter): Completer = new Completer { def complete(_buf: String, cursor: Int, candidates: JList[CharSequence]): Int = { val buf = if (_buf == null) "" else _buf val Candidates(newCursor, newCandidates) = tc.complete(buf, cursor) newCandidates foreach (candidates add _) newCursor } } class JLineConsoleReader extends ConsoleReader with ConsoleReaderHelper with VariColumnTabulator { val isAcross = interpreter.`package`.isAcross this setPaginationEnabled interpreter.`package`.isPaged // ASAP this setExpandEvents false // working around protected/trait/java insufficiencies. def goBack(num: Int): Unit = back(num) if ((history: History) ne NoHistory) this setHistory history def readOneKey(prompt: String) = { this.print(prompt) this.flush() this.readCharacter() } def eraseLine() = consoleReader.resetPromptLine("", "", 0) def redrawLineAndFlush(): Unit = { flush() ; drawLine() ; flush() } // A hook for running code after the repl is done initializing. lazy val postInit: Unit = { this setBellEnabled false if (completion ne NoCompletion) { val argCompletor: ArgumentCompleter = new ArgumentCompleter(new JLineDelimiter, scalaToJline(completion.completer())) argCompletor setStrict false this addCompleter argCompletor this setAutoprintThreshold 400 // max completion candidates without warning } } } def redrawLine() = consoleReader.redrawLineAndFlush() def readOneLine(prompt: String) = consoleReader readLine prompt def readOneKey(prompt: String) = consoleReader readOneKey prompt } Other Scala source code examplesHere is a short list of links related to this Scala JLineReader.scala source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.