object PlainTessla
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- PlainTessla
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- abstract class AbstractStreamDescription extends AnyRef
- final case class Application(fn: String, args: Seq[ValueId]) extends ValueExpression with Product with Serializable
- final case class ApplicationFunction(fn: FunctionId, args: Seq[ValueId]) extends ValueExpression with Product with Serializable
- final case class Constant(value: ValueOrError) extends ValueExpression with Product with Serializable
- final case class Delay(delays: StreamId, resets: StreamId) extends Expression with Product with Serializable
- sealed abstract class Expression extends AnyRef
- case class FunctionExpr(body: Seq[ValueExprDescription], params: Seq[ValueId], result: ValueId) extends Product with Serializable
- case class InStreamDescription(id: StreamId, ty: StreamType) extends AbstractStreamDescription with Product with Serializable
- final case class Last(values: StreamId, clock: StreamId) extends Expression with Product with Serializable
- final case class Lift(fn: FunctionId, args: Seq[StreamId]) extends Expression with Product with Serializable
- type MMap[K, V] = TreeMap[K, V]
- final case class MemberAccess(obj: ValueId, member: String) extends ValueExpression with Product with Serializable
- final case class Merge(stream1: StreamId, stream2: StreamId) extends Expression with Product with Serializable
- final case class MergeUnit(stream1: StreamId, stream2: StreamId) extends Expression with Product with Serializable
- final case class ObjectCreation(members: Map[String, ValueId]) extends ValueExpression with Product with Serializable
- case class OutStreamDescription(id: StreamId, ty: StreamType, name: String) extends AbstractStreamDescription with Product with Serializable
- final case class Specification(streams: Seq[StreamDescription], inStreams: Seq[InStreamDescription], outStreams: Seq[OutStreamDescription], functions: Seq[FunctionExpr]) extends Product with Serializable
- case class StreamDescription(id: StreamId, ty: StreamType, expr: Expression) extends AbstractStreamDescription with Product with Serializable
- type StreamSet = Seq[StreamDescription]
- final case class Time(stream: StreamId) extends Expression with Product with Serializable
- final case class UnitStream(value: ValueOrError) extends Expression with Product with Serializable
- case class ValueExprDescription(id: ValueId, ty: Type, expr: ValueExpression) extends Product with Serializable
- sealed abstract class ValueExpression extends AnyRef
- type ValueSet = TreeMap[ValueId, (Type, ValueExpression)]
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 build(spec: tessla.TesslaCore.Specification): Specification
- val builtIns: Set[String]
- def checkForUnsupported(name: String, loc: Location): Unit
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate() @throws( ... )
- def convertValueArg(v: ValueArg, lifted: ArrayBuffer[ValueExprDescription], functions: ArrayBuffer[(AnyRef, FunctionExpr)]): ValueId
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def function(fn: Function, functions: ArrayBuffer[(AnyRef, FunctionExpr)]): FunctionId
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def mkApplication(name: String, loc: Location, args: Seq[ValueId]): Application
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def streamRefEx(s: StreamRef, name: String, streams: ArrayBuffer[StreamDescription]): StreamId
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def unique(base: String): String
- def uniqueStreamId(base: String): StreamId
- def uniqueValueId(base: String): ValueId
- val unsupportedBuiltIns: Set[String]
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- object Nil extends Expression with Product with Serializable