o

org.kiama.example.imperative

ImperativeTree

object ImperativeTree

A simple imperative language abstract syntax designed for testing.

Source
ImperativeTree.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ImperativeTree
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Add (l: Exp, r: Exp) extends Binary with Product with Serializable

    Addition expressions.

  2. case class Asgn (v: Var, e: Exp) extends Stmt with Product with Serializable

    Assignment statements.

  3. abstract class Binary extends Exp

    Binary expressions.

  4. case class Div (l: Exp, r: Exp) extends Binary with Product with Serializable

    Division expressions.

  5. sealed abstract class Exp extends ImperativeTree

    Expressions.

  6. type Idn = String

    Identifiers are represented as strings.

  7. trait ImperativeTree extends TreeNode

    Superclass of all imperative language tree node types.

  8. case class Mul (l: Exp, r: Exp) extends Binary with Product with Serializable

    Multiplication expressions.

  9. case class Neg (e: Exp) extends Exp with Product with Serializable

    Unary negation expressions.

  10. case class Null () extends Stmt with Product with Serializable

    Empty statements.

  11. case class Num (d: Double) extends Exp with Product with Serializable

    Numeric expressions.

  12. case class Seqn (ss: Seq[Stmt]) extends Stmt with Product with Serializable

    Statement sequences.

  13. sealed abstract class Stmt extends ImperativeTree

    Statements.

  14. case class Sub (l: Exp, r: Exp) extends Binary with Product with Serializable

    Subtraction expressions.

  15. case class Var (s: Idn) extends Exp with Product with Serializable

    Variable expressions.

  16. case class While (e: Exp, b: Stmt) extends Stmt with Product with Serializable

    While loops.

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. def Add(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  5. def Asgn(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  6. def Div(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  7. def Mul(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  8. def Neg(s1: ⇒ Strategy): Strategy
  9. def Num(s1: ⇒ Strategy): Strategy
  10. def Seqn(s1: ⇒ Strategy): Strategy
  11. def Sub(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  12. def Var(s1: ⇒ Strategy): Strategy
  13. def While(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  14. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  15. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  16. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  18. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  25. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  26. def toString(): String
    Definition Classes
    AnyRef → Any
  27. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped