org.kiama.example.imperative

ImperativeGen

object ImperativeGen extends GeneratingREPL[Stmt] with Generator

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

Linear Supertypes
Generator, GeneratingREPL[Stmt], GeneratingREPLBase[Stmt], REPL, StdoutEmitter, REPLBase, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ImperativeGen
  2. Generator
  3. GeneratingREPL
  4. GeneratingREPLBase
  5. REPL
  6. StdoutEmitter
  7. REPLBase
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. implicit def arbAsgn: Arbitrary[Asgn]

    Definition Classes
    Generator

  7. implicit def arbExp: Arbitrary[Exp]

    Definition Classes
    Generator

  8. implicit def arbNum: Arbitrary[Num]

    Definition Classes
    Generator

  9. implicit def arbSeqn: Arbitrary[Seqn]

    Definition Classes
    Generator

  10. implicit def arbStmt: Arbitrary[Stmt]

    Definition Classes
    Generator

  11. implicit def arbWhile: Arbitrary[While]

    Definition Classes
    Generator

  12. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  13. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  14. val emitter: Emitter

    Definition Classes
    StdoutEmitter

  15. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  16. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  17. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  18. def genAdd(sz: Int): Gen[Add]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  21. val genDouble: Gen[Num]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  23. val genIdn: Gen[String]

    Definition Classes
    Generator

  24. val genInteger: Gen[Num]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  27. val genLeafExp: Gen[Exp with Serializable]

    Definition Classes
    Generator

  28. val genLeafStmt: Gen[Null]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  31. val genNum: Gen[Num]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  35. val genVar: Gen[Var]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  37. 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

  38. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  39. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  40. val ignoreWhitespaceLines: Boolean

    Don't ignore whitespace lines since we are using them to indicate the generation command.

    Don't ignore whitespace lines since we are using them to indicate the generation command.

    Definition Classes
    GeneratingREPLBase → REPLBase

  41. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    REPLBase

  43. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  44. final def notify(): Unit

    Definition Classes
    AnyRef

  45. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  46. def process(s: Stmt): Unit

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes
    ImperativeGen → GeneratingREPLBase

  47. def processline(line: String): Unit

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

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

    Definition Classes
    GeneratingREPLBase → REPLBase

  48. val prompt: String

    Display a prompt.

    Display a prompt.

    Definition Classes
    GeneratingREPLBase → REPLBase

  49. def setup(args: Array[String]): Boolean

    Carry out setup processing for the REPL.

    Carry out setup processing for the REPL.

    Definition Classes
    GeneratingREPLBase → REPLBase

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

    Definition Classes
    AnyRef

  51. def toString(): String

    Definition Classes
    AnyRef → Any

  52. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

  54. 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 StdoutEmitter

Inherited from REPLBase

Inherited from AnyRef

Inherited from Any

Ungrouped