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. case class Annotation(name: String, arguments: Map[String, ConstantExpression], loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  2. sealed abstract class Argument extends AnyRef
    Definition Classes
    FlatTessla
  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
    Definition Classes
    FlatTessla
  4. case class BuiltInType(name: String, typeArgs: Seq[Type]) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  5. class Definitions extends AnyRef
    Definition Classes
    FlatTessla
  6. sealed abstract class Expression extends AnyRef
    Definition Classes
    FlatTessla
  7. case class FunctionType(typeParameters: Seq[FlatTessla.Identifier], parameterTypes: Seq[Type], returnType: Type, isLiftable: Boolean) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  8. case class IdLoc(id: FlatTessla.Identifier, loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  9. case class InputStream(name: String, streamType: Type, typeLoc: Location, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  10. case class Literal(value: LiteralValue, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  11. 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
    Definition Classes
    FlatTessla
  12. 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
  13. case class MemberAccess(receiver: IdLoc, member: String, memberLoc: Location, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  14. case class NamedArgument(name: String, idLoc: IdLoc, loc: Location) extends Argument with Product with Serializable
    Definition Classes
    FlatTessla
  15. case class ObjectLiteral(members: Map[String, IdLoc], loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  16. case class ObjectType(memberTypes: Map[String, Type], isOpen: Boolean) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  17. case class OutStream(id: FlatTessla.Identifier, nameOpt: Option[String], loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  18. case class Parameter(param: Tessla.Parameter, parameterType: Type, id: FlatTessla.Identifier) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  19. case class PositionalArgument(id: FlatTessla.Identifier, loc: Location) extends Argument with Product with Serializable
    Definition Classes
    FlatTessla
  20. case class Specification(globalDefs: Definitions, outStreams: Seq[OutStream], outAllLocation: Option[Location], globalNames: Map[String, FlatTessla.Identifier]) extends Product with Serializable
    Definition Classes
    FlatTessla
  21. case class StaticIfThenElse(condition: IdLoc, thenCase: IdLoc, elseCase: IdLoc, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  22. sealed abstract class Type extends AnyRef
    Definition Classes
    FlatTessla
  23. case class TypeEntry(id: FlatTessla.Identifier, arity: Int, typeConstructor: (Seq[Type]) ⇒ Type, loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  24. case class TypeParameter(id: FlatTessla.Identifier, loc: Location) extends Type with Product with Serializable
    Definition Classes
    FlatTessla
  25. case class Variable(id: FlatTessla.Identifier, loc: Location) extends Expression with Product with Serializable
    Definition Classes
    FlatTessla
  26. case class VariableEntry(id: FlatTessla.Identifier, expression: Expression, typeInfo: TypeAnnotation, annotations: Seq[Annotation], loc: Location) extends Product with Serializable
    Definition Classes
    FlatTessla
  27. class Identifier extends AnyRef
    Definition Classes
    HasUniqueIdentifiers
  28. abstract class IdentifierFactory extends AnyRef
    Definition Classes
    HasUniqueIdentifiers
  29. type LiteralValue = Tessla.LiteralValue
    Definition Classes
    FlatTessla
  30. type TypeAnnotation = Type
    Definition Classes
    TypedTessla → FlatTessla
  31. case class TypedSpecification(globalDefs: TypedTessla.Definitions, outStreams: Seq[TypedTessla.OutStream], outAllLocation: Option[Location]) extends Product with Serializable

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  15. def toString(): String
    Definition Classes
    AnyRef → Any
  16. def typeAnnotationToString(typ: Type): String
    Definition Classes
    TypedTessla → FlatTessla
  17. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. 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.

Inherited from FlatTessla

Inherited from HasUniqueIdentifiers

Inherited from AnyRef

Inherited from Any

Ungrouped