io.sarl.lang.validation.subvalidators
Class SARLTypeValidator
All Superinterfaces:
org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor
class SARLTypeValidator
extends AbstractSARLSubValidatorWithParentLink
A specialized validator to deal with SARL types.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
Since:
0.14
Property Summary
Inherited: associations, expressionHelper, featureNameValidator, grammarAccess, immutableTypeValidator, inheritanceHelper, logicalContainerProvider, operationHelper, parentValidator, readAndWriteTracking, sarlActionSignatures, services, typeReferences, visibilityModifiers
Constructor Summary
Constructor and description
new
Action Summary
Modifier and type Action and description
void checkArtifactUse(SarlArtifact)
Artifact keyword is reserved.
void checkCapacityFeatures(SarlCapacity)
Check if a capacity has a feature defined inside.
void checkContainerType(SarlAgent)
Check the container for the SARL agents.
void checkContainerType(SarlBehavior)
Check the container for the SARL behaviors.
void checkContainerType(SarlCapacity)
Check the container for the SARL capacities.
void checkContainerType(SarlEvent)
Check if the modifiers for the SARL events.
void checkContainerType(SarlSkill)
Check the container for the SARL skills.
void checkDispatchFunctions(XtendClass)
Check if the dispatch functions in the given class.
void checkEventTypeParameters(SarlEvent)
Check the type parameters of the event.
void checkJavaKeywordConflict(XtendClass)
Check the usage of JAva keywords as names.
void checkJavaKeywordConflict(XtendInterface)
Check the usage of JAva keywords as names..
void checkJavaKeywordConflict(XtendTypeDeclaration)
Check the usage of JAva keywords as names.
void checkSpaceUse(SarlSpace)
Space keyword is reserved.
void checkTypeParameterForwardReferences(XtendClass)
Check the type parameters for a class.
void checkTypeParameterForwardReferences(XtendInterface)
Check the type parameters for an interface.
Inherited: canonicalName(EObject), canonicalName(LightweightTypeReference), checkNoJavaKeyword(EObject,EAttribute), doCheckValidMemberName(XtendMember), getActualType(EObject,JvmIdentifiableElement), getActualType(JvmIdentifiableElement), getActualType(XExpression), getAllFeatureCalls(XExpression), getAssociations, getDeclaratorName(JvmFeature), getExpectedType(XExpression), getExpressionHelper, getFeatureNameValidator, getGrammarAccess, getImmutableTypeValidator, getInheritanceHelper, getIssueSeverities(Map<K,V>,EObject), getLogicalContainerProvider, getNameOfTypes(LightweightTypeReference), getOperationHelper, getOutermostType(XtendMember), getParamTypeReferences(JvmExecutable,boolean,boolean), getParentValidator, getReadAndWriteTracking, getRootOfMemberFeatureCallSequence(EObject,EObject,Procedure1<Param>), getSarlActionSignatures, getServices, getTypeReferences, getVisibilityModifiers, isAOConstructorContainer(XtendTypeDeclaration), isAOContainer(XtendTypeDeclaration), isIgnored(String,EObject), isImmutable(EObject), isLocallyAssigned(EObject,EObject), isReallyDisallowedName(QualifiedName), isTypeFreeExpression(XExpression), memberName(XtendField), memberName(XtendFunction), register(EValidatorRegistrar), toLightweightTypeReference(JvmTypeReference), toLightweightTypeReference(JvmTypeReference,boolean), typeName(XtendTypeDeclaration)
Constructor Details
new
new
Action Details
checkArtifactUse(SarlArtifact)
def checkArtifactUse(SarlArtifact)
Artifact keyword is reserved.
Parameters:
artifact - the artifact to check.
checkCapacityFeatures(SarlCapacity)
def checkCapacityFeatures(SarlCapacity)
Check if a capacity has a feature defined inside.
Parameters:
capacity - the capacity to test.
checkContainerType(SarlAgent)
def checkContainerType(SarlAgent)
Check the container for the SARL agents.
Parameters:
agent - the agent.
checkContainerType(SarlBehavior)
def checkContainerType(SarlBehavior)
Check the container for the SARL behaviors.
Parameters:
behavior - the behavior.
checkContainerType(SarlCapacity)
def checkContainerType(SarlCapacity)
Check the container for the SARL capacities.
Parameters:
capacity - the capacity.
checkContainerType(SarlEvent)
def checkContainerType(SarlEvent)
Check if the modifiers for the SARL events.
Parameters:
event - the event.
checkContainerType(SarlSkill)
def checkContainerType(SarlSkill)
Check the container for the SARL skills.
Parameters:
skill - the skill.
checkDispatchFunctions(XtendClass)
def checkDispatchFunctions(XtendClass)
Check if the dispatch functions in the given class.
Parameters:
clazz - the class to test.
checkEventTypeParameters(SarlEvent)
def checkEventTypeParameters(SarlEvent)
Check the type parameters of the event.
Parameters:
event - the event to check.
checkJavaKeywordConflict(XtendClass)
def checkJavaKeywordConflict(XtendClass)
Check the usage of JAva keywords as names.
Parameters:
member - the member to check.
checkJavaKeywordConflict(XtendInterface)
def checkJavaKeywordConflict(XtendInterface)
Check the usage of JAva keywords as names..
Parameters:
member - the member to check.
checkJavaKeywordConflict(XtendTypeDeclaration)
def checkJavaKeywordConflict(XtendTypeDeclaration)
Check the usage of JAva keywords as names.
Parameters:
member - the member to check.
checkSpaceUse(SarlSpace)
def checkSpaceUse(SarlSpace)
Space keyword is reserved.
Parameters:
space - the space to check.
checkTypeParameterForwardReferences(XtendClass)
def checkTypeParameterForwardReferences(XtendClass)
Check the type parameters for a class.
Parameters:
xtendClass - the type to check.
checkTypeParameterForwardReferences(XtendInterface)
def checkTypeParameterForwardReferences(XtendInterface)
Check the type parameters for an interface.
Parameters:
xtendInterface - the type to check.