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 @@
+

+/*

+ * generated by Xtext

+ */

+package hu.bme.mit.inf.dslreasoner.ui;

+

+import org.eclipse.xtext.ui.DefaultUiModule;

+import org.eclipse.ui.plugin.AbstractUIPlugin;

+

+/**

+ * Manual modifications go to {hu.bme.mit.inf.dslreasoner.ui.SmtLanguageUiModule}

+ */

+@SuppressWarnings("all")

+public abstract class AbstractSmtLanguageUiModule extends DefaultUiModule {

+        

+        public AbstractSmtLanguageUiModule(AbstractUIPlugin plugin) {

+                super(plugin);

+        }

+        

+        

+        // contributed by org.eclipse.xtext.ui.generator.ImplicitUiFragment

+        public com.google.inject.Provider<org.eclipse.xtext.resource.containers.IAllContainersState> provideIAllContainersState() {

+                return org.eclipse.xtext.ui.shared.Access.getJavaProjectsState();

+        }

+

+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper> bindIProposalConflictHelper() {

+                return org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment

+        public void configureHighlightingLexer(com.google.inject.Binder binder) {

+                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);

+        }

+

+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment

+        public void configureHighlightingTokenDefProvider(com.google.inject.Binder binder) {

+                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);

+        }

+

+        // contributed by org.eclipse.xtext.generator.exporting.QualifiedNamesFragment

+        public Class<? extends org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator> bindIDependentElementsCalculator() {

+                return org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment

+        public void configureIResourceDescriptionsBuilderScope(com.google.inject.Binder binder) {

+                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);

+        }

+

+        // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.IXtextEditorCallback> bindIXtextEditorCallback() {

+                return org.eclipse.xtext.builder.nature.NatureAddingEditorCallback.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment

+        public void configureIResourceDescriptionsPersisted(com.google.inject.Binder binder) {

+                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);

+        }

+

+        // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource> bindDocumentBasedDirtyResource() {

+                return org.eclipse.xtext.builder.impl.PersistentDataAwareDirtyResource.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment

