Package de.uni_hildesheim.sse.buildLanguageTranslation

Class AbstractModelTranslator.RuleTranslator

java.lang.Object

AbstractModelTranslator<M,L>.de.uni_hildesheim.sse.buildLanguageTranslation.AbstractModelTranslator.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

de.uni_hildesheim.sse.buildLanguageTranslation.AbstractModelTranslator.RuleTranslator

Enclosing class:

AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>

protected class AbstractModelTranslator.RuleTranslator
extends AbstractModelTranslator<M,L>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

Implements a translator for VIL rules.

Author:

Holger Eichelberger

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	RuleTranslator()	Creates the translator.

Method Summary

Modifier and Type	Method	Description
protected void	addRule(M script, net.ssehub.easy.instantiation.core.model.buildlangModel.Rule rule)	Adds the given rule to the
protected net.ssehub.easy.instantiation.core.model.buildlangModel.Rule	createRule(RuleDeclaration ruleDecl, net.ssehub.easy.instantiation.core.model.vilTypes.TypeDescriptor<?> returnType, net.ssehub.easy.instantiation.core.model.buildlangModel.VariableDeclaration[] params, M parent)	Creates a specific rule from the given declaration, parameters and parent.
protected RuleElementBlock	getBlock(RuleDeclaration ruleDecl)	Returns the actual rule block.
protected String	getDisplayName()	Returns the display name of the language concept being processed.
protected org.eclipse.emf.ecore.EStructuralFeature	getNameLiteral()	Returns the name literal.
protected de.uni_hildesheim.sse.vil.expressions.expressionDsl.ParameterList	getParameterList(RuleDeclaration ruleDecl)	Returns the actual parameter list.
protected net.ssehub.easy.instantiation.core.model.vilTypes.TypeDescriptor<?>	getReturnType(RuleDeclaration ruleDecl, net.ssehub.easy.instantiation.core.model.buildlangModel.Resolver resolver)	Returns the result type of the given ruleDecl.
protected RuleConditions	getRuleConditions(RuleDeclaration ruleDecl)	Returns the actual rule conditions.

Methods inherited from class de.uni_hildesheim.sse.buildLanguageTranslation.AbstractModelTranslator.AbstractRuleTranslator

getPostconditionLiteral, getPreconditionLiteral, processAdditionalRuleBodyElements, processRule, processRules

Methods inherited from class java.lang.Object

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

Constructor Details

RuleTranslator

protected RuleTranslator()

Creates the translator.

Method Details

addRule

protected void addRule(M script,
 net.ssehub.easy.instantiation.core.model.buildlangModel.Rule rule)

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Adds the given rule to the

Specified by:

addRule in class AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

createRule

protected net.ssehub.easy.instantiation.core.model.buildlangModel.Rule createRule(RuleDeclaration ruleDecl,
 net.ssehub.easy.instantiation.core.model.vilTypes.TypeDescriptor<?> returnType,
 net.ssehub.easy.instantiation.core.model.buildlangModel.VariableDeclaration[] params,
 M parent)

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Creates a specific rule from the given declaration, parameters and parent.

Specified by:

createRule in class AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

Parameters:

ruleDecl - the rule declaration

returnType - the desired return type

params - the resolved parameters

parent - the parent

Returns:

the specific rule, tactic or strategy (rt-VIL)

getReturnType

protected net.ssehub.easy.instantiation.core.model.vilTypes.TypeDescriptor<?> getReturnType(RuleDeclaration ruleDecl,
 net.ssehub.easy.instantiation.core.model.buildlangModel.Resolver resolver)
                                                                                     throws net.ssehub.easy.dslCore.translation.TranslatorException

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the result type of the given ruleDecl.

Specified by:

getReturnType in class AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

Parameters:

ruleDecl - the rule declaration

resolver - the actual resolver instance

Returns:

the result type

Throws:

net.ssehub.easy.dslCore.translation.TranslatorException - in case that resolving the type fails

getParameterList

protected de.uni_hildesheim.sse.vil.expressions.expressionDsl.ParameterList getParameterList(RuleDeclaration ruleDecl)

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the actual parameter list.

Specified by:

getParameterList in class AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

Parameters:

ruleDecl - the rule declaration

Returns:

the parameter list of the rule declaration

getRuleConditions

protected RuleConditions getRuleConditions(RuleDeclaration ruleDecl)

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the actual rule conditions.

Specified by:

getRuleConditions in class AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

Parameters:

ruleDecl - the rule declaration

Returns:

the rule conditions of the rule declaration

getBlock

protected RuleElementBlock getBlock(RuleDeclaration ruleDecl)

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the actual rule block.

Specified by:

getBlock in class AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

Parameters:

ruleDecl - the rule declaration

Returns:

the rule block of the rule declaration (may be null)

getNameLiteral

protected org.eclipse.emf.ecore.EStructuralFeature getNameLiteral()

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the name literal.

Specified by:

getNameLiteral in class AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

Returns:

the name literal

getDisplayName

protected String getDisplayName()

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the display name of the language concept being processed.

Specified by:

getDisplayName in class AbstractModelTranslator<M extends net.ssehub.easy.instantiation.core.model.buildlangModel.Script,L extends LanguageUnit>.AbstractRuleTranslator<RuleDeclaration,net.ssehub.easy.instantiation.core.model.buildlangModel.Rule>

Returns:

the display name