Packages

trait SymbolTable extends base.SymbolTable

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

  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.

  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.

  4. type Environment = List[Scope]
    Definition Classes
    Environments
  5. 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.

  6. case class Module (ident: String, decl: ModuleDecl) extends Entity with NamedEntity with Product with Serializable

    A user-defined module represented by a module declaration.

  7. trait Named extends AnyRef
    Definition Classes
    Environments
  8. trait NamedEntity extends Entity with Named
    Definition Classes
    Environments
  9. type Scope = Map[String, Entity]
    Definition Classes
    Environments
  10. abstract class Type extends Entity

    An entity representing by a user-provided type declaration.

  11. case class UserType (ident: String, tipe: TypeDecl) extends Type with Named with Product with Serializable

    A user-defined type.

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

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.

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

    The default environment.

  8. def defenvPairs: Seq[(String, Entity)]
  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.

  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.

  18. def isBoolean(e: Type): Boolean

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

  19. def isConstant(e: Entity): Boolean

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

  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.

  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.

  28. def isModule(e: Entity): Boolean

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

  29. def isType(e: Entity): Boolean

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

  30. def isVariable(e: Entity): Boolean

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

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

    Built-in true constant.

  42. lazy val unknownType: BuiltinType

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

  43. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from base.SymbolTable

Inherited from Environments

Inherited from AnyRef

Inherited from Any

Ungrouped