de.uni_hildesheim.sse.buildLanguageTranslation

Class AbstractModelTranslator.RuleTranslator

java.lang.Object

de.uni_hildesheim.sse.buildLanguageTranslation.AbstractModelTranslator.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,Rule>

de.uni_hildesheim.sse.buildLanguageTranslation.AbstractModelTranslator.RuleTranslator

Enclosing class:

AbstractModelTranslator<M extends Script,L extends de.uni_hildesheim.sse.vilBuildLanguage.LanguageUnit>

protected class AbstractModelTranslator.RuleTranslator
extends AbstractModelTranslator.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,Rule>

Implements a translator for VIL rules.

Author:

Holger Eichelberger

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RuleTranslator() Creates the translator.

Method Summary

Modifier and Type	Method and Description
protected void	addRule(M script, Rule rule) Adds the given rule to the
protected Rule	createRule(de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration ruleDecl, TypeDescriptor<?> returnType, VariableDeclaration[] params, M parent) Creates a specific rule from the given declaration, parameters and parent.
protected de.uni_hildesheim.sse.vilBuildLanguage.RuleElementBlock	getBlock(de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration ruleDecl) Returns the actual rule block.
protected java.lang.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(de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration ruleDecl) Returns the actual parameter list.
protected TypeDescriptor<?>	getReturnType(de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration ruleDecl, Resolver resolver) Returns the result type of the given ruleDecl.
protected de.uni_hildesheim.sse.vilBuildLanguage.RuleConditions	getRuleConditions(de.uni_hildesheim.sse.vilBuildLanguage.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 Detail

RuleTranslator

protected RuleTranslator()

Creates the translator.

Method Detail

addRule

protected void addRule(M script,
                       Rule rule)

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Adds the given rule to the

Specified by:

addRule in class AbstractModelTranslator.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,Rule>

createRule

protected Rule createRule(de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration ruleDecl,
                          TypeDescriptor<?> returnType,
                          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.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,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 TypeDescriptor<?> getReturnType(de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration ruleDecl,
                                          Resolver resolver)
                                   throws TranslatorException

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the result type of the given ruleDecl.

Specified by:

getReturnType in class AbstractModelTranslator.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,Rule>

Parameters:

ruleDecl - the rule declaration

resolver - the actual resolver instance

Returns:

the result type

Throws:

TranslatorException - in case that resolving the type fails

getParameterList

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

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the actual parameter list.

Specified by:

getParameterList in class AbstractModelTranslator.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,Rule>

Parameters:

ruleDecl - the rule declaration

Returns:

the parameter list of the rule declaration

getRuleConditions

protected de.uni_hildesheim.sse.vilBuildLanguage.RuleConditions getRuleConditions(de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration ruleDecl)

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the actual rule conditions.

Specified by:

getRuleConditions in class AbstractModelTranslator.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,Rule>

Parameters:

ruleDecl - the rule declaration

Returns:

the rule conditions of the rule declaration

getBlock

protected de.uni_hildesheim.sse.vilBuildLanguage.RuleElementBlock getBlock(de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration ruleDecl)

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the actual rule block.

Specified by:

getBlock in class AbstractModelTranslator.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,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.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,Rule>

Returns:

the name literal

getDisplayName

protected java.lang.String getDisplayName()

Description copied from class: AbstractModelTranslator.AbstractRuleTranslator

Returns the display name of the language concept being processed.

Specified by:

getDisplayName in class AbstractModelTranslator.AbstractRuleTranslator<de.uni_hildesheim.sse.vilBuildLanguage.RuleDeclaration,Rule>

Returns:

the display name