object TesslaCore extends HasUniqueIdentifiers
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- TesslaCore
- HasUniqueIdentifiers
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
class
Identifier extends AnyRef
- Definition Classes
- HasUniqueIdentifiers
-
abstract
class
IdentifierFactory extends AnyRef
- Definition Classes
- HasUniqueIdentifiers
- type Annotation = TypedTessla.Annotation
- case class Application(f: Lazy[ValueArg], args: Seq[ValueArg], loc: Location) extends ValueExpression with Product with Serializable
- sealed abstract class Arg extends AnyRef
- final case class BoolValue(value: Boolean, loc: Location) extends PrimitiveValue with Product with Serializable
- case class BuiltInOperator(name: String, loc: Location) extends PrimitiveValue with Product with Serializable
- case class BuiltInType(name: String, typeArgs: Seq[ValueType]) extends ValueType with Product with Serializable
- case class Closure(function: Function, capturedEnvironment: Map[TesslaCore.Identifier, Lazy[ValueOrError]], loc: Location) extends Value with Product with Serializable
- final case class Ctf(value: ICompositeDefinition, loc: Location) extends PrimitiveValue with Product with Serializable
- final case class CustomBuiltInCall(name: String, args: Seq[Arg], loc: Location) extends Expression with Product with Serializable
- final case class Delay(delays: StreamRef, resets: StreamRef, loc: Location) extends Expression with Product with Serializable
- final case class Error(error: TesslaError) extends Arg with ValueOrError with Product with Serializable
- sealed abstract class Expression extends AnyRef
- abstract class ExternalValue extends PrimitiveValue
- final case class FloatValue(value: Double, loc: Location) extends PrimitiveValue with Product with Serializable
- final case class Function(parameters: Seq[TesslaCore.Identifier], body: Map[TesslaCore.Identifier, ValueExpressionDescription], result: ValueArg, loc: Location) extends ValueExpression with Product with Serializable
- case class IfThenElse(cond: ValueArg, thenCase: Lazy[ValueArg], elseCase: Lazy[ValueArg], loc: Location) extends ValueExpression with Product with Serializable
- case class InStreamDescription(name: String, typ: StreamType, annotations: Seq[Annotation], loc: Location) extends Product with Serializable
- final case class InputStream(name: String, typ: StreamType, loc: Location) extends StreamRef with Product with Serializable
- final case class IntValue(value: BigInt, loc: Location) extends PrimitiveValue with Product with Serializable
- final case class Last(values: StreamRef, clock: StreamRef, loc: Location) extends Expression with Product with Serializable
- case class MemberAccess(obj: ValueArg, member: String, loc: Location) extends ValueExpression with Product with Serializable
- final case class Nil(typ: StreamType, loc: Location) extends StreamRef with Product with Serializable
- case class ObjectCreation(members: Map[String, ValueArg], loc: Location) extends ValueArg with Product with Serializable
- case class ObjectType(memberTypes: Map[String, ValueType]) extends ValueType with Product with Serializable
- case class OutStreamDescription(nameOpt: Option[String], stream: StreamRef, typ: StreamType) extends Product with Serializable
- sealed abstract class PrimitiveValue extends Value
- final case class Specification(streams: Seq[StreamDescription], inStreams: Seq[InStreamDescription], outStreams: Seq[OutStreamDescription], identifierCount: Long) extends Product with Serializable
- final case class Stream(id: TesslaCore.Identifier, typ: StreamType, loc: Location) extends StreamRef with Product with Serializable
- case class StreamDescription(id: TesslaCore.Identifier, expression: Expression, typ: StreamType, annotations: Seq[Annotation]) extends Product with Serializable
- sealed abstract class StreamRef extends Arg
- case class StreamType(elementType: ValueType) extends Type with Product with Serializable
- final case class StringValue(value: String, loc: Location) extends PrimitiveValue with Product with Serializable
- final case class TesslaList(value: IndexedSeq[Value], typ: ValueType, loc: Location) extends PrimitiveValue with Product with Serializable
- final case class TesslaMap(value: Map[Value, Value], typ: ValueType, loc: Location) extends PrimitiveValue with Product with Serializable
- final case class TesslaObject(value: Map[String, ValueOrError], loc: Location) extends PrimitiveValue with Product with Serializable
- final case class TesslaOption(value: Option[ValueOrError], typ: ValueType, loc: Location) extends PrimitiveValue with Product with Serializable
- final case class TesslaSet(value: Set[Value], typ: ValueType, loc: Location) extends PrimitiveValue with Product with Serializable
- sealed abstract class Type extends AnyRef
- sealed abstract class Value extends Arg with ValueOrError
- sealed trait ValueArg extends AnyRef
- sealed abstract class ValueExpression extends AnyRef
- case class ValueExpressionDescription(exp: ValueExpression, typ: ValueType) extends Product with Serializable
- case class ValueExpressionRef(id: TesslaCore.Identifier) extends ValueArg with Product with Serializable
- sealed trait ValueOrError extends Arg with ValueArg
- sealed abstract class ValueType extends Type
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
- @native() @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
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @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
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @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
- @native() @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- object FunctionType extends ValueType with Product with Serializable
-
object
NeverType extends ValueType with Product with Serializable
The type of error expressions
-
object
UnresolvedGenericType extends ValueType with Product with Serializable
The type of definitions inside a lifted generic function whose type depends on the function's type parameters.