org.kiama.example.oberon0.base

SymbolTable

trait SymbolTable extends Environments

Basic symbol table definitions.

Linear Supertypes
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, SymbolTable, TypeAnalyser, TypeAnalyser, TypeAnalyser, TypeAnalyser, TypeAnalyser
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SymbolTable
  2. Environments
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Type Members

  1. class Entity extends AnyRef

    An entity that represents some program object.

  2. type Environment = Stack[Scope]

    An environment is a stack of scopes with the innermost scope on the top.

    An environment is a stack of scopes with the innermost scope on the top.

    Definition Classes
    Environments

  3. trait ErrorEntity extends Entity

    An entity that represents an error situation.

  4. trait Named extends AnyRef

    Support for unique ids for named things.

  5. trait NamedEntity extends Entity with Named

    A named entity.

  6. type Scope = Map[String, Entity]

    A scope maps identifiers to entities.

    A scope maps identifiers to entities.

    Definition Classes
    Environments

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. object MultipleEntity extends Entity with ErrorEntity with Product with Serializable

    A entity represented by names for whom we have seen more than one declaration so we are unsure what is being represented.

  7. object Named extends AnyRef

    Static support for entity names.

  8. object UnknownEntity extends Entity with ErrorEntity with Product with Serializable

    An unknown entity, represented by names whose declarations are missing.

  9. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  10. def clone (): AnyRef

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

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

    Define i to be e in the current scope of env, raising an error if the environment is empty.

    Define i to be e in the current scope of env, raising an error if the environment is empty.

    Definition Classes
    Environments

  12. def enter (env: Environment): Environment

    Enter a new empty scope nested within the given environment.

    Enter a new empty scope nested within the given environment.

    Definition Classes
    Environments

  13. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  14. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  15. def finalize (): Unit

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

  16. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  17. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  18. def isDefinedInEnv (env: Environment, i: String): Boolean

    Say whether i is defined in any scope of env.

    Say whether i is defined in any scope of env.

    Definition Classes
    Environments

  19. def isDefinedInInner (env: Environment, i: String): Boolean

    Say whether i is defined in an innermost scope of env (i.

    Say whether i is defined in an innermost scope of env (i.e., in the current scope).

    Definition Classes
    Environments

  20. def isDefinedInOuter (env: Environment, i: String): Boolean

    Say whether i is defined in an outer scope of env (i.

    Say whether i is defined in an outer scope of env (i.e., not in the current scope).

    Definition Classes
    Environments

  21. def isDefinedInScope (scope: Scope, i: String): Boolean

    Say whether i is defined in the given scope.

    Say whether i is defined in the given scope.

    Definition Classes
    Environments

  22. def isDefinedInScope (env: Environment, i: String): Boolean

    Say whether i is defined in the current scope of env.

    Say whether i is defined in the current scope of env.

    Definition Classes
    Environments

  23. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  24. def leave (env: Environment): Environment

    Leave the outermost scope of the given environment, raising an error if the environment is empty.

    Leave the outermost scope of the given environment, raising an error if the environment is empty.

    Definition Classes
    Environments

  25. def lookup (env: Environment, i: String, e: Entity, scope: Boolean = false): Entity

    Look up i in env, returning the mapped Entity if there is one, otherwise return e.

    Look up i in env, returning the mapped Entity if there is one, otherwise return e. If scope is true, just search the innermost scope, otherwise search outwards in all scopes, returning the first Entity found, if any.

    Definition Classes
    Environments

  26. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  27. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  28. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  29. def resetEnvironments : Unit

    Reset the environment module.

    Reset the environment module.

    Definition Classes
    Environments

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

    Create a root environment, i.

    Create a root environment, i.e., one that has a single scope containing the given bindings.

    Definition Classes
    Environments

  31. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  32. def toString (): String

    Definition Classes
    AnyRef → Any

  33. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  35. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Environments

Inherited from AnyRef

Inherited from Any