Package org.eclipse.viatra.query.patternlanguage.emf.validation
-
Interface Summary Interface Description IIssueCallback -
Class Summary Class Description AbstractEMFPatternLanguageValidator ClasspathValidator Classpath validators for VQL languageEMFPatternLanguageSyntaxErrorMessageProvider EMFPatternLanguageValidator Validators for EMFPattern Language: Duplicate import of EPackages Enum types Unused variables Type checking for parameters and body variables Type checking for literal and computational values in pattern calls, path expressions and compare constraints Pattern body searching for isolated constraints (cartesian products) Non-EDataTypes in check expressionIssueCodes PatternLanguageValidator Validators for Core Pattern Language.PatternSetValidationDiagnostics Stateless validator for a set of patterns.PatternSetValidator ValidationHelper VariableUsageCounter -
Enum Summary Enum Description PatternValidationStatus