org.eclipse.xtext.xbase.validation

Class XbaseValidator

java.lang.Object

org.eclipse.xtext.validation.AbstractInjectableValidator

org.eclipse.xtext.validation.AbstractDeclarativeValidator

org.eclipse.xtext.xbase.validation.AbstractXbaseValidator

org.eclipse.xtext.xbase.validation.XbaseValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator, ValidationMessageAcceptor

Direct Known Subclasses:

AbstractXbaseWithAnnotationsValidator, XbaseJavaValidator, XbaseWithAnnotationsValidator

public class XbaseValidator
extends AbstractXbaseValidator

Xbase Validator that does use the scope provider or the type argument context. It basically disables or replaces all call-outs to the scope and some validations that will be superseded by immediate error annotations during type resolution.

Author:

Sebastian Zarnekow - Initial contribution and API, Stéphane Galland - Add the checkers on deprecated features.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.validation.AbstractDeclarativeValidator

AbstractDeclarativeValidator.MethodWrapper, AbstractDeclarativeValidator.State, AbstractDeclarativeValidator.StateAccess

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator

org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate

Field Summary

Fields inherited from class org.eclipse.xtext.validation.AbstractInjectableValidator

CURRENT_LANGUAGE_NAME, ISSUE_SEVERITIES

Fields inherited from interface org.eclipse.xtext.validation.ValidationMessageAcceptor

INSIGNIFICANT_INDEX

Fields inherited from interface org.eclipse.emf.ecore.EValidator

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Constructors

