o

de.uni_luebeck.isp.tessla

TypedTessla

object TypedTessla extends FlatTessla

Linear Supertypes
FlatTessla, HasUniqueIdentifiers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypedTessla
  2. FlatTessla
  3. HasUniqueIdentifiers
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class Argument extends AnyRef
    Definition Classes
    FlatTessla
  2. case class BuiltInOperator(builtIn: BuiltIn) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  3. sealed abstract class Expression extends AnyRef
    Definition Classes
    FlatTessla
  4. case class FunctionType(typeParameters: Seq[FlatTessla.Identifier], parameterTypes: Seq[Type], returnType: Type, isLiftable: Boolean) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  5. case class IdLoc(id: FlatTessla.Identifier, loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  6. case class InputStream(name: String, streamType: Type, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  7. case class Literal(value: LiteralValue, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  8. case class Macro(typeParameters: Seq[FlatTessla.Identifier], parameters: Seq[Parameter], scope: Scope, returnType: TypeAnnotation, headerLoc: Location, body: Expression, loc: Location, isLiftable: Boolean) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  9. case class MacroCall(macroID: FlatTessla.Identifier, macroLoc: Location, typeArgs: Seq[Type], args: Seq[Argument], loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  10. case class MapType(keyType: Type, valueType: Type) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  11. case class MemberAccess(receiver: IdLoc, member: String, memberLoc: Location, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  12. case class NamedArgument(name: String, idLoc: IdLoc, loc: Location) extends Argument with Product with Serializable
    Definition Classes
    FlatTessla
  13. case class ObjectLiteral(members: Map[String, IdLoc], loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  14. case class ObjectType(memberTypes: Map[String, Type]) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  15. case class OptionType(elementType: Type) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  16. case class OutStream(id: FlatTessla.Identifier, name: String, loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  17. case class Parameter(param: Tessla.Parameter, parameterType: Type, id: FlatTessla.Identifier) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  18. case class PositionalArgument(id: FlatTessla.Identifier, loc: Location) extends Argument with Product with Serializable
    Definition Classes
    FlatTessla
  19. class Scope extends AnyRef
    Definition Classes
    FlatTessla
  20. case class SetType(elementType: Type) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  21. case class Specification(globalScope: Scope, outStreams: Seq[OutStream], outAllLocation: Option[Location], stdlibNames: Map[String, FlatTessla.Identifier]) extends Product with Serializable
    Definition Classes
    FlatTessla
  22. case class StaticIfThenElse(condition: IdLoc, thenCase: IdLoc, elseCase: IdLoc, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  23. case class StreamType(elementType: Type) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  24. sealed abstract class Type extends AnyRef
    Definition Classes
    FlatTessla
  25. case class TypeEntry(id: FlatTessla.Identifier, arity: Int, typeConstructor: (Seq[Type]) ⇒ Type, loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  26. case class TypeParameter(id: FlatTessla.Identifier, loc: Location) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  27. case class Variable(id: FlatTessla.Identifier, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  28. case class VariableEntry(id: FlatTessla.Identifier, expression: Expression, typeInfo: TypeAnnotation, loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  29. class Identifier extends AnyRef
    Definition Classes
    HasUniqueIdentifiers
  30. trait IdentifierFactory extends AnyRef
    Definition Classes
    HasUniqueIdentifiers
  31. type LiteralValue = Tessla.LiteralValue
    Definition Classes
    FlatTessla
  32. type TypeAnnotation = Type
    Definition Classes
    TypedTessla → FlatTessla

Value Members

  1. object BoolType extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  2. object CtfType extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  3. object IntType extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  4. object StringType extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  5. object UnitType extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  6. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. final def ##(): Int
    Definition Classes
    AnyRef → Any
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  21. def toString(): String
    Definition Classes
    AnyRef → Any
  22. def typeAnnotationToString(typ: Type): String
    Definition Classes
    TypedTessla → FlatTessla
  23. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from FlatTessla

Inherited from HasUniqueIdentifiers

Inherited from AnyRef

Inherited from Any

Ungrouped