diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-04-28 20:43:04 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-04-28 20:43:04 +0200 |
commit | 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch) | |
tree | d525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation | |
parent | check expressions are mapped to WF constraints (diff) | |
download | VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip |
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java new file mode 100644 index 00000000..ad6c3a18 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java | |||
@@ -0,0 +1,35 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.18.0.M3 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.validation; | ||
5 | |||
6 | import org.eclipse.jface.dialogs.IDialogSettings; | ||
7 | import org.eclipse.swt.widgets.Composite; | ||
8 | import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock; | ||
9 | |||
10 | @SuppressWarnings("restriction") | ||
11 | public class SolverLanguageValidatorConfigurationBlock extends AbstractValidatorConfigurationBlock { | ||
12 | |||
13 | protected static final String SETTINGS_SECTION_NAME = "SolverLanguage"; | ||
14 | |||
15 | @Override | ||
16 | protected void fillSettingsPage(Composite composite, int nColumns, int defaultIndent) { | ||
17 | addComboBox(SolverLanguageConfigurableIssueCodesProvider.DEPRECATED_MODEL_PART, "Deprecated Model Part", composite, defaultIndent); | ||
18 | } | ||
19 | |||
20 | @Override | ||
21 | public void dispose() { | ||
22 | storeSectionExpansionStates(getDialogSettings()); | ||
23 | super.dispose(); | ||
24 | } | ||
25 | |||
26 | @Override | ||
27 | protected IDialogSettings getDialogSettings() { | ||
28 | IDialogSettings dialogSettings = super.getDialogSettings(); | ||
29 | IDialogSettings section = dialogSettings.getSection(SETTINGS_SECTION_NAME); | ||
30 | if (section == null) { | ||
31 | return dialogSettings.addNewSection(SETTINGS_SECTION_NAME); | ||
32 | } | ||
33 | return section; | ||
34 | } | ||
35 | } | ||