public class QueryBasedFeaturePatternValidator
extends java.lang.Object
implements org.eclipse.viatra.query.patternlanguage.annotations.IPatternAnnotationAdditionalValidator
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ANNOTATION_ISSUE_CODE |
static java.lang.String |
GENERAL_ISSUE_CODE |
static java.lang.String |
METAMODEL_ISSUE_CODE |
static java.lang.String |
PATTERN_ISSUE_CODE |
Constructor and Description |
---|
QueryBasedFeaturePatternValidator() |
Modifier and Type | Method and Description |
---|---|
void |
executeAdditionalValidation(org.eclipse.viatra.query.patternlanguage.patternLanguage.Annotation annotation,
org.eclipse.viatra.query.patternlanguage.validation.IIssueCallback validator) |
public static final java.lang.String GENERAL_ISSUE_CODE
public static final java.lang.String METAMODEL_ISSUE_CODE
public static final java.lang.String PATTERN_ISSUE_CODE
public static final java.lang.String ANNOTATION_ISSUE_CODE
public void executeAdditionalValidation(org.eclipse.viatra.query.patternlanguage.patternLanguage.Annotation annotation, org.eclipse.viatra.query.patternlanguage.validation.IIssueCallback validator)
executeAdditionalValidation
in interface org.eclipse.viatra.query.patternlanguage.annotations.IPatternAnnotationAdditionalValidator