Constructor and Description
XbaseValidator()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addImportUnusedIssues(Map<String,List<XImportDeclaration>> imports)
protected String	canonicalName(LightweightTypeReference typeRef)
void	checkAssignment(XAssignment assignment)
void	checkAssignment(XBinaryOperation binaryOperation)
protected void	checkAssignment(XExpression expression, boolean simpleAssignment)
protected void	checkAssignment(XExpression expression, org.eclipse.emf.ecore.EStructuralFeature feature, boolean simpleAssignment)
void	checkAssignment(XPostfixOperation postfixOperation)
protected void	checkCast(JvmTypeReference concreteSyntax, LightweightTypeReference toType, LightweightTypeReference fromType)
void	checkCasts(XCastedExpression cast)
void	checkCatchClausesOrder(XTryCatchFinallyExpression expression)
void	checkClosureParameterTypes(XClosure closure)
void	checkClosureParams(XClosure closure)
protected void	checkConflicts(XImportSection importSection, Map<String,List<XImportDeclaration>> imports, Map<String,JvmType> importedNames)
void	checkConstructorArgumentsAreValid(XFeatureCall featureCall)
void	checkDelegateConstructorIsFirst(XFeatureCall featureCall)
protected void	checkDeprecated(JvmIdentifiableElement object, org.eclipse.emf.ecore.EObject source, org.eclipse.emf.ecore.EStructuralFeature structuralFeature)
void	checkDeprecated(JvmParameterizedTypeReference type)
void	checkDeprecated(XAbstractFeatureCall expression)
void	checkDeprecated(XConstructorCall expression)
void	checkDeprecated(XImportDeclaration decl)
void	checkDeprecated(XTypeLiteral expression)
void	checkDuplicatedCases(XSwitchExpression switchExpression)
void	checkExplicitOperationCall(XConstructorCall constructorCall)
void	checkExplicitOperationCall(XFeatureCall featureCall)
void	checkExplicitOperationCall(XMemberFeatureCall featureCall)
protected void	checkFinalFieldInitialization(JvmGenericType type) can be called by subclasses to have proper final field initialization checks.
void	checkImports(XImportSection importSection)
void	checkIncompleteCasesOnEnum(XSwitchExpression switchExpression)
protected void	checkInitializationRec(org.eclipse.emf.ecore.EObject expr, Set<JvmField> fields, Set<JvmField> initializedForSure, Set<JvmField> initializedMaybe, Set<JvmConstructor> visited)
void	checkInnerExpressions(XExpression expr)
void	checkInstanceOf(XInstanceOfExpression instanceOfExpression)
void	checkInstanceOfOrder(XIfExpression expression)
protected void	checkIsValidConstructorArgument(XExpression argument, JvmType containerType)
void	checkLocalUsageOfDeclared(XVariableDeclaration variableDeclaration)
void	checkLocalUsageOfSwitchParameter(XSwitchExpression switchExpression)
void	checkNoCircularConstructorCall(XFeatureCall featureCall)
void	checkNoForwardReferences(XExpression fieldInitializer)
protected void	checkNoJavaStyleTypeCasting(INode node)
void	checkNoJavaStyleTypeCasting(XBlockExpression blockExpression)
protected void	checkNumberFormat(XNumberLiteral literal)
void	checkOperandTypesForTripleEquals(XBinaryOperation binaryOperation)
void	checkPrimitiveComparedToNull(XBinaryOperation binaryOperation)
void	checkRedundantCase(XSwitchExpression switchExpression)
void	checkReturn(XReturnExpression expr)
void	checkTypeArguments(XAbstractFeatureCall expression)
void	checkTypeArguments(XConstructorCall expression)
void	checkTypeGuards(XCasePart casePart)
void	checkTypeGuardsOrder(XSwitchExpression expression)
void	checkTypeLiteral(XTypeLiteral typeLiteral)
void	checkTypeParameterConstraintIsValid(JvmTypeParameter typeParameter)
void	checkTypeParameterNotUsedInStaticContext(JvmTypeReference ref)
void	checkTypeReferenceIsNotVoid(XCasePart expression)
void	checkTypeReferenceIsNotVoid(XExpression expression)
void	checkTypes(XCatchClause catchClause)
void	checkVariableDeclaration(XVariableDeclaration declaration)
void	checkVariableIsNotInferredAsVoid(XVariableDeclaration declaration)
protected boolean	containsTypeArgs(LightweightTypeReference instanceOfType)
void	doCheckTypeParameterForwardReference(List<JvmTypeParameter> sourceTypeParameters) Java 5 does not allow forward references in type parameters, so we have to validate this, too
protected void	ensureNotPrimitiveNorWildcard(JvmTypeReference typeRef)
protected LightweightTypeReference	getActualType(org.eclipse.emf.ecore.EObject context, JvmIdentifiableElement element)
protected LightweightTypeReference	getActualType(JvmIdentifiableElement identifiable)
protected LightweightTypeReference	getActualType(XExpression expression)
protected List<org.eclipse.emf.ecore.EPackage>	getEPackages()
protected LightweightTypeReference	getExpectedType(XExpression expression)
protected XExpressionHelper	getExpressionHelper()
protected ILeafNode	getFirstLeafNode(BidiTreeIterator<INode> iterator)
protected ILogicalContainerProvider	getLogicalContainerProvider()
protected String	getNameOfTypes(LightweightTypeReference expectedType)
protected INode	getNode(BidiTreeIterator<INode> iterator, org.eclipse.emf.ecore.EObject... grammarElements)
protected CommonTypeComputationServices	getServices()
protected boolean	hasConstructorCallWithThis(JvmConstructor constr)
protected boolean	isFinal(LightweightTypeReference expressionTypeRef)
protected boolean	isHandled(LightweightTypeReference actualTypeReference, Collection<LightweightTypeReference> collection)
protected boolean	isHidden(INode child)
protected boolean	isInitialized(JvmField input)
protected boolean	isInterface(JvmType type)
protected boolean	isLocalClassSemantics(org.eclipse.emf.ecore.EObject object)
protected boolean	isLocallyUsed(org.eclipse.emf.ecore.EObject target, org.eclipse.emf.ecore.EObject containerToFindUsage)
protected boolean	isLocalType(org.eclipse.emf.ecore.EObject element)
protected boolean	isPrimitiveVoid(JvmTypeReference typeReference)
protected boolean	isSemicolon(INode child)
protected boolean	isStaticContext(org.eclipse.emf.ecore.EObject element)
protected boolean	isTripleEqualsOperation(XBinaryOperation binaryOperation)
protected boolean	isValueExpectedRecursive(XExpression expr)
protected boolean	isXExpressionInsideBlock(INode child)
protected boolean	memberOfTypeHierarchy(LightweightTypeReference type, LightweightTypeReference potentialMember)
protected void	mustBeJavaStatementExpression(XExpression expr)
protected void	populateMaps(XImportSection importSection, Map<String,List<XImportDeclaration>> imports, Map<String,List<XImportDeclaration>> staticImports, Map<String,List<XImportDeclaration>> extensionImports, Map<String,JvmType> importedNames)
protected void	reportFieldAlreadyInitialized(XAssignment assignment, JvmField field)
protected void	reportUninitializedField(JvmField field)
protected void	reportUninitializedField(JvmField field, JvmConstructor constructor)
protected LightweightTypeReference	toLightweightTypeReference(JvmTypeReference typeRef)
protected LightweightTypeReference	toLightweightTypeReference(JvmTypeReference typeRef, boolean keepUnboundWildcardInformation)

