diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill')
5 files changed, 100 insertions, 25 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java index 5ef7b226..726c20f5 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.ui; | 4 | package ca.mcgill.ecse.dslreasoner.ui; |
5 | 5 | ||
@@ -11,6 +11,7 @@ import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageDescriptionLabelPro | |||
11 | import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageLabelProvider; | 11 | import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageLabelProvider; |
12 | import ca.mcgill.ecse.dslreasoner.ui.outline.VampireLanguageOutlineTreeProvider; | 12 | import ca.mcgill.ecse.dslreasoner.ui.outline.VampireLanguageOutlineTreeProvider; |
13 | import ca.mcgill.ecse.dslreasoner.ui.quickfix.VampireLanguageQuickfixProvider; | 13 | import ca.mcgill.ecse.dslreasoner.ui.quickfix.VampireLanguageQuickfixProvider; |
14 | import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageValidatorConfigurationBlock; | ||
14 | import com.google.inject.Binder; | 15 | import com.google.inject.Binder; |
15 | import com.google.inject.Provider; | 16 | import com.google.inject.Provider; |
16 | import com.google.inject.name.Names; | 17 | import com.google.inject.name.Names; |
@@ -78,6 +79,7 @@ import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport; | |||
78 | import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences; | 79 | import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences; |
79 | import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider; | 80 | import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider; |
80 | import org.eclipse.xtext.ui.shared.Access; | 81 | import org.eclipse.xtext.ui.shared.Access; |
82 | import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock; | ||
81 | 83 | ||
82 | /** | 84 | /** |
83 | * Manual modifications go to {@link VampireLanguageUiModule}. | 85 | * Manual modifications go to {@link VampireLanguageUiModule}. |
@@ -135,6 +137,11 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule { | |||
135 | binder.bind(InternalVampireLanguageLexer.class).toProvider(LexerProvider.create(InternalVampireLanguageLexer.class)); | 137 | binder.bind(InternalVampireLanguageLexer.class).toProvider(LexerProvider.create(InternalVampireLanguageLexer.class)); |
136 | } | 138 | } |
137 | 139 | ||
140 | // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2 | ||
141 | public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() { | ||
142 | return VampireLanguageValidatorConfigurationBlock.class; | ||
143 | } | ||
144 | |||
138 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 | 145 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 |
139 | public Class<? extends PrefixMatcher> bindPrefixMatcher() { | 146 | public Class<? extends PrefixMatcher> bindPrefixMatcher() { |
140 | return FQNPrefixMatcher.class; | 147 | return FQNPrefixMatcher.class; |
@@ -223,6 +230,13 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule { | |||
223 | } | 230 | } |
224 | 231 | ||
225 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | 232 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 |
233 | public void configureIPreferenceStoreInitializer(Binder binder) { | ||
234 | binder.bind(IPreferenceStoreInitializer.class) | ||
235 | .annotatedWith(Names.named("RefactoringPreferences")) | ||
236 | .to(RefactoringPreferences.Initializer.class); | ||
237 | } | ||
238 | |||
239 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
226 | public Class<? extends IRenameStrategy> bindIRenameStrategy() { | 240 | public Class<? extends IRenameStrategy> bindIRenameStrategy() { |
227 | return DefaultRenameStrategy.class; | 241 | return DefaultRenameStrategy.class; |
228 | } | 242 | } |
@@ -233,13 +247,6 @@ public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule { | |||
233 | } | 247 | } |
234 | 248 | ||
235 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | 249 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 |
236 | public void configureIPreferenceStoreInitializer(Binder binder) { | ||
237 | binder.bind(IPreferenceStoreInitializer.class) | ||
238 | .annotatedWith(Names.named("RefactoringPreferences")) | ||
239 | .to(RefactoringPreferences.Initializer.class); | ||
240 | } | ||
241 | |||
242 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
243 | public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() { | 250 | public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() { |
244 | return DefaultRenameRefactoringProvider.class; | 251 | return DefaultRenameRefactoringProvider.class; |
245 | } | 252 | } |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java index 18440e58..1dc2d4cb 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageExecutableExtensionFactory.java | |||
@@ -1,10 +1,11 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.ui; | 4 | package ca.mcgill.ecse.dslreasoner.ui; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal.LanguageActivator; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal.LanguageActivator; |
7 | import com.google.inject.Injector; | 7 | import com.google.inject.Injector; |
8 | import org.eclipse.core.runtime.Platform; | ||
8 | import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory; | 9 | import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory; |
9 | import org.osgi.framework.Bundle; | 10 | import org.osgi.framework.Bundle; |
10 | 11 | ||
@@ -16,12 +17,13 @@ public class VampireLanguageExecutableExtensionFactory extends AbstractGuiceAwar | |||
16 | 17 | ||
17 | @Override | 18 | @Override |
18 | protected Bundle getBundle() { | 19 | protected Bundle getBundle() { |
19 | return LanguageActivator.getInstance().getBundle(); | 20 | return Platform.getBundle(LanguageActivator.PLUGIN_ID); |
20 | } | 21 | } |
21 | 22 | ||
22 | @Override | 23 | @Override |
23 | protected Injector getInjector() { | 24 | protected Injector getInjector() { |
24 | return LanguageActivator.getInstance().getInjector(LanguageActivator.CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE); | 25 | LanguageActivator activator = LanguageActivator.getInstance(); |
26 | return activator != null ? activator.getInjector(LanguageActivator.CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE) : null; | ||
25 | } | 27 | } |
26 | 28 | ||
27 | } | 29 | } |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java index aead1baf..8e11f8c7 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/AbstractVampireLanguageProposalProvider.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.ui.contentassist; | 4 | package ca.mcgill.ecse.dslreasoner.ui.contentassist; |
5 | 5 | ||
@@ -131,13 +131,13 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
131 | public void completeVLSVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 131 | public void completeVLSVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
132 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 132 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
133 | } | 133 | } |
134 | public void completeVLSFunctionFof_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 134 | public void completeVLSFunctionAsTerm_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
135 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor); | 135 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(0)), context, acceptor); |
136 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor); | 136 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(1)), context, acceptor); |
137 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor); | 137 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(2)), context, acceptor); |
138 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor); | 138 | completeRuleCall(((RuleCall)((Alternatives)assignment.getTerminal()).getElements().get(3)), context, acceptor); |
139 | } | 139 | } |
140 | public void completeVLSFunctionFof_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 140 | public void completeVLSFunctionAsTerm_Terms(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
141 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 141 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
142 | } | 142 | } |
143 | public void completeVLSDefinedTerm_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 143 | public void completeVLSDefinedTerm_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
@@ -267,7 +267,7 @@ public abstract class AbstractVampireLanguageProposalProvider extends TerminalsP | |||
267 | public void complete_VLSFofTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 267 | public void complete_VLSFofTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
268 | // subclasses may override | 268 | // subclasses may override |
269 | } | 269 | } |
270 | public void complete_VLSFunctionFof(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 270 | public void complete_VLSFunctionAsTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
271 | // subclasses may override | 271 | // subclasses may override |
272 | } | 272 | } |
273 | public void complete_VLSDefinedTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 273 | public void complete_VLSDefinedTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidatorConfigurationBlock.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidatorConfigurationBlock.java new file mode 100644 index 00000000..9faf6232 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidatorConfigurationBlock.java | |||
@@ -0,0 +1,65 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.14.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.validation; | ||
5 | |||
6 | import org.eclipse.core.resources.IProject; | ||
7 | import org.eclipse.core.resources.ResourcesPlugin; | ||
8 | import org.eclipse.core.runtime.jobs.Job; | ||
9 | import org.eclipse.jface.dialogs.IDialogSettings; | ||
10 | import org.eclipse.swt.widgets.Combo; | ||
11 | import org.eclipse.swt.widgets.Composite; | ||
12 | import org.eclipse.xtext.ui.preferences.OptionsConfigurationBlock; | ||
13 | import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock; | ||
14 | import org.eclipse.xtext.validation.SeverityConverter; | ||
15 | |||
16 | @SuppressWarnings("restriction") | ||
17 | public class VampireLanguageValidatorConfigurationBlock extends AbstractValidatorConfigurationBlock { | ||
18 | |||
19 | @Override | ||
20 | protected void fillSettingsPage(Composite composite, int nColumns, int defaultIndent) { | ||
21 | addComboBox(VampireLanguageConfigurableIssueCodesProvider.DEPRECATED_MODEL_PART, "Deprecated Model Part", composite, defaultIndent); | ||
22 | } | ||
23 | |||
24 | @Override | ||
25 | protected Job getBuildJob(IProject project) { | ||
26 | Job buildJob = new OptionsConfigurationBlock.BuildJob("Validation Settings Changed", project); | ||
27 | buildJob.setRule(ResourcesPlugin.getWorkspace().getRuleFactory().buildRule()); | ||
28 | buildJob.setUser(true); | ||
29 | return buildJob; | ||
30 | } | ||
31 | |||
32 | @Override | ||
33 | protected String[] getFullBuildDialogStrings(boolean workspaceSettings) { | ||
34 | return new String[] { "Validation Settings Changed", | ||
35 | "Validation settings have changed. A full rebuild is required for changes to take effect. Do the full build now?" }; | ||
36 | } | ||
37 | |||
38 | @Override | ||
39 | protected void validateSettings(String changedKey, String oldValue, String newValue) { | ||
40 | } | ||
41 | |||
42 | protected Combo addComboBox(String prefKey, String label, Composite parent, int indent) { | ||
43 | String[] values = new String[] { SeverityConverter.SEVERITY_ERROR, SeverityConverter.SEVERITY_WARNING, | ||
44 | SeverityConverter.SEVERITY_INFO, SeverityConverter.SEVERITY_IGNORE }; | ||
45 | String[] valueLabels = new String[] { "Error", "Warning", "Info", "Ignore" }; | ||
46 | Combo comboBox = addComboBox(parent, label, prefKey, indent, values, valueLabels); | ||
47 | return comboBox; | ||
48 | } | ||
49 | |||
50 | @Override | ||
51 | public void dispose() { | ||
52 | storeSectionExpansionStates(getDialogSettings()); | ||
53 | super.dispose(); | ||
54 | } | ||
55 | |||
56 | @Override | ||
57 | protected IDialogSettings getDialogSettings() { | ||
58 | IDialogSettings dialogSettings = super.getDialogSettings(); | ||
59 | IDialogSettings section = dialogSettings.getSection("VampireLanguage"); | ||
60 | if (section == null) { | ||
61 | return dialogSettings.addNewSection("VampireLanguage"); | ||
62 | } | ||
63 | return section; | ||
64 | } | ||
65 | } | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/vampire/language/ui/internal/LanguageActivator.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/vampire/language/ui/internal/LanguageActivator.java index eca3aa7f..b25ea8a3 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/vampire/language/ui/internal/LanguageActivator.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/vampire/language/ui/internal/LanguageActivator.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal; | 4 | package ca.mcgill.ecse.dslreasoner.vampire.language.ui.internal; |
5 | 5 | ||
@@ -8,7 +8,6 @@ import ca.mcgill.ecse.dslreasoner.ui.VampireLanguageUiModule; | |||
8 | import com.google.common.collect.Maps; | 8 | import com.google.common.collect.Maps; |
9 | import com.google.inject.Guice; | 9 | import com.google.inject.Guice; |
10 | import com.google.inject.Injector; | 10 | import com.google.inject.Injector; |
11 | import com.google.inject.Module; | ||
12 | import java.util.Collections; | 11 | import java.util.Collections; |
13 | import java.util.Map; | 12 | import java.util.Map; |
14 | import org.apache.log4j.Logger; | 13 | import org.apache.log4j.Logger; |
@@ -23,6 +22,7 @@ import org.osgi.framework.BundleContext; | |||
23 | */ | 22 | */ |
24 | public class LanguageActivator extends AbstractUIPlugin { | 23 | public class LanguageActivator extends AbstractUIPlugin { |
25 | 24 | ||
25 | public static final String PLUGIN_ID = "ca.mcgill.ecse.dslreasoner.vampire.language.ui"; | ||
26 | public static final String CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE = "ca.mcgill.ecse.dslreasoner.VampireLanguage"; | 26 | public static final String CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE = "ca.mcgill.ecse.dslreasoner.VampireLanguage"; |
27 | 27 | ||
28 | private static final Logger logger = Logger.getLogger(LanguageActivator.class); | 28 | private static final Logger logger = Logger.getLogger(LanguageActivator.class); |
@@ -60,10 +60,10 @@ public class LanguageActivator extends AbstractUIPlugin { | |||
60 | 60 | ||
61 | protected Injector createInjector(String language) { | 61 | protected Injector createInjector(String language) { |
62 | try { | 62 | try { |
63 | Module runtimeModule = getRuntimeModule(language); | 63 | com.google.inject.Module runtimeModule = getRuntimeModule(language); |
64 | Module sharedStateModule = getSharedStateModule(); | 64 | com.google.inject.Module sharedStateModule = getSharedStateModule(); |
65 | Module uiModule = getUiModule(language); | 65 | com.google.inject.Module uiModule = getUiModule(language); |
66 | Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule); | 66 | com.google.inject.Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule); |
67 | return Guice.createInjector(mergedModule); | 67 | return Guice.createInjector(mergedModule); |
68 | } catch (Exception e) { | 68 | } catch (Exception e) { |
69 | logger.error("Failed to create injector for " + language); | 69 | logger.error("Failed to create injector for " + language); |
@@ -72,22 +72,23 @@ public class LanguageActivator extends AbstractUIPlugin { | |||
72 | } | 72 | } |
73 | } | 73 | } |
74 | 74 | ||
75 | protected Module getRuntimeModule(String grammar) { | 75 | protected com.google.inject.Module getRuntimeModule(String grammar) { |
76 | if (CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE.equals(grammar)) { | 76 | if (CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE.equals(grammar)) { |
77 | return new VampireLanguageRuntimeModule(); | 77 | return new VampireLanguageRuntimeModule(); |
78 | } | 78 | } |
79 | throw new IllegalArgumentException(grammar); | 79 | throw new IllegalArgumentException(grammar); |
80 | } | 80 | } |
81 | 81 | ||
82 | protected Module getUiModule(String grammar) { | 82 | protected com.google.inject.Module getUiModule(String grammar) { |
83 | if (CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE.equals(grammar)) { | 83 | if (CA_MCGILL_ECSE_DSLREASONER_VAMPIRELANGUAGE.equals(grammar)) { |
84 | return new VampireLanguageUiModule(this); | 84 | return new VampireLanguageUiModule(this); |
85 | } | 85 | } |
86 | throw new IllegalArgumentException(grammar); | 86 | throw new IllegalArgumentException(grammar); |
87 | } | 87 | } |
88 | 88 | ||
89 | protected Module getSharedStateModule() { | 89 | protected com.google.inject.Module getSharedStateModule() { |
90 | return new SharedStateModule(); | 90 | return new SharedStateModule(); |
91 | } | 91 | } |
92 | 92 | ||
93 | |||
93 | } | 94 | } |