REPLBase

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.
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.
case class Record extends Product with Serializable

Definition Classes
Values
abstract class Step extends AnyRef

A single step in the evaluation of an attribute.

Abstract Value Members

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.
Create the configuration for a particular run of the REPL. If supplied, use emitter instead of a standard output emitter.
abstract def processline(source: Source, console: Console, config: C): Option[C]

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.

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

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

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

Definition Classes
Any
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

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]): C

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.
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.
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.
implicit object messageOrdering extends Ordering[Message]

An ordering on messages that prioritises line over column.
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: C): C

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

Annotations
@tailrec()
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 processlines(config: C): 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.
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: "> ").
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( ... )

trait REPLBase[C <: REPLConfig] extends PositionStore with Messaging with Profiler

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 def createConfig(args: Seq[String]): C

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

Concrete Value Members

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

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]): C

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: C): C

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

final def processfiles(config: C): C

def processlines(config: C): 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

Inherited from Profiler

Inherited from dsprofile.Profiler