BasicSpatialIncarnation

Type Members

trait AggregateComputation[T] extends ExecutionTemplate with FieldCalculusSyntax with Serializable

Definition Classes
Incarnation
trait AggregateInterpreter extends ExecutionTemplate with FieldCalculusSyntax with Serializable

Definition Classes
Incarnation
trait AggregateProgram extends AggregateInterpreter

Definition Classes
Incarnation
trait AggregateProgramSchema extends ProgramSchema

Definition Classes
Semantics
abstract class BaseContextImpl extends Context with ContextOps

Definition Classes
Engine
class Basic3DSpace[E] extends Space3D[E]

Definition Classes
BasicSpatialAbstraction
class BasicAggregateInterpreter extends AggregateInterpreter

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

Definition Classes
Simulation
trait BasicStandardSensorNames extends StandardSensorNames

Definition Classes
BasicAbstractIncarnation
trait Builtins extends AnyRef

Definition Classes
RichLanguage
type CNAME = String

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
BasicAbstractIncarnation → Core
type CONTEXT = Context with ContextOps

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
Engine → Semantics → Core
trait Constructs extends AnyRef

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
trait ConstructsSemantics extends Constructs

Definition Classes
Semantics
trait Context extends AnyRef

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
class ContextImpl extends BaseContextImpl

Definition Classes
Engine
trait ContextOps extends AnyRef

Definition Classes
Semantics
type D = Double

Definition Classes
BasicSpatialAbstraction → MetricSpatialAbstraction
class DevInfo extends AnyRef

Definition Classes
SpatialSimulation
trait DistanceStrategy extends AnyRef

Definition Classes
MetricSpatialAbstraction
type EXECUTION = AggregateInterpreter

A computation round, as an I/O function
A computation round, as an I/O function

Definition Classes
BasicAbstractIncarnation → Semantics → Core
type EXPORT = Export with ExportOps

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
Engine → Semantics → Core
class EngineFactory extends Factory

Definition Classes
Engine
trait EuclideanStrategy extends DistanceStrategy with NeighbouringRelation with Serializable

Definition Classes
BasicSpatialAbstraction
trait ExecutionTemplate extends (CONTEXT) ⇒ EXPORT with ConstructsSemantics with ProgramSchema

It implements the whole operational semantics.
It implements the whole operational semantics.

Definition Classes
Semantics
trait Export extends AnyRef

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
class ExportImpl extends Export with ExportOps with Equals

Definition Classes
Engine
trait ExportOps extends AnyRef

Definition Classes
Semantics
type FACTORY = Factory

Definition Classes
Engine → Semantics
trait Factory extends AnyRef

Definition Classes
Semantics
trait FieldCalculusSyntax extends Constructs with Builtins

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

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

Definition Classes
Semantics
type ID = Int

The unique identifier of a node
The unique identifier of a node

Definition Classes
BasicAbstractIncarnation → Core
trait MetricSpace[E] extends Space[E] with DistanceStrategy

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

Definition Classes
MetricSpatialAbstraction
trait MutableSpace[E] extends Space[E]

Definition Classes
SpatialAbstraction
trait MyEuclideanStrategy extends EuclideanStrategy
type NETWORK = Network with SimulatorOps

Definition Classes
Simulation → SimulationPlatform
final case class Nbr[A](index: Int) extends Slot with Product with Serializable

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

Definition Classes
Semantics
trait NeighbouringRelation extends AnyRef

Definition Classes
SpatialAbstraction
trait Network extends AnyRef

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

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

Definition Classes
Semantics
type P = Point3D

Definition Classes
BasicSpatialIncarnation → BasicSpatialAbstraction → SpatialAbstraction
trait Path extends AnyRef

Definition Classes
Semantics
class PathImpl extends Path with Equals

Definition Classes
Engine
trait ProgramSchema extends AnyRef

Definition Classes
Semantics
class QuadTreeSpace[E] extends Space3D[E]

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
final case class Rep[A](index: Int) extends Slot with Product with Serializable

Definition Classes
Semantics
trait RoundVM extends AnyRef

Definition Classes
Semantics
class RoundVMImpl extends RoundVM

Definition Classes
Semantics
type SPACE[E] = Space3D[E]

Definition Classes
BasicSpatialAbstraction → MetricSpatialAbstraction → SpatialAbstraction
final case class Scope[K](key: K) extends Slot with Product with Serializable

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

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

Definition Classes
Semantics
trait SimulatorFactory extends AnyRef

Definition Classes
Simulation
trait SimulatorOps extends AnyRef

Definition Classes
Simulation
sealed trait Slot extends AnyRef

Definition Classes
Semantics
trait Space[E] extends NeighbouringRelation

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

Definition Classes
BasicSpatialAbstraction
trait SpaceAwareDevice extends AnyRef

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

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

Definition Classes
SpaceTimeAwarePlatform
trait StandardPlatformSensorNames extends AnyRef

Definition Classes
Platform
trait StandardSensorNames extends StandardPlatformSensorNames with StandardTemporalSensorNames with StandardSpatialSensorNames

Definition Classes
Incarnation
trait StandardSensors extends StandardSensorNames

Definition Classes
Incarnation
trait StandardSpatialSensorNames extends AnyRef

Definition Classes
SpaceAwarePlatform
trait StandardTemporalSensorNames extends AnyRef

Definition Classes
TimeAwarePlatform
type Time = Instant

Definition Classes
BasicTimeAbstraction → TimeAbstraction
trait TimeAwareDevice extends AnyRef

Definition Classes
TimeAwarePlatform

Value Members

final def !=(arg0: Any): Boolean

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

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

