Semantics

Type Members

1. trait AggregateProgramSchema extends ProgramSchema

   

2. abstract 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

   Semantics → Core

3. 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

4. trait ConstructsSemantics extends Constructs

   

5. trait Context extends AnyRef

   

   Definition Classes

   Core

6. trait ContextOps extends AnyRef

   

7. abstract type EXECUTION <: ExecutionTemplate

   

   A computation round, as an I/O function

   A computation round, as an I/O function

   Definition Classes

   Semantics → Core

8. abstract 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

   Semantics → Core

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

   

   It implements the whole operational semantics.

10. trait Export extends AnyRef

    

    Definition Classes

    Core

11. trait ExportOps extends AnyRef

    

12. abstract type FACTORY <: Factory

    

13. trait Factory extends AnyRef

    

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

    

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

    

16. abstract type ID

    

    The unique identifier of a node

    The unique identifier of a node

    Definition Classes

    Core

17. 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

18. 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

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

    

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

    

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

    

22. trait Path extends AnyRef

    

23. trait ProgramSchema extends AnyRef

    

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

    

25. trait RoundVM extends AnyRef

    

26. class RoundVMImpl extends RoundVM

    

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

    

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

    

29. trait Slot extends Serializable