io.sarl.lang.pythongenerator.validator
Class PyValidator
class PyValidator
extends AbstractExtraLanguageValidator
The validator from SARL to the Python target language.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
pythongenerator
Since:
0.6
Property Summary
Modifier and type Property and description
protected java.lang.String errorMessageFormat
protected IExtraLanguageConversionInitializer featureConverterInitializer
protected ExtraLanguageSupportModule supportModule
Replies the support module for the initialization stage.
protected IExtraLanguageConversionInitializer typeConverterInitializer
Constructor Summary
Constructor and description
new(PyKeywordProvider)
Constructor.
Action Summary
Modifier and type Action and description
void checkImportsMapping(XImportDeclaration)
Check that import mapping are known.
void checkMemberFeatureCallMapping(XFeatureCall)
Check that member feature calls have a conversion mapping.
void checkMemberFeatureCallMapping(XMemberFeatureCall)
Check that member feature calls have a conversion mapping.
protected java.lang.String getErrorMessageFormat
protected IExtraLanguageConversionInitializer getFeatureConverterInitializer
protected ExtraLanguageSupportModule getSupportModule
Replies the support module for the initialization stage.
protected IExtraLanguageConversionInitializer getTypeConverterInitializer
protected void initializeContext(Context)
void setPyGeneratorConfigurationProvider(IPyGeneratorConfigurationProvider)
Change the provider of the generator's configuration.
Property Details
errorMessageFormat
protected val errorMessageFormat : java.lang.String

This property is an alias for the action: getErrorMessageFormat

featureConverterInitializer
protected val featureConverterInitializer : IExtraLanguageConversionInitializer

This property is an alias for the action: getFeatureConverterInitializer

supportModule
protected val supportModule : ExtraLanguageSupportModule
Replies the support module for the initialization stage.

This property is an alias for the action: getSupportModule

Returns:
the module, never null .
Since:
0.14
typeConverterInitializer
protected val typeConverterInitializer : IExtraLanguageConversionInitializer

This property is an alias for the action: getTypeConverterInitializer

Constructor Details
new(PyKeywordProvider)
new(PyKeywordProvider)
Constructor.
Parameters:
keywordProvider - the provider of Python keywords.
Action Details
checkImportsMapping(XImportDeclaration)
def checkImportsMapping(XImportDeclaration)
Check that import mapping are known.
Parameters:
importDeclaration - the declaration.
checkMemberFeatureCallMapping(XFeatureCall)
def checkMemberFeatureCallMapping(XFeatureCall)
Check that member feature calls have a conversion mapping.
Parameters:
featureCall - the feature call.
checkMemberFeatureCallMapping(XMemberFeatureCall)
def checkMemberFeatureCallMapping(XMemberFeatureCall)
Check that member feature calls have a conversion mapping.
Parameters:
featureCall - the feature call.
getErrorMessageFormat
protected def getErrorMessageFormat : java.lang.String
getFeatureConverterInitializer
protected def getFeatureConverterInitializer : IExtraLanguageConversionInitializer
getSupportModule
protected def getSupportModule : ExtraLanguageSupportModule
Replies the support module for the initialization stage.
Returns:
the module, never null .
Since:
0.14
getTypeConverterInitializer
protected def getTypeConverterInitializer : IExtraLanguageConversionInitializer
initializeContext(Context)
protected def initializeContext(Context)
setPyGeneratorConfigurationProvider(IPyGeneratorConfigurationProvider)
def setPyGeneratorConfigurationProvider(IPyGeneratorConfigurationProvider)
Change the provider of the generator's configuration.
Parameters:
provider - the provider.