Packages

c

ActorsAAM

class ActorsAAM[Exp, Abs, Addr, Time, PID] extends AbstractMachine[Exp, Abs, Addr, Time]

Linear Supertypes
AbstractMachine[Exp, Abs, Addr, Time], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ActorsAAM
  2. AbstractMachine
  3. AnyRef
  4. 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 ActorsAAM(M: MboxImpl[PID, Abs])(implicit arg0: Expression[Exp], arg1: IsASchemeLattice[Abs], arg2: Address[Addr], arg3: ActorTimestamp[Time], arg4: ThreadIdentifier[PID])

Type Members

  1. trait Output extends AnyRef

    The output of the abstract machine

    The output of the abstract machine

    Definition Classes
    AbstractMachine
  2. trait ActorEffect extends AnyRef
  3. case class ActorEffectBecome(p: PID, name: String) extends ActorEffect with Product with Serializable
  4. case class ActorEffectCreate(p: PID, name: String) extends ActorEffect with Product with Serializable
  5. case class ActorEffectSend(target: PID, name: String) extends ActorEffect with Product with Serializable
  6. case class ActorEffectSendSelf(target: PID, name: String) extends ActorEffect with Product with Serializable
  7. case class ActorEffectTerminate(p: PID) extends ActorEffect with Product with Serializable
  8. trait ActorInstance extends AnyRef
  9. case class ActorInstanceActor(actd: Exp, env: Environment[Addr]) extends ActorInstance with Product with Serializable
  10. case class ActorsAAMOutput(halted: Set[State], numberOfStates: Int, time: Double, graph: Option[G], timedOut: Boolean) extends Output with Product with Serializable
  11. type Annot = (PID, Option[ActorEffect])
  12. case class Context(control: Control, kont: KontAddr, inst: ActorInstance, mbox: T, t: Time) extends Product with Serializable
  13. trait Control extends AnyRef
  14. case class ControlError(err: SemanticError) extends Control with Product with Serializable
  15. case class ControlEval(e: Exp, env: Environment[Addr]) extends Control with Product with Serializable
  16. case class ControlKont(v: Abs) extends Control with Product with Serializable
  17. type G = Graph[State, Annot, Unit]
  18. trait KontAddr extends AnyRef
  19. case class NormalKontAddress(pid: PID, exp: Exp, time: Time) extends KontAddr with Product with Serializable
  20. case class Procs(content: CountingMap[PID, Context]) extends Product with Serializable
  21. case class State(procs: Procs, store: Store[Addr, Abs], kstore: KontStore[KontAddr]) extends Product with Serializable

Value Members

  1. val M: MboxImpl[PID, Abs]
  2. implicit val annot: GraphAnnotation[Annot, Unit]
  3. def eval(exp: Exp, sem: Semantics[Exp, Abs, Addr, Time], graph: Boolean, timeout: Timeout): Output

    Evaluates a program, given a semantics.

    Evaluates a program, given a semantics. If @param graph is true, the state graph will be computed and stored in the output. Returns an object implementing the Output trait, containing information about the evaluation. @param timeout is the timeout in ns, when reached, the evaluation stops and the currently computed results are returned.

    Definition Classes
    ActorsAAM → AbstractMachine
  4. implicit val graphNode: GraphNode[State, Unit]
  5. def name: String

    The name of the abstract machine

    The name of the abstract machine

    Definition Classes
    ActorsAAM → AbstractMachine
  6. object ActionHelpers extends ActorActionHelpers[Exp, Abs, Addr, Time, PID]
  7. object ActorInstanceMain extends ActorInstance with Product with Serializable
  8. object Context extends Serializable
  9. object ControlWait extends Control with Product with Serializable
  10. object G
  11. object HaltKontAddress extends KontAddr with Product with Serializable
  12. object KontAddr
  13. object Procs extends Serializable
  14. object State extends Serializable