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. Hide All
  2. Show all
  1. ImperativeGen
  2. Generator
  3. GeneratingREPL
  4. REPL
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Value Members

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Attributes
    final
    Definition Classes
    Any

  6. implicit def arbAsgn : Arbitrary[Asgn]

    Attributes
    implicit
    Definition Classes
    Generator

  7. implicit def arbExp : Arbitrary[Exp]

    Attributes
    implicit
    Definition Classes
    Generator

  8. implicit def arbNum : Arbitrary[Num]

    Attributes
    implicit
    Definition Classes
    Generator

  9. implicit def arbSeqn : Arbitrary[Seqn]

    Attributes
    implicit
    Definition Classes
    Generator

  10. implicit def arbStmt : Arbitrary[Stmt]

    Attributes
    implicit
    Definition Classes
    Generator

  11. implicit def arbWhile : Arbitrary[While]

    Attributes
    implicit
    Definition Classes
    Generator

  12. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  13. def clone (): AnyRef

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

  14. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  15. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  16. def finalize (): Unit

    Attributes
    protected[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. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  38. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  39. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

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

    Definition Classes
    REPL

  41. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  42. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  43. def notifyAll (): Unit

    Attributes
    final
    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. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  49. def toString (): String

    Definition Classes
    AnyRef → Any

  50. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  52. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Generator

Inherited from GeneratingREPL[Stmt]

Inherited from REPL

Inherited from AnyRef

Inherited from Any