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 checkLiftability(functionType: TypedTessla.FunctionType): Boolean
6.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

7.  def declaredType(entry: FlatTessla.VariableEntry): Option[FlatTessla.Type]
8.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

9.  def equals(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

10.  def error(error: TesslaError): Unit

    Definition Classes

    TranslationPhase

11.  val errors: ArrayBuffer[TesslaError]

    Definition Classes

    TranslationPhase

12.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

13.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

14.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  def insertInferredType(id: TypedTessla.Identifier, inferredType: TypedTessla.Type, loc: Location): Unit
16.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

17.  def isLiftableMacro(entry: FlatTessla.Expression): Boolean
18.  def isStreamType(typ: TypedTessla.Type): Boolean
19.  def isSubtypeOrEqual(parent: TypedTessla.Type, child: TypedTessla.Type): Boolean
20.  def liftConstant(constant: TypedTessla.Identifier, scope: TypedTessla.Scope, env: Env, loc: Location): TypedTessla.Identifier
21.  def liftFunctionType(functionType: TypedTessla.FunctionType): TypedTessla.FunctionType
22.  def makeIdentifier(name: String): TypedTessla.Identifier

    Definition Classes

    IdentifierFactory

23.  def makeIdentifier(): TypedTessla.Identifier

    Definition Classes

    IdentifierFactory

24.  def makeIdentifier(nameOpt: Option[String]): TypedTessla.Identifier

    Definition Classes

    IdentifierFactory

25.  def mkTVar(name: String): TypedTessla.TypeParameter
26.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

27.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

28.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

29.  def parameterTypes(mac: FlatTessla.Macro): Seq[FlatTessla.Type]
30.  def processTypeAnnotation(entry: FlatTessla.VariableEntry, env: Env): Unit
31.  def requiredEntries(scope: FlatTessla.Scope, expression: FlatTessla.Expression): Seq[FlatTessla.VariableEntry]
32.  def requiredEntries(scope: FlatTessla.Scope, entry: FlatTessla.VariableEntry): Seq[FlatTessla.VariableEntry]

    Return all the entries that need to be type inferred before the current entry, i.e.

    Return all the entries that need to be type inferred before the current entry, i.e. all the entries that are used by this entry and do not have an explicit type annotation.

33.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

34.  def toString(): String

    Definition Classes

    AnyRef → Any

35.  def translate(spec: FlatTessla.Specification): Result[TypedTessla.Specification]

    Definition Classes

    TranslationPhase

36.  def translateEntry(entry: FlatTessla.VariableEntry, scope: TypedTessla.Scope, env: Env): TypedTessla.VariableEntry
37.  def translateExpression(expression: FlatTessla.Expression, declaredType: Option[TypedTessla.Type], id: Option[TypedTessla.Identifier], scope: TypedTessla.Scope, env: Env): (TypedTessla.Expression, TypedTessla.Type)
38.  def translateOutStream(stream: FlatTessla.OutStream, scope: TypedTessla.Scope, env: Env): TypedTessla.OutStream
39.  def translateScope(scope: FlatTessla.Scope, parent: Option[TypedTessla.Scope], parentEnv: Env): (TypedTessla.Scope, Env)
40.  def translateScopeWithParents(scope: FlatTessla.Scope): (TypedTessla.Scope, Env)
41.  def translateSpec(spec: FlatTessla.Specification): TypedTessla.Specification

    Definition Classes

    TypeChecker → TranslationPhase

42.  def translateType(typ: FlatTessla.Type, env: Env): TypedTessla.Type
43.  def tryWithDefault[R](default: ⇒ R)(body: ⇒ R): R

    Definition Classes

    TranslationPhase

44.  def typeSubst(expected: TypedTessla.Type, actual: TypedTessla.Type, typeParams: Set[TypedTessla.Identifier], substitutions: Map[TypedTessla.Identifier, TypedTessla.Type], loc: Location): TypedTessla.Type
45.  val typesOfBuiltIns: Map[BuiltIn, TypedTessla.Type]
46.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

47.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

49.  def warn(loc: Location, message: String): Unit

    Definition Classes

    TranslationPhase

50.  def warn(diagnostic: Diagnostic): Unit

    Definition Classes

    TranslationPhase

51.  val warnings: ArrayBuffer[Diagnostic]

    Definition Classes

    TranslationPhase