Class

it.unibo.scafi.incarnations

BasicAbstractSpatialSimulationIncarnation

Related Doc: package incarnations

Permalink

class BasicAbstractSpatialSimulationIncarnation extends BasicAbstractSimulationIncarnation with SpatialSimulation with BasicSpatialAbstraction

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BasicAbstractSpatialSimulationIncarnation
  2. SpatialSimulation
  3. BasicAbstractSimulationIncarnation
  4. BasicTimeAbstraction
  5. Simulation
  6. SimulationPlatform
  7. BasicAbstractIncarnation
  8. Incarnation
  9. TimeAbstraction
  10. BasicSpatialAbstraction
  11. MetricSpatialAbstraction
  12. SpatialAbstraction
  13. SpaceTimeAwarePlatform
  14. TimeAwarePlatform
  15. SpaceAwarePlatform
  16. Platform
  17. RichLanguage
  18. Engine
  19. Semantics
  20. Language
  21. Core
  22. AnyRef
  23. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new BasicAbstractSpatialSimulationIncarnation()

    Permalink

Type Members

  1. trait AggregateComputation[T] extends ExecutionTemplate with FieldCalculusSyntax with Serializable

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

    Permalink
    Definition Classes
    Incarnation
  3. trait AggregateProgram extends AggregateInterpreter

    Permalink
    Definition Classes
    Incarnation
  4. trait AggregateProgramSchema extends ProgramSchema

    Permalink
    Definition Classes
    Semantics
  5. abstract class BaseContextImpl extends Context with ContextOps

    Permalink
    Definition Classes
    Engine
  6. class Basic3DSpace[E] extends Space3D[E]

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  7. class BasicAggregateInterpreter extends AggregateInterpreter

    Permalink
    Definition Classes
    Incarnation
  8. class BasicSimulatorFactory extends (Simulation.this)#SimulatorFactory with (Simulation.this)#StandardSpatialSensorNames

    Permalink
    Definition Classes
    Simulation
  9. trait BasicStandardSensorNames extends StandardSensorNames

    Permalink
    Definition Classes
    BasicAbstractIncarnation
  10. trait Builtins extends AnyRef

    Permalink
    Definition Classes
    RichLanguage
  11. 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
  12. 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
  13. 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
  14. trait ConstructsSemantics extends Constructs

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

    Permalink
    Definition Classes
    Engine
  17. trait ContextOps extends AnyRef

    Permalink
    Definition Classes
    Semantics
  18. type D = Double

    Permalink
  19. class DevInfo extends AnyRef

    Permalink
    Definition Classes
    SpatialSimulation
  20. trait DistanceStrategy extends AnyRef

    Permalink
    Definition Classes
    MetricSpatialAbstraction
  21. type EXECUTION = AggregateInterpreter

    Permalink

    A computation round, as an I/O function

    A computation round, as an I/O function

    Definition Classes
    BasicAbstractIncarnationSemanticsCore
  22. 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
  23. class EngineFactory extends Factory

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

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  25. 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
  26. 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
  27. class ExportImpl extends Export with ExportOps with Equals

    Permalink
    Definition Classes
    Engine
  28. trait ExportOps extends AnyRef

    Permalink
    Definition Classes
    Semantics
  29. type FACTORY = Factory

    Permalink
    Definition Classes
    EngineSemantics
  30. trait Factory extends AnyRef

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

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

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

    Permalink
    Definition Classes
    Semantics
  34. type ID = Int

    Permalink

    The unique identifier of a node

    The unique identifier of a node

    Definition Classes
    BasicAbstractIncarnationCore
  35. trait MetricSpace[E] extends Space[E] with DistanceStrategy

    Permalink
    Definition Classes
    MetricSpatialAbstraction
  36. trait MutableMetricSpace[E] extends MetricSpace[E] with MutableSpace[E]

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

    Permalink
    Definition Classes
    SpatialAbstraction
  38. type NETWORK = Network with SimulatorOps

    Permalink
    Definition Classes
    SimulationSimulationPlatform
  39. final case class Nbr[A](index: Int) extends Slot with Product with Serializable

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

    Permalink
    Definition Classes
    Semantics
  41. trait NeighbouringRelation extends AnyRef

    Permalink
    Definition Classes
    SpatialAbstraction
  42. trait Network extends AnyRef

    Permalink
    Definition Classes
    SimulationPlatform
  43. class NetworkSimulator extends (Simulation.this)#Network with (Simulation.this)#SimulatorOps with SimpleSource

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

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

    Permalink
  46. trait Path extends AnyRef

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

    Permalink
    Definition Classes
    Engine
  48. trait ProgramSchema extends AnyRef

    Permalink
    Definition Classes
    Semantics
  49. 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
  50. final case class Rep[A](index: Int) extends Slot with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  51. trait RoundVM extends AnyRef

    Permalink
    Definition Classes
    Semantics
  52. class RoundVMImpl extends RoundVM

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

    Permalink
  54. final case class Scope[K](key: K) extends Slot with Product with Serializable

    Permalink
    Definition Classes
    Semantics
  55. case class Seeds(configSeed: Long = System.currentTimeMillis(), simulationSeed: Long = System.currentTimeMillis(), randomSensorSeed: Long = System.currentTimeMillis()) extends Product with Serializable

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

    Permalink
    Definition Classes
    Semantics
  57. trait SimulatorFactory extends AnyRef

    Permalink
    Definition Classes
    Simulation
  58. trait SimulatorOps extends AnyRef

    Permalink
    Definition Classes
    Simulation
  59. sealed trait Slot extends AnyRef

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

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

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  62. trait SpaceAwareDevice extends AnyRef

    Permalink
    Definition Classes
    SpaceAwarePlatform
  63. class SpaceAwareSimulator extends (SpatialSimulation.this)#NetworkSimulator with MetaActionManager with (SpatialSimulation.this)#StandardSpatialSensorNames

    Permalink
    Definition Classes
    SpatialSimulation
  64. trait SpaceTimeAwareDevice extends (SpaceTimeAwarePlatform.this)#SpaceAwareDevice with (SpaceTimeAwarePlatform.this)#TimeAwareDevice

    Permalink
    Definition Classes
    SpaceTimeAwarePlatform
  65. trait StandardPlatformSensorNames extends AnyRef

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

    Permalink
    Definition Classes
    Incarnation
  67. trait StandardSensors extends StandardSensorNames

    Permalink
    Definition Classes
    Incarnation
  68. trait StandardSpatialSensorNames extends AnyRef

    Permalink
    Definition Classes
    SpaceAwarePlatform
  69. trait StandardTemporalSensorNames extends AnyRef

    Permalink
    Definition Classes
    TimeAwarePlatform
  70. type Time = Instant

    Permalink
    Definition Classes
    BasicTimeAbstractionTimeAbstraction
  71. trait TimeAwareDevice extends AnyRef

    Permalink
    Definition Classes
    TimeAwarePlatform

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 Builtins extends Serializable

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

    Permalink
    Definition Classes
    BasicAbstractIncarnationCore
  6. object EuclideanStrategy extends Serializable

    Permalink
    Definition Classes
    BasicSpatialAbstraction
  7. object NetworkSimulator extends Serializable

    Permalink
    Definition Classes
    Simulation
  8. object RoundVMImpl

    Permalink
    Definition Classes
    Semantics
  9. object SpaceAwareSimulator

    Permalink
    Definition Classes
    SpatialSimulation
  10. final def asInstanceOf[T0]: T0

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

    Permalink
  12. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  13. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  15. implicit val factory: EngineFactory

    Permalink
    Definition Classes
    EngineSemantics
  16. final def getClass(): Class[_]

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

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

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

    Permalink
    Definition Classes
    BasicAbstractIncarnationEngine
  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  21. implicit val linearID: Linearizable[ID]

    Permalink
    Definition Classes
    BasicAbstractIncarnationEngine
  22. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  25. implicit val positionOrdering: Ordering[P]

    Permalink
  26. def simulatorFactory: SimulatorFactory

    Permalink
    Definition Classes
    SpatialSimulationSimulation
  27. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  28. def toString(): String

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

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

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

Inherited from BasicTimeAbstraction

Inherited from Simulation

Inherited from SimulationPlatform

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