c

de.uni_luebeck.isp.tessla.tessla_compiler

NonStreamCodeGenerator

class NonStreamCodeGenerator extends AnyRef

Class for the translation of TeSSLa expressions of non-stream type

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NonStreamCodeGenerator
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new NonStreamCodeGenerator(extSpec: ExtendedSpecification)

Type Members

  1. case class TypeArgManagement(resMap: Map[core.TesslaAST.Core.Identifier, core.TesslaAST.Core.Type], unappliedArgs: Seq[core.TesslaAST.Core.Type]) extends Product with Serializable

    Class for managing type arguments

    Class for managing type arguments

    resMap

    Map representing depiction from type arg names to types

    unappliedArgs

    Types where type application has already been processed but not the expression where the types are applied to

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  15. def toString(): String
    Definition Classes
    AnyRef → Any
  16. def translateAssignment(id: core.TesslaAST.Core.Identifier, e: core.TesslaAST.Core.ExpressionArg, tm: TypeArgManagement, defContext: Map[core.TesslaAST.Core.Identifier, DefinitionExpression]): ImpLanStmt

    Translates an assignment from TeSSLa to ImpLan

    Translates an assignment from TeSSLa to ImpLan

    id

    The id which is assigned

    e

    The expression assigned to id

    tm

    The TypeArgManagement to resolve type parameters

    defContext

    Definition context depicting all var names in the current scope to their definition expression

    returns

    The translated assignment

  17. def translateBody(body: Map[core.TesslaAST.Core.Identifier, DefinitionExpression], ret: core.TesslaAST.Core.ExpressionArg, tm: TypeArgManagement, defContext: Map[core.TesslaAST.Core.Identifier, DefinitionExpression]): Seq[ImpLanStmt]

    Translates a block of statements with return expression (i.e.

    Translates a block of statements with return expression (i.e. the body of a lambda) to IntermediateCode.ImpLanStmts

    body

    The sequence of statements to be translated

    ret

    The return expression of the block

    tm

    The TypeArgManagement to resolve type parameters

    defContext

    Definition context depicting all var names in the current scope to their definition expression

    returns

    The translated block. Contains a IntermediateCode.ReturnStatement at the end

  18. def translateExpressionArg(e: core.TesslaAST.Core.ExpressionArg, tm: TypeArgManagement, defContext: Map[core.TesslaAST.Core.Identifier, DefinitionExpression] = Map()): ImpLanExpr

    Translates an ExpressionArg to a corresponding IntermediateCode.ImpLanExpr

    Translates an ExpressionArg to a corresponding IntermediateCode.ImpLanExpr

    e

    The expression to be translated

    tm

    The TypeArgManagement to resolve type parameters

    defContext

    Definition context depicting all var names in the current scope to their definition expression

    returns

    The translated expression

  19. def translateExtern(e: core.TesslaAST.Core.ExternExpression, tm: TypeArgManagement, defContext: Map[core.TesslaAST.Core.Identifier, DefinitionExpression]): ImpLanExpr

    e

    Translates an ExternExpression. If the extern is of function type a lambda expression is wrapped around it. If the extern is directly applied this lambda is most likely unnecessary and this function should not be used for translation of the called extern.

    tm

    The TypeArgManagement to resolve type parameters

    defContext

    Definition context depicting all var names in the current scope to their definition expression

    returns

    The translated expression

  20. def translateFunction(e: core.TesslaAST.Core.FunctionExpression, tm: TypeArgManagement, defContext: Map[core.TesslaAST.Core.Identifier, DefinitionExpression]): ImpLanExpr

    Translates a TeSSLa Core FunctionExpression to an ImpLan IntermediateCode.LambdaExpression

    Translates a TeSSLa Core FunctionExpression to an ImpLan IntermediateCode.LambdaExpression

    e

    The function to be translated

    tm

    The TypeArgManagement to resolve type parameters

    defContext

    Definition context depicting all var names in the current scope to their definition expression

    returns

    The translated function expression

  21. def translateFunctionCall(e: core.TesslaAST.Core.ExpressionArg, args: Seq[ImpLanExpr], tm: TypeArgManagement, defContext: Map[core.TesslaAST.Core.Identifier, DefinitionExpression] = Map()): ImpLanExpr

    Translates a function application to ImpLan

    Translates a function application to ImpLan

    e

    The function expression which is applied

    args

    The argument expressions of the application

    tm

    The TypeArgManagement to resolve type parameters

    defContext

    Definition context depicting all var names in the current scope to their definition expression

    returns

    The translated function application

  22. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  23. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  24. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  25. object TypeArgManagement extends Serializable

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped