public class ConstraintAnnotationValidator
extends java.lang.Object
implements org.eclipse.viatra.query.patternlanguage.annotations.IPatternAnnotationAdditionalValidator
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
INVALID_KEY_PARAMETERS |
static java.lang.String |
INVALID_SYMMETRIC_PARAMETERS |
static java.lang.String |
SEVERITY_ISSUE_CODE |
Constructor and Description |
---|
ConstraintAnnotationValidator() |
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 SEVERITY_ISSUE_CODE
public static final java.lang.String INVALID_SYMMETRIC_PARAMETERS
public static final java.lang.String INVALID_KEY_PARAMETERS
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