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.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  val assignable: (Expression) ⇒ Boolean

   Is the expression something that can be assigned to?

6.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7.  lazy val defentity: (IdnDef) ⇒ Entity

   The entity defined by a defining occurrence of an identifier.

   The entity defined by a defining occurrence of an identifier. Defined by the context of the occurrence.

8.  lazy val defenv: Chain[ObrTree, SymbolTable.Environment]

   The environment containing bindings for things that are being defined.

9.  def defenvin(in: (ObrTree) ⇒ SymbolTable.Environment): ==>[ObrTree, SymbolTable.Environment]
10.  def defenvout(out: (ObrTree) ⇒ SymbolTable.Environment): ==>[ObrTree, SymbolTable.Environment]
11.  val divideByZeroExn: Int

    Pre-defined exception numbers

12.  lazy val entity: (IdnTree) ⇒ Entity

    The program entity referred to by an identifier definition or use.

13.  val enttipe: (Entity) ⇒ Type

    The type of an entity.

14.  val enumconstnum: (EnumConst) ⇒ Int

    Attribute to consecutively number enumeration constants.

15.  lazy val env: (ObrTree) ⇒ SymbolTable.Environment

    The environment to use to lookup names at a node.

16.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

17.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

18.  val errors: (ObrTree) ⇒ Messages

    The semantic error messages for a given tree.

19.  val exnconstnum: (Declaration) ⇒ Int

    Attribute to consecutively number exception constants

20.  val exptipe: (Expression) ⇒ Set[TypeBase]

    What is the expected type of an expression? I.e., what type does the context impose on it.

    What is the expected type of an expression? I.e., what type does the context impose on it. Returns UnknownType () if any type will do.

21.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

22.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

23.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

24.  val indexOutOfBoundsExn: Int
25.  val initenv: SymbolTable.Environment

    Initial environment, primed with bindings for pre-defined identifiers.

26.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

27.  val isassignable: (Entity) ⇒ Boolean

    Is the entity assignable?

28.  val isconst: (Entity) ⇒ Boolean

    Is an entity constant or not?

29.  val isinloop: (Statement) ⇒ Boolean

    Is this statement inside a LOOP statement? Used to check that EXIT statements are placed appropriately.

30.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

31.  final def notify(): Unit

    Definition Classes

    AnyRef

32.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef

34.  val tipe: (Expression) ⇒ Type

    What is the type of an expression?

35.  def toString(): String

    Definition Classes

    AnyRef → Any

36.  val userExn: Int
37.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

39.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )