class Flattener extends tessla.FlatTessla.IdentifierFactory with Translator[tessla.FlatTessla.Specification]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Flattener
- Translator
- IdentifierFactory
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new Flattener(spec: Specification)
Type Members
- case class Env(variables: IdMap, types: IdMap) extends Product with Serializable
- type IdMap = Map[String, FlatTessla.Identifier]
- type Imports = Map[String, FlatTessla.Identifier]
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def abort(): Nothing
- Attributes
- protected
- Definition Classes
- Translator
- def abortOnError(): Unit
- Attributes
- protected
- Definition Classes
- Translator
- def addDefinition(definition: Definition, defs: FlatTessla.Definitions, env: Env, imports: Imports): Unit
- def addImport(imports: Imports, imprt: Import, defs: FlatTessla.Definitions, envs: Map[FlatTessla.Identifier, Env], outerEnv: Env): Imports
- def addInStream(in: In, defs: FlatTessla.Definitions, env: Env): Unit
- def addModule(module: Module, defs: FlatTessla.Definitions, outerEnv: Env, outerImports: Imports): Unit
- def addModuleEnv(module: Module, outerEnv: Env): Unit
- def addTypeDefinition(definition: TypeDefinition, defs: FlatTessla.Definitions, env: Env, imports: Imports): Unit
- val annotationDefs: Map[String, AnnotationDefinition]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- def createIdMap(names: Iterable[String]): IdMap
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def error(error: TesslaError): Unit
- Attributes
- protected
- Definition Classes
- Translator
- val errorExpression: FlatTessla.Variable
- val errors: ArrayBuffer[TesslaError]
- Attributes
- protected
- Definition Classes
- Translator
- def expToId(exp: FlatTessla.Expression, defs: FlatTessla.Definitions, typeAnnotation: TypeAnnotation = None): FlatTessla.Identifier
Turn an arbitrary expression into an identifier by either creating a new identifier and making it point to the expression or, if the expression is a variable reference, returning the referenced identifier.
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def getExp(tesslaId: Identifier, env: Env, imports: Imports): FlatTessla.Expression
- def getName(statement: Statement): Option[String]
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def identifierCounter: Long
- Attributes
- protected
- Definition Classes
- IdentifierFactory
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def makeIdentifier(name: String): FlatTessla.Identifier
- Attributes
- protected
- Definition Classes
- IdentifierFactory
- def makeIdentifier(): FlatTessla.Identifier
- Attributes
- protected
- Definition Classes
- IdentifierFactory
- def makeIdentifier(nameOpt: Option[String]): FlatTessla.Identifier
- Attributes
- protected
- Definition Classes
- IdentifierFactory
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def sort(items: Seq[Statement]): Seq[Statement]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def translate(): Result[FlatTessla.Specification]
- Definition Classes
- Translator
- def translateAnnotation(annotation: Annotation): FlatTessla.Annotation
- def translateExpression(expr: Expression, defs: FlatTessla.Definitions, env: Env, imports: Imports): FlatTessla.Expression
- def translateParameter(param: Parameter, idMap: IdMap, defs: FlatTessla.Definitions, env: Env): FlatTessla.Parameter
- def translateSpec(): FlatTessla.Specification
- Definition Classes
- Flattener → Translator
- def translateType(typ: Type, defs: FlatTessla.Definitions, env: Env): FlatTessla.Type
- def tryWithDefault[R](default: => R)(body: => R): R
- Attributes
- protected
- Definition Classes
- Translator
- def unwrapResult[T](result: Result[T]): T
- Attributes
- protected
- Definition Classes
- Translator
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def warn(loc: Location, message: String): Unit
- Attributes
- protected
- Definition Classes
- Translator
- def warn(diagnostic: Diagnostic): Unit
- Attributes
- protected
- Definition Classes
- Translator
- val warnings: ArrayBuffer[Diagnostic]
- Attributes
- protected
- Definition Classes
- Translator
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
- Deprecated
(Since version ) see corresponding Javadoc for more information.