SemanticAnalysis

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. def define(envin: Environment, i: Identifier, e: ⇒ Entity): Environment

   envin is an environment of bindings already seen.

   envin is an environment of bindings already seen. Add a binding of i to e and return the complete set of bindings, unless i already has a binding in envin, in which case define i to be a multiply-defined entity.

8. val divideByZeroExn: Int

   Pre-defined exception numbers

9. val entity: (EntityNode) ⇒ Entity

   The entity referred to by a declaration or a variable expression.

   The entity referred to by a declaration or a variable expression. If a name has been used previously in a declaration then return an unknown entity which will trigger an error.

10. val enumconstnum: (EnumConst) ⇒ Int

    Attribute to consecutively number enumeration constants.

11. val env: (ObrNode) ⇒ Environment

    The environment containing all bindings visible at a particular node in the tree, not including any that are defined at that node.

12. val envout: (ObrNode) ⇒ Environment

    The environment containing all bindings visible "after" a particular node in the tree.

    The environment containing all bindings visible "after" a particular node in the tree. I.e., its the environment at the node plus any new bindings introduced by the node.

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

    Definition Classes

    AnyRef

14. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

15. val errors: (Attributable) ⇒ Unit

    Visit all nodes to check for semantic errors.

    Visit all nodes to check for semantic errors. Errors will be recorded using messaging so that they can be reported to the user later.

16. val exnconstnum: (Declaration) ⇒ Int

    Attribute to consecutively number exception constants

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

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. val indexOutOfBoundsExn: Int

22. val initEnv: Map[String, Constant]

    Initial environment, pre-primed with predeclared identifiers like DivideByZero

23. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

24. val isinloop: (Statement) ⇒ Boolean

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

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

    Definition Classes

    AnyRef

26. final def notify(): Unit

    Definition Classes

    AnyRef

27. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef

29. val tipe: (Expression) ⇒ Type

    What is the type of an expression?

30. def toString(): String

    Definition Classes

    AnyRef → Any

31. val userExn: Int

32. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )