Packages

trait SymbolTable extends L3.SymbolTable

Source
SymbolTable.scala
Linear Supertypes
L3.SymbolTable, L0.SymbolTable, base.SymbolTable, Environments, AnyRef, Any
Known Subclasses
CCodeGenerator, TypeAnalyser, A4, A4Phases, A4Tests
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SymbolTable
  2. SymbolTable
  3. SymbolTable
  4. SymbolTable
  5. Environments
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait Builtin extends Named

    Marker trait for all built-in entities.

    Marker trait for all built-in entities.

    Definition Classes
    SymbolTable
  2. case class BuiltinType (ident: String) extends Type with Named with Builtin with Product with Serializable

    A built-in type with an implicit definition that the compiler must have special knowledge about.

    A built-in type with an implicit definition that the compiler must have special knowledge about. This mechanism is necessary since the built-in types cannot be defined using source concepts.

    Definition Classes
    SymbolTable
  3. case class Constant (ident: String, decl: ConstDecl) extends Entity with NamedEntity with Product with Serializable

    A user-defined constant entity represented by a constant declaration.

    A user-defined constant entity represented by a constant declaration.

    Definition Classes
    SymbolTable
  4. case class IntegerValue (ident: String, tipe: Type, value: Int) extends Entity with NamedEntity with Builtin with Product with Serializable

    A built-in value of some type that is represented by a particular integer value.

    A built-in value of some type that is represented by a particular integer value. The type does not have to be INTEGER. In other words, this value cannot be defined using a constant declaration so the compiler has to have special knowledge of them.

    Definition Classes
    SymbolTable
  5. case class Module (ident: String, decl: ModuleDecl) extends Entity with NamedEntity with Product with Serializable

    A user-defined module represented by a module declaration.

    A user-defined module represented by a module declaration.

    Definition Classes
    SymbolTable
  6. abstract class Type extends Entity

    An entity representing by a user-provided type declaration.

    An entity representing by a user-provided type declaration.

    Definition Classes
    SymbolTable
  7. case class UserType (ident: String, tipe: TypeDecl) extends Type with Named with Product with Serializable

    A user-defined type.

    A user-defined type.

    Definition Classes
    SymbolTable
  8. case class Variable (ident: String, tipe: TypeDef) extends Entity with NamedEntity with Product with Serializable

    A variable entity including a reference to its types' definition.

    A variable entity including a reference to its types' definition.

    Definition Classes
    SymbolTable
  9. case class BuiltinProc (ident: String, params: Seq[ParamInfo]) extends Entity with NamedEntity with Builtin with Product with Serializable

    A built-in procedure with its parameter information.

    A built-in procedure with its parameter information.

    Definition Classes
    SymbolTable
  10. case class ParamInfo (mode: Mode, ident: String, tipe: SymbolTable.Type) extends Product with Serializable

    Information about a particular parameter.

    Information about a particular parameter. Similar to Parameter but the type has been replaced with its definition.

    Definition Classes
    SymbolTable
  11. case class Parameter (mode: Mode, varr: SymbolTable.Variable) extends Entity with NamedEntity with Product with Serializable

    A parameter is a variable augmented with a passing mode.

    A parameter is a variable augmented with a passing mode.

    Definition Classes
    SymbolTable
  12. case class Procedure (ident: String, decl: ProcDecl) extends Entity with NamedEntity with Product with Serializable

    A procedure entity represented by a procedure declaration.

    A procedure entity represented by a procedure declaration.

    Definition Classes
    SymbolTable
  13. case class ArrayType (size: Int, elemtype: SymbolTable.Type) extends Type with Product with Serializable

    An array type with the given size and element type.

    An array type with the given size and element type. Setting size to zero and elemtype to the unknown type means an arbitrary array type.

  14. type Environment = List[Scope]
    Definition Classes
    Environments
  15. case class Field (ident: String, tipe: SymbolTable.Type) extends Entity with Product with Serializable

    A record field.

  16. trait Named extends AnyRef
    Definition Classes
    Environments
  17. trait NamedEntity extends Entity with Named
    Definition Classes
    Environments
  18. case class RecordType (fields: Seq[Field]) extends Type with Product with Serializable

    A record with the given fields.

  19. type Scope = Map[String, Entity]
    Definition Classes
    Environments

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. lazy val booleanType: BuiltinType

    Built-in Boolean type.

    Built-in Boolean type.

    Definition Classes
    SymbolTable
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. def defenv: Environment

    The default environment.

    The default environment.

    Definition Classes
    SymbolTable
  8. def defenvPairs: Seq[(String, Entity)]

    The default environment with pre-defined procedures added.

    The default environment with pre-defined procedures added.

    Definition Classes
    SymbolTable → SymbolTable
  9. def define(env: Environment, i: String, e: Entity): Environment
    Definition Classes
    Environments
  10. def enter(env: Environment): Environment
    Definition Classes
    Environments
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. lazy val falseConstant: IntegerValue

    Built-in false constant.

    Built-in false constant.

    Definition Classes
    SymbolTable
  14. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  16. def hasField(t: Type, f: String): Boolean

    Is a given type a record type containing a field called f?

  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  18. lazy val integerType: BuiltinType

    Built-in integer type.

    Built-in integer type.

    Definition Classes
    SymbolTable
  19. def isArray(e: Entity): Boolean

    Return true if the entity is erroneous or is an array.

  20. def isBoolean(e: Type): Boolean

    Return true if the given type is Boolean or an unknown type.

    Return true if the given type is Boolean or an unknown type.

    Definition Classes
    SymbolTable
  21. def isConstant(e: Entity): Boolean

    Return true if the entity is erroneous or is a constant.

    Return true if the entity is erroneous or is a constant.

    Definition Classes
    SymbolTable
  22. def isDefinedInEnv(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  23. def isDefinedInInner(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  24. def isDefinedInOuter(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  25. def isDefinedInScope(scope: Scope, i: String): Boolean
    Definition Classes
    Environments
  26. def isDefinedInScope(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  27. def isError(e: Entity): Boolean

    Return true if the entity is an error, false otherwise.

    Return true if the entity is an error, false otherwise.

    Definition Classes
    SymbolTable
  28. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  29. def isInteger(e: Type): Boolean

    Return true if the given type is integer or an unknown type.

    Return true if the given type is integer or an unknown type.

    Definition Classes
    SymbolTable
  30. def isModule(e: Entity): Boolean

    Return true if the entity is erroneous or is a module.

    Return true if the entity is erroneous or is a module.

    Definition Classes
    SymbolTable
  31. def isNotArray(e: Entity): Boolean

    Return true if the entity is erroneous or is not an array.

  32. def isNotRecord(e: Entity): Boolean

    Return true if the entity is erroneous or is not a record.

  33. def isRecord(e: Entity): Boolean

    Return true if the entity is erroneous or is a record.

  34. def isType(e: Entity): Boolean

    Return true if the entity is erroneous or is a type.

    Return true if the entity is erroneous or is a type.

    Definition Classes
    SymbolTable
  35. def isVariable(e: Entity): Boolean

    Parameters are variables too.

    Parameters are variables too.

    Definition Classes
    SymbolTable → SymbolTable
  36. def leave(env: Environment): Environment
    Definition Classes
    Environments
  37. def lookup(env: Environment, i: String, e: Entity, scope: Boolean): Entity
    Definition Classes
    Environments
  38. val nameCounter: Counter
    Definition Classes
    Environments
  39. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  40. final def notify(): Unit
    Definition Classes
    AnyRef
  41. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  42. lazy val readProc: BuiltinProc

    The built-in Read procedure.

    The built-in Read procedure.

    Definition Classes
    SymbolTable
  43. def resetEnvironments(): Unit
    Definition Classes
    Environments
  44. def rootenv(bindings: (String, Entity)*): Environment
    Definition Classes
    Environments
  45. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  46. def toString(): String
    Definition Classes
    AnyRef → Any
  47. lazy val trueConstant: IntegerValue

    Built-in true constant.

    Built-in true constant.

    Definition Classes
    SymbolTable
  48. lazy val unknownType: BuiltinType

    A type that is unknown, eg because the typed thing is erroneously defined.

    A type that is unknown, eg because the typed thing is erroneously defined.

    Definition Classes
    SymbolTable
  49. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  51. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. lazy val writeProc: BuiltinProc

    The built-in Write procedure.

    The built-in Write procedure.

    Definition Classes
    SymbolTable
  53. lazy val writelnProc: BuiltinProc

    The built-in WriteLn procedure.

    The built-in WriteLn procedure.

    Definition Classes
    SymbolTable

Inherited from L3.SymbolTable

Inherited from L0.SymbolTable

Inherited from base.SymbolTable

Inherited from Environments

Inherited from AnyRef

Inherited from Any

Ungrouped