diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/validation')
2 files changed, 41 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/validation/AbstractSolverLanguageValidator.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/validation/AbstractSolverLanguageValidator.java new file mode 100644 index 00000000..e4313a24 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/validation/AbstractSolverLanguageValidator.java | |||
@@ -0,0 +1,19 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.validation; | ||
5 | |||
6 | import java.util.ArrayList; | ||
7 | import java.util.List; | ||
8 | import org.eclipse.emf.ecore.EPackage; | ||
9 | import org.eclipse.xtext.validation.AbstractDeclarativeValidator; | ||
10 | |||
11 | public abstract class AbstractSolverLanguageValidator extends AbstractDeclarativeValidator { | ||
12 | |||
13 | @Override | ||
14 | protected List<EPackage> getEPackages() { | ||
15 | List<EPackage> result = new ArrayList<EPackage>(); | ||
16 | result.add(org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage.eINSTANCE); | ||
17 | return result; | ||
18 | } | ||
19 | } | ||
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageConfigurableIssueCodesProvider.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageConfigurableIssueCodesProvider.java new file mode 100644 index 00000000..4247dc60 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageConfigurableIssueCodesProvider.java | |||
@@ -0,0 +1,22 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.validation; | ||
5 | |||
6 | import org.eclipse.xtext.preferences.PreferenceKey; | ||
7 | import org.eclipse.xtext.util.IAcceptor; | ||
8 | import org.eclipse.xtext.validation.ConfigurableIssueCodesProvider; | ||
9 | import org.eclipse.xtext.validation.SeverityConverter; | ||
10 | |||
11 | @SuppressWarnings("restriction") | ||
12 | public class SolverLanguageConfigurableIssueCodesProvider extends ConfigurableIssueCodesProvider { | ||
13 | protected static final String ISSUE_CODE_PREFIX = "org.eclipse.viatra.solver.language."; | ||
14 | |||
15 | public static final String DEPRECATED_MODEL_PART = ISSUE_CODE_PREFIX + "deprecatedModelPart"; | ||
16 | |||
17 | @Override | ||
18 | protected void initialize(IAcceptor<PreferenceKey> acceptor) { | ||
19 | super.initialize(acceptor); | ||
20 | acceptor.accept(create(DEPRECATED_MODEL_PART, SeverityConverter.SEVERITY_WARNING)); | ||
21 | } | ||
22 | } | ||