public class VeplValidator extends AbstractVeplValidator
org.eclipse.xtext.validation.AbstractDeclarativeValidator.State, org.eclipse.xtext.validation.AbstractDeclarativeValidator.StateAccess
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
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ATOM_TIMEWINDOW_NO_MULTIPLICITY |
static java.lang.String |
DUPLICATE_TRAIT_PARAMETER_NAMES |
static java.lang.String |
INFINITE_MULTIPLICITY_WITH_TIMEWINDOW |
static java.lang.String |
INVALID_ARGUMENTS |
static java.lang.String |
INVALID_NAME |
static java.lang.String |
MISSING_QUERY_IMPORT |
static java.lang.String |
NEGATIVE_OPERATOR_ON_NONATOMIC_REFERENCE |
static java.lang.String |
NEGATIVE_WITH_MULTIPLICITY |
static java.lang.String |
NEGATIVE_WITH_TIMEWINDOW |
static java.lang.String |
NO_INFINITE_SUPPORT |
static java.lang.String |
NON_POSITIVE_MULTIPLICITY |
static java.lang.String |
PARAMETER_ON_NON_ATOMIC_PATTERN_CALL |
static java.lang.String |
SHADOWED_TRAIT_PARAMETERS |
static java.lang.String |
SINGE_PLAIN_ATOM_IN_COMPLEX_EVENT_EXPRESSION |
static java.lang.String |
TRAIT_EXPERIMENTAL |
static java.lang.String |
UNSAFE_INFINITE_MULTIPLICITY |
CURRENT_LANGUAGE_NAME, ISSUE_SEVERITIES
Constructor and Description |
---|
VeplValidator() |
Modifier and Type | Method and Description |
---|---|
void |
complexEventPatternWithPlainAtomExpression(ComplexEventPattern eventPattern) |
void |
duplicateTraitParameterNamesInDiamondInheritance(AtomicEventPattern atomicEventPattern) |
void |
explicitlyImportedQueryPackage(QueryResultChangeEventPattern iqPatternEventPattern) |
void |
expressionAtomWithTimewindowMustFeatureMultiplicity(Atom atom) |
void |
negativeOperatorAndOtherOperatorCombinations(ComplexEventExpression complexEventExpression) |
void |
paramOnlyOnAtomicEventPatternReference(ParameterizedPatternCall parameterizedPatternCall) |
boolean |
starOperatorIsLast(ComplexEventExpression expression) |
void |
traitParameterShadowing(AtomicEventPattern atomicEventPattern) |
void |
traitsAreExperimentalFeature(Trait trait) |
void |
uniqueName(ModelElement modelElement) |
void |
unsafeStarOperator(ComplexEventExpression complexEventExpression) |
void |
unsupportedMultiplicityTimewindowCombinations(Atom atom) |
void |
validPatternCallArguments(ParameterizedPatternCall patternCall) |
checkAssignment, checkAssignment, checkAssignment, checkCasts, checkCatchClausesOrder, checkClosureParameterTypes, checkClosureParams, checkConstructorArgumentsAreValid, checkDelegateConstructorIsFirst, checkDeprecated, checkDeprecated, checkDeprecated, checkDeprecated, checkDeprecated, checkDuplicatedCases, checkExplicitOperationCall, checkExplicitOperationCall, checkExplicitOperationCall, checkImports, checkIncompleteCasesOnEnum, checkInnerExpressions, checkInstanceOf, checkInstanceOfOrder, checkLocalUsageOfDeclared, checkLocalUsageOfSwitchParameter, checkNoCircularConstructorCall, checkNoForwardReferences, checkNoJavaStyleTypeCasting, checkOperandTypesForTripleEquals, checkPrimitiveComparedToNull, checkRedundantCase, checkReturn, checkTypeArguments, checkTypeArguments, checkTypeGuards, checkTypeGuardsOrder, checkTypeLiteral, checkTypeParameterConstraintIsValid, checkTypeParameterNotUsedInStaticContext, checkTypeReferenceIsNotVoid, checkTypeReferenceIsNotVoid, checkTypes, checkVariableDeclaration, checkVariableIsNotInferredAsVoid, doCheckTypeParameterForwardReference
acceptError, acceptError, acceptInfo, acceptInfo, acceptWarning, acceptWarning, getMessageAcceptor, setInjector, setMessageAcceptor
public static final java.lang.String INVALID_NAME
public static final java.lang.String INVALID_ARGUMENTS
public static final java.lang.String MISSING_QUERY_IMPORT
public static final java.lang.String ATOM_TIMEWINDOW_NO_MULTIPLICITY
public static final java.lang.String SINGE_PLAIN_ATOM_IN_COMPLEX_EVENT_EXPRESSION
public static final java.lang.String NON_POSITIVE_MULTIPLICITY
public static final java.lang.String INFINITE_MULTIPLICITY_WITH_TIMEWINDOW
public static final java.lang.String NO_INFINITE_SUPPORT
public static final java.lang.String NEGATIVE_OPERATOR_ON_NONATOMIC_REFERENCE
public static final java.lang.String UNSAFE_INFINITE_MULTIPLICITY
public static final java.lang.String PARAMETER_ON_NON_ATOMIC_PATTERN_CALL
public static final java.lang.String NEGATIVE_WITH_MULTIPLICITY
public static final java.lang.String NEGATIVE_WITH_TIMEWINDOW
public static final java.lang.String DUPLICATE_TRAIT_PARAMETER_NAMES
public static final java.lang.String TRAIT_EXPERIMENTAL
public static final java.lang.String SHADOWED_TRAIT_PARAMETERS
public void uniqueName(ModelElement modelElement)
public void validPatternCallArguments(ParameterizedPatternCall patternCall)
public void explicitlyImportedQueryPackage(QueryResultChangeEventPattern iqPatternEventPattern)
public void expressionAtomWithTimewindowMustFeatureMultiplicity(Atom atom)
public void unsupportedMultiplicityTimewindowCombinations(Atom atom)
public void complexEventPatternWithPlainAtomExpression(ComplexEventPattern eventPattern)
public void unsafeStarOperator(ComplexEventExpression complexEventExpression)
public boolean starOperatorIsLast(ComplexEventExpression expression)
public void negativeOperatorAndOtherOperatorCombinations(ComplexEventExpression complexEventExpression)
public void paramOnlyOnAtomicEventPatternReference(ParameterizedPatternCall parameterizedPatternCall)
public void duplicateTraitParameterNamesInDiamondInheritance(AtomicEventPattern atomicEventPattern)
public void traitParameterShadowing(AtomicEventPattern atomicEventPattern)
public void traitsAreExperimentalFeature(Trait trait)