Packages

c

be.opimedia.scala_par_am

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, Environment[Addr], MemoHashCode, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BasicEnvironment
  2. Serializable
  3. Serializable
  4. Environment
  5. MemoHashCode
  6. Product
  7. Equals
  8. AnyRef
  9. 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 hashCode(): Int

    Memoized default hash code

    Memoized default hash code

    Definition Classes
    MemoHashCode → AnyRef → Any
  6. def keys: Iterable[String]

    Gets all the keys of the environment

    Gets all the keys of the environment

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

    Looks up a value in the environment

    Looks up a value in the environment

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

    Checks whether this environment subsumes another

    Checks whether this environment subsumes another

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