org.eclipse.xtext.xtext

Class XtextValidator

java.lang.Object

org.eclipse.xtext.validation.AbstractInjectableValidator

org.eclipse.xtext.validation.AbstractDeclarativeValidator

org.eclipse.xtext.xtext.XtextValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator, ValidationMessageAcceptor

public class XtextValidator
extends AbstractDeclarativeValidator

Author:

Sebastian Zarnekow - Initial contribution and API, Michael Clay

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

Modifier and Type	Field and Description
static String	EMPTY_GENERATED_PACKAGE

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
XtextValidator()

Method Summary

Methods

Modifier and Type	Method and Description
void	checkActionInUnorderedGroup(Action action)
void	checkAssignedActionAfterAssignment(Action action)
void	checkCrossReferenceTerminal(CrossReference reference)
boolean	checkCrossReferenceTerminal(RuleCall call)
void	checkCrossReferenceType(CrossReference reference)
void	checkEnumLiteralIsUnique(EnumLiteralDeclaration decl)
void	checkEnumLiteralIsValid(EnumLiteralDeclaration decl)
protected void	checkExternalPackage(ReferencedMetamodel metamodelReference, String importURI)
void	checkFirstRule(Grammar g)
void	checkForLeftRecursion(Grammar grammar)
void	checkForOverriddenValue(ParserRule rule)
void	checkGeneratedEnumIsValid(EnumLiteralDeclaration decl)
void	checkGeneratedMetamodel(GeneratedMetamodel metamodel)
void	checkGeneratedPackage(GeneratedMetamodel metamodel)
void	checkGeneratedPackage(GeneratedMetamodel metamodel, org.eclipse.emf.ecore.util.Diagnostician diagnostician, Map<?,?> params)
void	checkGeneratedPackageForNameClashes(GeneratedMetamodel metamodel)
void	checkGeneratedPackageNotEmpty(GeneratedMetamodel metamodel)
void	checkGrammarName(Grammar g)
void	checkGrammarRecursiveReference(Grammar grammar)
void	checkGrammarUsesMaxOneOther(Grammar grammar)
protected void	checkHiddenTokenIsNotAFragment(org.eclipse.emf.ecore.EObject owner, List<AbstractRule> hiddenTokens, org.eclipse.emf.ecore.EReference reference)
void	checkHiddenTokenIsNotAFragment(Grammar grammar)
void	checkHiddenTokenIsNotAFragment(ParserRule rule)
void	checkInstanceCreated(ParserRule rule)
void	checkInstanceCreatedForEntryRule(ParserRule rule)
void	checkInstantiatedType(Action action)
void	checkKeywordHidesTerminalRule(Keyword keyword)
void	checkKeywordNotEmpty(Keyword keyword)
void	checkMetamodelUris(AbstractMetamodelDeclaration declaration)
void	checkOppositeReferenceUsed(Assignment assignment)
void	checkOrderOfArguments(RuleCall call)
void	checkReferencedMetamodel(ReferencedMetamodel metamodel)
void	checkRuleCallInUnorderedGroup(RuleCall call)
void	checkRuleName(AbstractRule rule)
void	checkTerminalFragmentCalledFromTerminalRule(RuleCall call)
void	checkTerminalRuleNamingConventions(TerminalRule terminalRule)
void	checkUnassignedActionAfterAssignment(Action action)
void	checkUnassignedRuleCallAllowed(RuleCall call)
void	checkUnorderedGroupIsNotPredicated(Grammar grammar)
void	createMessageForNameClashes(com.google.common.collect.Multimap<String,org.eclipse.emf.ecore.ENamedElement> nameToElement)
boolean	createMessageForSource(org.eclipse.emf.common.util.Diagnostic diagnostic, org.eclipse.emf.ecore.EObject object, ValidationMessageAcceptor acceptor)
boolean	createMessageForSource(String message, String code, int severity, org.eclipse.emf.ecore.EObject object, ValidationMessageAcceptor acceptor)
void	doCreateMessage(org.eclipse.emf.common.util.Diagnostic diagnostic, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature, ValidationMessageAcceptor acceptor)
void	doCreateMessage(String message, String code, int severity, org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EStructuralFeature feature, ValidationMessageAcceptor acceptor)
protected List<org.eclipse.emf.ecore.EPackage>	getEPackages()
protected List<GeneratedMetamodel>	getInheritedGeneratedMetamodels(ReferencedMetamodel metamodel)
protected String	getUsedUri(ReferencedMetamodel metamodel)
protected boolean	isRegisteredPackage(org.eclipse.emf.ecore.EPackage ePackage)

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

Field Detail

EMPTY_GENERATED_PACKAGE

public static final String EMPTY_GENERATED_PACKAGE

See Also:

Constant Field Values

Constructor Detail

XtextValidator

public XtextValidator()

Method Detail

getEPackages

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

Overrides:

getEPackages in class AbstractInjectableValidator

checkOrderOfArguments

public void checkOrderOfArguments(RuleCall call)

checkGrammarUsesMaxOneOther

public void checkGrammarUsesMaxOneOther(Grammar grammar)

checkGrammarRecursiveReference

public void checkGrammarRecursiveReference(Grammar grammar)

checkGrammarName

public void checkGrammarName(Grammar g)

checkFirstRule

public void checkFirstRule(Grammar g)

checkGeneratedMetamodel

