de.uni_hildesheim.sse.vil.templatelang.templateLanguageTranslation

Class ExpressionTranslator

java.lang.Object

net.ssehub.easy.dslCore.translation.MessageReceiver

net.ssehub.easy.dslCore.translation.ExpressionTranslator

de.uni_hildesheim.sse.vil.expressions.translation.ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

de.uni_hildesheim.sse.vil.templatelang.templateLanguageTranslation.ExpressionTranslator

All Implemented Interfaces:

IMessageReceiver, ResolutionListener, StringResolver.IExpressionTranslator<VariableDeclaration,Resolver>

public class ExpressionTranslator
extends ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

A specific expression translator for the template language.

Author:

Holger Eichelberger

Nested Class Summary

Nested classes/interfaces inherited from class de.uni_hildesheim.sse.vil.expressions.translation.ExpressionTranslator

ExpressionTranslator.CallType

Constructor Summary

Constructors

Constructor and Description
ExpressionTranslator()

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	cannotAssignHint() A hint if an assignment is not allowed.
protected ExpressionStatement	createExpressionStatement(Expression expression, Resolver resolver) Creates an expression statement.
protected ExpressionVersionRestriction	createExpressionVersionRestriction(Expression expr, VariableDeclaration decl, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature feature) Creates an expression version restriction matching this class.
protected VariableDeclaration	createImplicitVariableDeclaration(java.lang.String name, TypeDescriptor<?> type, boolean isConstant, Expression expression, Resolver resolver) Creates a new implicit variable declaration.
protected VariableDeclaration	createVariableDeclaration(java.lang.String name, TypeDescriptor<?> type, boolean isConstant, Expression expression, Resolver resolver) Creates a new variable declaration.
Expression	parseExpression(java.lang.String expression, Resolver resolver, java.lang.StringBuilder warnings) Parse the given expression.
protected Expression	processCall(Expression firstParam, de.uni_hildesheim.sse.vil.expressions.expressionDsl.Call call, ExpressionTranslator.CallType type, de.uni_hildesheim.sse.vil.expressions.expressionDsl.Expression arrayEx, Resolver resolver) Processes a function call.

Methods inherited from class de.uni_hildesheim.sse.vil.expressions.translation.ExpressionTranslator

assertBooleanExpression, checkCallExpression, checkSemantics, continueResolution, createConstant, enactIvmlWarnings, error, processAdditiveExpression, processArguments, processAssignment, processConstant, processEqualityExpression, processExpression, processExpressionStatement, processLogicalExpression, processMultiplicativeExpression, processPostfixExpression, processPrimaryExpression, processQualifiedValue, processRelationalExpression, processRestriction, processSubCalls, processType, processTypeParameter, processUnaryExpression, processVariableDeclaration, reProcessVariableDeclaration, resolveCallArguments, resolved, resolveIteratorDeclarations, warning, warnVersionRestrictions

Methods inherited from class net.ssehub.easy.dslCore.translation.ExpressionTranslator

clearMessages, clearMessages, collect, error, error, getErrorCount, getMessage, getMessageCount, warning

Methods inherited from class net.ssehub.easy.dslCore.translation.MessageReceiver

error

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExpressionTranslator

public ExpressionTranslator()

Method Detail

processCall

protected Expression processCall(Expression firstParam,
                                 de.uni_hildesheim.sse.vil.expressions.expressionDsl.Call call,
                                 ExpressionTranslator.CallType type,
                                 de.uni_hildesheim.sse.vil.expressions.expressionDsl.Expression arrayEx,
                                 Resolver resolver)
                          throws TranslatorException

Processes a function call.

Specified by:

processCall in class ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

Parameters:

firstParam - the first parameter (may be null)

call - the function all (may be null, but then arrayEx is required)

arrayEx - an array access expression (may be null, but then call is required)

resolver - a resolver instance for resolving variables etc.

Returns:

the resulting expression node

Throws:

TranslatorException - in case that the translation fails for some reason

createVariableDeclaration

protected VariableDeclaration createVariableDeclaration(java.lang.String name,
                                                        TypeDescriptor<?> type,
                                                        boolean isConstant,
                                                        Expression expression,
                                                        Resolver resolver)

Description copied from class: ExpressionTranslator

Creates a new variable declaration.

Specified by:

createVariableDeclaration in class ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

Parameters:

name - the name of the variable

type - the type of the variable

isConstant - whether this variable is a constant

expression - an expression denoting the initial value (may be null)

resolver - the resolver instance

createImplicitVariableDeclaration

protected VariableDeclaration createImplicitVariableDeclaration(java.lang.String name,
                                                                TypeDescriptor<?> type,
                                                                boolean isConstant,
                                                                Expression expression,
                                                                Resolver resolver)

Description copied from class: ExpressionTranslator

Creates a new implicit variable declaration.

Specified by:

createImplicitVariableDeclaration in class ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

Parameters:

name - the name of the variable

type - the type of the variable

isConstant - whether this variable is a constant

expression - an expression denoting the initial value (may be null)

resolver - the resolver instance

createExpressionVersionRestriction

protected ExpressionVersionRestriction createExpressionVersionRestriction(Expression expr,
                                                                          VariableDeclaration decl,
                                                                          org.eclipse.emf.ecore.EObject cause,
                                                                          org.eclipse.emf.ecore.EStructuralFeature feature)
                                                                   throws RestrictionEvaluationException

Description copied from class: ExpressionTranslator

Creates an expression version restriction matching this class.

Specified by:

createExpressionVersionRestriction in class ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

Parameters:

expr - the expression for the restriction

decl - the version variable

cause - the grammar cause for this call

feature - the causing feature

Returns:

the created instance

Throws:

RestrictionEvaluationException - in case of any type related problems

parseExpression

public Expression parseExpression(java.lang.String expression,
                                  Resolver resolver,
                                  java.lang.StringBuilder warnings)
                           throws VilException

Description copied from class: ExpressionTranslator

Parse the given expression.

Specified by:

parseExpression in interface StringResolver.IExpressionTranslator<VariableDeclaration,Resolver>

Specified by:

parseExpression in class ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

Parameters:

expression - the expression as string

resolver - the resolver

warnings - a collector for warnings

Returns:

the resulting expression

Throws:

VilException - if problems occur while parsing / resolving

createExpressionStatement

protected ExpressionStatement createExpressionStatement(Expression expression,
                                                        Resolver resolver)

Description copied from class: ExpressionTranslator

Creates an expression statement.

Specified by:

createExpressionStatement in class ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

Parameters:

expression - the expression

resolver - the resolver instance

Returns:

the expression statement

cannotAssignHint

protected java.lang.String cannotAssignHint()

Description copied from class: ExpressionTranslator

A hint if an assignment is not allowed.

Specified by:

cannotAssignHint in class ExpressionTranslator<VariableDeclaration,Resolver,ExpressionStatement>

Returns:

the hint (must not be null)