Methods inherited from class org.eclipse.xtext.validation.AbstractDeclarativeValidator

acceptError, acceptError, acceptInfo, acceptInfo, acceptWarning, acceptWarning, addIssue, addIssue, addIssue, addIssue, addIssue, addIssueToState, checkDone, checkIsFromCurrentlyCheckedResource, createDiagnostic, createDiagnostic, createMethodWrapper, error, error, error, error, error, error, error, error, getChain, getCheckMode, getContext, getCurrentMethod, getCurrentObject, getIssueSeverities, getMessageAcceptor, guard, info, info, info, info, info, info, info, info, internalValidate, isIgnored, newInstance, setInjector, setMessageAcceptor, toDiagnosticSeverity, warning, warning, warning, warning, warning, warning, warning, warning

Methods inherited from class org.eclipse.xtext.validation.AbstractInjectableValidator

getCurrentLanguage, isLanguageSpecific, isResponsible, register, validate, validate, validate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

XbaseValidator

public XbaseValidator()

Method Detail

getServices

protected CommonTypeComputationServices getServices()

getActualType

protected LightweightTypeReference getActualType(org.eclipse.emf.ecore.EObject context,
                                     JvmIdentifiableElement element)

getActualType

protected LightweightTypeReference getActualType(XExpression expression)

getActualType

protected LightweightTypeReference getActualType(JvmIdentifiableElement identifiable)

getExpectedType

protected LightweightTypeReference getExpectedType(XExpression expression)

checkCast

protected void checkCast(JvmTypeReference concreteSyntax,
             LightweightTypeReference toType,
             LightweightTypeReference fromType)

checkNumberFormat

protected void checkNumberFormat(XNumberLiteral literal)

checkTypeReferenceIsNotVoid

public void checkTypeReferenceIsNotVoid(XExpression expression)

isPrimitiveVoid

protected boolean isPrimitiveVoid(JvmTypeReference typeReference)

checkVariableIsNotInferredAsVoid

public void checkVariableIsNotInferredAsVoid(XVariableDeclaration declaration)

checkClosureParameterTypes

public void checkClosureParameterTypes(XClosure closure)

checkTypeArguments

public void checkTypeArguments(XAbstractFeatureCall expression)

checkTypeArguments

public void checkTypeArguments(XConstructorCall expression)

ensureNotPrimitiveNorWildcard

protected void ensureNotPrimitiveNorWildcard(JvmTypeReference typeRef)

toLightweightTypeReference

protected LightweightTypeReference toLightweightTypeReference(JvmTypeReference typeRef)

toLightweightTypeReference

protected LightweightTypeReference toLightweightTypeReference(JvmTypeReference typeRef,
                                                  boolean keepUnboundWildcardInformation)

checkTypeReferenceIsNotVoid

public void checkTypeReferenceIsNotVoid(XCasePart expression)

checkReturn

public void checkReturn(XReturnExpression expr)

getNameOfTypes

protected String getNameOfTypes(LightweightTypeReference expectedType)

checkTypes

