class TesslaCoreToIntermediate extends TranslationPhase[ExtendedSpecification, SourceListing]
Class implementing TranslationPhase for the translation from TeSSLa Core to abstract imperative code The translation of stream functions is performed in StreamCodeGenerator The translation of other expressions in NonStreamCodeGenerator
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- TesslaCoreToIntermediate
- TranslationPhase
- Function1
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new TesslaCoreToIntermediate(consoleInterface: Boolean)
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 andThen[V](other: TranslationPhase[SourceListing, V]): TranslationPhase[ExtendedSpecification, V]
- Definition Classes
- TranslationPhase
- def andThen[A](g: (Result[SourceListing]) => A): (ExtendedSpecification) => A
- Definition Classes
- Function1
- Annotations
- @unspecialized()
- def apply(spec: ExtendedSpecification): Result[SourceListing]
- Definition Classes
- TranslationPhase → Function1
- 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 compose[A](g: (A) => ExtendedSpecification): (A) => Result[SourceListing]
- Definition Classes
- Function1
- Annotations
- @unspecialized()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- 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()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- Function1 → AnyRef → Any
- def translate(extSpec: ExtendedSpecification): Result[SourceListing]
Function triggering the translation from a TeSSLa AST to a SourceListing of ImpLan statements
Function triggering the translation from a TeSSLa AST to a SourceListing of ImpLan statements
- extSpec
The TeSSLa Core AST to be translated
- returns
A SourceListing containing imperative code to be translated into concrete syntax and included in a source skeleton
- Definition Classes
- TesslaCoreToIntermediate → TranslationPhase
- 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])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated