io.sarl.lang.validation.subvalidators
Class SARLScriptValidator
All Superinterfaces:
org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor
class SARLScriptValidator
extends AbstractSARLSubValidatorWithParentLink
A specialized validator to deal with SARL script without considering the defined elements inside.
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 checkClassPath(XtendFile)
Check if the correct SARL libraries are on the classpath.
void checkTopElementsAreUnique(SarlScript)
Check the top elements within a script are not duplicated.
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
checkClassPath(XtendFile) 
def checkClassPath(XtendFile)
Check if the correct SARL libraries are on the classpath.

This function is overriding the function given by the Xtend validator for having finer tests, and firing a warning in place of an error.
Parameters:
sarlScript - the SARL script.
checkTopElementsAreUnique(SarlScript) 
def checkTopElementsAreUnique(SarlScript)
Check the top elements within a script are not duplicated.
Parameters:
script - the SARL script