Type Members

1.  case class Annotation(name: String, arguments: Map[String, ConstantExpression], loc: Location) extends Product with Serializable
2.  sealed abstract class Argument extends AnyRef
3.  case class BuiltInOperator(name: String, typeParameters: Seq[FlatTessla.Identifier], parameters: Seq[Parameter], referenceImplementation: Option[FlatTessla.Identifier], loc: Location) extends Expression with Product with Serializable
4.  case class BuiltInType(name: String, typeArgs: Seq[Type]) extends Type with Product with Serializable
5.  class Definitions extends AnyRef
6.  sealed abstract class Expression extends AnyRef
7.  case class FunctionType(typeParameters: Seq[FlatTessla.Identifier], parameterTypes: Seq[Type], returnType: Type, isLiftable: Boolean) extends Type with Product with Serializable
8.  case class IdLoc(id: FlatTessla.Identifier, loc: Location) extends Product with Serializable
9.  case class InputStream(name: String, streamType: Type, typeLoc: Location, loc: Location) extends Expression with Product with Serializable
10.  case class Literal(value: LiteralValue, loc: Location) extends Expression with Product with Serializable
11.  type LiteralValue = Tessla.LiteralValue
12.  case class Macro(typeParameters: Seq[FlatTessla.Identifier], parameters: Seq[Parameter], body: Definitions, returnType: TypeAnnotation, headerLoc: Location, result: IdLoc, loc: Location, isLiftable: Boolean) extends Expression with Product with Serializable
13.  case class MacroCall(macroID: FlatTessla.Identifier, macroLoc: Location, typeArgs: Seq[Type], args: Seq[Argument], loc: Location) extends Expression with Product with Serializable
14.  case class MemberAccess(receiver: IdLoc, member: String, memberLoc: Location, loc: Location) extends Expression with Product with Serializable
15.  case class NamedArgument(name: String, idLoc: IdLoc, loc: Location) extends Argument with Product with Serializable
16.  case class ObjectLiteral(members: Map[String, IdLoc], loc: Location) extends Expression with Product with Serializable
17.  case class ObjectType(memberTypes: Map[String, Type], isOpen: Boolean) extends Type with Product with Serializable
18.  case class OutStream(id: FlatTessla.Identifier, nameOpt: Option[String], loc: Location) extends Product with Serializable
19.  case class Parameter(param: Tessla.Parameter, parameterType: Type, id: FlatTessla.Identifier) extends Expression with Product with Serializable
20.  case class PositionalArgument(id: FlatTessla.Identifier, loc: Location) extends Argument with Product with Serializable
21.  case class Specification(globalDefs: Definitions, outStreams: Seq[OutStream], outAllLocation: Option[Location], globalNames: Map[String, FlatTessla.Identifier]) extends Product with Serializable
22.  case class StaticIfThenElse(condition: IdLoc, thenCase: IdLoc, elseCase: IdLoc, loc: Location) extends Expression with Product with Serializable
23.  sealed abstract class Type extends AnyRef
24.  abstract type TypeAnnotation
25.  case class TypeEntry(id: FlatTessla.Identifier, arity: Int, typeConstructor: (Seq[Type]) ⇒ Type, loc: Location) extends Product with Serializable
26.  case class TypeParameter(id: FlatTessla.Identifier, loc: Location) extends Type with Product with Serializable
27.  case class Variable(id: FlatTessla.Identifier, loc: Location) extends Expression with Product with Serializable
28.  case class VariableEntry(id: FlatTessla.Identifier, expression: Expression, typeInfo: TypeAnnotation, annotations: Seq[Annotation], loc: Location) extends Product with Serializable
29.  class Identifier extends AnyRef

    Definition Classes

    HasUniqueIdentifiers

30.  abstract class IdentifierFactory extends AnyRef

    Definition Classes

    HasUniqueIdentifiers