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
Ordering
- Alphabetic
- By Inheritance
Inherited
- ActionStepIn
- Serializable
- Serializable
- Product
- Equals
- Action
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- 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
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
+(other: String): String
- Implicit
- This member is added by an implicit conversion from ActionStepIn[Exp, Abs, Addr] to any2stringadd[ActionStepIn[Exp, Abs, Addr]] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
-
def
->[B](y: B): (ActionStepIn[Exp, Abs, Addr], B)
- Implicit
- This member is added by an implicit conversion from ActionStepIn[Exp, Abs, Addr] to ArrowAssoc[ActionStepIn[Exp, Abs, Addr]] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
addEffects(effs: Set[Effect[Addr]]): ActionStepIn[Exp, Abs, Addr]
- Definition Classes
- ActionStepIn → Action
- val argsv: List[(Exp, Abs)]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val clo: (Exp, Environment[Addr])
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate() @throws( ... )
- val e: Exp
- val effects: Set[Effect[Addr]]
-
def
ensuring(cond: (ActionStepIn[Exp, Abs, Addr]) ⇒ Boolean, msg: ⇒ Any): ActionStepIn[Exp, Abs, Addr]
- Implicit
- This member is added by an implicit conversion from ActionStepIn[Exp, Abs, Addr] to Ensuring[ActionStepIn[Exp, Abs, Addr]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: (ActionStepIn[Exp, Abs, Addr]) ⇒ Boolean): ActionStepIn[Exp, Abs, Addr]
- Implicit
- This member is added by an implicit conversion from ActionStepIn[Exp, Abs, Addr] to Ensuring[ActionStepIn[Exp, Abs, Addr]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean, msg: ⇒ Any): ActionStepIn[Exp, Abs, Addr]
- Implicit
- This member is added by an implicit conversion from ActionStepIn[Exp, Abs, Addr] to Ensuring[ActionStepIn[Exp, Abs, Addr]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean): ActionStepIn[Exp, Abs, Addr]
- Implicit
- This member is added by an implicit conversion from ActionStepIn[Exp, Abs, Addr] to Ensuring[ActionStepIn[Exp, Abs, Addr]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- val env: Environment[Addr]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val fexp: Exp
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from ActionStepIn[Exp, Abs, Addr] to StringFormat[ActionStepIn[Exp, Abs, Addr]] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val store: Store[Addr, Abs]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
→[B](y: B): (ActionStepIn[Exp, Abs, Addr], B)
- Implicit
- This member is added by an implicit conversion from ActionStepIn[Exp, Abs, Addr] to ArrowAssoc[ActionStepIn[Exp, Abs, Addr]] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc