org.bitbucket.inkytonik.kiama.util

REPL

trait REPL extends REPLBase[REPLConfig]

General support for applications that implement read-eval-print loops (REPLs).

Source
REPL.scala
Linear Supertypes
REPLBase[REPLConfig], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. REPL
  2. REPLBase
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. 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

  2. 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

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  8. 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

  9. 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

  10. 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

  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  13. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  14. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  15. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  16. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    The entry point for this REPL.

    The entry point for this REPL.

    Definition Classes
    REPLBase

  18. val messaging: Messaging

    The messaging facilitiy used by this REPL.

    The messaging facilitiy used by this REPL.

    Definition Classes
    REPLBase

  19. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  20. final def notify(): Unit

    Definition Classes
    AnyRef

  21. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  22. val positions: Positions

    The position store used by this REPL.

    The position store used by this REPL.

    Definition Classes
    REPLBase

  23. 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()

  24. 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

  25. 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

  26. 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

  27. def prompt: String

    Define the prompt (default: "> ").

    Define the prompt (default: "> ").

    Definition Classes
    REPLBase

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

    Definition Classes
    AnyRef

  29. def toString(): String

    Definition Classes
    AnyRef → Any

  30. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  32. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from REPLBase[REPLConfig]

Inherited from AnyRef

Inherited from Any

Ungrouped