public void checkTypes(XCatchClause catchClause)

checkTypeParameterNotUsedInStaticContext

public void checkTypeParameterNotUsedInStaticContext(JvmTypeReference ref)

isStaticContext

protected boolean isStaticContext(org.eclipse.emf.ecore.EObject element)

isLocalType

protected boolean isLocalType(org.eclipse.emf.ecore.EObject element)

checkTypeParameterConstraintIsValid

public void checkTypeParameterConstraintIsValid(JvmTypeParameter typeParameter)

doCheckTypeParameterForwardReference

public void doCheckTypeParameterForwardReference(List<JvmTypeParameter> sourceTypeParameters)

Java 5 does not allow forward references in type parameters, so we have to validate this, too

checkAssignment

public void checkAssignment(XAssignment assignment)

checkFinalFieldInitialization

protected void checkFinalFieldInitialization(JvmGenericType type)

can be called by subclasses to have proper final field initialization checks.

hasConstructorCallWithThis

protected boolean hasConstructorCallWithThis(JvmConstructor constr)

isInitialized

protected boolean isInitialized(JvmField input)

reportUninitializedField

protected void reportUninitializedField(JvmField field)

reportUninitializedField

protected void reportUninitializedField(JvmField field,
                            JvmConstructor constructor)

reportFieldAlreadyInitialized

protected void reportFieldAlreadyInitialized(XAssignment assignment,
                                 JvmField field)

checkInitializationRec

protected void checkInitializationRec(org.eclipse.emf.ecore.EObject expr,
                          Set<JvmField> fields,
                          Set<JvmField> initializedForSure,
                          Set<JvmField> initializedMaybe,
                          Set<JvmConstructor> visited)

checkVariableDeclaration

public void checkVariableDeclaration(XVariableDeclaration declaration)

checkInnerExpressions

public void checkInnerExpressions(XExpression expr)

isValueExpectedRecursive

protected boolean isValueExpectedRecursive(XExpression expr)

mustBeJavaStatementExpression

protected void mustBeJavaStatementExpression(XExpression expr)

checkCasts

public void checkCasts(XCastedExpression cast)

checkTypeGuards

public void checkTypeGuards(XCasePart casePart)

checkInstanceOf

public void checkInstanceOf(XInstanceOfExpression instanceOfExpression)

memberOfTypeHierarchy

protected boolean memberOfTypeHierarchy(LightweightTypeReference type,
                            LightweightTypeReference potentialMember)

containsTypeArgs

protected boolean containsTypeArgs(LightweightTypeReference instanceOfType)

isFinal

protected boolean isFinal(LightweightTypeReference expressionTypeRef)

checkDelegateConstructorIsFirst

public void checkDelegateConstructorIsFirst(XFeatureCall featureCall)

checkConstructorArgumentsAreValid

public void checkConstructorArgumentsAreValid(XFeatureCall featureCall)

checkIsValidConstructorArgument

protected void checkIsValidConstructorArgument(XExpression argument,
                                   JvmType containerType)

checkNoCircularConstructorCall

public void checkNoCircularConstructorCall(XFeatureCall featureCall)

checkNoForwardReferences

public void checkNoForwardReferences(XExpression fieldInitializer)

isLocalClassSemantics

protected boolean isLocalClassSemantics(org.eclipse.emf.ecore.EObject object)

checkClosureParams

public void checkClosureParams(XClosure closure)

checkLocalUsageOfDeclared

public void checkLocalUsageOfDeclared(XVariableDeclaration variableDeclaration)

checkLocalUsageOfSwitchParameter

public void checkLocalUsageOfSwitchParameter(XSwitchExpression switchExpression)

checkTypeLiteral

public void checkTypeLiteral(XTypeLiteral typeLiteral)

checkImports

public void checkImports(XImportSection importSection)

addImportUnusedIssues

protected void addImportUnusedIssues(Map<String,List<XImportDeclaration>> imports)

checkConflicts

protected void checkConflicts(XImportSection importSection,
                  Map<String,List<XImportDeclaration>> imports,
                  Map<String,JvmType> importedNames)

