Packages

trait SymbolTable extends L0.SymbolTable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SymbolTable
  2. SymbolTable
  3. SymbolTable
  4. Environments
  5. AnyRef
  6. 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.

  10. type Environment = List[Scope]
    Definition Classes
    Environments
  11. trait Named extends AnyRef
    Definition Classes
    Environments
  12. trait NamedEntity extends Entity with Named
    Definition Classes
    Environments
  13. 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.

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

  15. case class Procedure (ident: String, decl: ProcDecl) extends Entity with NamedEntity with Product with Serializable

    A procedure entity represented by a procedure declaration.

  16. 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 hashCode(): Int
    Definition Classes
    AnyRef → Any
  17. lazy val integerType: BuiltinType

    Built-in integer type.

    Built-in integer type.

    Definition Classes
    SymbolTable
  18. 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
  19. 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
  20. def isDefinedInEnv(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  21. def isDefinedInInner(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  22. def isDefinedInOuter(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  23. def isDefinedInScope(scope: Scope, i: String): Boolean
    Definition Classes
    Environments
  24. def isDefinedInScope(env: Environment, i: String): Boolean
    Definition Classes
    Environments
  25. 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
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. 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
  28. 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
  29. 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
  30. def isVariable(e: Entity): Boolean

    Parameters are variables too.

    Parameters are variables too.

    Definition Classes
    SymbolTable → SymbolTable
  31. def leave(env: Environment): Environment
    Definition Classes
    Environments
  32. def lookup(env: Environment, i: String, e: Entity, scope: Boolean): Entity
    Definition Classes
    Environments
  33. val nameCounter: Counter
    Definition Classes
    Environments
  34. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. final def notify(): Unit
    Definition Classes
    AnyRef
  36. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  37. lazy val readProc: BuiltinProc

    The built-in Read procedure.

  38. def resetEnvironments(): Unit
    Definition Classes
    Environments
  39. def rootenv(bindings: (String, Entity)*): Environment
    Definition Classes
    Environments
  40. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  41. def toString(): String
    Definition Classes
    AnyRef → Any
  42. lazy val trueConstant: IntegerValue

    Built-in true constant.

    Built-in true constant.

    Definition Classes
    SymbolTable
  43. 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
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  47. lazy val writeProc: BuiltinProc

    The built-in Write procedure.

  48. lazy val writelnProc: BuiltinProc

    The built-in WriteLn procedure.

Inherited from L0.SymbolTable

Inherited from base.SymbolTable

Inherited from Environments

Inherited from AnyRef

Inherited from Any

Ungrouped