org.eclipse.viatra.query.patternlanguage.emf.validation

Class AbstractEMFPatternLanguageJavaValidator

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

org.eclipse.xtext.xbase.validation.XbaseJavaValidator

org.eclipse.viatra.query.patternlanguage.validation.AbstractPatternLanguageJavaValidator

org.eclipse.viatra.query.patternlanguage.validation.PatternLanguageJavaValidator

org.eclipse.viatra.query.patternlanguage.emf.validation.AbstractEMFPatternLanguageJavaValidator

All Implemented Interfaces:

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

Direct Known Subclasses:

EMFPatternLanguageJavaValidator

public class AbstractEMFPatternLanguageJavaValidator
extends PatternLanguageJavaValidator

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.viatra.query.patternlanguage.validation.PatternLanguageJavaValidator

ANNOTATION_PARAMETER_TYPE_ERROR, DUPLICATE_PATTERN_DEFINITION_MESSAGE, DUPLICATE_VARIABLE_MESSAGE, EXACTLY_ONE_AGGREGATE_MESSAGE, INVALID_AGGREGATE_MESSAGE, MISSING_AGGREGATE_MESSAGE, MISSING_ANNOTATION_ATTRIBUTE, RECURSIVE_PATTERN_CALL, TRANSITIVE_CLOSURE_ARITY_IN_PATTERNCALL, TRANSITIVE_CLOSURE_ONLY_IN_POSITIVE_COMPOSITION, UNEXPECTED_AGGREGATE_MESSAGE, UNKNOWN_ANNOTATION_ATTRIBUTE, UNUSED_PRIVATE_PATTERN_MESSAGE, VARIABLE_NAME_DUBIUS_REUSE_MESSAGE_AGGREGATE, VARIABLE_NAME_DUBIUS_REUSE_MESSAGE_SINGLEUSE

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

Method Summary

Modifier and Type	Method and Description
protected java.util.List<org.eclipse.emf.ecore.EPackage>	getEPackages()

Methods inherited from class org.eclipse.viatra.query.patternlanguage.validation.PatternLanguageJavaValidator

checkAggregatorExpression, checkAnnotation, checkApplicabilityOfTransitiveClosureInPatternCall, checkCompareConstraints, checkForImpureJavaCallsInCheckConstraints, checkForImpureJavaCallsInEvalExpressions, checkNegativeCallParameters, checkPackageDeclaration, checkPatternBody, checkPatternCallParameters, checkPatternParameters, checkPatterns, checkPrivatePatternCall, checkPrivatePatternUsage, checkRecursivePatternCall, checkReturnTypeOfCheckConstraints, checkValueReference, checkVariableNames, error, getFormattedArgumentsList, isNamedSingleUse, isUnnamedSingleUseVariable, warning

Methods inherited from class org.eclipse.xtext.xbase.validation.XbaseValidator

addImportUnusedIssues, canonicalName, checkAssignment, checkAssignment, checkAssignment, checkAssignment, checkAssignment, checkCast, checkCasts, checkCatchClausesOrder, checkClosureParameterTypes, checkClosureParams, checkConflicts, checkConstructorArgumentsAreValid, checkDelegateConstructorIsFirst, checkDeprecated, checkDeprecated, checkDeprecated, checkDeprecated, checkDeprecated, checkDeprecated, checkDuplicatedCases, checkExplicitOperationCall, checkExplicitOperationCall, checkExplicitOperationCall, checkFinalFieldInitialization, checkImports, checkIncompleteCasesOnEnum, checkInitializationRec, checkInnerExpressions, checkInstanceOf, checkInstanceOfOrder, checkIsValidConstructorArgument, checkLocalUsageOfDeclared, checkLocalUsageOfSwitchParameter, checkNoCircularConstructorCall, checkNoForwardReferences, checkNoJavaStyleTypeCasting, checkNoJavaStyleTypeCasting, checkNumberFormat, checkOperandTypesForTripleEquals, checkPrimitiveComparedToNull, checkRedundantCase, checkReferInvalidTypes, checkReferInvalidTypes, checkReferInvalidTypes, checkReturn, checkTypeArguments, checkTypeArguments, checkTypeGuards, checkTypeGuardsOrder, checkTypeLiteral, checkTypeParameterConstraintIsValid, checkTypeParameterNotUsedInStaticContext, checkTypeReferenceIsNotVoid, checkTypeReferenceIsNotVoid, checkTypes, checkVariableDeclaration, checkVariableIsNotInferredAsVoid, containsTypeArgs, doCheckTypeParameterForwardReference, ensureNotPrimitiveNorWildcard, getActualType, getActualType, getActualType, getExpectedType, getExpressionHelper, getFirstLeafNode, getLogicalContainerProvider, getNameOfTypes, getNode, getReferInvalidTypeMessage, getServices, hasConstructorCallWithThis, isFinal, isHandled, isHidden, isInitialized, isInterface, isLocalClassSemantics, isLocallyUsed, isLocalType, isPrimitiveVoid, isSemicolon, isStaticContext, isTripleEqualsOperation, isValueExpectedRecursive, isXExpressionInsideBlock, memberOfTypeHierarchy, mustBeJavaStatementExpression, populateMaps, reportFieldAlreadyInitialized, reportUninitializedField, reportUninitializedField, toLightweightTypeReference, toLightweightTypeReference

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

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

AbstractEMFPatternLanguageJavaValidator

public AbstractEMFPatternLanguageJavaValidator()

Method Detail

getEPackages

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

Overrides:

getEPackages in class AbstractPatternLanguageJavaValidator