SymbolTable

Type Members

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

An array type with the given size and element type.
trait Builtin extends Named

Marker trait for all built-in entities.
case class BuiltinProc(ident: String, params: List[ParamInfo]) extends Entity with NamedEntity with Builtin with Product with Serializable

A built-in procedure with its parameter information.
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.
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.
abstract class Entity extends AnyRef

Definition Classes
Environments
type Environment = Stack[Scope]

Definition Classes
Environments
trait ErrorEntity extends Entity

Definition Classes
Environments
case class Field(ident: String, tipe: SymbolTable.Type) extends Entity with Product with Serializable

A record field.
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.
case class Module(ident: String, decl: ModuleDecl) extends Entity with NamedEntity with Product with Serializable

A user-defined module represented by a module declaration.
case class MultipleEntity extends Entity with ErrorEntity with Product with Serializable

Definition Classes
Environments
trait Named extends AnyRef

Definition Classes
Environments
trait NamedEntity extends Entity with Named

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

Information about a particular parameter.
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.
case class Procedure(ident: String, decl: ProcDecl) extends Entity with NamedEntity with Product with Serializable

A procedure entity represented by a procedure declaration.
case class RecordType(fields: List[Field]) extends Type with Product with Serializable

A record with the given fields.
type Scope = Map[String, Entity]

Definition Classes
Environments
abstract class Type extends Entity

An entity representing by a user-provided type declaration.
case class UnknownEntity extends Entity with ErrorEntity with Product with Serializable

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

A user-defined type.
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

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
lazy val booleanType: BuiltinType

Built-in Boolean type.
Built-in Boolean type.

Definition Classes
SymbolTable
def clone(): AnyRef

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

The default environment.
The default environment.

Definition Classes
SymbolTable
def defenvPairs: List[(String, Entity)]

The default environment with pre-defined procedures added.
The default environment with pre-defined procedures added.

Definition Classes
SymbolTable → SymbolTable
def define(env: Environment, i: String, e: Entity): Environment

Definition Classes
Environments
def enter(env: Environment): Environment

Definition Classes
Environments
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
lazy val falseConstant: IntegerValue

Built-in false constant.
Built-in false constant.

Definition Classes
SymbolTable
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hasField(t: Type, f: String): Boolean

Is a given type a record type containing a field called f?
def hashCode(): Int

Definition Classes
AnyRef → Any
lazy val integerType: BuiltinType

Built-in integer type.
Built-in integer type.

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

Return true if the entity is erroneous or is an array.
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
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
def isDefinedInEnv(env: Environment, i: String): Boolean

Definition Classes
Environments
def isDefinedInInner(env: Environment, i: String): Boolean

Definition Classes
Environments
def isDefinedInOuter(env: Environment, i: String): Boolean

Definition Classes
Environments
def isDefinedInScope(scope: Scope, i: String): Boolean

Definition Classes
Environments
def isDefinedInScope(env: Environment, i: String): Boolean

Definition Classes
Environments
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
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
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
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
def isNotArray(e: Entity): Boolean

Return true if the entity is erroneous or is not an array.
def isNotRecord(e: Entity): Boolean

Return true if the entity is erroneous or is not a record.
def isRecord(e: Entity): Boolean

Return true if the entity is erroneous or is a record.
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
def isVariable(e: Entity): Boolean

Parameters are variables too.
Parameters are variables too.

Definition Classes
SymbolTable → SymbolTable
def leave(env: Environment): Environment

Definition Classes
Environments
def lookup(env: Environment, i: String, e: Entity, scope: Boolean): Entity

Definition Classes
Environments
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
lazy val readProc: BuiltinProc

The built-in Read procedure.
The built-in Read procedure.

Definition Classes
SymbolTable
def resetEnvironments: Unit

Definition Classes
Environments
def rootenv(bindings: (String, Entity)*): Environment

Definition Classes
Environments
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
lazy val trueConstant: IntegerValue

Built-in true constant.
Built-in true constant.

Definition Classes
SymbolTable
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
final def wait(): Unit

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

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws()
lazy val writeProc: BuiltinProc

The built-in Write procedure.
The built-in Write procedure.

Definition Classes
SymbolTable
lazy val writelnProc: BuiltinProc

The built-in WriteLn procedure.
The built-in WriteLn procedure.

Definition Classes
SymbolTable

trait SymbolTable extends L3.SymbolTable

Type Members

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

trait Builtin extends Named

case class BuiltinProc(ident: String, params: List[ParamInfo]) extends Entity with NamedEntity with Builtin with Product with Serializable

case class BuiltinType(ident: String) extends Type with Named with Builtin with Product with Serializable

case class Constant(ident: String, decl: ConstDecl) extends Entity with NamedEntity with Product with Serializable

abstract class Entity extends AnyRef

type Environment = Stack[Scope]

trait ErrorEntity extends Entity

case class Field(ident: String, tipe: SymbolTable.Type) extends Entity with Product with Serializable

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

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

case class MultipleEntity extends Entity with ErrorEntity with Product with Serializable

trait Named extends AnyRef

trait NamedEntity extends Entity with Named

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

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

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

case class RecordType(fields: List[Field]) extends Type with Product with Serializable

type Scope = Map[String, Entity]

abstract class Type extends Entity

case class UnknownEntity extends Entity with ErrorEntity with Product with Serializable

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

case class Variable(ident: String, tipe: TypeDef) extends Entity with NamedEntity with Product with Serializable

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

lazy val booleanType: BuiltinType

def clone(): AnyRef

def defenv: Environment

def defenvPairs: List[(String, Entity)]

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

def enter(env: Environment): Environment

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

lazy val falseConstant: IntegerValue

def finalize(): Unit

final def getClass(): Class[_]

def hasField(t: Type, f: String): Boolean

def hashCode(): Int

lazy val integerType: BuiltinType

def isArray(e: Entity): Boolean

def isBoolean(e: Type): Boolean

def isConstant(e: Entity): Boolean

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

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

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

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

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

def isError(e: Entity): Boolean

final def isInstanceOf[T0]: Boolean

def isInteger(e: Type): Boolean

def isModule(e: Entity): Boolean

def isNotArray(e: Entity): Boolean

def isNotRecord(e: Entity): Boolean

def isRecord(e: Entity): Boolean

def isType(e: Entity): Boolean

def isVariable(e: Entity): Boolean

def leave(env: Environment): Environment

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

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

lazy val readProc: BuiltinProc

def resetEnvironments: Unit

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

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

def toString(): String

lazy val trueConstant: IntegerValue

lazy val unknownType: BuiltinType

final def wait(): Unit

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

final def wait(arg0: Long): Unit

lazy val writeProc: BuiltinProc