Packages

c

be.opimedia.scala_par_am

ActionReachedValue

case class ActionReachedValue[Exp, Abs, Addr](v: Abs, store: Store[Addr, Abs], effects: Set[Effect[Addr]] = Set[Effect[Addr]]())(implicit evidence$25: Expression[Exp], evidence$26: JoinLattice[Abs], evidence$27: Address[Addr]) extends Action[Exp, Abs, Addr] with Product with Serializable

A value is reached by the interpreter. As a result, a continuation will be popped with the given reached value.

Linear Supertypes
Serializable, Serializable, Action[Exp, Abs, Addr], MemoHashCode, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ActionReachedValue
  2. Serializable
  3. Serializable
  4. Action
  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 ActionReachedValue(v: Abs, store: Store[Addr, Abs], effects: Set[Effect[Addr]] = Set[Effect[Addr]]())(implicit arg0: Expression[Exp], arg1: JoinLattice[Abs], arg2: Address[Addr])

Value Members

  1. def addEffects(effs: Set[Effect[Addr]]): ActionReachedValue[Exp, Abs, Addr]
    Definition Classes
    ActionReachedValue → Action
  2. val effects: Set[Effect[Addr]]
  3. def hashCode(): Int

    Memoized default hash code

    Memoized default hash code

    Definition Classes
    MemoHashCode → AnyRef → Any
  4. val store: Store[Addr, Abs]
  5. val v: Abs