ParsingREPL

Type Members

case class Child(i: Int) extends Step with Product with Serializable

A step to child i of the current node, counting from zero.
A step to child i of the current node, counting from zero.

Definition Classes
Profiler
case class Dep(step: Step, tipe: Value, attribute: Value) extends Product with Serializable

Dependence record saying that the source attribute depends on attribute of a node with type type that is the given step away.
Dependence record saying that the source attribute depends on attribute of a node with type type that is the given step away.

Definition Classes
Profiler
case class Record extends Product with Serializable

Definition Classes
Values
abstract class Step extends AnyRef

A single step in the evaluation of an attribute.
A single step in the evaluation of an attribute.

Definition Classes
Profiler

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 val parser: Parser[T]

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

Definition Classes
ParsingREPLBase
abstract val parsers: ParsersBase

The suite of parsers that is used by this compiler.
The suite of parsers that is used by this compiler.

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

Process a user input value in the given configuration.
Process a user input value in the given configuration.

Definition Classes
ParsingREPLBase

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
object Next extends Step with Product with Serializable

A step to the previous node in a sequence.
A step to the previous node in a sequence.

Definition Classes
Profiler
object Other extends Step with Product with Serializable

A step to a node that doesn't fit into any of the other categories.
A step to a node that doesn't fit into any of the other categories. This category will be used for nodes that were obtained as the result of reference attributes or as values that sit outside the main tree.

Definition Classes
Profiler
object Parent extends Step with Product with Serializable

A step to the parent of the current node.
A step to the parent of the current node.

Definition Classes
Profiler
object Prev extends Step with Product with Serializable

A step to the previous node in a sequence.
A step to the previous node in a sequence.

Definition Classes
Profiler
object Self extends Step with Product with Serializable

A step nowhere.
A step nowhere. I.e., the dependent attribute is evaluated at the current node.

Definition Classes
Profiler
final def asInstanceOf[T0]: T0

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

Definition Classes
Values
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def column(message: Message): Option[Int]

Return the optional column number of a message.
Return the optional column number of a message.

Definition Classes
Messaging
def createAndInitConfig(args: Seq[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.

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
ParsingREPL → REPLBase
def dimValue(record: Record, dim: Dimension): Value

Support Kiama-specific profiling dimensions.
Support Kiama-specific profiling dimensions.

Definition Classes
Profiler → Profiler → Values
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] )
def finishReport(): Unit

Definition Classes
Values
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.
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. If no position is associated with this message just format as a line containing the label.

Definition Classes
Messaging
def formatMessages(messages: Messages): String

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

Definition Classes
Messaging
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def includeTimings: Boolean

Definition Classes
Profiler
def isEventType(record: Record, eventtype: String): Boolean

Definition Classes
Values
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def line(message: Message): Option[Int]

Return the optional line number of a message.
Return the optional line number of a message.

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

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

Definition Classes
REPLBase
implicit object messageOrdering extends Ordering[Message]

An ordering on messages that prioritises line over column.
An ordering on messages that prioritises line over column.

Definition Classes
Messaging
def nanoToMs(nano: Long): Long

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def output(str: String): Unit

Definition Classes
Values
def outputln(str: String): Unit

Definition Classes
Values
def parseProfileOption(value: String): Seq[Dimension]

Definition Classes
Profiler
def percent(v: Long, total: Long): String

Definition Classes
Profiler
def positionOf(message: Message): Option[Position]

A message's starting position as determined from the starting position of the message's value.
A message's starting position as determined from the starting position of the message's value. Will be None if the value has no position.

Definition Classes
Messaging
val positions: Positions

Definition Classes
PositionStore
def printDependencyGraph(record: Record, dim: Dimension): Unit

Print the dependency graph for the attribute evaluation represented by record.
Print the dependency graph for the attribute evaluation represented by record. The output is in dot form.

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

Definition Classes
Profiler
var printTables: Boolean

Definition Classes
Values
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 processline(source: Source, console: Console, config: REPLConfig): Option[REPLConfig]

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
ParsingREPLBase → 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
def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T

Definition Classes
Profiler
def profileStart(logging: Boolean): Unit

Definition Classes
Profiler
def profileStop(): (Seq[Dimension]) ⇒ Unit

Definition Classes
Profiler
def profileStop(dimensionNames: Seq[Dimension]): Unit

Definition Classes
Profiler
def profileStopInteractive(): Unit

Definition Classes
Profiler
def prompt: String

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

Definition Classes
REPLBase
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.
Output the messages in order of position using the given emitter, which defaults to terminal output.

Definition Classes
Messaging
def startReport(dimensionNames: Seq[Dimension]): Unit

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

Definition Classes
Profiler → Values
var startTime: Long

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

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

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

Definition Classes
Profiler
def toString(): String

Definition Classes
AnyRef → Any
def trace(predicate: (Event) ⇒ Boolean): Unit

Definition Classes
Profiler
def valueToString(a: Value): String

Definition Classes
Values
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 ParsingREPL[T] extends ParsingREPLWithConfig[T, REPLConfig]

Type Members

case class Child(i: Int) extends Step with Product with Serializable

case class Dep(step: Step, tipe: Value, attribute: Value) extends Product with Serializable

case class Record extends Product with Serializable

abstract class Step extends AnyRef

Abstract Value Members

abstract def banner: String

abstract val parser: Parser[T]

abstract val parsers: ParsersBase

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

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Next extends Step with Product with Serializable

object Other extends Step with Product with Serializable

object Parent extends Step with Product with Serializable

object Prev extends Step with Product with Serializable

object Self extends Step with Product with Serializable

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]

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

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

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

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

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def finishReport(): Unit

def formatMessage(message: Message): String

def formatMessages(messages: Messages): String

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]

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

implicit object messageOrdering extends Ordering[Message]

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]

val positions: Positions

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

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

var printTables: Boolean

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

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

final def processfiles(config: REPLConfig): REPLConfig

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

def processlines(config: REPLConfig): Unit

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

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

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

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