case class ChanMap(map: Map[Chan, PiObject] = Map()) extends Product with Serializable

An instantion map of channels (Chan) to PiObject.

They are used for substitution (especially in continuations) and to instantiate patterns.

A ChanMap is a wrapper around a regular, immutable map.

map

A mapping of Chans to PiObjects.

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ChanMap
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. 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 ChanMap(map: Map[Chan, PiObject] = Map())

    map

    A mapping of Chans to PiObjects.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(c: Chan, v: PiObject): ChanMap

    Adds an insantiation to the mapping.

    Adds an insantiation to the mapping.

    c

    Channel to instantiate.

    v

    Value to use in the instantiation.

    returns

    The updated ChanMap.

  4. def ++(l: Seq[(Chan, PiObject)]): ChanMap

    Add a sequence of channel instantiations.

    Add a sequence of channel instantiations.

    l

    The sequence to add.

    returns

    The updated ChanMap.

    Note

    There is no composition of instantiations. Methods such as resolve and obtain are used to follow chains of instantations instead.

  5. def ++(m: Map[Chan, PiObject]): ChanMap

    Add a map of channel instantations.

    Add a map of channel instantations.

    m

    The map to add.

    returns

    The updated ChanMap.

    Note

    There is no composition of instantiations. Methods such as resolve and obtain are used to follow chains of instantations instead.

  6. def ++(m: ChanMap): ChanMap

    Append another ChanMap.

    Append another ChanMap.

    m

    The ChanMap to append.

    returns

    The updated ChanMap.

    Note

    There is no composition of instantiations. Methods such as resolve and obtain are used to follow chains of instantations instead.

  7. def -(c: Chan): ChanMap

    Removes a channel instanation from the mapping.

    Removes a channel instanation from the mapping.

    c

    The channel whose instantiation to remove.

    returns

    The updated ChanMap.

  8. def --(l: Chan*): ChanMap

    Removes the instantiations of a list of channels from the mapping.

    Removes the instantiations of a list of channels from the mapping.

    l

    The list of channels whose instantiations to remove.

    returns

    The updated ChanMap.

  9. def ->[B](y: B): (ChanMap, B)
    Implicit
    This member is added by an implicit conversion from ChanMap to ArrowAssoc[ChanMap] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  10. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  13. def ensuring(cond: (ChanMap) ⇒ Boolean, msg: ⇒ Any): ChanMap
    Implicit
    This member is added by an implicit conversion from ChanMap to Ensuring[ChanMap] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  14. def ensuring(cond: (ChanMap) ⇒ Boolean): ChanMap
    Implicit
    This member is added by an implicit conversion from ChanMap to Ensuring[ChanMap] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  15. def ensuring(cond: Boolean, msg: ⇒ Any): ChanMap
    Implicit
    This member is added by an implicit conversion from ChanMap to Ensuring[ChanMap] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  16. def ensuring(cond: Boolean): ChanMap
    Implicit
    This member is added by an implicit conversion from ChanMap to Ensuring[ChanMap] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from ChanMap to StringFormat[ChanMap] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  20. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. val map: Map[Chan, PiObject]
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. def obtain(c: Chan): PiObject

    Returns the PiObject at the end of a chain of channel mappings.

    Returns the PiObject at the end of a chain of channel mappings.

    Similar to resolve, but also returns a PiObject instantiation at the end of the chain.

    c

    The channel to be used as a starting point.

    returns

    The last object in the insantiation chain, or c if no chain is found.

    See also

    resolve

  27. def resolve(c: Chan): Chan

    Follows a chain of channel instantiations to produce the final channel.

    Follows a chain of channel instantiations to produce the final channel.

    Sometimes chains of channel-to-channel mappings occur through pi-calculus communication.

    e.g. X --> Y and Y --> Z

    In that case, resolve(Chan("X")) returns the last channel Z in the chain.

    It ignores any non-channel PiObject that may come after that.

    c

    The channel to be used as a starting point.

    returns

    The last channel in the chain, or c if no chain is found.

  28. def sub(o: PiObject): PiObject

    Applies the channel mapping as a substitution on a PiObject.

    Applies the channel mapping as a substitution on a PiObject.

    Essentially recurses through the PiObject using obtain on any channel it finds.

    o

    The PiObject to apply the substitution to.

  29. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  30. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  33. def →[B](y: B): (ChanMap, B)
    Implicit
    This member is added by an implicit conversion from ChanMap to ArrowAssoc[ChanMap] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Shadowed Implicit Value Members

  1. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from ChanMap to any2stringadd[ChanMap] performed by method any2stringadd in scala.Predef.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (chanMap: any2stringadd[ChanMap]).+(other)
    Definition Classes
    any2stringadd

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from ChanMap to any2stringadd[ChanMap]

Inherited by implicit conversion StringFormat from ChanMap to StringFormat[ChanMap]

Inherited by implicit conversion Ensuring from ChanMap to Ensuring[ChanMap]

Inherited by implicit conversion ArrowAssoc from ChanMap to ArrowAssoc[ChanMap]

Ungrouped