Packages

  • package root
    Definition Classes
    root
  • case class ActionStepIn[Exp, Abs, Addr](fexp: Exp, clo: (Exp, Environment[Addr]), e: Exp, env: Environment[Addr], store: Store[Addr, Abs], argsv: List[(Exp, Abs)], effects: Set[Effect[Addr]] = Set[Effect[Addr]]())(implicit evidence$40: Expression[Exp], evidence$41: JoinLattice[Abs], evidence$42: Address[Addr]) extends Action[Exp, Abs, Addr] with Product with Serializable

    Similar to ActionEval, but only used when stepping inside a function's body (clo is therefore the function stepped into).

    Similar to ActionEval, but only used when stepping inside a function's body (clo is therefore the function stepped into). The expressions and values of the arguments should also be provided, as they can be needed by the abstract machine.

    Definition Classes
    root
c

ActionStepIn

case class ActionStepIn[Exp, Abs, Addr](fexp: Exp, clo: (Exp, Environment[Addr]), e: Exp, env: Environment[Addr], store: Store[Addr, Abs], argsv: List[(Exp, Abs)], effects: Set[Effect[Addr]] = Set[Effect[Addr]]())(implicit evidence$40: Expression[Exp], evidence$41: JoinLattice[Abs], evidence$42: Address[Addr]) extends Action[Exp, Abs, Addr] with Product with Serializable

Similar to ActionEval, but only used when stepping inside a function's body (clo is therefore the function stepped into). The expressions and values of the arguments should also be provided, as they can be needed by the abstract machine.

Linear Supertypes
Serializable, Serializable, Product, Equals, Action[Exp, Abs, Addr], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ActionStepIn
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Action
  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 ActionStepIn(fexp: Exp, clo: (Exp, Environment[Addr]), e: Exp, env: Environment[Addr], store: Store[Addr, Abs], argsv: List[(Exp, 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]]): ActionStepIn[Exp, Abs, Addr]
    Definition Classes
    ActionStepIn → Action
  2. val argsv: List[(Exp, Abs)]
  3. val clo: (Exp, Environment[Addr])
  4. val e: Exp
  5. val effects: Set[Effect[Addr]]
  6. val env: Environment[Addr]
  7. val fexp: Exp
  8. val store: Store[Addr, Abs]