Engine

Type Members

trait AggregateProgramSchema extends ProgramSchema

Definition Classes
Semantics
abstract class BaseContextImpl extends Context with ContextOps
abstract type CNAME

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
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
trait ContextOps extends AnyRef

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

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
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
trait ExportOps extends AnyRef

Definition Classes
Semantics
type FACTORY = Factory

Definition Classes
Engine → Semantics
trait Factory extends AnyRef

Definition Classes
Semantics
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
abstract type ID

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

Definition Classes
Core
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
case class OutOfDomainException(selfId: Semantics.ID, nbr: Semantics.ID, path: Path) extends Exception with Product with Serializable

Definition Classes
Semantics
trait Path extends AnyRef

Definition Classes
Semantics
class PathImpl extends Path with Equals
trait ProgramSchema extends AnyRef

Definition Classes
Semantics
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
final case class Scope[K](key: K) extends Slot with Product with Serializable

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

Definition Classes
Semantics
sealed trait Slot extends AnyRef

Definition Classes
Semantics

Abstract Value Members

abstract def CNAMEfromString(s: String): CNAME

Definition Classes
Core
implicit abstract val interopCNAME: Interop[CNAME]
implicit abstract val interopID: Interop[ID]
implicit abstract val linearID: Linearizable[ID]

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 RoundVMImpl

Definition Classes
Semantics
final def asInstanceOf[T0]: T0

Definition Classes
Any
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()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
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()
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 core

trait Engine extends Semantics

Type Members

trait AggregateProgramSchema extends ProgramSchema

abstract class BaseContextImpl extends Context with ContextOps

abstract type CNAME

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

abstract type EXECUTION <: ExecutionTemplate

type EXPORT = Export with ExportOps

class EngineFactory extends Factory

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

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

abstract type ID

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

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

trait Path extends AnyRef

class PathImpl extends Path with Equals

trait ProgramSchema extends AnyRef

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

trait RoundVM extends AnyRef

class RoundVMImpl extends RoundVM

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

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

sealed trait Slot extends AnyRef

Abstract Value Members

abstract def CNAMEfromString(s: String): CNAME

implicit abstract val interopCNAME: Interop[CNAME]

implicit abstract val interopID: Interop[ID]

implicit abstract val linearID: Linearizable[ID]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object RoundVMImpl

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

implicit val factory: EngineFactory

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def wait(): Unit

Deprecated Value Members

def finalize(): Unit

Inherited from Semantics

Inherited from Language

Inherited from Core

Inherited from AnyRef

Inherited from Any

Ungrouped