Trait

org.bitbucket.inkytonik.kiama.util

ParsingREPLWithConfig

Related Doc: package util

Permalink

trait ParsingREPLWithConfig[T, C <: REPLConfig] extends ParsingREPLBase[T, C]

A REPL that parses its input lines into a value (such as an abstract syntax tree), then processes them. C is the type of the configuration.

Source
REPL.scala
Linear Supertypes
ParsingREPLBase[T, C], REPLBase[C], AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ParsingREPLWithConfig
  2. ParsingREPLBase
  3. REPLBase
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def banner: String

    Permalink

    Banner message that is printed before the REPL starts.

    Banner message that is printed before the REPL starts.

    Definition Classes
    REPLBase
  2. abstract def createConfig(args: Seq[String]): C

    Permalink

    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
    REPLBase
  3. abstract def parse(source: Source): ParseResult[T]

    Permalink

    Parse a source, returning a parse result.

    Parse a source, returning a parse result.

    Definition Classes
    ParsingREPLBase
  4. abstract def process(source: Source, t: T, config: C): Unit

    Permalink

    Process a user input value in the given configuration.

    Process a user input value in the given configuration.

    Definition Classes
    ParsingREPLBase

Concrete Value Members

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

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

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

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

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

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

    Permalink

    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
  7. def driver(args: Seq[String]): Unit

    Permalink

    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
  8. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  12. def hashCode(): Int

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

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

    Permalink

    The entry point for this REPL.

    The entry point for this REPL.

    Definition Classes
    REPLBase
  15. val messaging: Messaging

    Permalink

    The messaging facilitiy used by this REPL.

    The messaging facilitiy used by this REPL.

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

    Permalink
    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. val positions: Positions

    Permalink

    The position store used by this REPL.

    The position store used by this REPL.

    Definition Classes
    REPLBase
  20. final def processconsole(console: Console, prompt: String, config: C): C

    Permalink

    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()
  21. def processfile(filename: String, config: C): C

    Permalink

    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
  22. final def processfiles(config: C): C

    Permalink

    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
  23. def processline(source: Source, console: Console, config: C): Option[C]

    Permalink

    Process a user input line by parsing it to get a value of type T, then passing it to the process method.

    Process a user input line by parsing it to get a value of type T, then passing it to the process method. Returns the configuration unchanged.

    Definition Classes
    ParsingREPLBaseREPLBase
  24. def processlines(config: C): Unit

    Permalink

    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
  25. val profiler: Profiler

    Permalink

    Profiler for this compiler.

    Profiler for this compiler.

    Definition Classes
    REPLBase
  26. def prompt: String

    Permalink

    Define the prompt (default: "> ").

    Define the prompt (default: "> ").

    Definition Classes
    REPLBase
  27. def report(source: Source, messages: Messages, config: C): Unit

    Permalink

    Output the messages in order of position using the given configuration, which defaults to that configuration's output.

    Output the messages in order of position using the given configuration, which defaults to that configuration's output.

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

    Permalink
    Definition Classes
    AnyRef
  29. def toString(): String

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ParsingREPLBase[T, C]

Inherited from REPLBase[C]

Inherited from AnyRef

Inherited from Any

Ungrouped