ParsingREPLWithConfig

abstract def banner: String

Banner message that is printed before the REPL starts.

abstract def createConfig(args: Seq[String]): C

Create the configuration for a particular run of the REPL.

abstract val parser: Parser[T]

The particular parser used to parse this compiler's input.

abstract val parsers: ParsersBase

The suite of parsers that is used by this compiler.

abstract def process(source: Source, t: T, config: C): Unit

Process a user input value in the given configuration.

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object Next extends Step with Product with Serializable

A step to the previous node in a sequence.

object Other extends Step with Product with Serializable

A step to a node that doesn't fit into any of the other categories.

object Parent extends Step with Product with Serializable

A step to the parent of the current node.

object Prev extends Step with Product with Serializable

A step to the previous node in a sequence.

object Self extends Step with Product with Serializable

A step nowhere.

final def asInstanceOf[T0]: T0

def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value

def clone(): AnyRef

def column(message: Message): Option[Int]

Return the optional column number of a message.

def createAndInitConfig(args: Seq[String]): C

Create and initialise the configuration for a particular run of the REPL.

def dimValue(record: Record, dim: Dimension): Value

Support Kiama-specific profiling dimensions.

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

Driver for this REPL.

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def finishReport(): Unit

def formatMessage(message: Message): String

Format the message for reporting as a line containing the position and label, the input text line and line(s) containing the context of the position.

def formatMessages(messages: Messages): String

Return a string containing all the given messages sorted and formatted.

final def getClass(): Class[_]

def hashCode(): Int

def includeTimings: Boolean

def isEventType(record: Record, eventtype: String): Boolean

final def isInstanceOf[T0]: Boolean

def line(message: Message): Option[Int]

Return the optional line number of a message.

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

The entry point for this REPL.

implicit object messageOrdering extends Ordering[Message]

An ordering on messages that prioritises line over column.

def nanoToMs(nano: Long): Long

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def output(str: String): Unit

def outputln(str: String): Unit

def parseProfileOption(value: String): Seq[Dimension]

def percent(v: Long, total: Long): String

def positionOf(message: Message): Option[Position]

A message's starting position as determined from the starting position of the message's value.

val positions: Positions

def printDependencyGraph(record: Record, dim: Dimension): Unit

Print the dependency graph for the attribute evaluation represented by record.

def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit

var printTables: Boolean

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

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

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

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

final def processfiles(config: C): C

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

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

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

def processlines(config: C): Unit

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

def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T

def profileStart(logging: Boolean): Unit

def profileStop(): (Seq[Dimension]) ⇒ Unit

def profileStop(dimensionNames: Seq[Dimension]): Unit

def profileStopInteractive(): Unit

def prompt: String

Define the prompt (default: "> ").

def report(messages: Messages, emitter: Emitter = new OutputEmitter): Unit

Output the messages in order of position using the given emitter, which defaults to terminal output.

def startReport(dimensionNames: Seq[Dimension]): Unit

Take any actions that need to be done at the start of reporting.

var startTime: Long

def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit

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

def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit

def toString(): String

def trace(predicate: (Event) ⇒ Boolean): Unit

def valueToString(a: Value): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit