Packages

c

be.opimedia.scala_par_am

ActionHelpers

class ActionHelpers[Exp, Abs, Addr] extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
Action
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ActionHelpers
  2. AnyRef
  3. 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 ActionHelpers()(implicit arg0: Expression[Exp], arg1: JoinLattice[Abs], arg2: Address[Addr])

Type Members

  1. type Act = Action[Exp, Abs, Addr]
  2. type Effs = Set[Effect[Addr]]
  3. type Env = Environment[Addr]
  4. type Sto = Store[Addr, Abs]

Value Members

  1. def error(err: SemanticError): Act
  2. def eval(e: Exp, env: Env, store: Sto, effects: Effs = Set.empty): Act
  3. def none: Set[Act]
  4. def push(frame: Frame, e: Exp, env: Env, store: Sto, effects: Effs = Set.empty): Act
  5. def stepIn(fexp: Exp, clo: (Exp, Env), e: Exp, env: Env, store: Sto, argsv: List[(Exp, Abs)], effects: Effs = Set.empty): Act
  6. def value(v: Abs, store: Sto, effects: Effs = Set.empty): Act