org.eclipse.xtext.xbase.validation

Class JvmTypeReferencesValidator

java.lang.Object

org.eclipse.xtext.validation.AbstractInjectableValidator

org.eclipse.xtext.validation.AbstractDeclarativeValidator

org.eclipse.xtext.xbase.validation.JvmTypeReferencesValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor

public class JvmTypeReferencesValidator
extends org.eclipse.xtext.validation.AbstractDeclarativeValidator

Nested Class Summary

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

org.eclipse.xtext.validation.AbstractDeclarativeValidator.MethodWrapper, org.eclipse.xtext.validation.AbstractDeclarativeValidator.State, org.eclipse.xtext.validation.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
JvmTypeReferencesValidator()

Method Summary

Modifier and Type	Method and Description
void	checkFunctionTypeArgsNonVoid(XFunctionTypeRef typeRef)
void	checkJvmFormalParameterNotPrimitiveVoid(org.eclipse.xtext.common.types.JvmFormalParameter param)
void	checkNotMultipleBounds(org.eclipse.xtext.common.types.JvmWildcardTypeReference typeRef)
protected void	checkNotPrimitive(org.eclipse.xtext.common.types.JvmTypeReference jvmTypeReference)
void	checkTypeArgsAgainstTypeParameters(org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeRef)
void	checkTypeArgumentsNotPrimitive(org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeRef)
void	checkTypeArgumentsNotPrimitive(org.eclipse.xtext.common.types.JvmTypeConstraint typeRef)
void	checkTypesAreDisjoint(org.eclipse.xtext.common.types.JvmSynonymTypeReference typeRef)
protected void	error(java.lang.String message, java.lang.String issueCode, org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeReference)
protected void	errorTypeIsNotGeneric(org.eclipse.xtext.common.types.JvmType type, org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeRef)
protected java.util.List<org.eclipse.emf.ecore.EPackage>	getEPackages()
protected void	warning(java.lang.String message, java.lang.String issueCode, org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeReference)
protected void	warnRawType(org.eclipse.xtext.common.types.JvmType type, org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeRef)

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, handleExceptionDuringValidation, 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

JvmTypeReferencesValidator

public JvmTypeReferencesValidator()

Method Detail

getEPackages

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

Overrides:

getEPackages in class org.eclipse.xtext.validation.AbstractInjectableValidator

checkTypeArgumentsNotPrimitive

public void checkTypeArgumentsNotPrimitive(org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeRef)

checkNotMultipleBounds

public void checkNotMultipleBounds(org.eclipse.xtext.common.types.JvmWildcardTypeReference typeRef)

checkTypeArgsAgainstTypeParameters

public void checkTypeArgsAgainstTypeParameters(org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeRef)

warnRawType

protected void warnRawType(org.eclipse.xtext.common.types.JvmType type,
                           org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeRef)

errorTypeIsNotGeneric

protected void errorTypeIsNotGeneric(org.eclipse.xtext.common.types.JvmType type,
                                     org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeRef)

warning

protected void warning(java.lang.String message,
                       java.lang.String issueCode,
                       org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeReference)

error

protected void error(java.lang.String message,
                     java.lang.String issueCode,
                     org.eclipse.xtext.common.types.JvmParameterizedTypeReference typeReference)

checkTypeArgumentsNotPrimitive

public void checkTypeArgumentsNotPrimitive(org.eclipse.xtext.common.types.JvmTypeConstraint typeRef)

checkTypesAreDisjoint

public void checkTypesAreDisjoint(org.eclipse.xtext.common.types.JvmSynonymTypeReference typeRef)

checkNotPrimitive

protected void checkNotPrimitive(org.eclipse.xtext.common.types.JvmTypeReference jvmTypeReference)

checkJvmFormalParameterNotPrimitiveVoid

public void checkJvmFormalParameterNotPrimitiveVoid(org.eclipse.xtext.common.types.JvmFormalParameter param)

checkFunctionTypeArgsNonVoid

public void checkFunctionTypeArgsNonVoid(XFunctionTypeRef typeRef)