c

de.uni_luebeck.isp.tessla

TypeChecker

class TypeChecker extends tessla.TypedTessla.IdentifierFactory with TranslationPhase[tessla.FlatTessla.Specification, tessla.TypedTessla.Specification]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypeChecker
  2. TranslationPhase
  3. IdentifierFactory
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TypeChecker()

Type Members

  1. type Env = Map[FlatTessla.Identifier, TypedTessla.Identifier]

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. def abort(): Nothing
    Attributes
    protected
    Definition Classes
    TranslationPhase
  5. def abortOnError(): Unit
    Attributes
    protected
    Definition Classes
    TranslationPhase
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def checkLiftability(functionType: TypedTessla.FunctionType): Boolean
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  9. def declaredType(entry: FlatTessla.VariableEntry): Option[FlatTessla.Type]
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def error(error: TesslaError): Unit
    Attributes
    protected
    Definition Classes
    TranslationPhase
  13. val errors: ArrayBuffer[TesslaError]
    Attributes
    protected
    Definition Classes
    TranslationPhase
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. def insertInferredType(id: TypedTessla.Identifier, inferredType: TypedTessla.Type, loc: Location): Unit
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def isLiftableMacro(entry: FlatTessla.Expression): Boolean
  19. def isStreamType(typ: TypedTessla.Type): Boolean
  20. def isSubtypeOrEqual(parent: TypedTessla.Type, child: TypedTessla.Type): Boolean
  21. def liftConstant(constant: TypedTessla.Identifier, scope: TypedTessla.Scope, env: Env, loc: Location): TypedTessla.Identifier
  22. def liftFunctionType(functionType: TypedTessla.FunctionType): TypedTessla.FunctionType
  23. def makeIdentifier(name: String): TypedTessla.Identifier
    Definition Classes
    IdentifierFactory
  24. def makeIdentifier(): TypedTessla.Identifier
    Definition Classes
    IdentifierFactory
  25. def makeIdentifier(nameOpt: Option[String]): TypedTessla.Identifier
    Definition Classes
    IdentifierFactory
  26. def mkTVar(name: String): TypedTessla.TypeParameter
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  30. def parameterTypes(mac: FlatTessla.Macro): Seq[FlatTessla.Type]
  31. def processTypeAnnotation(entry: FlatTessla.VariableEntry, env: Env): Unit
  32. def requiredEntries(scope: FlatTessla.Scope, expression: FlatTessla.Expression): Seq[FlatTessla.VariableEntry]
  33. 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.

  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. def translate(spec: FlatTessla.Specification): Result[TypedTessla.Specification]
    Definition Classes
    TranslationPhase
  37. def translateEntry(entry: FlatTessla.VariableEntry, scope: TypedTessla.Scope, env: Env): TypedTessla.VariableEntry
  38. def translateExpression(expression: FlatTessla.Expression, declaredType: Option[TypedTessla.Type], id: Option[TypedTessla.Identifier], scope: TypedTessla.Scope, env: Env): (TypedTessla.Expression, TypedTessla.Type)
  39. def translateOutStream(stream: FlatTessla.OutStream, scope: TypedTessla.Scope, env: Env): TypedTessla.OutStream
  40. def translateScope(scope: FlatTessla.Scope, parent: Option[TypedTessla.Scope], parentEnv: Env): (TypedTessla.Scope, Env)
  41. def translateScopeWithParents(scope: FlatTessla.Scope): (TypedTessla.Scope, Env)
  42. def translateSpec(spec: FlatTessla.Specification): TypedTessla.Specification
    Definition Classes
    TypeChecker → TranslationPhase
  43. def translateType(typ: FlatTessla.Type, env: Env): TypedTessla.Type
  44. def tryWithDefault[R](default: ⇒ R)(body: ⇒ R): R
    Attributes
    protected
    Definition Classes
    TranslationPhase
  45. def typeSubst(expected: TypedTessla.Type, actual: TypedTessla.Type, typeParams: Set[TypedTessla.Identifier], substitutions: Map[TypedTessla.Identifier, TypedTessla.Type], loc: Location): TypedTessla.Type
  46. val typesOfBuiltIns: Map[BuiltIn, TypedTessla.Type]
  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. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. def warn(loc: Location, message: String): Unit
    Attributes
    protected
    Definition Classes
    TranslationPhase
  51. def warn(diagnostic: Diagnostic): Unit
    Attributes
    protected
    Definition Classes
    TranslationPhase
  52. val warnings: ArrayBuffer[Diagnostic]
    Attributes
    protected
    Definition Classes
    TranslationPhase

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 TranslationPhase[FlatTessla.Specification, TypedTessla.Specification]

Inherited from TypedTessla.IdentifierFactory

Inherited from AnyRef

Inherited from Any

Ungrouped