Definition Classes
AnyRef → Any
object Builtins extends Serializable

Definition Classes
RichLanguage
def CNAMEfromString(s: String): CNAME

Definition Classes
BasicAbstractIncarnation → Core
object EuclideanStrategy extends Serializable

Definition Classes
BasicSpatialAbstraction
object NetworkSimulator extends Serializable

Definition Classes
Simulation
object RoundVMImpl

Definition Classes
Semantics
object SpaceAwareSimulator

Definition Classes
SpatialSimulation
final def asInstanceOf[T0]: T0

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

Definition Classes
BasicSpatialIncarnation → BasicSpatialAbstraction → SpatialAbstraction
def clone(): AnyRef

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

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
implicit val factory: EngineFactory

Definition Classes
Engine → Semantics
final def getClass(): Class[_]

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

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

Definition Classes
BasicAbstractIncarnation → Engine
implicit val interopID: Interop[ID]

Definition Classes
BasicAbstractIncarnation → Engine
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
implicit val linearID: Linearizable[ID]

Definition Classes
BasicAbstractIncarnation → Engine
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

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

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

Definition Classes
BasicSpatialAbstraction → MetricSpatialAbstraction
def simulatorFactory: SimulatorFactory

Definition Classes
SpatialSimulation → Simulation
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

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

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Doc: package frontend

object BasicSpatialIncarnation extends BasicAbstractSpatialSimulationIncarnation

Type Members

trait AggregateComputation[T] extends ExecutionTemplate with FieldCalculusSyntax with Serializable

trait AggregateInterpreter extends ExecutionTemplate with FieldCalculusSyntax with Serializable

trait AggregateProgram extends AggregateInterpreter

trait AggregateProgramSchema extends ProgramSchema

abstract class BaseContextImpl extends Context with ContextOps

class Basic3DSpace[E] extends Space3D[E]

class BasicAggregateInterpreter extends AggregateInterpreter

class BasicSimulatorFactory extends (Simulation.this)#SimulatorFactory with (Simulation.this)#StandardSpatialSensorNames

trait BasicStandardSensorNames extends StandardSensorNames

trait Builtins extends AnyRef

type CNAME = String

type CONTEXT = Context with ContextOps

trait Constructs extends AnyRef

trait ConstructsSemantics extends Constructs

trait Context extends AnyRef

class ContextImpl extends BaseContextImpl

trait ContextOps extends AnyRef

type D = Double

class DevInfo extends AnyRef

trait DistanceStrategy extends AnyRef

type EXECUTION = AggregateInterpreter

type EXPORT = Export with ExportOps

class EngineFactory extends Factory

trait EuclideanStrategy extends DistanceStrategy with NeighbouringRelation with Serializable

trait ExecutionTemplate extends (CONTEXT) ⇒ EXPORT with ConstructsSemantics with ProgramSchema

trait Export extends AnyRef

class ExportImpl extends Export with ExportOps with Equals

trait ExportOps extends AnyRef

type FACTORY = Factory

trait Factory extends AnyRef

trait FieldCalculusSyntax extends Constructs with Builtins

final case class FoldHood[A](index: Int) extends Slot with Product with Serializable

final case class FunCall[A](index: Int, funId: Any) extends Slot with Product with Serializable

type ID = Int

trait MetricSpace[E] extends Space[E] with DistanceStrategy

trait MutableMetricSpace[E] extends MetricSpace[E] with MutableSpace[E]

trait MutableSpace[E] extends Space[E]

trait MyEuclideanStrategy extends EuclideanStrategy

type NETWORK = Network with SimulatorOps

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

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

trait NeighbouringRelation extends AnyRef

trait Network extends AnyRef

class NetworkSimulator extends (Simulation.this)#Network with (Simulation.this)#SimulatorOps with SimpleSource

case class OutOfDomainException(selfId: Semantics.ID, nbr: Semantics.ID, path: Path) extends Exception with Product with Serializable

type P = Point3D

trait Path extends AnyRef

class PathImpl extends Path with Equals

trait ProgramSchema extends AnyRef

class QuadTreeSpace[E] extends Space3D[E]

final case class Rep[A](index: Int) extends Slot with Product with Serializable

trait RoundVM extends AnyRef

class RoundVMImpl extends RoundVM

type SPACE[E] = Space3D[E]

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

case class Seeds(configSeed: Long = System.currentTimeMillis(), simulationSeed: Long = System.currentTimeMillis(), randomSensorSeed: Long = System.currentTimeMillis()) extends Product with Serializable

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

trait SimulatorFactory extends AnyRef

trait SimulatorOps extends AnyRef

sealed trait Slot extends AnyRef

trait Space[E] extends NeighbouringRelation

abstract class Space3D[E] extends MutableMetricSpace[E] with EuclideanStrategy with Serializable

trait SpaceAwareDevice extends AnyRef

class SpaceAwareSimulator extends (SpatialSimulation.this)#NetworkSimulator with MetaActionManager with (SpatialSimulation.this)#StandardSpatialSensorNames

trait SpaceTimeAwareDevice extends (SpaceTimeAwarePlatform.this)#SpaceAwareDevice with (SpaceTimeAwarePlatform.this)#TimeAwareDevice

trait StandardPlatformSensorNames extends AnyRef

trait StandardSensorNames extends StandardPlatformSensorNames with StandardTemporalSensorNames with StandardSpatialSensorNames

trait StandardSensors extends StandardSensorNames

trait StandardSpatialSensorNames extends AnyRef

trait StandardTemporalSensorNames extends AnyRef

type Time = Instant

trait TimeAwareDevice extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean