Trait

it.unibo.scafi.incarnations

BasicAbstractActorIncarnation

Related Doc: package incarnations

Permalink

trait BasicAbstractActorIncarnation extends BasicAbstractDistributedIncarnation with AbstractJsonIncarnationSerializer with Platform

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

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

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

    Permalink
  30. trait ComputationContextContract extends AnyRef

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

    Permalink
  33. trait ComputationExportContract extends AnyRef

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

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

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

    Permalink
    Definition Classes
    Engine
  39. trait ContextOps extends AnyRef

    Permalink
    Definition Classes
    Semantics
  40. trait CustomType extends AnyRef

    Permalink
  41. type D = Double

    Permalink
  42. type DataFactory = DataFactoryContract

    Permalink
  43. trait DataFactoryContract extends AnyRef

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

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

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

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

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

    Permalink
    Definition Classes
    PlatformSettings
  49. sealed trait DeviceExecStrategy extends AnyRef

    Permalink
    Definition Classes
    PlatformSettings
  50. type DeviceManager = BasicDeviceManager

    Permalink
    Definition Classes
    PlatformAPIFacade
  51. class DevsGUIActor extends Actor

    Permalink
    Definition Classes
    PlatformView
  52. trait DistanceStrategy extends AnyRef

    Permalink
    Definition Classes
    MetricSpatialAbstraction
  53. trait DistributedPlatformFactory extends AnyRef

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

    Permalink

    A computation round, as an I/O function

    A computation round, as an I/O function

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

    Permalink
    Definition Classes
    PlatformSettings
  59. class EngineFactory extends Factory

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

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  61. sealed trait ExecScope extends AnyRef

    Permalink
    Definition Classes
    PlatformSettings
  62. sealed trait ExecStrategy extends AnyRef

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

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

    Permalink
    Definition Classes
    Engine
  67. trait ExportOps extends AnyRef

    Permalink
    Definition Classes
    Semantics
  68. type FACTORY = Factory

    Permalink
    Definition Classes
    EngineSemantics
  69. trait Factory extends AnyRef

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

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

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

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

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

    Permalink
    Definition Classes
    PlatformSettings
  76. type ID = Int

    Permalink

    The unique identifier of a node

    The unique identifier of a node

    Definition Classes
    BasicAbstractIncarnationCore
  77. type LSensorName = String

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    PlatformMessages
  119. type NSensorName = String

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

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

    Permalink
    Definition Classes
    Semantics
  123. trait NeighbouringRelation extends AnyRef

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

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

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

    Permalink
  128. trait Path extends AnyRef

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

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

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

    Permalink
    Definition Classes
    PlatformSensors
  132. trait PlatformConfigurator extends AnyRef

    Permalink
    Definition Classes
    PlatformAPIFacade
  133. abstract type PlatformFacade <: AbstractPlatformFacade

    Permalink
    Definition Classes
    PlatformAPIFacade
  134. trait PlatformSerializer extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  135. 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
  136. abstract type ProfileSettings <: ConfigurableSettings[ProfileSettings]

    Permalink
    Definition Classes
    PlatformSettings
  137. type Program = AggregateProgram with ProgramContract

    Permalink
  138. trait ProgramContract extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  139. trait ProgramSchema extends AnyRef

    Permalink
    Definition Classes
    Semantics
  140. type ProgramType = AggregateProgram

    Permalink
  141. 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
  142. 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
  143. case class RandomExecStrategy(seed: Int) extends Platform.AsyncExecStrategy with Product with Serializable

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

    Permalink
    Definition Classes
    Semantics
  145. trait RoundVM extends AnyRef

    Permalink
    Definition Classes
    Semantics
  146. class RoundVMImpl extends RoundVM

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

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

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

    Permalink
    Definition Classes
    Semantics
  150. 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
  151. trait SensorManagementBehavior extends BasicActorBehavior

    Permalink

    Defines a behavior for managing sensors.

    Defines a behavior for managing sensors.

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

    Permalink
    Definition Classes
    Semantics
  153. 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
  154. trait SettingsFactory extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  155. sealed trait Slot extends AnyRef

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

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

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  158. trait SpaceAwareDevice extends AnyRef

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

    Permalink
    Definition Classes
    SpaceTimeAwarePlatform
  160. trait StandardPlatformSensorNames extends AnyRef

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

    Permalink
    Definition Classes
    Incarnation
  162. trait StandardSensors extends StandardSensorNames

    Permalink
    Definition Classes
    Incarnation
  163. trait StandardSpatialSensorNames extends AnyRef

    Permalink
    Definition Classes
    SpaceAwarePlatform
  164. trait StandardTemporalSensorNames extends AnyRef

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

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

    Permalink
    Definition Classes
    PlatformSettings
  167. abstract type SystemFacade <: AbstractSystemFacade

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

    Permalink
    Definition Classes
    PlatformAPIFacade
  169. abstract type Time

    Permalink
    Definition Classes
    TimeAbstraction
  170. trait TimeAwareDevice extends AnyRef

    Permalink
    Definition Classes
    TimeAwarePlatform
  171. type UID = Int

    Permalink
  172. 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
  173. trait WeakCodeMobilityDeviceActor extends Platform.ComputationDeviceActor

    Permalink
    Definition Classes
    PlatformDevices

Abstract Value Members

  1. abstract val platformFactory: DistributedPlatformFactory

    Permalink
    Definition Classes
    PlatformAPIFacade
  2. abstract val settingsFactory: SettingsFactory

    Permalink
    Definition Classes
    PlatformSettings

Concrete 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 DeviceConfigurationSettings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  10. object DevicesGUI

    Permalink
    Definition Classes
    PlatformView
  11. object EuclideanStrategy extends Serializable

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  12. object ExecutionSettings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  13. object LogLevels extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  14. val MsgGetExport: Int

    Permalink
    Definition Classes
    PlatformMessages
  15. val MsgGetIds: Int

    Permalink
    Definition Classes
    PlatformMessages
  16. val MsgGetNeighbors: Int

    Permalink
    Definition Classes
    PlatformMessages
  17. object PlatformSettings extends Serializable

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

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

    Permalink
    Definition Classes
    PlatformSettings
  20. object RoundVMImpl

    Permalink
    Definition Classes
    Semantics
  21. object Settings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  22. object SubsystemSettings extends Serializable

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

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

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

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

    Permalink
  27. final def asInstanceOf[T0]: T0

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

    Permalink
  29. def clone(): AnyRef

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

    Permalink
    Definition Classes
    PlatformSettings
  31. val dataFactory: DataFactoryContract

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

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

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

    Permalink

    Template method for extending the parser in specialized platform components.

    Template method for extending the parser in specialized platform components.

    Definition Classes
    PlatformSettings
  35. implicit val factory: EngineFactory

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

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

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

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

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

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

    Permalink
  42. final def isInstanceOf[T0]: Boolean

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

    Permalink
  44. implicit val linearID: Linearizable[ID]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  82. val platformSerializer: PlatformSerializer { ... /* 3 definitions in type refinement */ }

    Permalink
  83. implicit val positionOrdering: Ordering[P]

    Permalink
  84. final def synchronized[T0](arg0: ⇒ T0): T0

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

    Permalink
  86. def toString(): String

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

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

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