public void checkGeneratedMetamodel(GeneratedMetamodel metamodel)

checkGeneratedPackage

public void checkGeneratedPackage(GeneratedMetamodel metamodel)

checkGeneratedPackage

public void checkGeneratedPackage(GeneratedMetamodel metamodel,
                         org.eclipse.emf.ecore.util.Diagnostician diagnostician,
                         Map<?,?> params)

checkGeneratedPackageForNameClashes

public void checkGeneratedPackageForNameClashes(GeneratedMetamodel metamodel)

checkGeneratedPackageNotEmpty

public void checkGeneratedPackageNotEmpty(GeneratedMetamodel metamodel)

createMessageForNameClashes

public void createMessageForNameClashes(com.google.common.collect.Multimap<String,org.eclipse.emf.ecore.ENamedElement> nameToElement)

createMessageForSource

public boolean createMessageForSource(org.eclipse.emf.common.util.Diagnostic diagnostic,
                             org.eclipse.emf.ecore.EObject object,
                             ValidationMessageAcceptor acceptor)

doCreateMessage

public void doCreateMessage(org.eclipse.emf.common.util.Diagnostic diagnostic,
                   org.eclipse.emf.ecore.EObject object,
                   org.eclipse.emf.ecore.EStructuralFeature feature,
                   ValidationMessageAcceptor acceptor)

createMessageForSource

public boolean createMessageForSource(String message,
                             String code,
                             int severity,
                             org.eclipse.emf.ecore.EObject object,
                             ValidationMessageAcceptor acceptor)

doCreateMessage

public void doCreateMessage(String message,
                   String code,
                   int severity,
                   org.eclipse.emf.ecore.EObject context,
                   org.eclipse.emf.ecore.EStructuralFeature feature,
                   ValidationMessageAcceptor acceptor)

checkReferencedMetamodel

public void checkReferencedMetamodel(ReferencedMetamodel metamodel)
                              throws ValueConverterException

Throws:

ValueConverterException

checkExternalPackage

protected void checkExternalPackage(ReferencedMetamodel metamodelReference,
                        String importURI)

isRegisteredPackage

protected boolean isRegisteredPackage(org.eclipse.emf.ecore.EPackage ePackage)

getUsedUri

protected String getUsedUri(ReferencedMetamodel metamodel)

getInheritedGeneratedMetamodels

protected List<GeneratedMetamodel> getInheritedGeneratedMetamodels(ReferencedMetamodel metamodel)

checkMetamodelUris

public void checkMetamodelUris(AbstractMetamodelDeclaration declaration)

checkCrossReferenceTerminal

public void checkCrossReferenceTerminal(CrossReference reference)

checkCrossReferenceTerminal

public boolean checkCrossReferenceTerminal(RuleCall call)

checkRuleName

public void checkRuleName(AbstractRule rule)

checkUnassignedActionAfterAssignment

public void checkUnassignedActionAfterAssignment(Action action)

checkUnassignedRuleCallAllowed

public void checkUnassignedRuleCallAllowed(RuleCall call)

checkTerminalFragmentCalledFromTerminalRule

public void checkTerminalFragmentCalledFromTerminalRule(RuleCall call)

checkAssignedActionAfterAssignment

public void checkAssignedActionAfterAssignment(Action action)

checkEnumLiteralIsUnique

public void checkEnumLiteralIsUnique(EnumLiteralDeclaration decl)

checkGeneratedEnumIsValid

public void checkGeneratedEnumIsValid(EnumLiteralDeclaration decl)

checkEnumLiteralIsValid

public void checkEnumLiteralIsValid(EnumLiteralDeclaration decl)

checkForOverriddenValue

public void checkForOverriddenValue(ParserRule rule)

checkInstanceCreated

public void checkInstanceCreated(ParserRule rule)

checkInstanceCreatedForEntryRule

public void checkInstanceCreatedForEntryRule(ParserRule rule)

checkKeywordNotEmpty

public void checkKeywordNotEmpty(Keyword keyword)

checkKeywordHidesTerminalRule

public void checkKeywordHidesTerminalRule(Keyword keyword)

checkForLeftRecursion

public void checkForLeftRecursion(Grammar grammar)

checkActionInUnorderedGroup

public void checkActionInUnorderedGroup(Action action)

checkRuleCallInUnorderedGroup

public void checkRuleCallInUnorderedGroup(RuleCall call)

checkCrossReferenceType

public void checkCrossReferenceType(CrossReference reference)

checkInstantiatedType

public void checkInstantiatedType(Action action)

checkHiddenTokenIsNotAFragment

public void checkHiddenTokenIsNotAFragment(ParserRule rule)

checkHiddenTokenIsNotAFragment

public void checkHiddenTokenIsNotAFragment(Grammar grammar)

checkHiddenTokenIsNotAFragment

protected void checkHiddenTokenIsNotAFragment(org.eclipse.emf.ecore.EObject owner,
                                  List<AbstractRule> hiddenTokens,
                                  org.eclipse.emf.ecore.EReference reference)

checkUnorderedGroupIsNotPredicated

public void checkUnorderedGroupIsNotPredicated(Grammar grammar)

checkTerminalRuleNamingConventions

public void checkTerminalRuleNamingConventions(TerminalRule terminalRule)

checkOppositeReferenceUsed

public void checkOppositeReferenceUsed(Assignment assignment)