Object

it.unibo.scafi.incarnations

BasicActorP2P

Related Doc: package incarnations

Permalink

object BasicActorP2P extends BasicAbstractActorIncarnation with Platform with Serializable

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

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

    Permalink
    Definition Classes
    PlatformMessages
  6. 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
  7. trait ActuatorManagementBehavior extends BasicActorBehavior

    Permalink

    Defines a behavior for managing actuators.

    Defines a behavior for managing actuators.

    Definition Classes
    PlatformDevices
  8. 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
  9. case class AggregateApplicationSettings(name: String = "untitled", program: () ⇒ Option[Platform.ProgramContract] = () => None) extends Product with Serializable

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

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

    Permalink
    Definition Classes
    Incarnation
  12. trait AggregateProgram extends AggregateInterpreter

    Permalink
    Definition Classes
    Incarnation
  13. trait AggregateProgramSchema extends ProgramSchema

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

    Permalink
    Definition Classes
    PlatformSettings
  15. 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
  16. abstract class BaseContextImpl extends Context with ContextOps

    Permalink
    Definition Classes
    Engine
  17. trait BaseDeviceActor extends Actor

    Permalink

    Base trait for all device actors.

    Base trait for all device actors.

    Definition Classes
    PlatformDevices
  18. trait BaseNbrManagementBehavior extends BasicActorBehavior

    Permalink

    Defines a behavior for managing neighbours' info.

    Defines a behavior for managing neighbours' info.

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

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  20. class BasicAggregateInterpreter extends AggregateInterpreter

    Permalink
    Definition Classes
    Incarnation
  21. 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
  22. class BasicMain extends Platform.SystemMain

    Permalink
    Definition Classes
    PlatformAPIFacade
  23. trait BasicStandardSensorNames extends StandardSensorNames

    Permalink
    Definition Classes
    BasicAbstractIncarnation
  24. class BasicSystemFacade extends Platform.AbstractActorSystemFacade

    Permalink
    Definition Classes
    PlatformAPIFacade
  25. trait Builtins extends AnyRef

    Permalink
    Definition Classes
    RichLanguage
  26. 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
  27. 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
  28. class CmdLineMain extends Platform.SystemMain

    Permalink
    Definition Classes
    PlatformAPIFacade
  29. 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
  30. type ComputationContext = CONTEXT with ComputationContextContract

    Permalink
  31. trait ComputationContextContract extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  32. 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
  33. type ComputationExport = EXPORT with ComputationExportContract

    Permalink
  34. trait ComputationExportContract extends AnyRef

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

    Permalink
    Definition Classes
    PlatformSettings
  36. 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
  37. trait ConstructsSemantics extends Constructs

    Permalink
    Definition Classes
    Semantics
  38. 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
  39. class ContextImpl extends BaseContextImpl

    Permalink
    Definition Classes
    Engine
  40. trait ContextOps extends AnyRef

    Permalink
    Definition Classes
    Semantics
  41. trait CustomType extends AnyRef

    Permalink
  42. type D = Double

    Permalink
  43. type DataFactory = DataFactoryContract

    Permalink
  44. trait DataFactoryContract extends AnyRef

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

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

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

    Permalink
    Definition Classes
    PlatformMessages
  48. class DeviceActor extends Platform.P2pBaseDeviceActor with Platform.MissingCodeManagementBehavior with Platform.ObservableDeviceActor

    Permalink

    Specializes a ComputationDeviceActor to work in a decentralized, peer-to-peer manner.

    Specializes a ComputationDeviceActor to work in a decentralized, peer-to-peer manner. In particular, it needs to propagate each computed state to its neighbors.

    Definition Classes
    PlatformDevices
  49. case class DeviceConfigurationSettings(ids: Set[Platform.UID] = Set(), nbs: Map[Platform.UID, Set[Platform.UID]] = Map()) extends Product with Serializable

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

    Permalink
    Definition Classes
    PlatformSettings
  51. sealed trait DeviceExecStrategy extends AnyRef

    Permalink
    Definition Classes
    PlatformSettings
  52. type DeviceManager = BasicDeviceManager

    Permalink
    Definition Classes
    PlatformAPIFacade
  53. class DevsGUIActor extends Actor

    Permalink
    Definition Classes
    PlatformView
  54. trait DistanceStrategy extends AnyRef

    Permalink
    Definition Classes
    MetricSpatialAbstraction
  55. trait DistributedPlatformFactory extends AnyRef

    Permalink
    Definition Classes
    PlatformAPIFacade
  56. 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
  57. 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
  58. type EXECUTION = AggregateInterpreter

    Permalink

    A computation round, as an I/O function

    A computation round, as an I/O function

    Definition Classes
    BasicAbstractIncarnationSemanticsCore
  59. 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
  60. case class EmptyProfileSettings() extends Platform.ConfigurableSettings[Platform.EmptyProfileSettings] with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  61. class EngineFactory extends Factory

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

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  63. sealed trait ExecScope extends AnyRef

    Permalink
    Definition Classes
    PlatformSettings
  64. sealed trait ExecStrategy extends AnyRef

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

    Permalink
    Definition Classes
    PlatformSettings
  66. 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
  67. 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
  68. class ExportImpl extends Export with ExportOps with Equals

    Permalink
    Definition Classes
    Engine
  69. trait ExportOps extends AnyRef

    Permalink
    Definition Classes
    Semantics
  70. type FACTORY = Factory

    Permalink
    Definition Classes
    EngineSemantics
  71. trait Factory extends AnyRef

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

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

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

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

    Permalink
    Definition Classes
    Semantics
  76. 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
  77. case class Global(strategy: Platform.ExecStrategy) extends Platform.ExecScope with Product with Serializable

    Permalink
    Definition Classes
    PlatformSettings
  78. type ID = Int

    Permalink

    The unique identifier of a node

    The unique identifier of a node

    Definition Classes
    BasicAbstractIncarnationCore
  79. type LSensorName = String

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

    Permalink
    Definition Classes
    MetricSpatialAbstraction
  81. 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
  82. case class MsgAddActuator(name: Platform.LSensorName, consumer: (Any) ⇒ Unit) extends Product with Serializable

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    PlatformMessages
  121. type NSensorName = String

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

    Permalink
    Definition Classes
    Semantics
  123. 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
  124. case class NbrSensorUnknownException(selfId: Semantics.ID, name: Semantics.CNAME, nbr: Semantics.ID) extends Exception with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  125. trait NeighbouringRelation extends AnyRef

    Permalink
    Definition Classes
    SpatialAbstraction
  126. 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
  127. case class OrderedExecStrategy(nextToRun: () ⇒ Option[Platform.UID]) extends Platform.AsyncExecStrategy with Product with Serializable

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

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

    Permalink
  130. case class P2PActorSystemSettings(deviceGui: Boolean = false, devActorProps: (Platform.UID, Option[Platform.ProgramContract], Platform.ExecScope) ⇒ Option[Props] = (_,_,_) => None, devGuiActorProps: (ActorRef) ⇒ Option[Props] = _ => None, tmGuiActorProps: (ActorRef) ⇒ Option[Props] = _ => None) extends Platform.ConfigurableSettings[Platform.P2PActorSystemSettings] with Product with Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  131. trait P2pBaseDeviceActor extends (PlatformBehaviors.this)#DynamicComputationDeviceActor with (PlatformBehaviors.this)#P2pNbrManagementBehavior

    Permalink
    Definition Classes
    PlatformBehaviors
  132. trait P2pNbrManagementBehavior extends (PlatformBehaviors.this)#BaseNbrManagementBehavior

    Permalink

    Neighbourhood management for devices in a P2P platform.

    Neighbourhood management for devices in a P2P platform.

    Definition Classes
    PlatformBehaviors
  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 Platform.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 = P2PActorSystemSettings

    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. 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
  159. trait SettingsFactory extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  160. class SettingsFactoryP2P extends SettingsFactory

    Permalink
    Definition Classes
    Platform
  161. sealed trait Slot extends AnyRef

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

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

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  164. trait SpaceAwareDevice extends AnyRef

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

    Permalink
    Definition Classes
    SpaceTimeAwarePlatform
  166. trait StandardPlatformSensorNames extends AnyRef

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

    Permalink
    Definition Classes
    Incarnation
  168. trait StandardSensors extends StandardSensorNames

    Permalink
    Definition Classes
    Incarnation
  169. trait StandardSpatialSensorNames extends AnyRef

    Permalink
    Definition Classes
    SpaceAwarePlatform
  170. trait StandardTemporalSensorNames extends AnyRef

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

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

    Permalink
    Definition Classes
    PlatformSettings
  173. type SystemFacade = BasicSystemFacade

    Permalink

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

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

    Definition Classes
    PlatformAPIFacade
  174. trait SystemMain extends App with Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  175. abstract type Time

    Permalink
    Definition Classes
    TimeAbstraction
  176. trait TimeAwareDevice extends AnyRef

    Permalink
    Definition Classes
    TimeAwarePlatform
  177. type UID = Int

    Permalink
  178. 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
  179. 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 Platform.ActorPlatformConfigurator with Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  19. object PlatformSettings extends Serializable

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

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

    Permalink
    Definition Classes
    PlatformSettings
  22. object RoundVMImpl

    Permalink
    Definition Classes
    Semantics
  23. object Settings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  24. object SubsystemSettings extends Serializable

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

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

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

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

    Permalink
  29. final def asInstanceOf[T0]: T0

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

    Permalink
  31. def clone(): AnyRef

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

    Permalink
    Definition Classes
    PlatformSettings
  33. val dataFactory: DataFactoryContract

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

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

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

    Permalink

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

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

    Definition Classes
    PlatformPlatformSettings
  37. implicit val factory: EngineFactory

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

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

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

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

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

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

    Permalink
  44. final def isInstanceOf[T0]: Boolean

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

    Permalink
  46. implicit val linearID: Linearizable[ID]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
  86. implicit val positionOrdering: Ordering[P]

    Permalink
  87. val settingsFactory: SettingsFactoryP2P

    Permalink
    Definition Classes
    PlatformPlatformSettings
  88. final def synchronized[T0](arg0: ⇒ T0): T0

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

    Permalink
  90. def toString(): String

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  93. 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 Platform

Inherited from PlatformDevices

Inherited from PlatformBehaviors

Inherited from PlatformAPIFacade

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