Trait

it.unibo.scafi.core

Semantics

Related Doc: package core

Permalink

trait Semantics extends Core with Language

This trait defines a component that extends Core and Language It starts concretising the framework by implementing the key element of field-calculus semantics, namely:

This is still abstract in that we do not dictate how Context and Export are implemented and optimised internally

Linear Supertypes
Language, Core, AnyRef, Any
Known Subclasses
AbstractTestIncarnation, BasicAbstractActorIncarnation, BasicAbstractDistributedIncarnation, BasicAbstractIncarnation, BasicAbstractSimulationIncarnation, BasicAbstractSpatialSimulationIncarnation, BasicActorP2P, BasicActorServerBased, BasicActorSpatial, BasicSimulationIncarnation, BasicSpatialIncarnation, Engine, Incarnation
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Semantics
  2. Language
  3. Core
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait AggregateProgramSchema extends ProgramSchema

    Permalink

  2. abstract type CNAME

    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
    Core

  3. abstract 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
    Semantics → Core

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

  5. trait ConstructsSemantics extends Constructs

    Permalink

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

  7. trait ContextOps extends AnyRef

    Permalink

  8. abstract type EXECUTION <: ExecutionTemplate

    Permalink

    A computation round, as an I/O function

    A computation round, as an I/O function

    Definition Classes
    Semantics → Core

  9. abstract 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
    Semantics → Core

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

    Permalink

    It implements the whole operational semantics.

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

  12. trait ExportOps extends AnyRef

    Permalink

  13. abstract type FACTORY <: Factory

    Permalink

  14. trait Factory extends AnyRef

    Permalink

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

    Permalink

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

    Permalink

  17. abstract type ID

    Permalink

    The unique identifier of a node

    The unique identifier of a node

    Definition Classes
    Core

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

    Permalink

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

    Permalink

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

    Permalink

  21. trait Path extends AnyRef

    Permalink

  22. trait ProgramSchema extends AnyRef

    Permalink

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

    Permalink

  24. trait RoundVM extends AnyRef

    Permalink

  25. class RoundVMImpl extends RoundVM

    Permalink

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

    Permalink

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

    Permalink

  28. sealed trait Slot extends AnyRef

    Permalink

Abstract Value Members

  1. abstract def CNAMEfromString(s: String): CNAME

    Permalink
    Definition Classes
    Core

  2. implicit abstract val factory: Factory

    Permalink

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

    Permalink

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )

  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  9. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  10. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  12. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  13. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  14. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

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

    Permalink
    Definition Classes
    AnyRef

  16. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  18. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  19. 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 Language

Inherited from Core

Inherited from AnyRef

Inherited from Any

Ungrouped