Trait

it.unibo.scafi.core.Semantics

RoundVM

Related Doc: package Semantics

Permalink

trait RoundVM extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
RoundVMImpl
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RoundVM
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def alignedNeighbours(): List[Semantics.ID]

    Permalink

  2. abstract def discardExport: Any

    Permalink

  3. abstract def elicitAggregateFunctionTag(): Any

    Permalink

  4. abstract def export: EXPORT

    Permalink

  5. abstract def exportStack: List[EXPORT]

    Permalink

  6. abstract def foldedEval[A](expr: ⇒ A)(id: Semantics.ID): Option[A]

    Permalink

  7. abstract def index: Int

    Permalink

  8. abstract def isolate[A](expr: ⇒ A): A

    Permalink

  9. abstract def loadFunction[T](): () ⇒ T

    Permalink

  10. abstract def localSense[A](name: Semantics.CNAME): A

    Permalink

  11. abstract def locally[A](a: ⇒ A): A

    Permalink

  12. abstract def mergeExport: Any

    Permalink

  13. abstract def neighbour: Option[Semantics.ID]

    Permalink

  14. abstract def neighbourSense[A](name: Semantics.CNAME): A

    Permalink

  15. abstract def neighbourVal[A]: A

    Permalink

  16. abstract def nest[A](slot: Slot)(write: Boolean, inc: Boolean = true)(expr: ⇒ A): A

    Permalink

  17. abstract def newExportStack: Any

    Permalink

  18. abstract def previousRoundVal[A]: Option[A]

    Permalink

  19. abstract def registerRoot(v: Any): Unit

    Permalink

  20. abstract def saveFunction[T](f: ⇒ T): Unit

    Permalink

  21. abstract def self: Semantics.ID

    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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  9. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  10. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  12. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  13. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  14. def onlyWhenFoldingOnSelf: Boolean

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  16. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  17. def unlessFoldingOnOthers: Boolean

    Permalink

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

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

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

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

  20. 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 AnyRef

Inherited from Any

Ungrouped