org.kiama.example.oberon0.L0

SymbolTable

trait SymbolTable extends base.SymbolTable

Source
SymbolTable.scala
Linear Supertypes
base.SymbolTable, Environments, AnyRef, Any
Known Subclasses
A1, A1Phases, A1Tests, A2a, A2aPhases, A2aTests, A2b, A2bPhases, A2bTests, A3, A3Phases, A3Tests, A4, A4Phases, A4Tests, CCodeGenerator, CCodeGenerator, CCodeGenerator, CCodeGenerator, Desugarer, Desugarer, Lifter, NameAnalyser, NameAnalyser, NameAnalyser, NameAnalyser, SymbolTable, SymbolTable, TypeAnalyser, TypeAnalyser, TypeAnalyser, TypeAnalyser, TypeAnalyser
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SymbolTable
  2. SymbolTable
  3. Environments
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
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.

  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.

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

    Built-in Boolean type.

  8. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  9. def defenv: Environment

    The default environment.

  10. def defenvPairs: Seq[(String, Entity)]

  11. def define(env: Environment, i: String, e: Entity): Environment

    Definition Classes
    Environments

  12. def enter(env: Environment): Environment

    Definition Classes
    Environments

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

    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  15. lazy val falseConstant: IntegerValue

    Built-in false constant.

  16. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

    Definition Classes
    AnyRef → Any

  18. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  19. lazy val integerType: BuiltinType

    Built-in integer type.

  20. def isBoolean(e: Type): Boolean

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

  21. def isConstant(e: Entity): Boolean

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

  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.

  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.

  30. def isModule(e: Entity): Boolean

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

  31. def isType(e: Entity): Boolean

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

  32. def isVariable(e: Entity): Boolean

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

  33. def leave(env: Environment): Environment

    Definition Classes
    Environments

  34. def lookup(env: Environment, i: String, e: Entity, scope: Boolean): Entity

    Definition Classes
    Environments

  35. val nameCounter: Counter

    Definition Classes
    Environments

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

    Definition Classes
    AnyRef

  37. final def notify(): Unit

    Definition Classes
    AnyRef

  38. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  39. def resetEnvironments(): Unit

    Definition Classes
    Environments

  40. def rootenv(bindings: (String, Entity)*): Environment

    Definition Classes
    Environments

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

    Definition Classes
    AnyRef

  42. def toString(): String

    Definition Classes
    AnyRef → Any

  43. lazy val trueConstant: IntegerValue

    Built-in true constant.

  44. lazy val unknownType: BuiltinType

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

  45. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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