Packages

case class ActionPush[Exp, Abs, Addr](frame: Frame, e: Exp, env: Environment[Addr], store: Store[Addr, Abs], effects: Set[Effect[Addr]] = Set[Effect[Addr]]())(implicit evidence$28: Expression[Exp], evidence$29: JoinLattice[Abs], evidence$30: Address[Addr]) extends Action[Exp, Abs, Addr] with Product with Serializable

A frame needs to be pushed on the stack, and the interpretation continues by evaluating expression e in environment env

Linear Supertypes
Serializable, Serializable, Action[Exp, Abs, Addr], MemoHashCode, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ActionPush
  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 ActionPush(frame: Frame, e: Exp, env: Environment[Addr], 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]]): ActionPush[Exp, Abs, Addr]
    Definition Classes
    ActionPush → Action
  2. val e: Exp
  3. val effects: Set[Effect[Addr]]
  4. val env: Environment[Addr]
  5. val frame: Frame
  6. def hashCode(): Int

    Memoized default hash code

    Memoized default hash code

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