io.sarl.lang.pythongenerator.validator
Class PyValidator
@javax.inject.Singleton
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 IExtraLanguageConversionInitializer typeConverterInitializer
Inherited: context, extraLanguageKeywordProvider, featureNameConverter, typeConverter
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 IExtraLanguageConversionInitializer getTypeConverterInitializer
protected void initializeContext(Context)
void setPyGeneratorConfigurationProvider(IPyGeneratorConfigurationProvider)
Change the provider of the generator's configuration.
Inherited: collectMethods(Class<T>,Collection<E>,Collection<E>), createFeatureNameConverterInstance(IExtraLanguageConversionInitializer,IExtraLanguageGeneratorContext), createMethodWrapper(Method), createTypeConverterInstance(IExtraLanguageConversionInitializer,IExtraLanguageGeneratorContext), doCheckMemberFeatureCallMapping(XAbstractFeatureCall,Procedure3<P1,P2,P3>,Function2<P1,P2,Result>), doTypeMappingCheck(EObject,JvmType,Procedure3<P1,P2,P3>), error(String,EObject,EStructuralFeature), getContext, getExtraLanguageKeywordProvider, getFeatureNameConverter, getTypeConverter, handleInvocationTargetException(Throwable,Context), info(String,EObject,EStructuralFeature), isResponsible(Map<K,V>,EObject), setInjector(Injector), validate(StateAccess,ValidationMessageAcceptor), warning(String,EObject,EStructuralFeature)
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

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
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.