NonStreamCodeGenerator
Class for the translation of TeSSLa expressions of non-stream type
Attributes
- Graph
- Supertypes
Members list
Value members
Concrete methods
Translates an assignment from TeSSLa to ImpLan
Translates an assignment from TeSSLa to ImpLan
Attributes
- defContext
Definition context depicting all var names in the current scope to their definition expression
- e
The expression assigned to id
- id
The id which is assigned
- tm
The TypeArgManagement to resolve type parameters
- Returns:
The translated assignment
- Definition Classes
Translates a block of statements with return expression (i.e. the body of a lambda) to IntermediateCode.ImpLanStmts
Translates a block of statements with return expression (i.e. the body of a lambda) to IntermediateCode.ImpLanStmts
Attributes
- body
The sequence of statements to be translated
- defContext
Definition context depicting all var names in the current scope to their definition expression
- ret
The return expression of the block
- tm
The TypeArgManagement to resolve type parameters
- Returns:
The translated block. Contains a IntermediateCode.ReturnStatement at the end
- Definition Classes
Translates an ExpressionOrRef to a corresponding IntermediateCode.ImpLanExpr
Translates an ExpressionOrRef to a corresponding IntermediateCode.ImpLanExpr
Attributes
- defContext
Definition context depicting all var names in the current scope to their definition expression
- e
The expression to be translated
- tm
The TypeArgManagement to resolve type parameters
- Returns:
The translated expression
- Definition Classes
Attributes
- defContext
Definition context depicting all var names in the current scope to their definition expression
- 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
- Returns:
The translated expression
- Definition Classes
Translates a TeSSLa Core FunctionExpression to an ImpLan IntermediateCode.LambdaExpression
Translates a TeSSLa Core FunctionExpression to an ImpLan IntermediateCode.LambdaExpression
Attributes
- defContext
Definition context depicting all var names in the current scope to their definition expression
- e
The function to be translated
- tm
The TypeArgManagement to resolve type parameters
- Returns:
The translated function expression
- Definition Classes
Translates a function application to ImpLan
Translates a function application to ImpLan
Attributes
- args
The argument expressions of the application
- defContext
Definition context depicting all var names in the current scope to their definition expression
- e
The function expression which is applied
- tm
The TypeArgManagement to resolve type parameters
- Returns:
The translated function application
- Definition Classes
Inherited methods
Checks whether a given expression only uses identifiers from definedIdentifiers, i.e. those already defined
Checks whether a given expression only uses identifiers from definedIdentifiers, i.e. those already defined
Attributes
- e
Expression to be examined
- Returns:
Whether all subexpressions are already defined and and the expression can hence be evaluated
- Inherited from:
- NonStreamCodeGeneratorInterface
Inlines all references in a function application's parameters according to inlining information from ExtendedSpecification
Inlines all references in a function application's parameters according to inlining information from ExtendedSpecification
Attributes
- args
The arguments applied to e
- defContext
Definition context depicting all var names in the current scope to their definition expression
- Returns:
The modified parameter expressions
- Inherited from:
- NonStreamCodeGeneratorInterface
Inlines all ExpressionRef (variable references) to variables in the inlining set of the ExtendedSpecification in a DefinitionExpression except those of function type
Inlines all ExpressionRef (variable references) to variables in the inlining set of the ExtendedSpecification in a DefinitionExpression except those of function type
Attributes
- defContext
Definition context depicting all var names in the current scope to their definition expression
- e
The expression where variable references should be inlined
- Returns:
The modified expression
- Inherited from:
- NonStreamCodeGeneratorInterface
Applies inlineVars on all statements in body
Applies inlineVars on all statements in body
Attributes
- body
Sequence of statements where inlineVars is applied on
- defContext
Definition context depicting all var names in the current scope to their definition expression
- Returns:
The modified body
- Inherited from:
- NonStreamCodeGeneratorInterface
Inlines all ExpressionRef (variable references) to variables in the inlining set of the ExtendedSpecification in an ExpressionOrRef except those of function type
Inlines all ExpressionRef (variable references) to variables in the inlining set of the ExtendedSpecification in an ExpressionOrRef except those of function type
Attributes
- defContext
Definition context depicting all var names in the current scope to their definition expression
- e
The expression where variable references should be inlined
- Returns:
The modified expression
- Inherited from:
- NonStreamCodeGeneratorInterface
Inherited fields
Set of identifiers which are assigned with final assignments. If an assignment uses exclusively existing assignments it can also be finally assigned Otherwise (in case of recursion) it must be assigned with a dummy default value first
Set of identifiers which are assigned with final assignments. If an assignment uses exclusively existing assignments it can also be finally assigned Otherwise (in case of recursion) it must be assigned with a dummy default value first
Attributes
- Inherited from:
- NonStreamCodeGeneratorInterface