io.sarl.lang.validation.subvalidators
Class SARLInheritanceValidator
All Superinterfaces:
org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor
class SARLInheritanceValidator
extends AbstractSARLJvmGenericTypeValidator
A specialization of JvmGenericTypeValidator to deal with inheritance mechanism of SARL.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
Since:
0.14
Property Summary
Inherited: associations, grammarAccess, overrideHelper, parentValidator, visibilityHelper
Constructor Summary
Constructor and description
new
Action Summary
Modifier and type Action and description
protected void checkDefaultSuperConstructor(EObject,JvmGenericType)
This function is overridden to avoid the output of the MISSING_CONSTRUCTOR issue because the constructors from the super type are "inherited".
protected void checkFunctionOverrides(IResolvedOperation,Set<E>)
protected void checkFunctionOverrides(EObject,IResolvedOperation,List<E>)
This function is overridden to make MISSING_OVERRIDE a warning and not an error.
protected void checkMemberNamesAreUnique(JvmGenericType)
void checkNoTypeNameShadowing(XtendTypeDeclaration)
void checkRedundantImplementedInterfaces(SarlClass)
Check if implemented interfaces of a Xtend Class are redundant.
void checkRedundantImplementedInterfaces(SarlInterface)
Check if implemented interfaces of a Xtend Interface are redundant.
void checkRedundantImplementedInterfaces(SarlSkill)
Check if implemented interfaces of a skill are redundant.
protected void checkSuperTypes(EObject,JvmGenericType)
protected org.eclipse.emf.ecore.EStructuralFeature returnTypeFeature(EObject,IResolvedOperation)
protected boolean shouldBeValidated(JvmIdentifiableElement)
Dispatcher JvmOperations must not be checked by the JvmGenericTypeValidator.
Inherited: canonicalName(LightweightTypeReference), getAssociations, getGrammarAccess, getIssueSeverities(Map<K,V>,EObject), getOverrideHelper, getParentValidator, getVisibilityHelper, isIgnored(String,EObject), nameFeature(EObject), returnTypeFeature(EObject)
Constructor Details
new 
new
Action Details
checkDefaultSuperConstructor(EObject,JvmGenericType) 
protected def checkDefaultSuperConstructor(EObject,JvmGenericType)
This function is overridden to avoid the output of the MISSING_CONSTRUCTOR issue because the constructors from the super type are "inherited".
checkFunctionOverrides(IResolvedOperation,Set<E>) 
protected def checkFunctionOverrides(IResolvedOperation,Set<E>)
checkFunctionOverrides(EObject,IResolvedOperation,List<E>) 
protected def checkFunctionOverrides(EObject,IResolvedOperation,List<E>)
This function is overridden to make MISSING_OVERRIDE a warning and not an error. The generation of the "RETURN_TYPE_SPECIFICATION_IS_RECOMMENDED" warning is also added.
checkMemberNamesAreUnique(JvmGenericType) 
protected def checkMemberNamesAreUnique(JvmGenericType)
checkNoTypeNameShadowing(XtendTypeDeclaration) 
def checkNoTypeNameShadowing(XtendTypeDeclaration)
checkRedundantImplementedInterfaces(SarlClass) 
def checkRedundantImplementedInterfaces(SarlClass)
Check if implemented interfaces of a Xtend Class are redundant.
Parameters:
xtendClass - the class.
checkRedundantImplementedInterfaces(SarlInterface) 
def checkRedundantImplementedInterfaces(SarlInterface)
Check if implemented interfaces of a Xtend Interface are redundant.
Parameters:
xtendInterface - the interface.
checkRedundantImplementedInterfaces(SarlSkill) 
def checkRedundantImplementedInterfaces(SarlSkill)
Check if implemented interfaces of a skill are redundant.
Parameters:
skill - the skill.
checkSuperTypes(EObject,JvmGenericType) 
protected def checkSuperTypes(EObject,JvmGenericType)
returnTypeFeature(EObject,IResolvedOperation) 
protected def returnTypeFeature(EObject,IResolvedOperation) : org.eclipse.emf.ecore.EStructuralFeature
shouldBeValidated(JvmIdentifiableElement) 
protected def shouldBeValidated(JvmIdentifiableElement) : boolean
Dispatcher JvmOperations must not be checked by the JvmGenericTypeValidator.