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], REPL, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ImperativeGen
  2. Generator
  3. GeneratingREPL
  4. REPL
  5. AnyRef
  6. 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. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  15. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  16. def finalize(): Unit

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

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  20. val genDouble: Gen[Num]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  22. val genIdn: Gen[String]

    Definition Classes
    Generator

  23. val genInteger: Gen[Num]

    Definition Classes
    Generator

  24. def genInternalExp(sz: Int): Gen[Binary with Serializable]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  26. val genLeafExp: Gen[Exp with Serializable]

    Definition Classes
    Generator

  27. val genLeafStmt: Gen[Null]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  30. val genNum: Gen[Num]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  34. val genVar: Gen[Var]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  36. 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 → GeneratingREPL

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

    Definition Classes
    AnyRef → Any

  38. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  39. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    REPL

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

    Definition Classes
    AnyRef

  42. final def notify(): Unit

    Definition Classes
    AnyRef

  43. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  44. def process(s: Stmt): Unit

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes
    ImperativeGen → GeneratingREPL

  45. 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
    GeneratingREPL → REPL

  46. def prompt(): String

    Display a prompt.

    Display a prompt.

    Definition Classes
    GeneratingREPL → REPL

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

    Carry out setup processing for the REPL.

    Carry out setup processing for the REPL.

    Definition Classes
    GeneratingREPL → REPL

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

    Definition Classes
    AnyRef

  49. def toString(): String

    Definition Classes
    AnyRef → Any

  50. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

  52. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Generator

Inherited from GeneratingREPL[Stmt]

Inherited from REPL

Inherited from AnyRef

Inherited from Any

No Group