SemanticAnalyser

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

   Definition Classes

   Any

7. val assignable: (Expression) ⇒ Boolean

   Is the expression something that can be assigned to?

8. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. 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.

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

    The environment containing bindings for things that are being defined.

11. def defenvin(in: (ObrTree) ⇒ SymbolTable.Environment): ==>[ObrTree, SymbolTable.Environment]

12. def defenvout(out: (ObrTree) ⇒ SymbolTable.Environment): ==>[ObrTree, SymbolTable.Environment]

13. val divideByZeroExn: Int

    Pre-defined exception numbers

14. lazy val entity: (IdnTree) ⇒ Entity

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

15. val enttipe: (Entity) ⇒ Type

    The type of an entity.

16. val enumconstnum: (EnumConst) ⇒ Int

    Attribute to consecutively number enumeration constants.

17. lazy val env: (ObrTree) ⇒ SymbolTable.Environment

    The environment to use to lookup names at a node.

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

    Definition Classes

    AnyRef

19. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

20. val errors: attribution.Attribution.CachedAttribute[Any, Seq[Message]]

    The semantic error messages for a given tree.

21. val exnconstnum: (Declaration) ⇒ Int

    Attribute to consecutively number exception constants

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

    What is the expected type of an expression? I.

    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.

23. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

25. def hashCode(): Int

    Definition Classes

    AnyRef → Any

26. val indexOutOfBoundsExn: Int

27. val initenv: SymbolTable.Environment

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

28. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

29. val isassignable: (Entity) ⇒ Boolean

    Is the entity assignable?

30. val isconst: (Entity) ⇒ Boolean

    Is an entity constant or not?

31. val isinloop: (Statement) ⇒ Boolean

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

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

    Definition Classes

    AnyRef

33. final def notify(): Unit

    Definition Classes

    AnyRef

34. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef

36. val tipe: (Expression) ⇒ Type

    What is the type of an expression?

37. def toString(): String

    Definition Classes

    AnyRef → Any

38. val userExn: Int

39. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )