de.uni_hildesheim.sse.translation

Class ModelTranslator

java.lang.Object

net.ssehub.easy.dslCore.translation.MessageReceiver

net.ssehub.easy.dslCore.translation.ModelTranslator<ExpressionTranslator>

de.uni_hildesheim.sse.translation.ModelTranslator

All Implemented Interfaces:

net.ssehub.easy.dslCore.translation.IMessageReceiver

public class ModelTranslator
extends net.ssehub.easy.dslCore.translation.ModelTranslator<ExpressionTranslator>

Implements a ECore-to-IVML translator. Please note that errors which occur during translation are not signalled as individual exceptions but collected and accessible through ModelTranslator.getMessage(int).

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	ModelTranslator.EvalBlockResult Temporary result of evalu block processing.
static class	ModelTranslator.Result Implements a translation result enabling deferred model loading.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<AttrAssignment,net.ssehub.easy.varModel.model.AttributeAssignment>	assignmentMapping
private java.util.Map<TypedefCompound,net.ssehub.easy.varModel.model.datatypes.Compound>	compoundMapping
private java.util.Set<org.eclipse.emf.ecore.EObject>	definitionsProcessed
private DerivedTypeMetaCompoundAccessVisitor	derivedTypeVisitor
private ExpressionTranslator	expressionTranslator Contains an expression translator instance.
private net.ssehub.easy.basics.modelManagement.IModelProcessingListener<net.ssehub.easy.varModel.model.Project>	onLoadMsgCleanupListener
private java.util.Map<TypedefMapping,net.ssehub.easy.varModel.model.datatypes.DerivedDatatype>	typedefMapping
private java.util.Map<VariableDeclarationPart,net.ssehub.easy.varModel.model.DecisionVariableDeclaration>	varMapping

Constructor Summary

Constructors

Constructor and Description
ModelTranslator() Creates a model translator instance.

Method Summary

