io.sarl.lang.validation
Class SARLValidator
All Superinterfaces:
ISARLValidator, org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor
All Known Subclasses:
Bug621Validator
class SARLValidator
extends AbstractSARLValidator
implements ISARLValidator
Validator for the SARL elements.

The check type may be one of:
  • FAST: is executed after a delay of 500ms after ANY editing action (type, enter, delete);
  • NORMAL: is executed after a build (manual, or automatic);
  • EXPENSIVE: is executed by right clicking ANYWHERE in the editor window and chooseing "Validate".
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
See:
"https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation"
Property Summary
Modifier and type Property and description
org.eclipse.xtext.xbase.typesystem.util.CommonTypeComputationServices services
Constructor Summary
Constructor and description
new
Action Summary
Modifier and type Action and description
void addIssue(String,EObject,String)
protected void checkAssignment(XExpression,EStructuralFeature,boolean)
protected void checkCast(JvmTypeReference,LightweightTypeReference,LightweightTypeReference)
void checkCasts(XCastedExpression)
void checkDeprecated(XImportDeclaration)
void doCheckFinalFieldInitialization(JvmGenericType,ValidationMessageAcceptor)
boolean doCheckValidSuperTypeArgumentDefinition(LightweightTypeReference,EObject,EStructuralFeature,int,boolean,ValidationMessageAcceptor)
org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference getActualType(XExpression)
org.eclipse.xtext.xbase.compiler.GeneratorConfig getGeneratorConfig(EObject)
org.eclipse.xtext.validation.IssueSeverities getIssueSeverities(Map<K,V>,EObject)
org.eclipse.xtext.xbase.typesystem.util.CommonTypeComputationServices getServices
boolean isFinal(LightweightTypeReference)
boolean isIgnored(String)
boolean isIgnored(String,EObject)
protected boolean isInitialized(JvmField)
protected boolean isLocalClassSemantics(EObject)
boolean isLocallyUsed(EObject,EObject)
boolean isPrimitiveVoid(JvmTypeReference)
boolean isTypeParameterLocallyUsedInEvent(JvmTypeParameter,SarlEvent)
protected boolean isValueExpectedRecursive(XExpression)
boolean memberOfTypeHierarchy(LightweightTypeReference,LightweightTypeReference)
protected void reportUninitializedField(JvmField)
protected void reportUninitializedField(JvmField,JvmConstructor)
org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference toLightweightTypeReference(JvmTypeReference)
org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference toLightweightTypeReference(JvmType,EObject)
org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference toLightweightTypeReference(JvmTypeReference,boolean)
Property Details
services
val services : org.eclipse.xtext.xbase.typesystem.util.CommonTypeComputationServices

This property is an alias for the action: getServices

Constructor Details
new
new
Action Details
addIssue(String,EObject,String)
def addIssue(String,EObject,String)
checkAssignment(XExpression,EStructuralFeature,boolean)
protected def checkAssignment(XExpression,EStructuralFeature,boolean)
checkCast(JvmTypeReference,LightweightTypeReference,LightweightTypeReference)
protected def checkCast(JvmTypeReference,LightweightTypeReference,LightweightTypeReference)
checkCasts(XCastedExpression)
def checkCasts(XCastedExpression)
checkDeprecated(XImportDeclaration)
def checkDeprecated(XImportDeclaration)
doCheckFinalFieldInitialization(JvmGenericType,ValidationMessageAcceptor)
def doCheckFinalFieldInitialization(JvmGenericType,ValidationMessageAcceptor)
doCheckValidSuperTypeArgumentDefinition(LightweightTypeReference,EObject,EStructuralFeature,int,boolean,ValidationMessageAcceptor)
def doCheckValidSuperTypeArgumentDefinition(LightweightTypeReference,EObject,EStructuralFeature,int,boolean,ValidationMessageAcceptor) : boolean
getActualType(XExpression)
def getActualType(XExpression) : org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference
getGeneratorConfig(EObject)
def getGeneratorConfig(EObject) : org.eclipse.xtext.xbase.compiler.GeneratorConfig
getIssueSeverities(Map<K,V>,EObject)
def getIssueSeverities(Map<K,V>,EObject) : org.eclipse.xtext.validation.IssueSeverities
getServices
def getServices : org.eclipse.xtext.xbase.typesystem.util.CommonTypeComputationServices
isFinal(LightweightTypeReference)
def isFinal(LightweightTypeReference) : boolean
isIgnored(String)
def isIgnored(String) : boolean
isIgnored(String,EObject)
def isIgnored(String,EObject) : boolean
isInitialized(JvmField)
protected def isInitialized(JvmField) : boolean
isLocalClassSemantics(EObject)
protected def isLocalClassSemantics(EObject) : boolean
isLocallyUsed(EObject,EObject)
def isLocallyUsed(EObject,EObject) : boolean
isPrimitiveVoid(JvmTypeReference)
def isPrimitiveVoid(JvmTypeReference) : boolean
isTypeParameterLocallyUsedInEvent(JvmTypeParameter,SarlEvent)
def isTypeParameterLocallyUsedInEvent(JvmTypeParameter,SarlEvent) : boolean
isValueExpectedRecursive(XExpression)
protected def isValueExpectedRecursive(XExpression) : boolean
memberOfTypeHierarchy(LightweightTypeReference,LightweightTypeReference)
def memberOfTypeHierarchy(LightweightTypeReference,LightweightTypeReference) : boolean
reportUninitializedField(JvmField)
protected def reportUninitializedField(JvmField)
reportUninitializedField(JvmField,JvmConstructor)
protected def reportUninitializedField(JvmField,JvmConstructor)
toLightweightTypeReference(JvmTypeReference)
def toLightweightTypeReference(JvmTypeReference) : org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference
toLightweightTypeReference(JvmType,EObject)
def toLightweightTypeReference(JvmType,EObject) : org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference
toLightweightTypeReference(JvmTypeReference,boolean)
def toLightweightTypeReference(JvmTypeReference,boolean) : org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference