org.kiama.example.obr.ObrTree

ObrInt

case class ObrInt(idn1: Identifier, decls: List[Declaration], stmts: List[Statement], idn2: Identifier) extends ObrNode with Product with Serializable

An Obr program consisting of the given declarations and statements and returning an integer value. The two identifiers name the program and must be the same.

Linear Supertypes
Serializable, Serializable, ObrNode, Positioned, Attributable, Cloneable, Cloneable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ObrInt
  2. Serializable
  3. Serializable
  4. ObrNode
  5. Positioned
  6. Attributable
  7. Cloneable
  8. Cloneable
  9. Product
  10. Equals
  11. AnyRef
  12. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ObrInt(idn1: Identifier, decls: List[Declaration], stmts: List[Statement], idn2: Identifier)

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 ->[T, U](a: (T) ⇒ U)(implicit b: (ObrInt.this.type) ⇒ T): U

    Definition Classes
    Attributable
    Annotations
    @inline()

  5. final def ->[U](a: (ObrInt.this.type) ⇒ U): U

    Definition Classes
    Attributable
    Annotations
    @inline()

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  9. def children: Iterator[Attributable]

    Definition Classes
    Attributable

  10. def clone(): Attributable

    Definition Classes
    Attributable → AnyRef

  11. val decls: List[Declaration]

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

    Definition Classes
    AnyRef

  13. def finalize(): Unit

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

  14. var finish: Position

    Definition Classes
    Positioned

  15. def firstChild[T]: T

    Definition Classes
    Attributable

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

    Definition Classes
    AnyRef → Any

  17. def hasChildren: Boolean

    Definition Classes
    Attributable

  18. val idn1: Identifier

  19. val idn2: Identifier

  20. var index: Int

    Definition Classes
    Attributable

  21. def initTreeProperties(): Unit

    Definition Classes
    Attributable

  22. def isFirst: Boolean

    Definition Classes
    Attributable

  23. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  24. def isLast: Boolean

    Definition Classes
    Attributable

  25. def isRoot: Boolean

    Definition Classes
    Attributable

  26. def lastChild[T]: T

    Definition Classes
    Attributable

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

    Definition Classes
    AnyRef

  28. def next[T]: T

    Definition Classes
    Attributable

  29. var next: Attributable

    Definition Classes
    Attributable

  30. final def notify(): Unit

    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  32. def parent[T]: T

    Definition Classes
    Attributable

  33. var parent: Attributable

    Definition Classes
    Attributable

  34. def prev[T]: T

    Definition Classes
    Attributable

  35. var prev: Attributable

    Definition Classes
    Attributable

  36. def setFinish(p: Position): ObrInt.this.type

    Definition Classes
    Positioned

  37. def setPos(p: Positioned): ObrInt.this.type

    Definition Classes
    Positioned

  38. def setStart(p: Position): ObrInt.this.type

    Definition Classes
    Positioned

  39. var start: Position

    Definition Classes
    Positioned

  40. val stmts: List[Statement]

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

    Definition Classes
    AnyRef

  42. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Serializable

Inherited from Serializable

Inherited from ObrNode

Inherited from Positioned

Inherited from Attributable

Inherited from Cloneable

Inherited from Cloneable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped