Incarnation

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

Definition Classes
Semantics
abstract class BaseContextImpl extends Context with ContextOps with Serializable

Definition Classes
Engine
class Basic3DSpace[E] extends space.BasicSpatialAbstraction.MutableMetricSpace[E] with EuclideanStrategy with Serializable

Definition Classes
BasicSpatialAbstraction
class BasicAggregateInterpreter extends AggregateInterpreter
trait Builtins extends AnyRef

Definition Classes
RichLanguage
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

Definition Classes
Core
class ContextImpl extends BaseContextImpl

Definition Classes
Engine
trait ContextOps extends AnyRef

Definition Classes
Semantics
type D = Double

Definition Classes
BasicSpatialAbstraction → MetricSpatialAbstraction
trait DistanceStrategy extends AnyRef

Definition Classes
MetricSpatialAbstraction
abstract type EXECUTION <: ExecutionTemplate

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

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

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 with Serializable

Definition Classes
Engine
trait EuclideanStrategy extends space.BasicSpatialAbstraction.DistanceStrategy with space.BasicSpatialAbstraction.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

Definition Classes
Core
class ExportImpl extends Export with ExportOps with Serializable

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

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

Definition Classes
Semantics
abstract type ID

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

Definition Classes
Core
abstract type LSNS

Name of local sensors (sensors receiving information from a node)
Name of local sensors (sensors receiving information from a node)

Definition Classes
Core
trait MetricSpace[E] extends space.MetricSpatialAbstraction.Space[E] with DistanceStrategy

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

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

Definition Classes
SpatialAbstraction
abstract type NSNS

Name of neighbourhood sensors (sensors receiving information from neighbours, like estimated distances)
Name of neighbourhood sensors (sensors receiving information from neighbours, like estimated distances)

Definition Classes
Core
sealed case class Nbr[A](index: Int) extends Slot with Product with Serializable

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

Definition Classes
Semantics
trait NeighbouringRelation extends AnyRef

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

Definition Classes
Semantics
abstract type P <: Point3D

Definition Classes
BasicSpatialAbstraction → SpatialAbstraction
trait Path extends AnyRef

Definition Classes
Semantics
class PathImpl extends Path with Equals with Serializable

Definition Classes
Engine
trait ProgramSchema extends AnyRef

Definition Classes
Semantics
sealed 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] = Basic3DSpace[E]

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

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

Definition Classes
Semantics
trait Slot extends Serializable

Definition Classes
Semantics
trait Space[E] extends NeighbouringRelation

Definition Classes
SpatialAbstraction
trait SpaceAwareDevice extends AnyRef

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

Definition Classes
SpaceTimeAwarePlatform
trait StandardSensors extends AnyRef
abstract type Time

Definition Classes
TimeAbstraction
trait TimeAwareDevice extends AnyRef

Definition Classes
TimeAwarePlatform

Abstract Value Members

abstract val LSNS_DELTA_TIME: LSNS

Definition Classes
TimeAwarePlatform
abstract val LSNS_POSITION: LSNS

Definition Classes
SpaceAwarePlatform
abstract val LSNS_TIME: LSNS

Definition Classes
TimeAwarePlatform
abstract val LSNS_TIMESTAMP: LSNS

Definition Classes
TimeAwarePlatform
abstract val NBR_DELAY: NSNS

Definition Classes
TimeAwarePlatform
abstract val NBR_LAG: NSNS

Definition Classes
TimeAwarePlatform
abstract val NBR_RANGE_NAME: NSNS

Definition Classes
SpaceAwarePlatform
abstract val NBR_VECTOR: NSNS

Definition Classes
SpaceAwarePlatform
implicit abstract val interopID: Interop[ID]

Definition Classes
Engine
implicit abstract val interopLSNS: Interop[LSNS]

Definition Classes
Engine
implicit abstract val interopNSNS: Interop[NSNS]

Definition Classes
Engine
implicit abstract val linearID: Linearizable[ID]

Definition Classes
Engine

Concrete 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
object RoundVMImpl

Definition Classes
Semantics
final def asInstanceOf[T0]: T0

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

Definition Classes
BasicSpatialAbstraction → SpatialAbstraction
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@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
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
implicit val positionOrdering: Ordering[P]

Definition Classes
BasicSpatialAbstraction → MetricSpatialAbstraction
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package incarnations

trait Incarnation extends Core with Engine with RichLanguage with SpaceTimeAwarePlatform with BasicSpatialAbstraction with TimeAbstraction

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 with Serializable

class Basic3DSpace[E] extends space.BasicSpatialAbstraction.MutableMetricSpace[E] with EuclideanStrategy with Serializable

class BasicAggregateInterpreter extends AggregateInterpreter

trait Builtins extends AnyRef

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

trait DistanceStrategy extends AnyRef

abstract type EXECUTION <: ExecutionTemplate

type EXPORT = Export with ExportOps with Serializable

class EngineFactory extends Factory with Serializable

trait EuclideanStrategy extends space.BasicSpatialAbstraction.DistanceStrategy with space.BasicSpatialAbstraction.NeighbouringRelation with Serializable

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

trait Export extends AnyRef

class ExportImpl extends Export with ExportOps with Serializable

trait ExportOps extends AnyRef

type FACTORY = Factory

trait Factory extends AnyRef

trait FieldCalculusSyntax extends Constructs with Builtins

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

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

abstract type ID

abstract type LSNS

trait MetricSpace[E] extends space.MetricSpatialAbstraction.Space[E] with DistanceStrategy

trait MutableMetricSpace[E] extends MetricSpace[E] with space.MetricSpatialAbstraction.MutableSpace[E]

trait MutableSpace[E] extends Space[E]

abstract type NSNS

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

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

trait NeighbouringRelation extends AnyRef

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

abstract type P <: Point3D

trait Path extends AnyRef

class PathImpl extends Path with Equals with Serializable

trait ProgramSchema extends AnyRef

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

trait RoundVM extends AnyRef

class RoundVMImpl extends RoundVM

type SPACE[E] = Basic3DSpace[E]

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

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

trait Slot extends Serializable

trait Space[E] extends NeighbouringRelation

trait SpaceAwareDevice extends AnyRef

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

trait StandardSensors extends AnyRef

abstract type Time

trait TimeAwareDevice extends AnyRef

Abstract Value Members

abstract val LSNS_DELTA_TIME: LSNS

abstract val LSNS_POSITION: LSNS

abstract val LSNS_TIME: LSNS

abstract val LSNS_TIMESTAMP: LSNS

abstract val NBR_DELAY: NSNS

abstract val NBR_LAG: NSNS

abstract val NBR_RANGE_NAME: NSNS

abstract val NBR_VECTOR: NSNS

implicit abstract val interopID: Interop[ID]

implicit abstract val interopLSNS: Interop[LSNS]

implicit abstract val interopNSNS: Interop[NSNS]

implicit abstract val linearID: Linearizable[ID]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Builtins extends Serializable

object RoundVMImpl

final def asInstanceOf[T0]: T0