class TypeChecker extends tessla.TypedTessla.IdentifierFactory with Translator[TypedSpecification]

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

Instance Constructors

  1. new TypeChecker(spec: FlatTessla.Specification)

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
    Translator
  5. def abortOnError(): Unit
    Attributes
    protected
    Definition Classes
    Translator
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. val boolType: TypedTessla.BuiltInType
  8. def checkLiftability(functionType: TypedTessla.FunctionType): Boolean
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  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
    Translator
  13. val errors: ArrayBuffer[TesslaError]
    Attributes
    protected
    Definition Classes
    Translator
  14. def findPredef(name: String, env: Env): TypedTessla.Identifier
  15. val floatType: TypedTessla.BuiltInType
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  18. def identifierCounter: Long
    Attributes
    protected
    Definition Classes
    IdentifierFactory
  19. def insertInferredType(id: TypedTessla.Identifier, inferredType: TypedTessla.Type, loc: Location): Unit
  20. val intType: TypedTessla.BuiltInType
  21. def isBuiltIn(exp: FlatTessla.Expression): Boolean
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def isLiftableMacro(exp: FlatTessla.Expression): Boolean
  24. def isSubtypeOrEqual(parent: TypedTessla.Type, child: TypedTessla.Type): Boolean
  25. def liftConstant(constant: TypedTessla.Identifier, defs: TypedTessla.Definitions, env: Env, loc: Location): TypedTessla.Identifier
  26. def liftFunctionType(functionType: TypedTessla.FunctionType): TypedTessla.FunctionType
  27. def makeIdentifier(name: String): TypedTessla.Identifier
    Attributes
    protected
    Definition Classes
    IdentifierFactory
  28. def makeIdentifier(): TypedTessla.Identifier
    Attributes
    protected
    Definition Classes
    IdentifierFactory
  29. def makeIdentifier(nameOpt: Option[String]): TypedTessla.Identifier
    Attributes
    protected
    Definition Classes
    IdentifierFactory
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  33. def parameterTypes(mac: FlatTessla.Macro): Seq[FlatTessla.Type]
  34. def processTypeAnnotation(entry: FlatTessla.VariableEntry, env: Env): Unit
  35. def requiredEntries(defs: FlatTessla.Definitions, expression: FlatTessla.Expression): Seq[FlatTessla.VariableEntry]
  36. def requiredEntries(defs: FlatTessla.Definitions, 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.

  37. def streamType(t: TypedTessla.Type): TypedTessla.BuiltInType
  38. val stringType: TypedTessla.BuiltInType
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def toString(): String
    Definition Classes
    AnyRef → Any
  41. def translate(): Result[TypedSpecification]
    Definition Classes
    Translator
  42. def translateDefs(defs: FlatTessla.Definitions, parent: Option[TypedTessla.Definitions], parentEnv: Env): (TypedTessla.Definitions, Env)
  43. def translateDefsWithParents(defs: FlatTessla.Definitions): (TypedTessla.Definitions, Env)
  44. def translateEntry(entry: FlatTessla.VariableEntry, defs: TypedTessla.Definitions, env: Env): TypedTessla.VariableEntry
  45. def translateExpression(expression: FlatTessla.Expression, declaredType: Option[TypedTessla.Type], id: Option[TypedTessla.Identifier], defs: TypedTessla.Definitions, env: Env): (TypedTessla.Expression, TypedTessla.Type)
  46. def translateOutStream(stream: FlatTessla.OutStream, defs: TypedTessla.Definitions, env: Env): TypedTessla.OutStream
  47. def translateSpec(): TypedSpecification
    Definition Classes
    TypeChecker → Translator
  48. def translateType(typ: FlatTessla.Type, env: Env): TypedTessla.Type
  49. def tryWithDefault[R](default: ⇒ R)(body: ⇒ R): R
    Attributes
    protected
    Definition Classes
    Translator
  50. def typeSubst(expected: TypedTessla.Type, actual: TypedTessla.Type, typeParams: Set[TypedTessla.Identifier], substitutions: Map[TypedTessla.Identifier, TypedTessla.Type]): TypedTessla.Type
  51. def unwrapResult[T](result: Result[T]): T
    Attributes
    protected
    Definition Classes
    Translator
  52. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  54. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. def warn(loc: Location, message: String): Unit
    Attributes
    protected
    Definition Classes
    Translator
  56. def warn(diagnostic: Diagnostic): Unit
    Attributes
    protected
    Definition Classes
    Translator
  57. val warnings: ArrayBuffer[Diagnostic]
    Attributes
    protected
    Definition Classes
    Translator

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 Translator[TypedSpecification]

Inherited from TypedTessla.IdentifierFactory

Inherited from AnyRef

Inherited from Any

Ungrouped