Object

it.unibo.scafi.incarnations

BasicActorServerBased

Related Doc: package incarnations

Permalink

object BasicActorServerBased extends BasicAbstractActorIncarnation with ServerPlatform with Serializable

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BasicActorServerBased
  2. Serializable
  3. Serializable
  4. ServerPlatform
  5. PlatformAPIFacade
  6. PlatformServer
  7. PlatformDevices
  8. PlatformBehaviors
  9. BasicAbstractActorIncarnation
  10. Platform
  11. PlatformCodeMobilitySupport
  12. PlatformView
  13. PlatformAPIFacade
  14. PlatformSensors
  15. PlatformDevices
  16. PlatformSchedulers
  17. PlatformActors
  18. PlatformMessages
  19. AbstractJsonIncarnationSerializer
  20. AbstractJsonPlatformSerializer
  21. JsonMessagesSerialization
  22. BasicJsonAnySerialization
  23. JsonCommonFunctionSerialization
  24. JsonTupleSerialization
  25. JsonCollectionSerialization
  26. JsonOptionSerialization
  27. JsonPrimitiveSerialization
  28. JsonAnySerialization
  29. BaseSerializer
  30. BasicAbstractDistributedIncarnation
  31. Platform
  32. PlatformSettings
  33. PlatformAPIFacade
  34. BasePlatform
  35. BasicAbstractIncarnation
  36. Incarnation
  37. TimeAbstraction
  38. BasicSpatialAbstraction
  39. MetricSpatialAbstraction
  40. SpatialAbstraction
  41. SpaceTimeAwarePlatform
  42. TimeAwarePlatform
  43. SpaceAwarePlatform
  44. Platform
  45. RichLanguage
  46. Engine
  47. Semantics
  48. Language
  49. Core
  50. AnyRef
  51. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract class AbstractActorSystemFacade extends Platform.AbstractSystemFacade

    Permalink

    Represents the façade towards the logical (sub)system.

    Represents the façade towards the logical (sub)system. Responsibilities

    • Creation of device
    Definition Classes
    PlatformAPIFacade
  2. trait AbstractDeviceManager extends AnyRef

    Permalink
    Definition Classes
    PlatformAPIFacade
  3. trait AbstractPlatformFacade extends AnyRef

    Permalink
    Definition Classes
    PlatformAPIFacade
  4. trait AbstractServerActor extends ServerPlatform.ServerBaseServerActor

    Permalink

    This actor represents the singleton, central server of a distributed aggregate system of devices.

    This actor represents the singleton, central server of a distributed aggregate system of devices. Responsibilities

    • Handles request (MsgRegistration) for entering the system
    • Keeps track of the neighborhoods
    • Receives and propagates the states of the devices
    • Provides a white-pages service: looks up the location of a given device ID
    • Represents an access point for information about the network
    Definition Classes
    PlatformServer
  5. trait AbstractSystemFacade extends AnyRef

    Permalink
    Definition Classes
    PlatformAPIFacade
  6. case class Ack(id: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  7. trait ActorPlatformConfigurator extends Platform.PlatformConfigurator

    Permalink

    Objects of this class are responsible for the configuration of the actor-based platform.

    Objects of this class are responsible for the configuration of the actor-based platform. The façade interface allows the creation of a platform façade.

    Definition Classes
    PlatformAPIFacade
  8. trait ActuatorManagementBehavior extends BasicActorBehavior

    Permalink

    Defines a behavior for managing actuators.

    Defines a behavior for managing actuators.

    Definition Classes
    PlatformDevices
  9. class AggregateApplicationActor extends Actor

    Permalink

    This is the top-level actor for a given aggregate application in the current subsystem.

    This is the top-level actor for a given aggregate application in the current subsystem. Responsibilities

    • Creation of devices
    • Supervision of devices (as a consequence of previous point)
    Definition Classes
    PlatformActors
  10. case class AggregateApplicationSettings(name: String = "untitled", program: () ⇒ Option[Platform.ProgramContract] = () => None) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  11. trait AggregateComputation[T] extends ExecutionTemplate with FieldCalculusSyntax with Serializable

    Permalink
    Definition Classes
    Incarnation
  12. trait AggregateInterpreter extends ExecutionTemplate with FieldCalculusSyntax with Serializable

    Permalink
    Definition Classes
    Incarnation
  13. trait AggregateProgram extends AggregateInterpreter

    Permalink
    Definition Classes
    Incarnation
  14. trait AggregateProgramSchema extends ProgramSchema

    Permalink
    Definition Classes
    Semantics
  15. sealed trait AsyncExecStrategy extends Platform.ExecStrategy

    Permalink
    Definition Classes
    PlatformSettings
  16. class AutonomousScheduler extends Actor with Platform.GenericScheduler with PeriodicBehavior

    Permalink

    An autonomous scheduler decides how to schedule by applying some ExecStrategy {{strategy}}.

    An autonomous scheduler decides how to schedule by applying some ExecStrategy {{strategy}}. Notes:

    • If {{initialDelay}} is {{None}}, then the scheduler must be externally activated (only the first time). It can be seen as an autonomous self-reduction of autonomy.
    • This scheduler is not entirely autonomous, as it needs some external entity to tell it (via MsgWithDevices msg) what devices are schedulables and what their references are.
    Definition Classes
    PlatformSchedulers
  17. abstract class BaseContextImpl extends Context with ContextOps

    Permalink
    Definition Classes
    Engine
  18. trait BaseDeviceActor extends Actor

    Permalink

    Base trait for all device actors.

    Base trait for all device actors.

    Definition Classes
    PlatformDevices
  19. trait BaseNbrManagementBehavior extends BasicActorBehavior

    Permalink

    Defines a behavior for managing neighbours' info.

    Defines a behavior for managing neighbours' info.

    Definition Classes
    PlatformDevices
  20. class Basic3DSpace[E] extends Space3D[E]

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  21. class BasicAggregateInterpreter extends AggregateInterpreter

    Permalink
    Definition Classes
    Incarnation
  22. class BasicDeviceManager extends Platform.AbstractDeviceManager with Serializable

    Permalink

    Represents the management façade for a single device.

    Represents the management façade for a single device. Responsibilities

    • Sensor/actuator attachment
    Definition Classes
    PlatformAPIFacade
  23. class BasicMain extends Platform.SystemMain

    Permalink
    Definition Classes
    PlatformAPIFacade
  24. trait BasicStandardSensorNames extends StandardSensorNames

    Permalink
    Definition Classes
    BasicAbstractIncarnation
  25. class BasicSystemFacade extends ServerPlatform.AbstractActorSystemFacade

    Permalink
    Definition Classes
    PlatformAPIFacade
  26. trait Builtins extends AnyRef

    Permalink
    Definition Classes
    RichLanguage
  27. type CNAME = String

    Permalink

    Name of a capability, including

    Name of a capability, including

    • local sensors (sensors receiving information from a node)
    • neighbourhood sensors (sensors receiving information from neighbours, like estimated distances)
    Definition Classes
    BasicAbstractIncarnationCore
  28. type CONTEXT = Context with ContextOps

    Permalink

    The input of a computation round in a node Bounded as of Context interface

    The input of a computation round in a node Bounded as of Context interface

    Definition Classes
    EngineSemanticsCore
  29. class CmdLineMain extends Platform.SystemMain

    Permalink
    Definition Classes
    PlatformAPIFacade
  30. trait CodeMobilitySupportBehavior extends AnyRef

    Permalink

    Behavior for an actor that allows code to be shipped to some recipient actors.

    Behavior for an actor that allows code to be shipped to some recipient actors.

    Definition Classes
    PlatformCodeMobilitySupport
  31. type ComputationContext = CONTEXT with ComputationContextContract

    Permalink
  32. trait ComputationContextContract extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  33. trait ComputationDeviceActor extends Platform.BaseDeviceActor with BasicActorBehavior with Platform.SensingBehavior with Platform.SensorManagementBehavior with Platform.ActuatorManagementBehavior with Platform.BaseNbrManagementBehavior

    Permalink

    Defines a "full" device that, in addition to sensing (SensingBehavior), it also performs a computation, locally, using an {{aggregateExecutor}}.

    Defines a "full" device that, in addition to sensing (SensingBehavior), it also performs a computation, locally, using an {{aggregateExecutor}}.

    Definition Classes
    PlatformDevices
  34. type ComputationExport = EXPORT with ComputationExportContract

    Permalink
  35. trait ComputationExportContract extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  36. trait ConfigurableSettings[S] extends AnyRef

    Permalink
    Definition Classes
    PlatformSettings
  37. trait Constructs extends AnyRef

    Permalink

    A field-calculus "behaviour" inherits from this trait.

    A field-calculus "behaviour" inherits from this trait. Differences wrt the paper version are: - foldhood is given a "universal quantification" semantics - neighbour exposes whether we are in one such quantification - mid is so foundational that we put it here

    A consequence is that we do not have field types, only locals: so we integrate at best with Scala

    Definition Classes
    Language
  38. trait ConstructsSemantics extends Constructs

    Permalink
    Definition Classes
    Semantics
  39. trait Context extends AnyRef

    Permalink

    A generic "context" affecting device-local execution of a ScaFi program.

    A generic "context" affecting device-local execution of a ScaFi program.

    Definition Classes
    Core
  40. class ContextImpl extends BaseContextImpl

    Permalink
    Definition Classes
    Engine
  41. trait ContextOps extends AnyRef

    Permalink
    Definition Classes
    Semantics
  42. trait CustomType extends AnyRef

    Permalink
  43. type D = Double

    Permalink
  44. type DataFactory = DataFactoryContract

    Permalink
  45. trait DataFactoryContract extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  46. case class DelayedDeviceExecStrategy(initial: Option[FiniteDuration] = None, delay: FiniteDuration = 1 second) extends Platform.DeviceExecStrategy with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  47. case class DeploymentSettings(host: String = "127.0.0.1", port: Int = 9000) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  48. case class DevInfo(nid: Platform.UID, ref: ActorRef) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  49. class DeviceActor extends ServerPlatform.ServerBaseDeviceActor with ServerPlatform.MissingCodeManagementBehavior with ServerPlatform.ObservableDeviceActor

    Permalink

    Specializes a ComputationDeviceActor to work with a central "server" {{server}} (aka ServerActor).

    Specializes a ComputationDeviceActor to work with a central "server" {{server}} (aka ServerActor). Notes

    • The device registers itself to the {{server}} on start
    • With a fixed {{NEIGHBORHOOD_LOOKUP_INTERVAL}}, the device asks the {{server}} for the state of its neighbors
    • The state of the device itself ({{PropagateExportToNeighbors}}) is sent to the server {{server}}
    Definition Classes
    PlatformDevices
  50. case class DeviceConfigurationSettings(ids: Set[Platform.UID] = Set(), nbs: Map[Platform.UID, Set[Platform.UID]] = Map()) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  51. case class DeviceDelegated(strategy: Platform.DeviceExecStrategy) extends Platform.ExecScope with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  52. sealed trait DeviceExecStrategy extends AnyRef

    Permalink
    Definition Classes
    PlatformSettings
  53. type DeviceManager = BasicDeviceManager

    Permalink
    Definition Classes
    PlatformAPIFacade
  54. trait DeviceNbrManagementBehavior extends (PlatformBehaviors.this)#BaseDeviceActor with (PlatformBehaviors.this)#BaseNbrManagementBehavior

    Permalink

    Neighbourhood management for devices in a server-based platform.

    Neighbourhood management for devices in a server-based platform.

    Definition Classes
    PlatformBehaviors
  55. class DevsGUIActor extends Actor

    Permalink
    Definition Classes
    PlatformView
  56. trait DistanceStrategy extends AnyRef

    Permalink
    Definition Classes
    MetricSpatialAbstraction
  57. trait DistributedPlatformFactory extends AnyRef

    Permalink
    Definition Classes
    PlatformAPIFacade
  58. trait DynamicComputationDeviceActor extends Platform.ComputationDeviceActor with Platform.DynamicDeviceLifecycleBehavior

    Permalink

    It extends a ComputationDeviceActor with a DynamicDeviceLifecycleBehavior.

    It extends a ComputationDeviceActor with a DynamicDeviceLifecycleBehavior. In other words, the computation device has a (possibly dynamic) lifecycle that depends on the current execution scope (see ExecScope).

    Definition Classes
    PlatformDevices
  59. trait DynamicDeviceLifecycleBehavior extends LifecycleBehavior with PeriodicBehavior

    Permalink

    Defines a device lifecycle behavior that depends on the field {{execScope}.

    Defines a device lifecycle behavior that depends on the field {{execScope}. The characteristic is that the behavior is dynamic, namely, can accomodate change to its execution scope. (See ExecScope)

    Definition Classes
    PlatformDevices
  60. type EXECUTION = AggregateInterpreter

    Permalink

    A computation round, as an I/O function

    A computation round, as an I/O function

    Definition Classes
    BasicAbstractIncarnationSemanticsCore
  61. type EXPORT = Export with ExportOps

    Permalink

    The output of a computation round in a node Bounded to have at least a root element, as of Export interface

    The output of a computation round in a node Bounded to have at least a root element, as of Export interface

    Definition Classes
    EngineSemanticsCore
  62. case class EmptyProfileSettings() extends Platform.ConfigurableSettings[Platform.EmptyProfileSettings] with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  63. class EngineFactory extends Factory

    Permalink
    Definition Classes
    Engine
  64. trait EuclideanStrategy extends DistanceStrategy with NeighbouringRelation with Serializable

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  65. sealed trait ExecScope extends AnyRef

    Permalink
    Definition Classes
    PlatformSettings
  66. sealed trait ExecStrategy extends AnyRef

    Permalink
    Definition Classes
    PlatformSettings
  67. case class ExecutionSettings(scope: Platform.ExecScope = ...) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  68. trait ExecutionTemplate extends (CONTEXT) ⇒ EXPORT with ConstructsSemantics with ProgramSchema

    Permalink

    It implements the whole operational semantics.

    It implements the whole operational semantics.

    Definition Classes
    Semantics
  69. trait Export extends AnyRef

    Permalink

    A generic "export", i.e., a coordination message to be emitted.

    A generic "export", i.e., a coordination message to be emitted.

    Definition Classes
    Core
  70. class ExportImpl extends Export with ExportOps with Equals

    Permalink
    Definition Classes
    Engine
  71. trait ExportOps extends AnyRef

    Permalink
    Definition Classes
    Semantics
  72. type FACTORY = Factory

    Permalink
    Definition Classes
    EngineSemantics
  73. trait Factory extends AnyRef

    Permalink
    Definition Classes
    Semantics
  74. trait FieldCalculusSyntax extends Constructs with Builtins

    Permalink
    Definition Classes
    Incarnation
  75. class FileMain extends Platform.SystemMain

    Permalink
    Definition Classes
    PlatformAPIFacade
  76. final case class FoldHood[A](index: Int) extends Slot with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  77. final case class FunCall[A](index: Int, funId: Any) extends Slot with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  78. trait GenericScheduler extends AnyRef

    Permalink

    A generic scheduler.

    A generic scheduler. When it decides or someone decides its time to schedule (reception of a GoOn msg), it determines the next device to run ({{nextToRun: ()=>Option[ID]}}) and, if any, determines the destination mailbox ({{recipientForExecution: ID=>ActorRef}}) and sends to it a schedule tick (GoOn msg).

    Definition Classes
    PlatformSchedulers
  79. case class Global(strategy: Platform.ExecStrategy) extends Platform.ExecScope with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  80. type ID = Int

    Permalink

    The unique identifier of a node

    The unique identifier of a node

    Definition Classes
    BasicAbstractIncarnationCore
  81. type LSensorName = String

    Permalink
  82. trait MetricSpace[E] extends Space[E] with DistanceStrategy

    Permalink
    Definition Classes
    MetricSpatialAbstraction
  83. trait MissingCodeManagementBehavior extends BasicActorBehavior

    Permalink

    Behavior that should support the retrieval of missing class dependencies.

    Behavior that should support the retrieval of missing class dependencies. - Missing classes are identified through a SystemMsgClassNotFound msg which is produced by the CustomAkkaSerializer when deserialization fails due to ClassNotFoundException, and replaces the original message - Then, requests for dependencies are carried out via MsgRequestClass messages - Finally, responses for dependency requests consist in MsgWithClass or MsgWithClasses messages

    This behavior uses: - The CodeMobilityExtension to dynamically access the classloader for loading classes at runtime - The LoadClassBytes utility for getting the bytes of a class

    Definition Classes
    PlatformCodeMobilitySupport
  84. case class MsgAddActuator(name: Platform.LSensorName, consumer: (Any) ⇒ Unit) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  85. case class MsgAddDevComponent(ref: ActorRef, devComponent: JComponent) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  86. case class MsgAddDevice(id: Platform.UID, props: Props) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  87. case class MsgAddPushSensor(ref: ActorRef) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  88. case class MsgAddSensor(name: Platform.LSensorName, provider: () ⇒ Any) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  89. case class MsgDeliverTo(id: Platform.UID, msg: Any) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  90. case class MsgDevName(ref: ActorRef, id: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  91. case class MsgDevPosition(ref: ActorRef, pos: Point2D) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  92. case class MsgDeviceLocation(id: Platform.UID, ref: ActorRef) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  93. case class MsgDevsGUIActor(devsGuiActor: ActorRef) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  94. case class MsgExport(from: Platform.UID, export: Platform.ComputationExport) extends ScafiMessage with Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  95. case class MsgExports(exports: Map[Platform.UID, Platform.ComputationExport]) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  96. case class MsgGetNbrSensorValue(sns: Platform.NSensorName, idn: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  97. case class MsgGetNeighborhood(id: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  98. case class MsgGetNeighborhoodExports(id: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  99. case class MsgGetNeighborhoodLocations(id: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  100. case class MsgGetSensorValue(sns: Platform.LSensorName) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  101. case class MsgLocalSensorValue[T](name: Platform.LSensorName, value: T) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  102. case class MsgLookup(id: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  103. case class MsgMyFrequency(delay: FiniteDuration) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  104. case class MsgNbrSensorValue[T](name: Platform.NSensorName, values: Map[Platform.UID, T]) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  105. case class MsgNeighbor(id: Platform.UID, idn: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  106. case class MsgNeighborhood(id: Platform.UID, nbrs: Set[Platform.UID]) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  107. case class MsgNeighborhoodExports(id: Platform.UID, nbrs: Map[Platform.UID, Option[Platform.ComputationExport]]) extends ScafiMessage with Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  108. case class MsgNeighborhoodLocations(id: Platform.UID, nbrs: Map[Platform.UID, String]) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  109. case class MsgNeighborhoodUpdate(id: Platform.UID, nbrs: Map[Platform.UID, ActorRef]) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  110. case class MsgPosition(id: Platform.UID, position: Any) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  111. case class MsgProgram(ap: Platform.ProgramContract, dependencies: Set[Class[_]] = Set()) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  112. case class MsgRegistration(id: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  113. case class MsgRemoveNeighbor(idn: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  114. case class MsgRound(id: Platform.UID, n: Long) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  115. case class MsgSensorValue[T](id: Platform.UID, name: Platform.LSensorName, value: T) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  116. case class MsgSetFrequency(n: Int, unit: TimeUnit) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  117. case class MsgShipProgram(programMsg: Platform.MsgProgram) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  118. case class MsgUpdateProgram(id: Platform.UID, program: () ⇒ Any) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  119. case class MsgWithDevices(devs: Map[Platform.UID, ActorRef]) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  120. trait MutableMetricSpace[E] extends MetricSpace[E] with MutableSpace[E]

    Permalink
    Definition Classes
    MetricSpatialAbstraction
  121. trait MutableSpace[E] extends Space[E]

    Permalink
    Definition Classes
    SpatialAbstraction
  122. case class MyNameIs(id: Platform.UID) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformMessages
  123. type NSensorName = String

    Permalink
  124. final case class Nbr[A](index: Int) extends Slot with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  125. case class NbrInfo(nid: Platform.UID, export: Option[Platform.ComputationExport] = None, mailbox: Option[ActorRef] = None, path: Option[String] = None) extends Product with Serializable

    Permalink

    This structure packages together info about a neighbor.

    This structure packages together info about a neighbor.

    Definition Classes
    Platform
  126. case class NbrSensorUnknownException(selfId: Semantics.ID, name: Semantics.CNAME, nbr: Semantics.ID) extends Exception with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  127. trait NeighbouringRelation extends AnyRef

    Permalink
    Definition Classes
    SpatialAbstraction
  128. trait ObservableDeviceActor extends Platform.ComputationDeviceActor with ObservableActorBehavior

    Permalink

    Extends a ComputationDeviceActor with an ObservableActorBehavior.

    Extends a ComputationDeviceActor with an ObservableActorBehavior. In other wards, it defines a computation device actors that is also observable, that is, can handle a set of observers and can notify them when certain events occur. In particular, observers are notified:

    • When the actor starts (presentation message MyNameIs)
    • After a computation (propagating round number MsgRound and computed result/state MsgExport)
    • When the device's neighborhood MsgNeighborhood or the device's view of the neighborhood state MsgExports changes
    Definition Classes
    PlatformDevices
  129. trait ObservableServerActor extends ServerPlatform.AbstractServerActor with ObservableActorBehavior

    Permalink
    Definition Classes
    PlatformServer
  130. case class OrderedExecStrategy(nextToRun: () ⇒ Option[Platform.UID]) extends Platform.AsyncExecStrategy with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  131. case class OutOfDomainException(selfId: Semantics.ID, nbr: Semantics.ID, path: Path) extends Exception with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  132. abstract type P <: Point3D

    Permalink
  133. trait Path extends AnyRef

    Permalink
    Definition Classes
    Semantics
  134. class PathImpl extends Path with Equals

    Permalink
    Definition Classes
    Engine
  135. case class PeriodicDeviceExecStrategy(initial: Option[FiniteDuration] = None, interval: FiniteDuration = 1 second) extends Platform.DeviceExecStrategy with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  136. abstract class PeriodicObservableSensorActor[T] extends PeriodicObservableInputProviderActor[Platform.LSensorName, T]

    Permalink
    Definition Classes
    PlatformSensors
  137. trait PlatformConfigurator extends AnyRef

    Permalink
    Definition Classes
    PlatformAPIFacade
  138. class PlatformFacade extends ServerPlatform.AbstractPlatformFacade with Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  139. trait PlatformSerializer extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  140. case class PlatformSettings(subsystemDeployment: Platform.DeploymentSettings = DeploymentSettings(), otherSubsystems: Set[Platform.SubsystemSettings] = Set(), loglevel: String = LogLevels.Debug, codeMobilitySupport: Boolean = true) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  141. type ProfileSettings = ServerBasedActorSystemSettings

    Permalink

    ***********************

    ***********************

    Definition Classes
    PlatformAPIFacade
  142. type Program = AggregateProgram with ProgramContract

    Permalink
  143. trait ProgramContract extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  144. trait ProgramSchema extends AnyRef

    Permalink
    Definition Classes
    Semantics
  145. type ProgramType = AggregateProgram

    Permalink
  146. class QuadTreeSpace[E] extends Space3D[E]

    Permalink

    a space that used quad tree index to compute neighbour

    a space that used quad tree index to compute neighbour

    E

    the type of node

    Definition Classes
    BasicSpatialAbstraction
  147. trait QueryableDeviceActorBehavior extends BasicActorBehavior

    Permalink

    Defines the query management behavior of a "queryable" device, i.e., a device that can be asked/queried for information.

    Defines the query management behavior of a "queryable" device, i.e., a device that can be asked/queried for information.

    Definition Classes
    PlatformDevices
  148. case class RandomExecStrategy(seed: Int) extends Platform.AsyncExecStrategy with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  149. final case class Rep[A](index: Int) extends Slot with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  150. trait RoundVM extends AnyRef

    Permalink
    Definition Classes
    Semantics
  151. class RoundVMImpl extends RoundVM

    Permalink
    Definition Classes
    Semantics
  152. type SPACE[E] = Space3D[E]

    Permalink
  153. class ScafiCmdLineParser extends OptionParser[Platform.Settings]

    Permalink
    Definition Classes
    PlatformSettings
  154. final case class Scope[K](key: K) extends Slot with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  155. trait SensingBehavior extends BasicActorBehavior

    Permalink

    Defines the basic sensing behavior of a device.

    Defines the basic sensing behavior of a device. It might be used to represent a "minimal" device that performs no computation locally.

    Definition Classes
    PlatformDevices
  156. trait SensorManagementBehavior extends BasicActorBehavior

    Permalink

    Defines a behavior for managing sensors.

    Defines a behavior for managing sensors.

    Definition Classes
    PlatformDevices
  157. case class SensorUnknownException(selfId: Semantics.ID, name: Semantics.CNAME) extends Exception with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  158. class ServerActor extends ServerPlatform.AbstractServerActor with ServerPlatform.ObservableServerActor with ServerPlatform.MissingCodeManagementBehavior

    Permalink
    Definition Classes
    PlatformServer
  159. trait ServerBaseDeviceActor extends (PlatformBehaviors.this)#DynamicComputationDeviceActor with (PlatformBehaviors.this)#QueryableDeviceActorBehavior with (PlatformBehaviors.this)#DeviceNbrManagementBehavior

    Permalink
    Definition Classes
    PlatformBehaviors
  160. trait ServerBaseServerActor extends Actor with BasicActorBehavior

    Permalink

    This actor represents the singleton, central server of a distributed aggregate system of devices.

    This actor represents the singleton, central server of a distributed aggregate system of devices. Responsibilities

    • Handles request (MsgRegistration) for entering the system
    • Keeps track of the neighborhoods
    • Receives and propagates the states of the devices
    • Provides a white-pages service: looks up the location of a given device ID
    • Represents an access point for information about the network
    Definition Classes
    PlatformBehaviors
  161. case class ServerBasedActorSystemSettings(serverHost: String = "127.0.0.1", serverPort: Int = 9000, startServer: Boolean = false, deviceGui: Boolean = false, serverGui: Boolean = false, devActorProps: (ServerPlatform.UID, Option[ServerPlatform.ProgramContract], ServerPlatform.ExecScope, ActorRef) ⇒ Option[Props] = (_,_,_,_) => None, serverActorProps: (Option[ActorRef]) ⇒ Props = ServerActor.props(_), devGuiActorProps: (ActorRef) ⇒ Option[Props] = _ => None, serverGuiActorProps: (ActorRef) ⇒ Option[Props] = _ => None) extends ServerPlatform.ConfigurableSettings[ServerPlatform.ServerBasedActorSystemSettings] with Product with Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  162. class ServerBasicMain extends ServerPlatform.ServerMain

    Permalink
    Definition Classes
    PlatformAPIFacade
  163. class ServerCmdLineMain extends ServerPlatform.ServerMain

    Permalink
    Definition Classes
    PlatformAPIFacade
  164. trait ServerMain extends App with Serializable

    Permalink

    *************************

    *************************

    Definition Classes
    PlatformAPIFacade
  165. case class Settings(aggregate: Platform.AggregateApplicationSettings = AggregateApplicationSettings(), platform: Platform.PlatformSettings = PlatformSettings(), profile: Platform.ProfileSettings = ..., deviceConfig: Platform.DeviceConfigurationSettings = DeviceConfigurationSettings(), execution: Platform.ExecutionSettings = ExecutionSettings(), start: Boolean = true) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  166. trait SettingsFactory extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  167. class SettingsFactoryServer extends SettingsFactory

    Permalink
    Definition Classes
    ServerPlatform
  168. sealed trait Slot extends AnyRef

    Permalink
    Definition Classes
    Semantics
  169. trait Space[E] extends NeighbouringRelation

    Permalink
    Definition Classes
    SpatialAbstraction
  170. abstract class Space3D[E] extends MutableMetricSpace[E] with EuclideanStrategy with Serializable

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  171. trait SpaceAwareDevice extends AnyRef

    Permalink
    Definition Classes
    SpaceAwarePlatform
  172. trait SpaceTimeAwareDevice extends (SpaceTimeAwarePlatform.this)#SpaceAwareDevice with (SpaceTimeAwarePlatform.this)#TimeAwareDevice

    Permalink
    Definition Classes
    SpaceTimeAwarePlatform
  173. trait StandardPlatformSensorNames extends AnyRef

    Permalink
    Definition Classes
    Platform
  174. trait StandardSensorNames extends StandardPlatformSensorNames with StandardTemporalSensorNames with StandardSpatialSensorNames

    Permalink
    Definition Classes
    Incarnation
  175. trait StandardSensors extends StandardSensorNames

    Permalink
    Definition Classes
    Incarnation
  176. trait StandardSpatialSensorNames extends AnyRef

    Permalink
    Definition Classes
    SpaceAwarePlatform
  177. trait StandardTemporalSensorNames extends AnyRef

    Permalink
    Definition Classes
    TimeAwarePlatform
  178. case class SubsystemDelegated(strategy: Platform.ExecStrategy) extends Platform.ExecScope with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  179. case class SubsystemSettings(subsystemDeployment: Platform.DeploymentSettings = DeploymentSettings(), ids: Set[Platform.UID] = Set()) extends Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  180. type SystemFacade = BasicSystemFacade

    Permalink
    Definition Classes
    PlatformAPIFacade
  181. trait SystemMain extends App with Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  182. abstract type Time

    Permalink
    Definition Classes
    TimeAbstraction
  183. trait TimeAwareDevice extends AnyRef

    Permalink
    Definition Classes
    TimeAwarePlatform
  184. type UID = Int

    Permalink
  185. trait UpdateableAggregateComputationBehavior extends BasicActorBehavior with Platform.MissingCodeManagementBehavior

    Permalink

    Behavior extension for a computation device that allows its aggregate computation to be updated.

    Behavior extension for a computation device that allows its aggregate computation to be updated.

    Definition Classes
    PlatformCodeMobilitySupport
  186. trait WeakCodeMobilityDeviceActor extends Platform.ComputationDeviceActor

    Permalink
    Definition Classes
    PlatformDevices

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object AggregateApplicationActor extends Serializable

    Permalink
    Definition Classes
    PlatformActors
  5. object AggregateApplicationSettings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  6. object AutonomousScheduler extends Serializable

    Permalink
    Definition Classes
    PlatformSchedulers
  7. object Builtins extends Serializable

    Permalink
    Definition Classes
    RichLanguage
  8. def CNAMEfromString(s: String): CNAME

    Permalink
    Definition Classes
    BasicAbstractIncarnationCore
  9. object DeviceActor extends Serializable

    Permalink
    Definition Classes
    PlatformDevices
  10. object DeviceConfigurationSettings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  11. object DevicesGUI

    Permalink
    Definition Classes
    PlatformView
  12. object EuclideanStrategy extends Serializable

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  13. object ExecutionSettings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  14. object LogLevels extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  15. val MsgGetExport: Int

    Permalink
    Definition Classes
    PlatformMessages
  16. val MsgGetIds: Int

    Permalink
    Definition Classes
    PlatformMessages
  17. val MsgGetNeighbors: Int

    Permalink
    Definition Classes
    PlatformMessages
  18. object PlatformConfigurator extends ServerPlatform.ActorPlatformConfigurator with Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  19. object PlatformFacade extends Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  20. object PlatformSettings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  21. object ReactiveDeviceExecStrategy extends Platform.DeviceExecStrategy

    Permalink
    Definition Classes
    PlatformSettings
  22. object RoundRobinStrategy extends Platform.AsyncExecStrategy with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  23. object RoundVMImpl

    Permalink
    Definition Classes
    Semantics
  24. object ServerActor

    Permalink
    Definition Classes
    PlatformServer
  25. object Settings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  26. object SubsystemSettings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  27. implicit def adaptAggregateProgram(program: ProgramType): ProgramContract

    Permalink
  28. implicit def adaptContext(ctx: CONTEXT): ComputationContext

    Permalink
  29. implicit def adaptExport(export: EXPORT): ComputationExport

    Permalink
  30. def anyToJs: PartialFunction[Any, JsValue]

    Permalink
  31. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  32. def buildNewSpace[E](elems: Iterable[(E, P)]): SPACE[E]

    Permalink
  33. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  34. def cmdLineParser: OptionParser[Settings]

    Permalink
    Definition Classes
    PlatformSettings
  35. val dataFactory: DataFactoryContract

    Permalink
  36. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  37. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  38. def extendParser(p: OptionParser[Settings]): Unit

    Permalink

    ******************************

    ******************************

    Definition Classes
    ServerPlatformPlatformSettings
  39. implicit val factory: EngineFactory

    Permalink
    Definition Classes
    EngineSemantics
  40. def fromBinary(bytes: Array[Byte], manifest: String): Option[AnyRef]

    Permalink
  41. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  42. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  43. implicit val interopCNAME: Interop[CNAME]

    Permalink
    Definition Classes
    BasicAbstractIncarnationEngine
  44. implicit val interopID: Interop[ID]

    Permalink
    Definition Classes
    BasicAbstractIncarnationEngine
  45. val interopUID: Interop[ID]

    Permalink
  46. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  47. def jsToAny: PartialFunction[JsValue, Any]

    Permalink
  48. implicit val linearID: Linearizable[ID]

    Permalink
    Definition Classes
    BasicAbstractIncarnationEngine
  49. val linearUID: Linearizable[ID]

    Permalink
  50. def manifest(obj: AnyRef): Option[String]

    Permalink
  51. implicit lazy val msgExportReads: Reads[MsgExport]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  52. implicit lazy val msgExportWrites: Writes[MsgExport]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  53. implicit lazy val msgExportsReads: Reads[MsgExports]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  54. implicit lazy val msgExportsWrites: Writes[MsgExports]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  55. implicit lazy val msgGetNeighborhoodExportsReads: Reads[MsgGetNeighborhoodExports]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  56. implicit lazy val msgGetNeighborhoodExportsWrites: Writes[MsgGetNeighborhoodExports]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  57. implicit lazy val msgGetNeighborhoodLocationsReads: Reads[MsgGetNeighborhoodLocations]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  58. implicit lazy val msgGetNeighborhoodLocationsWrites: Writes[MsgGetNeighborhoodLocations]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  59. implicit def msgLocalSensorValueReads[T](implicit arg0: Reads[T]): Reads[MsgLocalSensorValue[T]]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  60. implicit def msgLocalSensorValueWrites[T](implicit arg0: Writes[T]): Writes[MsgLocalSensorValue[T]]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  61. implicit def msgNbrSensorValueReads[T](implicit arg0: Format[T]): Reads[MsgNbrSensorValue[T]]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  62. implicit def msgNbrSensorValueWrites[T](implicit arg0: Writes[T]): Writes[MsgNbrSensorValue[T]]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  63. implicit lazy val msgNeighborReads: Reads[MsgNeighbor]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  64. implicit lazy val msgNeighborWrites: Writes[MsgNeighbor]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  65. implicit lazy val msgNeighborhoodExportsReads: Reads[MsgNeighborhoodExports]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  66. implicit lazy val msgNeighborhoodExportsWrites: Writes[MsgNeighborhoodExports]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  67. implicit lazy val msgNeighborhoodLocationsReads: Reads[MsgNeighborhoodLocations]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  68. implicit lazy val msgNeighborhoodLocationsWrites: Writes[MsgNeighborhoodLocations]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  69. implicit lazy val msgNeighborhoodReads: Reads[MsgNeighborhood]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  70. implicit lazy val msgNeighborhoodWrites: Writes[MsgNeighborhood]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  71. implicit lazy val msgPositionReads: Reads[MsgPosition]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  72. implicit lazy val msgPositionWrites: Writes[MsgPosition]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  73. implicit lazy val msgRegistrationReads: Reads[MsgRegistration]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  74. implicit lazy val msgRegistrationWrites: Writes[MsgRegistration]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  75. implicit lazy val msgRoundReads: Reads[MsgRound]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  76. implicit lazy val msgRoundWrites: Writes[MsgRound]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  77. implicit def msgSensorValueReads[T](implicit arg0: Reads[T]): Reads[MsgSensorValue[T]]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  78. implicit def msgSensorValueWrites[T](implicit arg0: Writes[T]): Writes[MsgSensorValue[T]]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  79. implicit lazy val msgUpdateProgramReads: Reads[MsgUpdateProgram]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  80. implicit lazy val msgUpdateProgramWrites: Writes[MsgUpdateProgram]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  81. implicit lazy val myNameIsReads: Reads[MyNameIs]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  82. implicit lazy val myNameIsWrites: Writes[MyNameIs]

    Permalink
    Definition Classes
    JsonMessagesSerialization
  83. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  84. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  85. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  86. val platformFactory: DistributedPlatformFactory

    Permalink
    Definition Classes
    ServerPlatformPlatformAPIFacade
  87. val platformSerializer: PlatformSerializer { ... /* 3 definitions in type refinement */ }

    Permalink
  88. implicit val positionOrdering: Ordering[P]

    Permalink
  89. val settingsFactory: SettingsFactoryServer

    Permalink
    Definition Classes
    ServerPlatformPlatformSettings
  90. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  91. def toBinary(obj: AnyRef): Option[Array[Byte]]

    Permalink
  92. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  93. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  94. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  95. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Serializable

Inherited from Serializable

Inherited from ServerPlatform

Inherited from PlatformAPIFacade

Inherited from PlatformServer

Inherited from PlatformDevices

Inherited from PlatformBehaviors

Inherited from Platform

Inherited from PlatformView

Inherited from PlatformAPIFacade

Inherited from PlatformSensors

Inherited from PlatformDevices

Inherited from PlatformSchedulers

Inherited from PlatformActors

Inherited from PlatformMessages

Inherited from JsonMessagesSerialization

Inherited from BasicJsonAnySerialization

Inherited from JsonTupleSerialization

Inherited from JsonOptionSerialization

Inherited from JsonAnySerialization

Inherited from BaseSerializer

Inherited from Platform

Inherited from distrib.PlatformSettings

Inherited from PlatformAPIFacade

Inherited from BasePlatform

Inherited from BasicAbstractIncarnation

Inherited from Incarnation

Inherited from TimeAbstraction

Inherited from BasicSpatialAbstraction

Inherited from MetricSpatialAbstraction

Inherited from SpatialAbstraction

Inherited from SpaceTimeAwarePlatform

Inherited from TimeAwarePlatform

Inherited from SpaceAwarePlatform

Inherited from Platform

Inherited from RichLanguage

Inherited from Engine

Inherited from Semantics

Inherited from Language

Inherited from Core

Inherited from AnyRef

Inherited from Any

Ungrouped