io.sarl.lang.validation.subvalidators
Class SARLBehaviorUnitValidator
All Superinterfaces:
org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor
class SARLBehaviorUnitValidator
extends AbstractSARLSubValidator
A specialized validator to deal with behavior units and event handlers.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
Since:
0.14
Property Summary
Inherited: associations, expressionHelper, featureNameValidator, grammarAccess, immutableTypeValidator, inheritanceHelper, logicalContainerProvider, operationHelper, readAndWriteTracking, sarlActionSignatures, services, typeReferences, visibilityModifiers
Constructor Summary
Constructor and description
new
Action Summary
Modifier and type Action and description
void checkBehaviorUnitEventType(SarlBehaviorUnit)
Check if the parameter of the behavior unit is an event.
void checkBehaviorUnitGuardType(SarlBehaviorUnit)
Check the type of the behavior unit's guard.
void checkUnmodifiableEventAccess(SarlBehaviorUnit)
Check for usage of the event functions in the behavior units.
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), 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
checkBehaviorUnitEventType(SarlBehaviorUnit) 
def checkBehaviorUnitEventType(SarlBehaviorUnit)
Check if the parameter of the behavior unit is an event.
Parameters:
behaviorUnit - the behavior unit to test.
checkBehaviorUnitGuardType(SarlBehaviorUnit) 
def checkBehaviorUnitGuardType(SarlBehaviorUnit)
Check the type of the behavior unit's guard.
Parameters:
behaviorUnit - the behavior unit.
checkUnmodifiableEventAccess(SarlBehaviorUnit) 
def checkUnmodifiableEventAccess(SarlBehaviorUnit)
Check for usage of the event functions in the behavior units.
Parameters:
unit - the unit to analyze.