io.sarl.lang.validation.subvalidators
Class SARLSynchronizationValidator
All Superinterfaces:
org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor
class SARLSynchronizationValidator
extends AbstractSARLSubValidator
A specialization of JvmGenericTypeValidator to deal with synchronization issues.
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 checkUnsynchronizedField(XtendField)
Check if a field needs to be synchronized.
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
checkUnsynchronizedField(XtendField) 
def checkUnsynchronizedField(XtendField)
Check if a field needs to be synchronized.
Parameters:
field - the field.
Since:
0.7