aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java286
1 files changed, 286 insertions, 0 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
new file mode 100644
index 00000000..3a6cc964
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/ui/AbstractVampireLanguageUiModule.java
@@ -0,0 +1,286 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner.ui;
5
6import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.PartialVampireLanguageContentAssistParser;
7import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.VampireLanguageParser;
8import ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal.InternalVampireLanguageLexer;
9import ca.mcgill.ecse.dslreasoner.ui.contentassist.VampireLanguageProposalProvider;
10import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageDescriptionLabelProvider;
11import ca.mcgill.ecse.dslreasoner.ui.labeling.VampireLanguageLabelProvider;
12import ca.mcgill.ecse.dslreasoner.ui.outline.VampireLanguageOutlineTreeProvider;
13import ca.mcgill.ecse.dslreasoner.ui.quickfix.VampireLanguageQuickfixProvider;
14import com.google.inject.Binder;
15import com.google.inject.Provider;
16import com.google.inject.name.Names;
17import org.eclipse.compare.IViewerCreator;
18import org.eclipse.core.resources.IWorkspaceRoot;
19import org.eclipse.core.resources.ResourcesPlugin;
20import org.eclipse.jface.viewers.ILabelProvider;
21import org.eclipse.ui.plugin.AbstractUIPlugin;
22import org.eclipse.xtext.builder.BuilderParticipant;
23import org.eclipse.xtext.builder.EclipseOutputConfigurationProvider;
24import org.eclipse.xtext.builder.IXtextBuilderParticipant;
25import org.eclipse.xtext.builder.builderState.IBuilderState;
26import org.eclipse.xtext.builder.clustering.CurrentDescriptions;
27import org.eclipse.xtext.builder.impl.PersistentDataAwareDirtyResource;
28import org.eclipse.xtext.builder.nature.NatureAddingEditorCallback;
29import org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess;
30import org.eclipse.xtext.generator.IContextualOutputConfigurationProvider;
31import org.eclipse.xtext.ide.LexerIdeBindings;
32import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;
33import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
34import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser;
35import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider;
36import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
37import org.eclipse.xtext.parser.antlr.LexerProvider;
38import org.eclipse.xtext.resource.IResourceDescriptions;
39import org.eclipse.xtext.resource.containers.IAllContainersState;
40import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;
41import org.eclipse.xtext.service.SingletonBinding;
42import org.eclipse.xtext.ui.DefaultUiModule;
43import org.eclipse.xtext.ui.UIBindings;
44import org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator;
45import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialEditingContentAssistContextFactory;
46import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.PartialEditingContentAssistContextFactory;
47import org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage;
48import org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration;
49import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar;
50import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry;
51import org.eclipse.xtext.ui.compare.DefaultViewerCreator;
52import org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource;
53import org.eclipse.xtext.ui.editor.IXtextEditorCallback;
54import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
55import org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher;
56import org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider;
57import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper;
58import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher;
59import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper;
60import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory;
61import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider;
62import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider;
63import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer;
64import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider;
65import org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage;
66import org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator;
67import org.eclipse.xtext.ui.refactoring.IReferenceUpdater;
68import org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider;
69import org.eclipse.xtext.ui.refactoring.IRenameStrategy;
70import org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator;
71import org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater;
72import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider;
73import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy;
74import org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport;
75import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport;
76import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences;
77import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider;
78import org.eclipse.xtext.ui.shared.Access;
79
80/**
81 * Manual modifications go to {@link VampireLanguageUiModule}.
82 */
83@SuppressWarnings("all")
84public abstract class AbstractVampireLanguageUiModule extends DefaultUiModule {
85
86 public AbstractVampireLanguageUiModule(AbstractUIPlugin plugin) {
87 super(plugin);
88 }
89
90 // contributed by org.eclipse.xtext.xtext.generator.ImplicitFragment
91 public Provider<? extends IAllContainersState> provideIAllContainersState() {
92 return Access.getJavaProjectsState();
93 }
94
95 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
96 public Class<? extends IProposalConflictHelper> bindIProposalConflictHelper() {
97 return AntlrProposalConflictHelper.class;
98 }
99
100 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
101 public void configureContentAssistLexer(Binder binder) {
102 binder.bind(Lexer.class)
103 .annotatedWith(Names.named(LexerIdeBindings.CONTENT_ASSIST))
104 .to(InternalVampireLanguageLexer.class);
105 }
106
107 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
108 public void configureHighlightingLexer(Binder binder) {
109 binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class)
110 .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
111 .to(ca.mcgill.ecse.dslreasoner.parser.antlr.internal.InternalVampireLanguageLexer.class);
112 }
113
114 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
115 public void configureHighlightingTokenDefProvider(Binder binder) {
116 binder.bind(ITokenDefProvider.class)
117 .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
118 .to(AntlrTokenDefProvider.class);
119 }
120
121 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
122 public Class<? extends ContentAssistContext.Factory> bindContentAssistContext$Factory() {
123 return DelegatingContentAssistContextFactory.class;
124 }
125
126 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
127 public Class<? extends IContentAssistParser> bindIContentAssistParser() {
128 return VampireLanguageParser.class;
129 }
130
131 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
132 public void configureContentAssistLexerProvider(Binder binder) {
133 binder.bind(InternalVampireLanguageLexer.class).toProvider(LexerProvider.create(InternalVampireLanguageLexer.class));
134 }
135
136 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
137 public Class<? extends PrefixMatcher> bindPrefixMatcher() {
138 return FQNPrefixMatcher.class;
139 }
140
141 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
142 public Class<? extends IDependentElementsCalculator> bindIDependentElementsCalculator() {
143 return DefaultDependentElementsCalculator.class;
144 }
145
146 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
147 public void configureIResourceDescriptionsBuilderScope(Binder binder) {
148 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.NAMED_BUILDER_SCOPE)).to(CurrentDescriptions.ResourceSetAware.class);
149 }
150
151 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
152 public Class<? extends IXtextEditorCallback> bindIXtextEditorCallback() {
153 return NatureAddingEditorCallback.class;
154 }
155
156 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
157 public Class<? extends IContextualOutputConfigurationProvider> bindIContextualOutputConfigurationProvider() {
158 return EclipseOutputConfigurationProvider.class;
159 }
160
161 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
162 public void configureIResourceDescriptionsPersisted(Binder binder) {
163 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(IBuilderState.class);
164 }
165
166 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
167 public Class<? extends DocumentBasedDirtyResource> bindDocumentBasedDirtyResource() {
168 return PersistentDataAwareDirtyResource.class;
169 }
170
171 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
172 public Class<? extends IXtextBuilderParticipant> bindIXtextBuilderParticipant() {
173 return BuilderParticipant.class;
174 }
175
176 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
177 public IWorkspaceRoot bindIWorkspaceRootToInstance() {
178 return ResourcesPlugin.getWorkspace().getRoot();
179 }
180
181 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
182 public void configureBuilderPreferenceStoreInitializer(Binder binder) {
183 binder.bind(IPreferenceStoreInitializer.class)
184 .annotatedWith(Names.named("builderPreferenceInitializer"))
185 .to(BuilderPreferenceAccess.Initializer.class);
186 }
187
188 // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
189 public Class<? extends ILabelProvider> bindILabelProvider() {
190 return VampireLanguageLabelProvider.class;
191 }
192
193 // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
194 public void configureResourceUIServiceLabelProvider(Binder binder) {
195 binder.bind(ILabelProvider.class).annotatedWith(ResourceServiceDescriptionLabelProvider.class).to(VampireLanguageDescriptionLabelProvider.class);
196 }
197
198 // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
199 public Class<? extends IOutlineTreeProvider> bindIOutlineTreeProvider() {
200 return VampireLanguageOutlineTreeProvider.class;
201 }
202
203 // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
204 public Class<? extends IOutlineTreeStructureProvider> bindIOutlineTreeStructureProvider() {
205 return VampireLanguageOutlineTreeProvider.class;
206 }
207
208 // contributed by org.eclipse.xtext.xtext.generator.ui.quickfix.QuickfixProviderFragment2
209 public Class<? extends IssueResolutionProvider> bindIssueResolutionProvider() {
210 return VampireLanguageQuickfixProvider.class;
211 }
212
213 // contributed by org.eclipse.xtext.xtext.generator.ui.contentAssist.ContentAssistFragment2
214 public Class<? extends IContentProposalProvider> bindIContentProposalProvider() {
215 return VampireLanguageProposalProvider.class;
216 }
217
218 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
219 public Class<? extends IRenameStrategy> bindIRenameStrategy() {
220 return DefaultRenameStrategy.class;
221 }
222
223 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
224 public Class<? extends IReferenceUpdater> bindIReferenceUpdater() {
225 return DefaultReferenceUpdater.class;
226 }
227
228 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
229 public void configureIPreferenceStoreInitializer(Binder binder) {
230 binder.bind(IPreferenceStoreInitializer.class)
231 .annotatedWith(Names.named("RefactoringPreferences"))
232 .to(RefactoringPreferences.Initializer.class);
233 }
234
235 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
236 public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() {
237 return DefaultRenameRefactoringProvider.class;
238 }
239
240 // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
241 public Class<? extends IRenameSupport.Factory> bindIRenameSupport$Factory() {
242 return DefaultRenameSupport.Factory.class;
243 }
244
245 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
246 public Provider<? extends TemplatesLanguageConfiguration> provideTemplatesLanguageConfiguration() {
247 return AccessibleCodetemplatesActivator.getTemplatesLanguageConfigurationProvider();
248 }
249
250 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
251 public Provider<? extends LanguageRegistry> provideLanguageRegistry() {
252 return AccessibleCodetemplatesActivator.getLanguageRegistry();
253 }
254
255 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
256 @SingletonBinding(eager=true)
257 public Class<? extends LanguageRegistrar> bindLanguageRegistrar() {
258 return LanguageRegistrar.class;
259 }
260
261 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
262 public Class<? extends XtextTemplatePreferencePage> bindXtextTemplatePreferencePage() {
263 return AdvancedTemplatesPreferencePage.class;
264 }
265
266 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
267 public Class<? extends IPartialEditingContentAssistParser> bindIPartialEditingContentAssistParser() {
268 return PartialVampireLanguageContentAssistParser.class;
269 }
270
271 // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
272 public Class<? extends IPartialEditingContentAssistContextFactory> bindIPartialEditingContentAssistContextFactory() {
273 return PartialEditingContentAssistContextFactory.class;
274 }
275
276 // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
277 public Class<? extends IViewerCreator> bindIViewerCreator() {
278 return DefaultViewerCreator.class;
279 }
280
281 // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
282 public void configureCompareViewerTitle(Binder binder) {
283 binder.bind(String.class).annotatedWith(Names.named(UIBindings.COMPARE_VIEWER_TITLE)).toInstance("VampireLanguage Compare");
284 }
285
286}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:29:57 +0000