+        public Class<? extends org.eclipse.xtext.builder.IXtextBuilderParticipant> bindIXtextBuilderParticipant() {

+                return org.eclipse.xtext.builder.BuilderParticipant.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment

+        public org.eclipse.core.resources.IWorkspaceRoot bindIWorkspaceRootToInstance() {

+                return org.eclipse.core.resources.ResourcesPlugin.getWorkspace().getRoot();

+        }

+

+        // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment

+        public void configureBuilderPreferenceStoreInitializer(com.google.inject.Binder binder) {

+                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);

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.labeling.LabelProviderFragment

+        public Class<? extends org.eclipse.jface.viewers.ILabelProvider> bindILabelProvider() {

+                return hu.bme.mit.inf.dslreasoner.ui.labeling.SmtLanguageLabelProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.labeling.LabelProviderFragment

+        public void configureResourceUIServiceLabelProvider(com.google.inject.Binder binder) {

+                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);

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.outline.OutlineTreeProviderFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider> bindIOutlineTreeProvider() {

+                return hu.bme.mit.inf.dslreasoner.ui.outline.SmtLanguageOutlineTreeProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.outline.OutlineTreeProviderFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider> bindIOutlineTreeStructureProvider() {

+                return hu.bme.mit.inf.dslreasoner.ui.outline.SmtLanguageOutlineTreeProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.quickfix.QuickfixProviderFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider> bindIssueResolutionProvider() {

+                return hu.bme.mit.inf.dslreasoner.ui.quickfix.SmtLanguageQuickfixProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.contentAssist.ContentAssistFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider> bindIContentProposalProvider() {

+                return hu.bme.mit.inf.dslreasoner.ui.contentassist.SmtLanguageProposalProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrUiGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext.Factory> bindContentAssistContext$Factory() {

+                return org.eclipse.xtext.ui.editor.contentassist.antlr.ParserBasedContentAssistContextFactory.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrUiGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.contentassist.antlr.IContentAssistParser> bindIContentAssistParser() {

+                return hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.SmtLanguageParser.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrUiGeneratorFragment

+        public void configureContentAssistLexerProvider(com.google.inject.Binder binder) {

+                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));

+        }

+

+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrUiGeneratorFragment

+        public void configureContentAssistLexer(com.google.inject.Binder binder) {

+                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);

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment

+        public Class<? extends org.eclipse.xtext.ui.refactoring.IRenameStrategy> bindIRenameStrategy() {

+                return org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment

+        public Class<? extends org.eclipse.xtext.ui.refactoring.IReferenceUpdater> bindIReferenceUpdater() {

+                return org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment

+        public void configureIPreferenceStoreInitializer(com.google.inject.Binder binder) {

+                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);

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment

+        public Class<? extends org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider> bindIRenameRefactoringProvider() {

+                return org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.refactoring.RefactorElementNameFragment

+        public Class<? extends org.eclipse.xtext.ui.refactoring.ui.IRenameSupport.Factory> bindIRenameSupport$Factory() {

+                return org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport.Factory.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public java.lang.ClassLoader bindClassLoaderToInstance() {

+                return getClass().getClassLoader();

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.common.types.access.IJvmTypeProvider.Factory> bindIJvmTypeProvider$Factory() {

+                return org.eclipse.xtext.common.types.access.jdt.JdtTypeProviderFactory.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.common.types.xtext.AbstractTypeScopeProvider> bindAbstractTypeScopeProvider() {

+                return org.eclipse.xtext.common.types.xtext.ui.JdtBasedSimpleTypeScopeProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.common.types.xtext.ui.ITypesProposalProvider> bindITypesProposalProvider() {

+                return org.eclipse.xtext.common.types.xtext.ui.JdtTypesProposalProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.common.types.access.jdt.IJavaProjectProvider> bindIJavaProjectProvider() {

+                return org.eclipse.xtext.common.types.xtext.ui.XtextResourceSetBasedProjectProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.hyperlinking.IHyperlinkHelper> bindIHyperlinkHelper() {

+                return org.eclipse.xtext.common.types.xtext.ui.TypeAwareHyperlinkHelper.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher> bindPrefixMatcher() {

+                return org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.contentassist.AbstractJavaBasedContentProposalProvider.ReferenceProposalCreator> bindAbstractJavaBasedContentProposalProvider$ReferenceProposalCreator() {

+                return org.eclipse.xtext.common.types.xtext.ui.TypeAwareReferenceProposalCreator.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.IValidationJobScheduler> bindIValidationJobScheduler() {

+                return org.eclipse.xtext.common.types.xtext.ui.JdtValidationJobScheduler.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.refactoring.impl.RefactoringResourceSetProvider> bindRefactoringResourceSetProvider() {

+                return org.eclipse.xtext.common.types.ui.refactoring.JvmRefactoringResourceSetProvider.class;

+        }

+

+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.common.types.ui.query.IJavaSearchParticipation> bindIJavaSearchParticipation() {

+                return org.eclipse.xtext.common.types.ui.query.IJavaSearchParticipation.Yes.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment

+        public com.google.inject.Provider<org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration> provideTemplatesLanguageConfiguration() {

+                return org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator.getTemplatesLanguageConfigurationProvider();

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment

+        public com.google.inject.Provider<org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry> provideLanguageRegistry() {

+                return org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator.getLanguageRegistry();

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment

+        @org.eclipse.xtext.service.SingletonBinding(eager=true) public Class<? extends org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar> bindLanguageRegistrar() {

+                return org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage> bindXtextTemplatePreferencePage() {

+                return org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.templates.CodetemplatesGeneratorFragment

+        public Class<? extends org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialContentAssistParser> bindIPartialContentAssistParser() {

+                return hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.PartialSmtLanguageContentAssistParser.class;

+        }

+

+        // contributed by org.eclipse.xtext.ui.generator.compare.CompareFragment

+        public Class<? extends org.eclipse.compare.IViewerCreator> bindIViewerCreator() {

+                return org.eclipse.xtext.ui.compare.DefaultViewerCreator.class;

+        }

+

+

+}