Environments

Type Members

type Environment = List[Scope]

An environment is a stack of scopes with the innermost scope on the top.
trait Named extends AnyRef

Support for unique ids for named things.
trait NamedEntity extends Entity with Named

A named entity.
type Scope = Map[String, Entity]

A scope maps identifiers to entities.

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
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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.
def defineIfNew(env: Environment, i: String, e: ⇒ Entity): Environment

As for define, except if i is already defined in the innermost scope of env, define it to be MultipleEntity instead.
As for define, except if i is already defined in the innermost scope of env, define it to be MultipleEntity instead. The entity e is only evaluated if needed.
def enter(env: Environment): Environment

Enter a new empty scope nested within the given environment.
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def format(env: Environment): String

Pretty-print the environment env.
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def isDefinedInEnv(env: Environment, i: String): Boolean

Say whether i is defined in any scope of env.
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).
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).
def isDefinedInScope(scope: Scope, i: String): Boolean

Say whether i is defined in the given scope.
def isDefinedInScope(env: Environment, i: String): Boolean

Say whether i is defined in the current scope of env.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def leave(env: Environment): Environment

Leave the outermost scope of the given environment, raising an error if the environment is empty.
def lookup(env: Environment, i: String, e: ⇒ Entity, local: 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 local is true, just search the innermost scope, otherwise search outwards in all scopes, returning the first entity found, if any.
val nameCounter: Counter

A counter to count generated names.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
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.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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( ... )

trait Environments extends AnyRef

Type Members

type Environment = List[Scope]

trait Named extends AnyRef

trait NamedEntity extends Entity with Named

type Scope = Map[String, Entity]

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

def clone(): AnyRef

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

def defineIfNew(env: Environment, i: String, e: ⇒ Entity): Environment

def enter(env: Environment): Environment

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def format(env: Environment): String

final def getClass(): Class[_]

def hashCode(): Int

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

final def isInstanceOf[T0]: Boolean

def leave(env: Environment): Environment

def lookup(env: Environment, i: String, e: ⇒ Entity, local: Boolean = false): Entity

val nameCounter: Counter

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped