ImperativeGen

Type Members

case class Child extends Step with Product with Serializable

Definition Classes
Profiler
case class Dep extends Product with Serializable

Definition Classes
Profiler
case class Record extends Product with Serializable

Definition Classes
Values
abstract class Step extends AnyRef

Definition Classes
Profiler

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
implicit def arbAsgn: Arbitrary[Asgn]

Definition Classes
Generator
implicit def arbExp: Arbitrary[Exp]

Definition Classes
Generator
implicit def arbNum: Arbitrary[Num]

Definition Classes
Generator
implicit def arbSeqn: Arbitrary[Seqn]

Definition Classes
Generator
implicit def arbStmt: Arbitrary[Stmt]

Definition Classes
Generator
implicit def arbWhile: Arbitrary[While]

Definition Classes
Generator
final def asInstanceOf[T0]: T0

Definition Classes
Any
val banner: String

Definition Classes
GeneratingREPLBase → REPLBase
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 createConfig(args: Seq[String], output: Emitter = new OutputEmitter, error: Emitter = new ErrorEmitter): REPLConfig

Generating REPLs insist on processing whitespace.
Generating REPLs insist on processing whitespace.

Definition Classes
GeneratingREPLBase → REPL → REPLBase
def dimValue(record: Record, dim: Dimension): Value

Definition Classes
Profiler → Profiler → Values
def driver(args: Seq[String]): Unit

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 genAdd(sz: Int): Gen[Add]

Definition Classes
Generator
def genAsgn(sz: Int): Gen[Asgn]

Definition Classes
Generator
def genDiv(sz: Int): Gen[Div]

Definition Classes
Generator
val genDouble: Gen[Num]

Definition Classes
Generator
def genExp(sz: Int): Gen[Exp]

Definition Classes
Generator
val genIdn: Gen[String]

Definition Classes
Generator
val genInteger: Gen[Num]

Definition Classes
Generator
def genInternalExp(sz: Int): Gen[Exp]

Definition Classes
Generator
def genInternalStmt(sz: Int): Gen[Stmt]

Definition Classes
Generator
val genLeafExp: Gen[Exp with Serializable]

Definition Classes
Generator
val genLeafStmt: Gen[Null]

Definition Classes
Generator
def genMul(sz: Int): Gen[Mul]

Definition Classes
Generator
def genNeg(sz: Int): Gen[Neg]

Definition Classes
Generator
val genNum: Gen[Num]

Definition Classes
Generator
def genSeqn(sz: Int): Gen[Seqn]

Definition Classes
Generator
def genStmt(sz: Int): Gen[Stmt]

Definition Classes
Generator
def genSub(sz: Int): Gen[Sub]

Definition Classes
Generator
val genVar: Gen[Var]

Definition Classes
Generator
def genWhile(sz: Int): Gen[While]

Definition Classes
Generator
def generator: Arbitrary[Stmt]

The generator to use to make values of type T.
The generator to use to make values of type T.

Definition Classes
ImperativeGen → GeneratingREPLBase
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 main(args: Array[String]): Unit

Definition Classes
REPLBase
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 printDependencyGraph(record: Record, dim: Dimension): Unit

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

Definition Classes
Profiler
var printTables: Boolean

Definition Classes
Values
def process(s: Stmt, config: REPLConfig): Unit

Process a generated value.
Process a generated value. Default: print it.

Definition Classes
ImperativeGen → GeneratingREPLBase
def processline(line: String, config: REPLConfig): REPLConfig

Generate a new instance and print it, ignoring the input line.
Generate a new instance and print it, ignoring the input line. Return the configuration unchanged.

Definition Classes
GeneratingREPLBase → REPLBase
final def processlines(config: REPLConfig): Unit

Definition Classes
REPLBase
Annotations
@tailrec()
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
val prompt: String

Definition Classes
GeneratingREPLBase → REPLBase
def startReport(dimensionNames: Seq[Dimension]): Unit

Definition Classes
Profiler → Values
var startTime: Long

Definition Classes
Profiler
def subjectsToStep(src: Any, dst: Any): Step

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

object ImperativeGen extends GeneratingREPL[Stmt] with Generator

Type Members

case class Child extends Step with Product with Serializable

case class Dep extends Product with Serializable

case class Record extends Product with Serializable

abstract class Step extends AnyRef

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

implicit def arbAsgn: Arbitrary[Asgn]

implicit def arbExp: Arbitrary[Exp]

implicit def arbNum: Arbitrary[Num]

implicit def arbSeqn: Arbitrary[Seqn]

implicit def arbStmt: Arbitrary[Stmt]

implicit def arbWhile: Arbitrary[While]

final def asInstanceOf[T0]: T0

val banner: String

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

def clone(): AnyRef

def createConfig(args: Seq[String], output: Emitter = new OutputEmitter, error: Emitter = new ErrorEmitter): 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 genAdd(sz: Int): Gen[Add]

def genAsgn(sz: Int): Gen[Asgn]

def genDiv(sz: Int): Gen[Div]

val genDouble: Gen[Num]

def genExp(sz: Int): Gen[Exp]

val genIdn: Gen[String]

val genInteger: Gen[Num]

def genInternalExp(sz: Int): Gen[Exp]

def genInternalStmt(sz: Int): Gen[Stmt]

val genLeafExp: Gen[Exp with Serializable]

val genLeafStmt: Gen[Null]

def genMul(sz: Int): Gen[Mul]

def genNeg(sz: Int): Gen[Neg]

val genNum: Gen[Num]

def genSeqn(sz: Int): Gen[Seqn]

def genStmt(sz: Int): Gen[Stmt]

def genSub(sz: Int): Gen[Sub]

val genVar: Gen[Var]

def genWhile(sz: Int): Gen[While]

def generator: Arbitrary[Stmt]

final def getClass(): Class[_]

def hashCode(): Int

def includeTimings: Boolean

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

final def isInstanceOf[T0]: Boolean

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

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 printDependencyGraph(record: Record, dim: Dimension): Unit

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

var printTables: Boolean

def process(s: Stmt, config: REPLConfig): Unit

def processline(line: String, config: REPLConfig): REPLConfig

final 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

val prompt: String

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

var startTime: Long

def subjectsToStep(src: Any, dst: Any): Step

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