REPL

Abstract Value Members

abstract def banner: String

Banner message that is printed before the REPL starts.
Banner message that is printed before the REPL starts.

Definition Classes
REPLBase
abstract def processline(source: Source, console: Console, config: REPLConfig): Option[REPLConfig]

Process user input from the given source.
Process user input from the given source. The return value allows the processing to optionally return a new configuration that will be used in subsequent processing. A return value of None indicates that no more lines from the current console should be processed.

Definition Classes
REPLBase

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def createAndInitConfig(args: Seq[String]): Either[String, REPLConfig]

Create and initialise the configuration for a particular run of the REPL.
Create and initialise the configuration for a particular run of the REPL. Default: call createConfig and then initialise the resulting configuration. Returns either the created configuration or an error message describing why the configuration couldn't be created.

Definition Classes
REPLBase
def createConfig(args: Seq[String]): REPLConfig

Create the configuration for a particular run of the REPL.
Create the configuration for a particular run of the REPL. If supplied, use emitter instead of a standard output emitter.

Definition Classes
REPL → REPLBase
def driver(args: Seq[String]): Unit

Driver for this REPL.
Driver for this REPL. First, use the argument list to create a configuration for this execution. If the arguments parse ok, then print the REPL banner. Read lines from the console and pass non-null ones to processline. If ignoreWhitespaceLines is true, do not pass lines that contain just whitespace, otherwise do. Continue until processline returns false. Call prompt each time input is about to be read.

Definition Classes
REPLBase
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def main(args: Array[String]): Unit

The entry point for this REPL.
The entry point for this REPL.

Definition Classes
REPLBase
val messaging: Messaging

The messaging facilitiy used by this REPL.
The messaging facilitiy used by this REPL.

Definition Classes
REPLBase
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val positions: Positions

The position store used by this REPL.
The position store used by this REPL.

Definition Classes
REPLBase
final def processconsole(console: Console, prompt: String, config: REPLConfig): REPLConfig

Process interactively entered lines, one by one, until end of file.
Process interactively entered lines, one by one, until end of file.

Definition Classes
REPLBase
Annotations
@tailrec()
def processfile(filename: String, config: REPLConfig): REPLConfig

Process a file argument by passing its contents line-by-line to processline.
Process a file argument by passing its contents line-by-line to processline.

Definition Classes
REPLBase
final def processfiles(config: REPLConfig): REPLConfig

Process the files one by one, allowing config to be updated each time and updated config to be used by the next file.
Process the files one by one, allowing config to be updated each time and updated config to be used by the next file.

Definition Classes
REPLBase
def processlines(config: REPLConfig): Unit

Process interactively entered lines, one by one, until end of file.
Process interactively entered lines, one by one, until end of file. Prompt with the given prompt.

Definition Classes
REPLBase
val profiler: Profiler

Profiler for this compiler.
Profiler for this compiler.

Definition Classes
REPLBase
def prompt: String

Define the prompt (default: "> ").
Define the prompt (default: "> ").

Definition Classes
REPLBase
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package util

trait REPL extends REPLBase[REPLConfig]

Abstract Value Members

abstract def banner: String

abstract def processline(source: Source, console: Console, config: REPLConfig): Option[REPLConfig]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def createAndInitConfig(args: Seq[String]): Either[String, REPLConfig]

def createConfig(args: Seq[String]): REPLConfig

def driver(args: Seq[String]): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def main(args: Array[String]): Unit

val messaging: Messaging

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val positions: Positions

final def processconsole(console: Console, prompt: String, config: REPLConfig): REPLConfig

def processfile(filename: String, config: REPLConfig): REPLConfig

final def processfiles(config: REPLConfig): REPLConfig

def processlines(config: REPLConfig): Unit

val profiler: Profiler

def prompt: String

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from REPLBase[REPLConfig]

Inherited from AnyRef

Inherited from Any

Ungrouped