o

org.kiama.example.imperative

ImperativeGen

object ImperativeGen extends GeneratingREPL[Stmt] with Generator

A read-eval-print loop for generating random imperative statements.

Source
ImperativeTests.scala
Linear Supertypes
Generator, GeneratingREPL[Stmt], GeneratingREPLBase[Stmt], REPL, REPLBase[REPLConfig], Profiler, Profiler, Values, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ImperativeGen
  2. Generator
  3. GeneratingREPL
  4. GeneratingREPLBase
  5. REPL
  6. REPLBase
  7. Profiler
  8. Profiler
  9. Values
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Child extends Step with Product with Serializable
    Definition Classes
    Profiler
  2. case class Dep extends Product with Serializable
    Definition Classes
    Profiler
  3. case class Record extends Product with Serializable
    Definition Classes
    Values
  4. abstract class Step extends AnyRef
    Definition Classes
    Profiler

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. implicit def arbAsgn: Arbitrary[Asgn]
    Definition Classes
    Generator
  5. implicit def arbExp: Arbitrary[Exp]
    Definition Classes
    Generator
  6. implicit def arbNum: Arbitrary[Num]
    Definition Classes
    Generator
  7. implicit def arbSeqn: Arbitrary[Seqn]
    Definition Classes
    Generator
  8. implicit def arbStmt: Arbitrary[Stmt]
    Definition Classes
    Generator
  9. implicit def arbWhile: Arbitrary[While]
    Definition Classes
    Generator
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. val banner: String
    Definition Classes
    GeneratingREPLBase → REPLBase
  12. def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value
    Definition Classes
    Values
  13. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  14. 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
  15. def dimValue(record: Record, dim: Dimension): Value
    Definition Classes
    Profiler → Profiler → Values
  16. def driver(args: Seq[String]): Unit
    Definition Classes
    REPLBase
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  19. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. def finishReport(): Unit
    Definition Classes
    Values
  21. def genAdd(sz: Int): Gen[Add]
    Definition Classes
    Generator
  22. def genAsgn(sz: Int): Gen[Asgn]
    Definition Classes
    Generator
  23. def genDiv(sz: Int): Gen[Div]
    Definition Classes
    Generator
  24. val genDouble: Gen[Num]
    Definition Classes
    Generator
  25. def genExp(sz: Int): Gen[Exp]
    Definition Classes
    Generator
  26. val genIdn: Gen[String]
    Definition Classes
    Generator
  27. val genInteger: Gen[Num]
    Definition Classes
    Generator
  28. def genInternalExp(sz: Int): Gen[Exp]
    Definition Classes
    Generator
  29. def genInternalStmt(sz: Int): Gen[Stmt]
    Definition Classes
    Generator
  30. val genLeafExp: Gen[Exp with Serializable]
    Definition Classes
    Generator
  31. val genLeafStmt: Gen[Null]
    Definition Classes
    Generator
  32. def genMul(sz: Int): Gen[Mul]
    Definition Classes
    Generator
  33. def genNeg(sz: Int): Gen[Neg]
    Definition Classes
    Generator
  34. val genNum: Gen[Num]
    Definition Classes
    Generator
  35. def genSeqn(sz: Int): Gen[Seqn]
    Definition Classes
    Generator
  36. def genStmt(sz: Int): Gen[Stmt]
    Definition Classes
    Generator
  37. def genSub(sz: Int): Gen[Sub]
    Definition Classes
    Generator
  38. val genVar: Gen[Var]
    Definition Classes
    Generator
  39. def genWhile(sz: Int): Gen[While]
    Definition Classes
    Generator
  40. 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
  41. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  42. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  43. def includeTimings: Boolean
    Definition Classes
    Profiler
  44. def isEventType(record: Record, eventtype: String): Boolean
    Definition Classes
    Values
  45. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  46. def main(args: Array[String]): Unit
    Definition Classes
    REPLBase
  47. def nanoToMs(nano: Long): Long
    Definition Classes
    Profiler
  48. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. final def notify(): Unit
    Definition Classes
    AnyRef
  50. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  51. def output(str: String): Unit
    Definition Classes
    Values
  52. def outputln(str: String): Unit
    Definition Classes
    Values
  53. def parseProfileOption(value: String): Seq[Dimension]
    Definition Classes
    Profiler
  54. def percent(v: Long, total: Long): String
    Definition Classes
    Profiler
  55. def printDependencyGraph(record: Record, dim: Dimension): Unit
    Definition Classes
    Profiler
  56. def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit
    Definition Classes
    Profiler
  57. val printTables: Boolean
    Definition Classes
    Values
  58. def process(s: Stmt, config: REPLConfig): Unit

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes
    ImperativeGen → GeneratingREPLBase
  59. 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
  60. final def processlines(config: REPLConfig): Unit
    Definition Classes
    REPLBase
    Annotations
    @tailrec()
  61. def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T
    Definition Classes
    Profiler
  62. def profileStart(logging: Boolean): Unit
    Definition Classes
    Profiler
  63. def profileStop(): (Seq[Dimension]) ⇒ Unit
    Definition Classes
    Profiler
  64. def profileStop(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler
  65. def profileStopInteractive(): Unit
    Definition Classes
    Profiler
  66. val prompt: String
    Definition Classes
    GeneratingREPLBase → REPLBase
  67. val seed: Seed

    The seed for the generator.

    The seed for the generator.

    Definition Classes
    GeneratingREPLBase
  68. def startReport(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler → Values
  69. val startTime: Long
    Definition Classes
    Profiler
  70. def subjectsToStep(src: Any, dst: Any): Step
    Definition Classes
    Profiler
  71. def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit
    Definition Classes
    Profiler
  72. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  73. def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit
    Definition Classes
    Profiler
  74. def toString(): String
    Definition Classes
    AnyRef → Any
  75. def trace(predicate: (Event) ⇒ Boolean): Unit
    Definition Classes
    Profiler
  76. def valueToString(a: Value): String
    Definition Classes
    Values
  77. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  78. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  79. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Generator

Inherited from GeneratingREPL[Stmt]

Inherited from GeneratingREPLBase[Stmt]

Inherited from REPL

Inherited from REPLBase[REPLConfig]

Inherited from Profiler

Inherited from Profiler

Inherited from Values

Inherited from AnyRef

Inherited from Any

Ungrouped