diff options
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractSmtLanguageUiModule.java')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractSmtLanguageUiModule.java | 242 |
1 files changed, 242 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractSmtLanguageUiModule.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractSmtLanguageUiModule.java new file mode 100644 index 00000000..5ac37785 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractSmtLanguageUiModule.java | |||
@@ -0,0 +1,242 @@ | |||
1 | |||
2 | /* | ||
3 | * generated by Xtext | ||
4 | */ | ||
5 | package hu.bme.mit.inf.dslreasoner.ui; | ||
6 | |||
7 | import org.eclipse.xtext.ui.DefaultUiModule; | ||
8 | import org.eclipse.ui.plugin.AbstractUIPlugin; | ||
9 | |||
10 | /** | ||
11 | * Manual modifications go to {hu.bme.mit.inf.dslreasoner.ui.SmtLanguageUiModule} | ||
12 | */ | ||
13 | @SuppressWarnings("all") | ||
14 | public abstract class AbstractSmtLanguageUiModule extends DefaultUiModule { | ||
15 | |||
16 | public AbstractSmtLanguageUiModule(AbstractUIPlugin plugin) { | ||
17 | super(plugin); | ||
18 | } | ||
19 | |||
20 | |||
21 | // contributed by org.eclipse.xtext.ui.generator.ImplicitUiFragment | ||
22 | public com.google.inject.Provider<org.eclipse.xtext.resource.containers.IAllContainersState> provideIAllContainersState() { | ||
23 | return org.eclipse.xtext.ui.shared.Access.getJavaProjectsState(); | ||
24 | } | ||
25 | |||
26 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
27 | public Class<? extends org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper> bindIProposalConflictHelper() { | ||
28 | return org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper.class; | ||
29 | } | ||
30 | |||
31 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
32 | public void configureHighlightingLexer(com.google.inject.Binder binder) { | ||
33 | binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.ui.LexerUIBindings.HIGHLIGHTING)).to(hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalSmtLanguageLexer.class); | ||
34 | } | ||
35 | |||
36 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
37 | public void configureHighlightingTokenDefProvider(com.google.inject.Binder binder) { | ||
38 | binder.bind(org.eclipse.xtext.parser.antlr.ITokenDefProvider.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.ui.LexerUIBindings.HIGHLIGHTING)).to(org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider.class); | ||
39 | } | ||
40 | |||
41 | // contributed by org.eclipse.xtext.generator.exporting.QualifiedNamesFragment | ||
42 | public Class<? extends org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator> bindIDependentElementsCalculator() { | ||
43 | return org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator.class; | ||
44 | } | ||
45 | |||
46 | // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment | ||
47 | public void configureIResourceDescriptionsBuilderScope(com.google.inject.Binder binder) { | ||
48 | binder.bind(org.eclipse.xtext.resource.IResourceDescriptions.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider.NAMED_BUILDER_SCOPE)).to(org.eclipse.xtext.builder.clustering.CurrentDescriptions.ResourceSetAware.class); | ||
49 | } | ||
50 | |||
51 | // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment | ||
52 | public Class<? extends org.eclipse.xtext.ui.editor.IXtextEditorCallback> bindIXtextEditorCallback() { | ||
53 | return org.eclipse.xtext.builder.nature.NatureAddingEditorCallback.class; | ||
54 | } | ||
55 | |||
56 | // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment | ||
57 | public void configureIResourceDescriptionsPersisted(com.google.inject.Binder binder) { | ||
58 | binder.bind(org.eclipse.xtext.resource.IResourceDescriptions.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(org.eclipse.xtext.builder.builderState.IBuilderState.class); | ||
59 | } | ||
60 | |||
61 | // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment | ||
62 | public Class<? extends org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource> bindDocumentBasedDirtyResource() { | ||
63 | return org.eclipse.xtext.builder.impl.PersistentDataAwareDirtyResource.class; | ||
64 | } | ||
65 | |||
66 | // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment | ||
67 | public Class<? extends org.eclipse.xtext.builder.IXtextBuilderParticipant> bindIXtextBuilderParticipant() { | ||
68 | return org.eclipse.xtext.builder.BuilderParticipant.class; | ||
69 | } | ||
70 | |||
71 | // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment | ||
72 | public org.eclipse.core.resources.IWorkspaceRoot bindIWorkspaceRootToInstance() { | ||
73 | return org.eclipse.core.resources.ResourcesPlugin.getWorkspace().getRoot(); | ||
74 | } | ||
75 | |||
76 | // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment | ||
77 | public void configureBuilderPreferenceStoreInitializer(com.google.inject.Binder binder) { | ||
78 | binder.bind(org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer.class).annotatedWith(com.google.inject.name.Names.named("builderPreferenceInitializer")).to(org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess.Initializer.class); | ||
79 | } | ||
80 | |||
81 | // contributed by org.eclipse.xtext.ui.generator.labeling.LabelProviderFragment | ||
82 | public Class<? extends org.eclipse.jface.viewers.ILabelProvider> bindILabelProvider() { | ||
83 | return hu.bme.mit.inf.dslreasoner.ui.labeling.SmtLanguageLabelProvider.class; | ||
84 | } | ||
85 | |||
86 | // contributed by org.eclipse.xtext.ui.generator.labeling.LabelProviderFragment | ||
87 | public void configureResourceUIServiceLabelProvider(com.google.inject.Binder binder) { | ||
88 | binder.bind(org.eclipse.jface.viewers.ILabelProvider.class).annotatedWith(org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider.class).to(hu.bme.mit.inf.dslreasoner.ui.labeling.SmtLanguageDescriptionLabelProvider.class); | ||
89 | } | ||
90 | |||
91 | // contributed by org.eclipse.xtext.ui.generator.outline.OutlineTreeProviderFragment | ||
92 | public Class<? extends org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider> bindIOutlineTreeProvider() { | ||
93 | return hu.bme.mit.inf.dslreasoner.ui.outline.SmtLanguageOutlineTreeProvider.class; | ||
94 | } | ||
95 | |||
96 | // contributed by org.eclipse.xtext.ui.generator.outline.OutlineTreeProviderFragment | ||
97 | public Class<? extends org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider> bindIOutlineTreeStructureProvider() { | ||
98 | return hu.bme.mit.inf.dslreasoner.ui.outline.SmtLanguageOutlineTreeProvider.class; | ||
99 | } | ||
100 | |||
101 | // contributed by org.eclipse.xtext.ui.generator.quickfix.QuickfixProviderFragment | ||
102 | public Class<? extends org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider> bindIssueResolutionProvider() { | ||
103 | return hu.bme.mit.inf.dslreasoner.ui.quickfix.SmtLanguageQuickfixProvider.class; | ||
104 | } | ||
105 | |||
106 | // contributed by org.eclipse.xtext.ui.generator.contentAssist.ContentAssistFragment | ||
107 | public Class<? extends org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider> bindIContentProposalProvider() { | ||
108 | return hu.bme.mit.inf.dslreasoner.ui.contentassist.SmtLanguageProposalProvider.class; | ||
109 | } | ||
110 | |||
111 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrUiGeneratorFragment | ||
112 | public Class<? extends org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext.Factory> bindContentAssistContext$Factory() { | ||
113 | return org.eclipse.xtext.ui.editor.contentassist.antlr.ParserBasedContentAssistContextFactory.class; | ||
114 | } | ||
115 | |||
116 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrUiGeneratorFragment | ||
117 | public Class<? extends org.eclipse.xtext.ui.editor.contentassist.antlr.IContentAssistParser> bindIContentAssistParser() { | ||
118 | return hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.SmtLanguageParser.class; | ||
119 | } | ||
120 | |||
121 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrUiGeneratorFragment | ||
122 | public void configureContentAssistLexerProvider(com.google.inject.Binder binder) { | ||
123 | binder.bind(hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalSmtLanguageLexer.class).toProvider(org.eclipse.xtext.parser.antlr.LexerProvider.create(hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalSmtLanguageLexer.class)); | ||
124 | } | ||
125 | |||
126 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrUiGeneratorFragment | ||
127 | public void configureContentAssistLexer(com.google.inject.Binder binder) { | ||
128 | binder.bind(org.eclipse.xtext.ui.editor.contentassist.antlr.internal.Lexer.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.ui.LexerUIBindings.CONTENT_ASSIST)).to(hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalSmtLanguageLexer.class); | ||
129 | } | ||
130 | |||
131 | // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment | ||
132 | public Class<? extends org.eclipse.xtext.ui.refactoring.IRenameStrategy> bindIRenameStrategy() { | ||
133 | return org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy.class; | ||
134 | } | ||
135 | |||
136 | // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment | ||
137 | public Class<? extends org.eclipse.xtext.ui.refactoring.IReferenceUpdater> bindIReferenceUpdater() { | ||
138 | return org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater.class; | ||
139 | } | ||
140 | |||
141 | // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment | ||
142 | public void configureIPreferenceStoreInitializer(com.google.inject.Binder binder) { | ||
143 | binder.bind(org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer.class).annotatedWith(com.google.inject.name.Names.named("RefactoringPreferences")).to(org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences.Initializer.class); | ||
144 | } | ||
145 | |||
146 | // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment | ||
147 | public Class<? extends org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider> bindIRenameRefactoringProvider() { | ||
148 | return org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider.class; | ||
149 | } | ||
150 | |||
151 | // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment | ||
152 | public Class<? extends org.eclipse.xtext.ui.refactoring.ui.IRenameSupport.Factory> bindIRenameSupport$Factory() { | ||
153 | return org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport.Factory.class; | ||
154 | } | ||
155 | |||
156 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
157 | public java.lang.ClassLoader bindClassLoaderToInstance() { | ||
158 | return getClass().getClassLoader(); | ||
159 | } | ||
160 | |||
161 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
162 | public Class<? extends org.eclipse.xtext.common.types.access.IJvmTypeProvider.Factory> bindIJvmTypeProvider$Factory() { | ||
163 | return org.eclipse.xtext.common.types.access.jdt.JdtTypeProviderFactory.class; | ||
164 | } | ||
165 | |||
166 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
167 | public Class<? extends org.eclipse.xtext.common.types.xtext.AbstractTypeScopeProvider> bindAbstractTypeScopeProvider() { | ||
168 | return org.eclipse.xtext.common.types.xtext.ui.JdtBasedSimpleTypeScopeProvider.class; | ||
169 | } | ||
170 | |||
171 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
172 | public Class<? extends org.eclipse.xtext.common.types.xtext.ui.ITypesProposalProvider> bindITypesProposalProvider() { | ||
173 | return org.eclipse.xtext.common.types.xtext.ui.JdtTypesProposalProvider.class; | ||
174 | } | ||
175 | |||
176 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
177 | public Class<? extends org.eclipse.xtext.common.types.access.jdt.IJavaProjectProvider> bindIJavaProjectProvider() { | ||
178 | return org.eclipse.xtext.common.types.xtext.ui.XtextResourceSetBasedProjectProvider.class; | ||
179 | } | ||
180 | |||
181 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
182 | public Class<? extends org.eclipse.xtext.ui.editor.hyperlinking.IHyperlinkHelper> bindIHyperlinkHelper() { | ||
183 | return org.eclipse.xtext.common.types.xtext.ui.TypeAwareHyperlinkHelper.class; | ||
184 | } | ||
185 | |||
186 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
187 | public Class<? extends org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher> bindPrefixMatcher() { | ||
188 | return org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher.class; | ||
189 | } | ||
190 | |||
191 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
192 | public Class<? extends org.eclipse.xtext.ui.editor.contentassist.AbstractJavaBasedContentProposalProvider.ReferenceProposalCreator> bindAbstractJavaBasedContentProposalProvider$ReferenceProposalCreator() { | ||
193 | return org.eclipse.xtext.common.types.xtext.ui.TypeAwareReferenceProposalCreator.class; | ||
194 | } | ||
195 | |||
196 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
197 | public Class<? extends org.eclipse.xtext.ui.editor.IValidationJobScheduler> bindIValidationJobScheduler() { | ||
198 | return org.eclipse.xtext.common.types.xtext.ui.JdtValidationJobScheduler.class; | ||
199 | } | ||
200 | |||
201 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
202 | public Class<? extends org.eclipse.xtext.ui.refactoring.impl.RefactoringResourceSetProvider> bindRefactoringResourceSetProvider() { | ||
203 | return org.eclipse.xtext.common.types.ui.refactoring.JvmRefactoringResourceSetProvider.class; | ||
204 | } | ||
205 | |||
206 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
207 | public Class<? extends org.eclipse.xtext.common.types.ui.query.IJavaSearchParticipation> bindIJavaSearchParticipation() { | ||
208 | return org.eclipse.xtext.common.types.ui.query.IJavaSearchParticipation.Yes.class; | ||
209 | } | ||
210 | |||
211 | // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment | ||
212 | public com.google.inject.Provider<org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration> provideTemplatesLanguageConfiguration() { | ||
213 | return org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator.getTemplatesLanguageConfigurationProvider(); | ||
214 | } | ||
215 | |||
216 | // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment | ||
217 | public com.google.inject.Provider<org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry> provideLanguageRegistry() { | ||
218 | return org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator.getLanguageRegistry(); | ||
219 | } | ||
220 | |||
221 | // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment | ||
222 | @org.eclipse.xtext.service.SingletonBinding(eager=true) public Class<? extends org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar> bindLanguageRegistrar() { | ||
223 | return org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar.class; | ||
224 | } | ||
225 | |||
226 | // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment | ||
227 | public Class<? extends org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage> bindXtextTemplatePreferencePage() { | ||
228 | return org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage.class; | ||
229 | } | ||
230 | |||
231 | // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment | ||
232 | public Class<? extends org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialContentAssistParser> bindIPartialContentAssistParser() { | ||
233 | return hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.PartialSmtLanguageContentAssistParser.class; | ||
234 | } | ||
235 | |||
236 | // contributed by org.eclipse.xtext.ui.generator.compare.CompareFragment | ||
237 | public Class<? extends org.eclipse.compare.IViewerCreator> bindIViewerCreator() { | ||
238 | return org.eclipse.xtext.ui.compare.DefaultViewerCreator.class; | ||
239 | } | ||
240 | |||
241 | |||
242 | } | ||