populateMaps

protected void populateMaps(XImportSection importSection,
                Map<String,List<XImportDeclaration>> imports,
                Map<String,List<XImportDeclaration>> staticImports,
                Map<String,List<XImportDeclaration>> extensionImports,
                Map<String,JvmType> importedNames)

checkPrimitiveComparedToNull

public void checkPrimitiveComparedToNull(XBinaryOperation binaryOperation)

isLocallyUsed

protected boolean isLocallyUsed(org.eclipse.emf.ecore.EObject target,
                    org.eclipse.emf.ecore.EObject containerToFindUsage)

getEPackages

protected List<org.eclipse.emf.ecore.EPackage> getEPackages()

Overrides:

getEPackages in class AbstractXbaseValidator

canonicalName

protected String canonicalName(LightweightTypeReference typeRef)

isInterface

protected boolean isInterface(JvmType type)

getExpressionHelper

protected XExpressionHelper getExpressionHelper()

checkNoJavaStyleTypeCasting

public void checkNoJavaStyleTypeCasting(XBlockExpression blockExpression)

isXExpressionInsideBlock

protected boolean isXExpressionInsideBlock(INode child)

isSemicolon

protected boolean isSemicolon(INode child)

checkNoJavaStyleTypeCasting

protected void checkNoJavaStyleTypeCasting(INode node)

getNode

protected INode getNode(BidiTreeIterator<INode> iterator,
            org.eclipse.emf.ecore.EObject... grammarElements)

getFirstLeafNode

protected ILeafNode getFirstLeafNode(BidiTreeIterator<INode> iterator)

isHidden

protected boolean isHidden(INode child)

checkRedundantCase

public void checkRedundantCase(XSwitchExpression switchExpression)

checkDuplicatedCases

public void checkDuplicatedCases(XSwitchExpression switchExpression)

checkTypeGuardsOrder

public void checkTypeGuardsOrder(XSwitchExpression expression)

checkInstanceOfOrder

public void checkInstanceOfOrder(XIfExpression expression)

checkCatchClausesOrder

public void checkCatchClausesOrder(XTryCatchFinallyExpression expression)

isHandled

protected boolean isHandled(LightweightTypeReference actualTypeReference,
                Collection<LightweightTypeReference> collection)

checkIncompleteCasesOnEnum

public void checkIncompleteCasesOnEnum(XSwitchExpression switchExpression)

checkAssignment

public void checkAssignment(XBinaryOperation binaryOperation)

checkOperandTypesForTripleEquals

public void checkOperandTypesForTripleEquals(XBinaryOperation binaryOperation)

isTripleEqualsOperation

protected boolean isTripleEqualsOperation(XBinaryOperation binaryOperation)

checkAssignment

public void checkAssignment(XPostfixOperation postfixOperation)

checkExplicitOperationCall

public void checkExplicitOperationCall(XFeatureCall featureCall)

checkExplicitOperationCall

public void checkExplicitOperationCall(XMemberFeatureCall featureCall)

checkExplicitOperationCall

public void checkExplicitOperationCall(XConstructorCall constructorCall)

checkAssignment

protected void checkAssignment(XExpression expression,
                   boolean simpleAssignment)

checkAssignment

protected void checkAssignment(XExpression expression,
                   org.eclipse.emf.ecore.EStructuralFeature feature,
                   boolean simpleAssignment)

getLogicalContainerProvider

protected ILogicalContainerProvider getLogicalContainerProvider()

checkDeprecated

protected void checkDeprecated(JvmIdentifiableElement object,
                   org.eclipse.emf.ecore.EObject source,
                   org.eclipse.emf.ecore.EStructuralFeature structuralFeature)

checkDeprecated

public void checkDeprecated(JvmParameterizedTypeReference type)

checkDeprecated

public void checkDeprecated(XImportDeclaration decl)

checkDeprecated

public void checkDeprecated(XAbstractFeatureCall expression)

checkDeprecated

public void checkDeprecated(XConstructorCall expression)

checkDeprecated

public void checkDeprecated(XTypeLiteral expression)