Packages

  • package root
    Definition Classes
    root
  • case class BasicEnvironment[Addr](content: Map[String, Addr])(implicit evidence$2: Address[Addr]) extends Environment[Addr] with Product with Serializable

    Basic mapping from names to addresses

    Basic mapping from names to addresses

    Definition Classes
    root
c

BasicEnvironment

case class BasicEnvironment[Addr](content: Map[String, Addr])(implicit evidence$2: Address[Addr]) extends Environment[Addr] with Product with Serializable

Basic mapping from names to addresses

Linear Supertypes
Serializable, Serializable, Product, Equals, Environment[Addr], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BasicEnvironment
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Environment
  7. AnyRef
  8. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new BasicEnvironment(content: Map[String, Addr])(implicit arg0: Address[Addr])

Value Members

  1. val content: Map[String, Addr]
  2. def extend(values: Iterable[(String, Addr)]): BasicEnvironment[Addr]

    Extend the environment with multiple values

    Extend the environment with multiple values

    Definition Classes
    BasicEnvironment → Environment
  3. def extend(name: String, a: Addr): BasicEnvironment[Addr]

    Extend the environment

    Extend the environment

    Definition Classes
    BasicEnvironment → Environment
  4. def forall(p: ((String, Addr)) ⇒ Boolean): Boolean

    Checks if a predicate is true for all elements of the environment

    Checks if a predicate is true for all elements of the environment

    Definition Classes
    BasicEnvironment → Environment
  5. def keys: Iterable[String]

    Gets all the keys of the environment

    Gets all the keys of the environment

    Definition Classes
    BasicEnvironment → Environment
  6. def lookup(name: String): Option[Addr]

    Looks up a value in the environment

    Looks up a value in the environment

    Definition Classes
    BasicEnvironment → Environment
  7. def lookupMF(name: Identifier): MayFail[Addr]
    Definition Classes
    Environment
  8. def subsumes(that: Environment[Addr]): Boolean

    Checks whether this environment subsumes another

    Checks whether this environment subsumes another

    Definition Classes
    Environment
  9. def toString(): String
    Definition Classes
    BasicEnvironment → AnyRef → Any