Constructs

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

Linear Supertypes

AnyRef, Any

Known Subclasses

AggregateComputation, AggregateInterpreter, AggregateProgram, BasicAggregateInterpreter, ConstructsSemantics, ExecutionTemplate, FieldCalculusSyntax, ReplicatedGossip

Abstract Value Members

abstract def aggregate[A](f: ⇒ A): A
abstract def align[K, V](key: K)(comp: (K) ⇒ V): V
abstract def foldhood[A](init: ⇒ A)(aggr: (A, A) ⇒ A)(expr: ⇒ A): A
abstract def mid(): (Language.this)#ID
abstract def nbr[A](expr: ⇒ A): A
abstract def nbrvar[A](name: (Language.this)#CNAME): A
abstract def rep[A](init: ⇒ A)(fun: (A) ⇒ A): A
abstract def sense[A](name: (Language.this)#CNAME): A

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

trait Constructs extends AnyRef

Abstract Value Members

abstract def aggregate[A](f: ⇒ A): A

abstract def align[K, V](key: K)(comp: (K) ⇒ V): V

abstract def foldhood[A](init: ⇒ A)(aggr: (A, A) ⇒ A)(expr: ⇒ A): A

abstract def mid(): (Language.this)#ID

abstract def nbr[A](expr: ⇒ A): A

abstract def nbrvar[A](name: (Language.this)#CNAME): A

abstract def rep[A](init: ⇒ A)(fun: (A) ⇒ A): A

abstract def sense[A](name: (Language.this)#CNAME): A

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

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 AnyRef

Inherited from Any

Ungrouped