ExpressionTranslator (de.uni_hildesheim.sse.ivml API)

java.lang.Object
- net.ssehub.easy.dslCore.translation.MessageReceiver
- - net.ssehub.easy.dslCore.translation.ExpressionTranslator
  - - de.uni_hildesheim.sse.translation.ExpressionTranslator

All Implemented Interfaces:

net.ssehub.easy.dslCore.translation.IMessageReceiver
```
public class ExpressionTranslator
extends net.ssehub.easy.dslCore.translation.ExpressionTranslator
```
Implements a class which translates a given EMF expression in terms of the IVML grammar into the IVML object model. Please note that errors which occur during translation are not signaled as individual exceptions but collected and accessible through ExpressionTranslator.getMessage(int).

Author:

Holger Eichelberger

Field Summary

Fields
Modifier and Type	Field and Description
`private AssignmentDetector`	`assignmentDetector`
`private boolean`	`hasTopLevelWarning`
`private int`	`level`
`private RefByCheckVisitor`	`refByChecker`

Constructor Summary

Constructors
Constructor and Description

ExpressionTranslator()
Creates an expression translator (to be used within this package only).

Constructors
Constructor and Description
`ExpressionTranslator()` Creates an expression translator (to be used within this package only).

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`private static boolean`	`allConstant(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree[] exprs)` Returns whether all `exprs` are constant.
`private void`	`checkForAssigment(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst, boolean error, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature causingFeature)` Checks for an assignment operation directly in `cst` and emits an error or a warning in case that the operation is found.
`private void`	`checkForCompoundElement(net.ssehub.easy.varModel.model.datatypes.Compound comp, java.lang.String name, ActualArgumentList call)` Checks for an existing compound element `name` in `comp` and throws an exception if that element does not exist.
`private void`	`checkForSameTypeWarning(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, java.lang.String op, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree rhs, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature feature)` Checks whether the operation `op` may return wrong results if types on both sides are not somehow assignable.
`private void`	`checkOperationOclCompliance(net.ssehub.easy.varModel.model.datatypes.Operation op, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature feature)` Checks for OCL operation compliance and issues a warning if violated and compliance mode is enabled.
`(package private) void`	`error(net.ssehub.easy.basics.messages.IIdentifiable exception, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature causeFeature)` Turns an IVML exception into a xText error.
`(package private) void`	`errorAboutTopLevelWarning(org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature causingFeature)` Checks for illegal top-level warnings and emits an error if required.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(AdditiveExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(AssignmentExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(EqualityExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(ImplicationExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(java.util.List<ActualArgument> args, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given arguments.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(Literal ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(LogicalExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(MultiplicativeExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(PostfixExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(PrimaryExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(RelationalExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(UnaryExpression ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`getAccessor(Value ex, net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)` Extracts a compound accessor/slot name from the given expression.
`private net.ssehub.easy.varModel.model.datatypes.IDatatype`	`getSpecificType(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, ContainerInitializer initializer, TypeContext context)` Returns the specific type of a collection initializer.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`handleBasicComment(org.eclipse.emf.ecore.EObject object, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree subtree)` Handles the comments assigned to the EMF AST element `object` and inserts a comment node as top of the `subtree` if required.
`private boolean`	`hasLiteral(net.ssehub.easy.varModel.model.datatypes.Enum eenum, java.lang.String name)` Returns whether the given enumeration `eenum` defines a literal called `name`.
`private boolean`	`hasSlot(net.ssehub.easy.varModel.model.datatypes.Compound comp, java.lang.String name)` Returns whether the given compound `comp` or its refined compounds contains a slot of name `name`.
`private net.ssehub.easy.varModel.model.datatypes.IDatatype`	`inferDatatypeQuietly(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst)` Infers the datatype of `cst`.
`(package private) void`	`initLevel()` Initializes the levels.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processAccess(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, ExpressionAccess access, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process an access expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processAdditiveExpression(AdditiveExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process an additive expression and turn it into a feature call.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processArgument(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, ActualArgument arg, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process an argument and returns a (named) expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processAssignmentExpression(AssignmentExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process an assignment expression and turn it into a feature call.
`(package private) net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processBlockExpression(de.uni_hildesheim.sse.ivml.BlockExpression block, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes a block expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processCallsAndAccess(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, java.util.List<Call> calls, ExpressionAccess access, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process a possible empty list of calls and a possible empty access expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processCompoundInitializer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, net.ssehub.easy.varModel.model.datatypes.IDatatype specificType, org.eclipse.emf.common.util.EList<ExpressionListEntry> entryList)` Processes a compound initializer.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processContainerInitializer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, org.eclipse.emf.ecore.EObject expr, ContainerInitializer initializer, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes a container initializer.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processContainerInitializer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, org.eclipse.emf.common.util.EList<ExpressionListEntry> entryList)` Processes a container initializer.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processContainerOp(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, ContainerOp op, java.util.List<net.ssehub.easy.varModel.model.DecisionVariableDeclaration> declarators, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree declEx, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes a container operation.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processContainerOp(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, ContainerOp op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes a container operation.
`private void`	`processDeclaration(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, ContainerOp op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, Declaration declaration, java.util.List<net.ssehub.easy.varModel.model.DecisionVariableDeclaration> declarators)` Processes a valid declaration.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processEqualityExpression(EqualityExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process a equality expression and turn it into a feature call.
`net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processExpression(Expression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes an expression and returns the result as a syntax tree.
`(package private) net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processExpression(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, Expression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes an expression and returns the result as a syntax tree.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processExpression(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, OptBlockExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes an (optional block) expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processFeatureCall(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, FeatureCall call, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes a feature call.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processFeatureCallImpl(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs, ActualArgumentList call, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent, boolean checkOclCompliance)` Processes a feature call.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processImplicationExpression(ImplicationExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process an implication expression and turn it into a feature call.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processLiteralContainer(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType, ContainerInitializer initializer, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Processes a collection initializer and returns the related constraint syntax tree node.
`(package private) net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processLogicalExpression(LogicalExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process a logical expression and turn it into a feature call.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processMultiplicativeExpression(MultiplicativeExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process a multiplicative expression and turn it into a feature call.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processPostfixExpression(PostfixExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process a postfix expression and turn it into a feature call.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processPrimaryExpression(PrimaryExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process a primary expression.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processRelationalExpression(RelationalExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process a relational expression and turn it into a feature call.
`private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree`	`processUnaryExpression(UnaryExpression expr, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent)` Process a unary expression and turn it into a feature call.
`private static net.ssehub.easy.varModel.model.datatypes.IDatatype`	`refType(net.ssehub.easy.varModel.model.datatypes.IDatatype varType, TypeContext context)` Obtains the reference type.
`private java.lang.Object[]`	`translateToValues(java.lang.Object[] values)` Translates constant expression trees to constant values.
`void`	`warnDiscouragedNames(java.lang.String name, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature causingFeature)` Checks for and warns about discouraged names.
`(package private) void`	`warning(net.ssehub.easy.varModel.model.IvmlException exception, org.eclipse.emf.ecore.EObject cause, org.eclipse.emf.ecore.EStructuralFeature causeFeature)` Turns an IVML exception into a xText warning.

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

Field Detail

assignmentDetector

private AssignmentDetector assignmentDetector

level
```
private int level
```

hasTopLevelWarning
```
private boolean hasTopLevelWarning
```

refByChecker
```
private RefByCheckVisitor refByChecker
```

Constructor Detail
- ExpressionTranslator
```
public ExpressionTranslator()
```
  Creates an expression translator (to be used within this package only).

Method Detail

initLevel
```
void initLevel()
```
Initializes the levels.

errorAboutTopLevelWarning
```
void errorAboutTopLevelWarning(org.eclipse.emf.ecore.EObject cause,
                               org.eclipse.emf.ecore.EStructuralFeature causingFeature)
```
Checks for illegal top-level warnings and emits an error if required.

Parameters:

cause - the causing EObject

causingFeature - the causing feature

error
```
void error(net.ssehub.easy.basics.messages.IIdentifiable exception,
           org.eclipse.emf.ecore.EObject cause,
           org.eclipse.emf.ecore.EStructuralFeature causeFeature)
```
Turns an IVML exception into a xText error.

Parameters:

exception - the exception to used

cause - the cause (as instance of the EMF grammar model)

causeFeature - the cause of the feature as an appropriate constant from de.uni_hildesheim.sse.ivml.IvmlPackage.Literals

warning
```
void warning(net.ssehub.easy.varModel.model.IvmlException exception,
             org.eclipse.emf.ecore.EObject cause,
             org.eclipse.emf.ecore.EStructuralFeature causeFeature)
```
Turns an IVML exception into a xText warning.

Parameters:

exception - the exception to used

cause - the cause (as instance of the EMF grammar model)

causeFeature - the cause of the feature as an appropriate constant from de.uni_hildesheim.sse.ivml.IvmlPackage.Literals

handleBasicComment
```
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree handleBasicComment(org.eclipse.emf.ecore.EObject object,
                                                                             net.ssehub.easy.varModel.cst.ConstraintSyntaxTree subtree)
```
Handles the comments assigned to the EMF AST element object and inserts a comment node as top of the subtree if required.

Parameters:

object - the EMF AST element to analyze

subtree - the constraint subtree to add the comment before

Returns:

the resulting subtree

processExpression

public net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processExpression(Expression expr,
                                                                           TypeContext context,
                                                                           net.ssehub.easy.varModel.model.IModelElement parent)
                                                                    throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes an expression and returns the result as a syntax tree. Calls initLevel(), i.e., do not call from inside.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processBlockExpression

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processBlockExpression(de.uni_hildesheim.sse.ivml.BlockExpression block,
                                                                         TypeContext context,
                                                                         net.ssehub.easy.varModel.model.IModelElement parent)
                                                                  throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes a block expression.

Parameters:: block - the block; context - the type context; parent - the parent element
Returns:: the created constraint syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the block must be terminated abnormally

processExpression

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processExpression(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType,
                                                                            OptBlockExpression expr,
                                                                            TypeContext context,
                                                                            net.ssehub.easy.varModel.model.IModelElement parent)
                                                                     throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes an (optional block) expression.

Parameters:: lhsType - the data type on the left hand side of the expression; expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processExpression

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processExpression(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType,
                                                                    Expression expr,
                                                                    TypeContext context,
                                                                    net.ssehub.easy.varModel.model.IModelElement parent)
                                                             throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes an expression and returns the result as a syntax tree. Call initLevel() if called from outside.

Parameters:: lhsType - the data type on the left hand side of the expression; expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processAssignmentExpression

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processAssignmentExpression(AssignmentExpression expr,
                                                                                      TypeContext context,
                                                                                      net.ssehub.easy.varModel.model.IModelElement parent)
                                                                               throws net.ssehub.easy.dslCore.translation.TranslatorException

Process an assignment expression and turn it into a feature call.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

checkForSameTypeWarning

private void checkForSameTypeWarning(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs,
                                     java.lang.String op,
                                     net.ssehub.easy.varModel.cst.ConstraintSyntaxTree rhs,
                                     org.eclipse.emf.ecore.EObject cause,
                                     org.eclipse.emf.ecore.EStructuralFeature feature)

Checks whether the operation op may return wrong results if types on both sides are not somehow assignable.

Parameters:: lhs - the left hand side expression; op - the operator; rhs - the right hand side expression; cause - the causing grammar object; feature - the causing grammar feature

inferDatatypeQuietly
```
private net.ssehub.easy.varModel.model.datatypes.IDatatype inferDatatypeQuietly(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst)
```
Infers the datatype of cst.

Parameters:

cst - the constraint syntax tree

Returns:

the inferred datatype or null in case of failures

processImplicationExpression

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processImplicationExpression(ImplicationExpression expr,
                                                                                       TypeContext context,
                                                                                       net.ssehub.easy.varModel.model.IModelElement parent)
                                                                                throws net.ssehub.easy.dslCore.translation.TranslatorException

Process an implication expression and turn it into a feature call.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

checkForAssigment

private void checkForAssigment(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst,
                               boolean error,
                               org.eclipse.emf.ecore.EObject cause,
                               org.eclipse.emf.ecore.EStructuralFeature causingFeature)

Checks for an assignment operation directly in cst and emits an error or a warning in case that the operation is found.

Parameters:: cst - the constraint syntax tree to be checked; error - emit an error or a warning; cause - the causing EObject; causingFeature - the causing feature in cause

processLogicalExpression

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processLogicalExpression(LogicalExpression expr,
                                                                           TypeContext context,
                                                                           net.ssehub.easy.varModel.model.IModelElement parent)
                                                                    throws net.ssehub.easy.dslCore.translation.TranslatorException

Process a logical expression and turn it into a feature call. If called from outside, call initLevel() before.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processEqualityExpression

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processEqualityExpression(EqualityExpression expr,
                                                                                    TypeContext context,
                                                                                    net.ssehub.easy.varModel.model.IModelElement parent)
                                                                             throws net.ssehub.easy.dslCore.translation.TranslatorException

Process a equality expression and turn it into a feature call.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processRelationalExpression

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processRelationalExpression(RelationalExpression expr,
                                                                                      TypeContext context,
                                                                                      net.ssehub.easy.varModel.model.IModelElement parent)
                                                                               throws net.ssehub.easy.dslCore.translation.TranslatorException

Process a relational expression and turn it into a feature call.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processAdditiveExpression

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processAdditiveExpression(AdditiveExpression expr,
                                                                                    TypeContext context,
                                                                                    net.ssehub.easy.varModel.model.IModelElement parent)
                                                                             throws net.ssehub.easy.dslCore.translation.TranslatorException

Process an additive expression and turn it into a feature call.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processMultiplicativeExpression

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processMultiplicativeExpression(MultiplicativeExpression expr,
                                                                                          TypeContext context,
                                                                                          net.ssehub.easy.varModel.model.IModelElement parent)
                                                                                   throws net.ssehub.easy.dslCore.translation.TranslatorException

Process a multiplicative expression and turn it into a feature call.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processUnaryExpression

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processUnaryExpression(UnaryExpression expr,
                                                                                 TypeContext context,
                                                                                 net.ssehub.easy.varModel.model.IModelElement parent)
                                                                          throws net.ssehub.easy.dslCore.translation.TranslatorException

Process a unary expression and turn it into a feature call.

Parameters:: expr - the expression to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the expr must be terminated abnormally

processFeatureCall

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processFeatureCall(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs,
                                                                             FeatureCall call,
                                                                             TypeContext context,
                                                                             net.ssehub.easy.varModel.model.IModelElement parent)
                                                                      throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes a feature call. This method allows to work with an empty lhs in case of a "context less method call" such as max(1, 2) or with a given lhs, e.g. for s.size();

Parameters:: lhs - the operand expression (may be null as described above); call - the call to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the lhs must be terminated abnormally

processFeatureCallImpl

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processFeatureCallImpl(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs,
                                                                                 ActualArgumentList call,
                                                                                 TypeContext context,
                                                                                 net.ssehub.easy.varModel.model.IModelElement parent,
                                                                                 boolean checkOclCompliance)
                                                                          throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes a feature call. This method allows to work with an empty lhs in case of a "context less method call" such as max(1, 2) or with a given lhs, e.g. for s.size();

Parameters:: lhs - the operand expression (may be null as described above); call - the call to be processed; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created; checkOclCompliance - check for OCL compliance of this call, i.e., -> vs .
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the lhs must be terminated abnormally

processArgument

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processArgument(net.ssehub.easy.varModel.model.datatypes.IDatatype lhsType,
                                                                          ActualArgument arg,
                                                                          TypeContext context,
                                                                          net.ssehub.easy.varModel.model.IModelElement parent)
                                                                   throws net.ssehub.easy.dslCore.translation.TranslatorException

Process an argument and returns a (named) expression.

Parameters:: lhsType - the left hand side type (optional, may be null); arg - the argument expression; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the (named) expression
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the expression cannot be translated for some reason

checkForCompoundElement
```
private void checkForCompoundElement(net.ssehub.easy.varModel.model.datatypes.Compound comp,
                                     java.lang.String name,
                                     ActualArgumentList call)
                              throws net.ssehub.easy.dslCore.translation.TranslatorException
```
Checks for an existing compound element name in comp and throws an exception if that element does not exist. This method is used to check whether a compound access overlaps with an operation name.

Parameters:

comp - the compound to check

name - the name of the element

call - the causing call

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - an exception in case that the element does not exist (and in this specific case clashes with an operation call of the same name

processDeclaration

private void processDeclaration(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs,
                                ContainerOp op,
                                TypeContext context,
                                net.ssehub.easy.varModel.model.IModelElement parent,
                                Declaration declaration,
                                java.util.List<net.ssehub.easy.varModel.model.DecisionVariableDeclaration> declarators)
                         throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes a valid declaration.

Parameters:: lhs - the operand expression the container operation runs on; op - the container operation; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created; declaration - the declaration to be processed; declarators - the declarators to be modified as a side effect
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the lhs must be terminated abnormally

processContainerOp

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree processContainerOp(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree lhs,
                                                                             ContainerOp op,
                                                                             TypeContext context,
                                                                             net.ssehub.easy.varModel.model.IModelElement parent)
                                                                      throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes a container operation. Fallback resolution to usual operations for non-iterating container operations and fallback to unqualified iterator expressions.

Parameters:: lhs - the operand expression the container operation runs on; op - the container operation; context - the type context to be considered; parent - the actual (intended) parent of the constraint to be created
Returns:: the expression as a parsed syntax tree
Throws:: net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the lhs must be terminated abnormally

getAccessor

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree getAccessor(java.util.List<ActualArgument> args,
                                                                      net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)

Extracts a compound accessor/slot name from the given arguments.

Parameters:: args - the arguments; decl - the binding declarator
Returns:: the accessor, may be null if there is none