scala-repl-pp-server
API
Generated with
scala-repl-pp-server/replpp.server/EmbeddedRepl

EmbeddedRepl

replpp.server.EmbeddedRepl
class EmbeddedRepl(predefLines: IterableOnce[String])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def query(code: String): QueryResult

Submit query to the repl, await and return results.

Submit query to the repl, await and return results.

Attributes

def query(inputLines: IterableOnce[String]): QueryResult

Submit query to the repl, await and return results.

Submit query to the repl, await and return results.

Attributes

def queryAsync(code: String): (UUID, Future[String])

Execute inputLines in REPL (in single threaded ExecutorService) and provide Future for result callback

Execute inputLines in REPL (in single threaded ExecutorService) and provide Future for result callback

Attributes

def queryAsync(inputLines: IterableOnce[String]): (UUID, Future[String])

Execute inputLines in REPL (in single threaded ExecutorService) and provide Future for result callback

Execute inputLines in REPL (in single threaded ExecutorService) and provide Future for result callback

Attributes

def shutdown(): Unit

Shutdown the embedded shell and associated threads.

Shutdown the embedded shell and associated threads.

Attributes

Generated with