Modifier and Type	Method and Description
private void	alreadyDefinedError(java.lang.String name, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature) Emits an already defined error.
private void	assignComments(net.ssehub.easy.varModel.model.StructuredComment target, java.util.List<?> elements, java.util.List<net.ssehub.easy.varModel.model.Comment> comments, net.ssehub.easy.varModel.model.IModelElement parent) Assigns the comments in comments to the corresponding model elements in elements.
private void	assignProjectComment(net.ssehub.easy.varModel.model.Project project, java.lang.Object element, net.ssehub.easy.varModel.model.Comment comment) Assigns a comment to an element directly assigned to a project and ensures the existence the structured comment for the project if required.
private boolean	attributeAssignmentsResolvable(java.util.List<AttrAssignment> attrAssignments, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean force) Returns whether the assignments in attrAssignments can be resolved in the given context and the given parent container.
private void	checkCompound(de.uni_hildesheim.sse.ivml.Project eProject, net.ssehub.easy.varModel.model.datatypes.Compound cmp, java.util.Map<net.ssehub.easy.varModel.model.datatypes.Compound,TypedefCompound> cmpMapping, java.util.Map<java.lang.String,net.ssehub.easy.varModel.model.DecisionVariableDeclaration> done) Checks the given compound.
private void	checkCompounds(de.uni_hildesheim.sse.ivml.Project eProject, net.ssehub.easy.varModel.model.Project project) Checks the compounds in this project.
private void	checkDefaultParamSequence(OpDefStatement op, net.ssehub.easy.varModel.model.DecisionVariableDeclaration[] param) Checks the sequence of default and non-default parameters.
(package private) void	completeLoading(ResultEntry entry) Complete loading of a given model.
ModelTranslator.Result	createEmptyResult() Creates an empty result for failure cases.
ModelTranslator.Result	createModel(VariabilityUnit unit, java.net.URI uri, boolean registerSuccessful, net.ssehub.easy.basics.modelManagement.ImportResolver<net.ssehub.easy.varModel.model.Project> impResolver) Creates a variability model from a given variability unit.
private ResultEntry	createProject(de.uni_hildesheim.sse.ivml.Project project, java.net.URI uri, boolean registerSuccessful, java.util.List<de.uni_hildesheim.sse.ivml.Project> inProgress, net.ssehub.easy.basics.modelManagement.ImportResolver<net.ssehub.easy.varModel.model.Project> impResolver) Creates a variability model from a given ECore representation of a project.
private net.ssehub.easy.varModel.model.StructuredComment	createStructuredComment(org.eclipse.emf.ecore.EObject object, TypeContext context, java.util.List<net.ssehub.easy.varModel.model.Comment> comments) Creates a structured comment for the given object in context depending on the contents of comments, i.e. whether there are comments or not.
(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.
private boolean	findOperation(net.ssehub.easy.varModel.model.datatypes.IDatatype datatype, net.ssehub.easy.varModel.model.datatypes.Operation operation, boolean considerOperand) Finds an operation on a given datatype.
private net.ssehub.easy.varModel.model.Comment	handleBasicComment(org.eclipse.emf.ecore.EObject object, TypeContext context) Handles the comments assigned to the EMF AST element object.
protected net.ssehub.easy.varModel.model.Attribute	processAnnotation(AnnotateTo annotation, java.lang.String name, TypeContext context, net.ssehub.easy.varModel.model.Attribute initial) Processes the annotation of name.
protected void	processAnnotation(AnnotateTo annotation, TypeContext context) Processes an annotation.
private boolean	processAttributeAssignment(AttrAssignment assgn, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean process, boolean force) Processes an attribute assignment.
private void	processAttributeAssignmentExpressions(java.util.List<AttrAssignment> assignments, TypeContext context) Processes all the expressions of attribute assignments.
private void	processAttributeAssignments(java.util.List<AttrAssignment> assignments, TypeContext context, boolean force) Resolves attribute assignments.
private boolean	processCompound(TypedefCompound tcomp, TypeContext context, boolean force) Processes a compound definition.
protected void	processConflict(ConflictStmt conflictStmt, TypeContext context) Processes a conflict statement including import restrictions.
private void	processDefinitions(java.util.List<Typedef> typedefs, java.util.List<VariableDeclaration> vardecls, java.util.List<AttrAssignment> assignments, TypeContext context, boolean force) Resolve dependencies among type definitions and resolve types in proper sequence.
private void	processEnum(TypedefEnum tenum, TypeContext context) Processes an enum definition.
private ModelTranslator.EvalBlockResult	processEval(Eval eval, net.ssehub.easy.varModel.model.IModelElement parent, TypeContext context) Process an eval block.
protected void	processEval(Eval eval, TypeContext context, net.ssehub.easy.varModel.model.datatypes.Compound compound) Processes an evaluation block.
private void	processExpressions(java.util.List<Typedef> typedefs, java.util.List<AttrAssignment> assignments, java.util.List<ExpressionStatement> exprs, TypeContext context) Processes all expressions at once and delegates to further processing methods.
void	processExpressionStatement(ExpressionStatement statement, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean internal) Processes an expression statement and adds the result to the project in context.
protected void	processFreeze(Freeze freeze, TypeContext context) Processes a freeze block.
protected void	processImport(ImportStmt importStmt, TypeContext context) Processes an import statement including import restrictions.
protected void	processInterface(InterfaceDeclaration eIface, TypeContext context) Processes an interface.
private boolean	processMapping(TypedefMapping tmapping, TypeContext context, boolean force) Processes a typdef (type mapping).
protected boolean	processOpdef(OpDefStatement op, TypeContext context, boolean force) Processes a custom operation definition and adds it to the type context.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	processOpDefImpl(OpDefStatement op, TypeContext context, net.ssehub.easy.varModel.model.IModelElement parent) Processes an operation definition implementation.
private void	processOpDefs(java.util.List<OpDefStatement> opDefs, TypeContext context) Resolve dependencies among operation definitions in proper sequence.
private void	processOpDefs(java.util.List<OpDefStatement> opDefs, TypeContext context, boolean force) Resolves operation definitions.
private void	processTypeDefExpressions(java.util.List<Typedef> typedefs, TypeContext context) Processes all the expressions of type definitions.
private void	processTypedefs(java.util.List<Typedef> compounds, TypeContext context, boolean force) Resolves compound type definitions.
private boolean	processVariableDeclaration(VariableDeclaration decl, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer container, boolean process, boolean force) Process variable declaration decl add IVML object model instances to project or compound.
private void	processVars(java.util.List<VariableDeclaration> vars, TypeContext context, boolean force) Resolves variable declarations.
private void	resolveAssignments(java.util.List<AttrAssignment> attrAssignments, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean force) Resolves the given assignments in attrAssignments.
private void	resolveDeclarations(java.util.List<VariableDeclaration> varDecls, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean force) Resolves the given declarations in varDecl.
private void	resolveImports(de.uni_hildesheim.sse.ivml.Project input, net.ssehub.easy.varModel.model.Project project, java.net.URI uri, java.util.List<de.uni_hildesheim.sse.ivml.Project> inProgress, net.ssehub.easy.basics.modelManagement.ImportResolver<net.ssehub.easy.varModel.model.Project> impResolver, boolean transitiveLoading) Resolve the imports.
private java.lang.String	toString(java.util.List<VariableDeclarationPart> parts) Turns variable declaration parts into strings for debugging.
private static java.lang.String	unqualified(net.ssehub.easy.varModel.model.datatypes.IDatatype type) Returns the unqualified name of type.
private boolean	variableDeclarationsResolvable(java.util.List<VariableDeclaration> varDecls, TypeContext context, net.ssehub.easy.varModel.model.IDecisionVariableContainer parent, boolean force) Returns whether the declarations in varDecl can be resolved in the given context and the given parent container.
(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.ModelTranslator

collect, copy, error, error, getErrorCount, getExpressionTranslator, getMessage, getMessageCount, select, 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

compoundMapping

private java.util.Map<TypedefCompound,net.ssehub.easy.varModel.model.datatypes.Compound> compoundMapping

assignmentMapping

private java.util.Map<AttrAssignment,net.ssehub.easy.varModel.model.AttributeAssignment> assignmentMapping

varMapping

private java.util.Map<VariableDeclarationPart,net.ssehub.easy.varModel.model.DecisionVariableDeclaration> varMapping

typedefMapping

private java.util.Map<TypedefMapping,net.ssehub.easy.varModel.model.datatypes.DerivedDatatype> typedefMapping

definitionsProcessed

private java.util.Set<org.eclipse.emf.ecore.EObject> definitionsProcessed

derivedTypeVisitor

private DerivedTypeMetaCompoundAccessVisitor derivedTypeVisitor

onLoadMsgCleanupListener

private net.ssehub.easy.basics.modelManagement.IModelProcessingListener<net.ssehub.easy.varModel.model.Project> onLoadMsgCleanupListener

expressionTranslator

private ExpressionTranslator expressionTranslator

Contains an expression translator instance. Expression are realized in an own class due to separation of concerns.

Constructor Detail

ModelTranslator

public ModelTranslator()

Creates a model translator instance.

Method Detail

createModel

public ModelTranslator.Result createModel(VariabilityUnit unit,
                                          java.net.URI uri,
                                          boolean registerSuccessful,
                                          net.ssehub.easy.basics.modelManagement.ImportResolver<net.ssehub.easy.varModel.model.Project> impResolver)

Creates a variability model from a given variability unit. This is the top-level entry method.

Parameters:

unit - the variability unit to be translated

uri - the URI of the project to resolve (in order to find the closest project, may be null)

registerSuccessful - successfully created models shall be registered in VarModel

impResolver - the import resolver (may be null to use a new default import resolver)

Returns:

the corresponding variability model

createEmptyResult

public ModelTranslator.Result createEmptyResult()

Creates an empty result for failure cases.

Returns:

an empty result

handleBasicComment

private net.ssehub.easy.varModel.model.Comment handleBasicComment(org.eclipse.emf.ecore.EObject object,
                                                                  TypeContext context)

Handles the comments assigned to the EMF AST element object.

Parameters:

object - the EMF AST element to analyze

context - the parent context of the new comment in the IVML object model

Returns:

the resulting comment (may be null)

assignProjectComment

private void assignProjectComment(net.ssehub.easy.varModel.model.Project project,
                                  java.lang.Object element,
                                  net.ssehub.easy.varModel.model.Comment comment)

Assigns a comment to an element directly assigned to a project and ensures the existence the structured comment for the project if required.

Parameters:

project - the project to assign to

element - the element to assign to

comment - the comment to be assigned

createProject

private ResultEntry createProject(de.uni_hildesheim.sse.ivml.Project project,
                                  java.net.URI uri,
                                  boolean registerSuccessful,
                                  java.util.List<de.uni_hildesheim.sse.ivml.Project> inProgress,
                                  net.ssehub.easy.basics.modelManagement.ImportResolver<net.ssehub.easy.varModel.model.Project> impResolver)

Creates a variability model from a given ECore representation of a project. This method is intended as a second-level entry to the translation process.

Parameters:

project - the project to be translated.

uri - the URI of the project to resolve (in order to find the closest project, may be null)

registerSuccessful - successfully created models shall be registered in VarModel

inProgress - the projects currently being processed at once

impResolver - the import resolver to use (may be null to use a new default import resolver)

Returns:

the corresponding IVML project

checkCompounds

private void checkCompounds(de.uni_hildesheim.sse.ivml.Project eProject,
                            net.ssehub.easy.varModel.model.Project project)

Checks the compounds in this project.

Parameters:

eProject - the AST project instance to check (fallback for messages)

project - the corresponding IVML project instance

checkCompound

private void checkCompound(de.uni_hildesheim.sse.ivml.Project eProject,
                           net.ssehub.easy.varModel.model.datatypes.Compound cmp,
                           java.util.Map<net.ssehub.easy.varModel.model.datatypes.Compound,TypedefCompound> cmpMapping,
                           java.util.Map<java.lang.String,net.ssehub.easy.varModel.model.DecisionVariableDeclaration> done)

Checks the given compound. Due to the dynamic resolution sequence, we perform a post-check for hierarchical compound properties.

Parameters:

eProject - the AST project instance to check (fallback for messages)

cmp - the compound to check

cmpMapping - mapping between compounds and related AST objects for error identification

done - already known/checked slot declarations

completeLoading

void completeLoading(ResultEntry entry)

Complete loading of a given model.

Parameters:

entry - the result entry on which to complete loading

resolveImports

private void resolveImports(de.uni_hildesheim.sse.ivml.Project input,
                            net.ssehub.easy.varModel.model.Project project,
                            java.net.URI uri,
                            java.util.List<de.uni_hildesheim.sse.ivml.Project> inProgress,
                            net.ssehub.easy.basics.modelManagement.ImportResolver<net.ssehub.easy.varModel.model.Project> impResolver,
                            boolean transitiveLoading)

Resolve the imports.

Parameters:

input - the Ecore project representation

project - the target project

uri - the physical URI of the project

inProgress - the other projects being resolved at once (in order to avoid loops)

impResolver - the import resolver to use (may be null to use a new default import resolver)

transitiveLoading - with or without transitive loading (false = lazy, true = force)

processExpressionStatement

public void processExpressionStatement(ExpressionStatement statement,
                                       TypeContext context,
                                       net.ssehub.easy.varModel.model.IDecisionVariableContainer parent,
                                       boolean internal)
                                throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes an expression statement and adds the result to the project in context.

Parameters:

statement - the statement to process

context - the type context to be considered

parent - the actual (intended) parent of the constraint to be created

internal - whether the constraint to be created is internal (and shall not be visible to the user)

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the statement was terminated abnormally

processExpressions

private void processExpressions(java.util.List<Typedef> typedefs,
                                java.util.List<AttrAssignment> assignments,
                                java.util.List<ExpressionStatement> exprs,
                                TypeContext context)

Processes all expressions at once and delegates to further processing methods.

Parameters:

typedefs - the type definitions for which expressions shall be resolved

assignments - the attribute assignments for which expressions shall be resolved

exprs - the expressions to be resolved

context - the type resolution context

See Also:

processAttributeAssignmentExpressions(List, TypeContext), processTypeDefExpressions(List, TypeContext)

processTypeDefExpressions

private void processTypeDefExpressions(java.util.List<Typedef> typedefs,
                                       TypeContext context)

Processes all the expressions of type definitions.

Parameters:

typedefs - the type definitions for which expressions shall be resolved

context - the type resolution context

See Also:

processExpressions(List, List, List, TypeContext)

processAttributeAssignmentExpressions

private void processAttributeAssignmentExpressions(java.util.List<AttrAssignment> assignments,
                                                   TypeContext context)

Processes all the expressions of attribute assignments.

Parameters:

assignments - the attribute assignments for which expressions shall be resolved

context - the type resolution context

See Also:

processExpressions(List, List, List, TypeContext)

processDefinitions

private void processDefinitions(java.util.List<Typedef> typedefs,
                                java.util.List<VariableDeclaration> vardecls,
                                java.util.List<AttrAssignment> assignments,
                                TypeContext context,
                                boolean force)

Resolve dependencies among type definitions and resolve types in proper sequence.

Parameters:

typedefs - the type definitions

vardecls - the variable declarations

assignments - the assignments

context - the type resolution context

force - if creation (and related errors) shall be forced or just tested and created on best-effort

processOpDefs

private void processOpDefs(java.util.List<OpDefStatement> opDefs,
                           TypeContext context)

Resolve dependencies among operation definitions in proper sequence.

Parameters:

opDefs - the operation definitions

context - the type resolution context

processOpDefs

private void processOpDefs(java.util.List<OpDefStatement> opDefs,
                           TypeContext context,
                           boolean force)

Resolves operation definitions.

Parameters:

opDefs - the operation definitions to be resolved (to be modified as a side effect)

context - the type context

force - if creation (and related errors) shall be forced or just tested

processTypedefs

private void processTypedefs(java.util.List<Typedef> compounds,
                             TypeContext context,
                             boolean force)

Resolves compound type definitions.

Parameters:

compounds - the compounds to be resolved (to be modified as a side effect)

context - the type context

force - if creation (and related errors) shall be forced or just tested

processVars

private void processVars(java.util.List<VariableDeclaration> vars,
                         TypeContext context,
                         boolean force)

Resolves variable declarations.

Parameters:

vars - the variables types to be resolved (to be modified as a side effect)

context - the type context

force - if creation (and related errors) shall be forced

processAttributeAssignments

private void processAttributeAssignments(java.util.List<AttrAssignment> assignments,
                                         TypeContext context,
                                         boolean force)

Resolves attribute assignments.

Parameters:

assignments - the attribute assignments to be resolved (to be modified as a side effect)

context - the type context

force - if creation (and related errors) shall be forced

toString

private java.lang.String toString(java.util.List<VariableDeclarationPart> parts)

Turns variable declaration parts into strings for debugging.

Parameters:

parts - the parts

Returns:

the names

processVariableDeclaration

private boolean processVariableDeclaration(VariableDeclaration decl,
                                           TypeContext context,
                                           net.ssehub.easy.varModel.model.IDecisionVariableContainer container,
                                           boolean process,
                                           boolean force)
                                    throws net.ssehub.easy.dslCore.translation.TranslatorException

Process variable declaration decl add IVML object model instances to project or compound.

Parameters:

decl - the variable declarations in the project

context - the resolution context

container - optional element to add the instances to instead of project

process - false if the declaration shall not be created but only tested first, true if creation should be done in case that the variable declaration can be processed

force - process anyway, don't test

Returns:

true if the base type is yet available and the remaining type resolution was done, false if this typedef can actually not be processed

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case of any problem during the translation

alreadyDefinedError

private void alreadyDefinedError(java.lang.String name,
                                 org.eclipse.emf.ecore.EObject object,
                                 org.eclipse.emf.ecore.EStructuralFeature feature)
                          throws net.ssehub.easy.dslCore.translation.TranslatorException

Emits an already defined error.

Parameters:

name - the already defined name

object - the causing Ecore object

feature - the causing feature

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - the corresponding exception always

processOpdef

protected boolean processOpdef(OpDefStatement op,
                               TypeContext context,
                               boolean force)
                        throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes a custom operation definition and adds it to the type context.

Parameters:

op - the operation definition

context - the type context to be considered

force - if creation (and related errors) shall be forced or just tested

Returns:

true if processing was successful, false if (typically) a function is called which is currently not defined.

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the statement must be terminated abnormally

unqualified

private static java.lang.String unqualified(net.ssehub.easy.varModel.model.datatypes.IDatatype type)

Returns the unqualified name of type.

Parameters:

type - the type

Returns:

the unqualified name

checkDefaultParamSequence

private void checkDefaultParamSequence(OpDefStatement op,
                                       net.ssehub.easy.varModel.model.DecisionVariableDeclaration[] param)

Checks the sequence of default and non-default parameters.

Parameters:

op - the operation declaration

param - the parameters to check

processOpDefImpl

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

Processes an operation definition implementation.

Parameters:

op - the operation definition

context - the type context

parent - the parent model element

Returns:

the implementing constraint syntax tree

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the op must be terminated abnormally

processInterface

protected void processInterface(InterfaceDeclaration eIface,
                                TypeContext context)

Processes an interface. In case of success, the interface will be added to the project in context.

Parameters:

eIface - the interface to be processed

context - the type context to be considered

processAnnotation

protected void processAnnotation(AnnotateTo annotation,
                                 TypeContext context)

Processes an annotation. In case of success, the annotation will be applied.

Parameters:

annotation - the interface to be processed

context - the type context to be considered

processAnnotation

protected net.ssehub.easy.varModel.model.Attribute processAnnotation(AnnotateTo annotation,
                                                                     java.lang.String name,
                                                                     TypeContext context,
                                                                     net.ssehub.easy.varModel.model.Attribute initial)

Processes the annotation of name. In case of success, the annotation will be applied.

Parameters:

annotation - the annotation to be processed

name - the name of the annotated element

context - the type context to be considered

initial - the initial attribute created in series

Returns:

the created attribute or null

findOperation

private boolean findOperation(net.ssehub.easy.varModel.model.datatypes.IDatatype datatype,
                              net.ssehub.easy.varModel.model.datatypes.Operation operation,
                              boolean considerOperand)

Finds an operation on a given datatype.

Parameters:

datatype - the datatype to search for

operation - the operation to be searched for

considerOperand - whether the operand of the operations defined in datatype should be considered as first parameter of operation, used to match the implicit project parameter for ambigous operation checking

Returns:

true if the operation was found, false else

processEnum

private void processEnum(TypedefEnum tenum,
                         TypeContext context)
                  throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes an enum definition.

Parameters:

tenum - the type definition for the enum

context - the type context to be considered

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the statement must be terminated abnormally

processCompound

private boolean processCompound(TypedefCompound tcomp,
                                TypeContext context,
                                boolean force)
                         throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes a compound definition.

Parameters:

tcomp - the type definition for the compound

context - the type context to be considered

force - creation, don't check before

Returns:

true if the base type is yet available and the remaining type resolution was done, false if this typedef can actually not be processed

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the tcomp must be terminated abnormally due to type problems

processAttributeAssignment

private boolean processAttributeAssignment(AttrAssignment assgn,
                                           TypeContext context,
                                           net.ssehub.easy.varModel.model.IDecisionVariableContainer parent,
                                           boolean process,
                                           boolean force)
                                    throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes an attribute assignment.

Parameters:

assgn - the attribute assignment

context - the type context to be considered

parent - the parent container

process - the assignment or do only type resolution

force - creation, don't check before

Returns:

true if the base types is yet available and the remaining type resolution was done, false if this assignment can actually not be processed

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the assgn must be terminated abnormally due to type problems

variableDeclarationsResolvable

private boolean variableDeclarationsResolvable(java.util.List<VariableDeclaration> varDecls,
                                               TypeContext context,
                                               net.ssehub.easy.varModel.model.IDecisionVariableContainer parent,
                                               boolean force)
                                        throws net.ssehub.easy.dslCore.translation.TranslatorException

Returns whether the declarations in varDecl can be resolved in the given context and the given parent container.

Parameters:

varDecls - the variable declarations to be resolved

context - the type context

parent - the parent the varDecls shall be inserted into

force - creation, don't check before

Returns:

true if the declarations are resolvable, false else

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case of type problems, resolution problems or type incompatibilities

attributeAssignmentsResolvable

private boolean attributeAssignmentsResolvable(java.util.List<AttrAssignment> attrAssignments,
                                               TypeContext context,
                                               net.ssehub.easy.varModel.model.IDecisionVariableContainer parent,
                                               boolean force)
                                        throws net.ssehub.easy.dslCore.translation.TranslatorException

Returns whether the assignments in attrAssignments can be resolved in the given context and the given parent container.

Parameters:

attrAssignments - the assignments to be resolved

context - the type context

parent - the parent the varDecls shall be inserted into

force - creation, don't check before

Returns:

true if the declarations are resolvable, false else

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case of type problems, resolution problems or type incompatibilities

resolveDeclarations

private void resolveDeclarations(java.util.List<VariableDeclaration> varDecls,
                                 TypeContext context,
                                 net.ssehub.easy.varModel.model.IDecisionVariableContainer parent,
                                 boolean force)
                          throws net.ssehub.easy.dslCore.translation.TranslatorException

Resolves the given declarations in varDecl.

Parameters:

varDecls - the variable declarations to be resolved

context - the type context

parent - the parent the varDecls shall be inserted into

force - creation, don't check before

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case of type problems, resolution problems or type incompatibilities

resolveAssignments

private void resolveAssignments(java.util.List<AttrAssignment> attrAssignments,
                                TypeContext context,
                                net.ssehub.easy.varModel.model.IDecisionVariableContainer parent,
                                boolean force)
                         throws net.ssehub.easy.dslCore.translation.TranslatorException

Resolves the given assignments in attrAssignments.

Parameters:

attrAssignments - the assignments to be resolved

context - the type context

parent - the parent the attrAssignments shall be inserted into

force - creation, don't check before

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case of type problems, resolution problems or type incompatibilities

processMapping

private boolean processMapping(TypedefMapping tmapping,
                               TypeContext context,
                               boolean force)
                        throws net.ssehub.easy.dslCore.translation.TranslatorException

Processes a typdef (type mapping).

Parameters:

tmapping - the type mapping definition

context - the type context to be considered

force - if creation (and related errors) shall be forced or just tested

Returns:

true if the base type is yet available and the remaining type resolution was done, false if this typedef can actually not be processed

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case that the processing of the statement must be terminated abnormally

processEval

protected void processEval(Eval eval,
                           TypeContext context,
                           net.ssehub.easy.varModel.model.datatypes.Compound compound)

Processes an evaluation block. In case of errors the respective element is not added to the resulting project.

Parameters:

eval - the evaluation block

context - the context for type resolution

compound - optional compound to add the eval block to, null for adding it to the actual project in context

processEval

private ModelTranslator.EvalBlockResult processEval(Eval eval,
                                                    net.ssehub.easy.varModel.model.IModelElement parent,
                                                    TypeContext context)

Process an eval block.

Parameters:

eval - the evaluation block

parent - the parent element

context - the context for type resolution

Returns:

result of processing an eval block

processFreeze

protected void processFreeze(Freeze freeze,
                             TypeContext context)

Processes a freeze block. In case of errors the respective element is not added to the resulting project.

Parameters:

freeze - the freeze block

context - the type context to be considered

createStructuredComment

private net.ssehub.easy.varModel.model.StructuredComment createStructuredComment(org.eclipse.emf.ecore.EObject object,
                                                                                 TypeContext context,
                                                                                 java.util.List<net.ssehub.easy.varModel.model.Comment> comments)

Creates a structured comment for the given object in context depending on the contents of comments, i.e. whether there are comments or not.

Parameters:

object - the EObject to create the comment for

context - the type context to assign the created context to

comments - the comments to consider

Returns:

the created comment object or null

assignComments

private void assignComments(net.ssehub.easy.varModel.model.StructuredComment target,
                            java.util.List<?> elements,
                            java.util.List<net.ssehub.easy.varModel.model.Comment> comments,
                            net.ssehub.easy.varModel.model.IModelElement parent)

Assigns the comments in comments to the corresponding model elements in elements.

Parameters:

target - the structured comment to store the mapping in

elements - the elements to be assigned to the comments

comments - the comments (must be of same size)

parent - the explicit parent element of the comments

processImport

protected void processImport(ImportStmt importStmt,
                             TypeContext context)

Processes an import statement including import restrictions. In case of errors the respective element is not added to the resulting project.

Parameters:

importStmt - the import statement

context - the type context to be considered

processConflict

protected void processConflict(ConflictStmt conflictStmt,
                               TypeContext context)

Processes a conflict statement including import restrictions. In case of errors the respective element is not added to the resulting project.

Parameters:

conflictStmt - the conflict statement

context - the type context to be considered

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