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

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