Object

it.unibo.scafi.incarnations

BasicActorSpatial

Related Doc: package incarnations

Permalink

object BasicActorSpatial extends BasicAbstractActorIncarnation with SpatialPlatform with BasicSpatialAbstraction with Serializable

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

    Permalink
    Definition Classes
    SpatialPlatform
  121. trait MutableMetricSpace[E] extends MetricSpace[E] with MutableSpace[E]

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

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

    Permalink
    Definition Classes
    PlatformMessages
  124. type NSensorName = String

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

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

    Permalink
    Definition Classes
    Semantics
  128. trait NeighbouringRelation extends AnyRef

    Permalink
    Definition Classes
    SpatialAbstraction
  129. 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
  130. trait ObservableServerActor extends ServerPlatform.AbstractServerActor with ObservableActorBehavior

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

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

    Permalink
    Definition Classes
    Semantics
  133. type P = Point2D

    Permalink
  134. trait Path extends AnyRef

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

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

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

    Permalink
    Definition Classes
    PlatformSensors
  138. trait PlatformConfigurator extends AnyRef

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

    Permalink
    Definition Classes
    PlatformAPIFacade
  140. trait PlatformSerializer extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  141. 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
  142. type ProfileSettings = ServerBasedActorSystemSettings

    Permalink

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

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

    Definition Classes
    PlatformAPIFacade
  143. type Program = AggregateProgram with ProgramContract

    Permalink
  144. trait ProgramContract extends AnyRef

    Permalink
    Definition Classes
    BasePlatform
  145. trait ProgramSchema extends AnyRef

    Permalink
    Definition Classes
    Semantics
  146. type ProgramType = AggregateProgram

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

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

    Permalink
    Definition Classes
    Semantics
  151. trait RoundVM extends AnyRef

    Permalink
    Definition Classes
    Semantics
  152. class RoundVMImpl extends RoundVM

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

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

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

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

    Permalink

    Defines a behavior for managing sensors.

    Defines a behavior for managing sensors.

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

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

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

    Permalink
    Definition Classes
    PlatformBehaviors
  161. 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
  162. 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
  163. class ServerBasicMain extends ServerPlatform.ServerMain

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

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

    Permalink

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

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

    Definition Classes
    PlatformAPIFacade
  166. 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
  167. trait SettingsFactory extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  168. class SettingsFactoryServer extends SettingsFactory

    Permalink
    Definition Classes
    ServerPlatform
  169. class SettingsFactorySpatial extends (SpatialPlatform.this)#SettingsFactoryServer

    Permalink
    Definition Classes
    SpatialPlatform
  170. sealed trait Slot extends AnyRef

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

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

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  173. trait SpaceAwareDevice extends AnyRef

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

    Permalink
    Definition Classes
    SpaceTimeAwarePlatform
  175. class SpatialServerActor extends (SpatialPlatform.this)#ServerActor

    Permalink
    Definition Classes
    SpatialPlatform
  176. trait StandardPlatformSensorNames extends AnyRef

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

    Permalink
    Definition Classes
    Incarnation
  178. trait StandardSensors extends StandardSensorNames

    Permalink
    Definition Classes
    Incarnation
  179. trait StandardSpatialSensorNames extends AnyRef

    Permalink
    Definition Classes
    SpaceAwarePlatform
  180. trait StandardTemporalSensorNames extends AnyRef

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

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

    Permalink
    Definition Classes
    PlatformSettings
  183. type SystemFacade = BasicSystemFacade

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

    Permalink
    Definition Classes
    PlatformAPIFacade
  185. abstract type Time

    Permalink
    Definition Classes
    TimeAbstraction
  186. trait TimeAwareDevice extends AnyRef

    Permalink
    Definition Classes
    TimeAwarePlatform
  187. type UID = Int

    Permalink
  188. 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
  189. 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. val LocationSensorName: String

    Permalink
    Definition Classes
    BasicActorSpatialSpatialPlatform
  15. object LogLevels extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  16. val MsgGetExport: Int

    Permalink
    Definition Classes
    PlatformMessages
  17. val MsgGetIds: Int

    Permalink
    Definition Classes
    PlatformMessages
  18. val MsgGetNeighbors: Int

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

    Permalink
    Definition Classes
    PlatformAPIFacade
  20. object PlatformFacade extends Serializable

    Permalink
    Definition Classes
    PlatformAPIFacade
  21. object PlatformSettings extends Serializable

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

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

    Permalink
    Definition Classes
    PlatformSettings
  24. object RoundVMImpl

    Permalink
    Definition Classes
    Semantics
  25. object ServerActor

    Permalink
    Definition Classes
    PlatformServer
  26. object Settings extends Serializable

    Permalink
    Definition Classes
    PlatformSettings
  27. object SpatialServerActor extends Serializable

    Permalink
    Definition Classes
    SpatialPlatform
  28. object SubsystemSettings extends Serializable

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

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

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

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

    Permalink
  33. final def asInstanceOf[T0]: T0

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

    Permalink
  35. def clone(): AnyRef

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

    Permalink
    Definition Classes
    PlatformSettings
  37. val dataFactory: DataFactoryContract

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

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

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

    Permalink

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

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

    Definition Classes
    ServerPlatformPlatformSettings
  41. implicit val factory: EngineFactory

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

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

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

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

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

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

    Permalink
  48. final def isInstanceOf[T0]: Boolean

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

    Permalink
  50. implicit val linearID: Linearizable[ID]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
  90. implicit val positionOrdering: Ordering[P]

    Permalink
  91. val settingsFactory: SettingsFactorySpatial

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

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

    Permalink
  94. def toString(): String

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

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

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

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