1 files changed, 201 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractAlloyLanguageUiModule.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractAlloyLanguageUiModule.java
new file mode 100644
index 00000000..80a1c7ff
--- /dev/null
+++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/AbstractAlloyLanguageUiModule.java
@@ -0,0 +1,201 @@
+
+/*
+ * generated by Xtext
+ */
+package hu.bme.mit.inf.dslreasoner.ui;
+
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+
+/**
+ * Manual modifications go to {hu.bme.mit.inf.dslreasoner.ui.AlloyLanguageUiModule}
+ */
+@SuppressWarnings("all")
+public abstract class AbstractAlloyLanguageUiModule extends org.eclipse.xtext.common.types.ui.DefaultCommonTypesUiModule {
+        
+        public AbstractAlloyLanguageUiModule(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.InternalAlloyLanguageLexer.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 Class<? extends org.eclipse.xtext.generator.IContextualOutputConfigurationProvider> bindIContextualOutputConfigurationProvider() {
+                return org.eclipse.xtext.builder.EclipseOutputConfigurationProvider.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.AlloyLanguageLabelProvider.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.AlloyLanguageDescriptionLabelProvider.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.AlloyLanguageOutlineTreeProvider.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.AlloyLanguageOutlineTreeProvider.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.AlloyLanguageQuickfixProvider.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.AlloyLanguageProposalProvider.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.AlloyLanguageParser.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.InternalAlloyLanguageLexer.class).toProvider(org.eclipse.xtext.parser.antlr.LexerProvider.create(hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalAlloyLanguageLexer.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.InternalAlloyLanguageLexer.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 Class<? extends org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher> bindPrefixMatcher() {
+                return org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher.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.PartialAlloyLanguageContentAssistParser.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;
+        }
+
+        // contributed by org.eclipse.xtext.ui.generator.compare.CompareFragment
+        public void configureCompareViewerTitle(com.google.inject.Binder binder) {
+                binder.bind(String.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.ui.UIBindings.COMPARE_VIEWER_TITLE)).toInstance("AlloyLanguage Compare");
+        }
+
+
+}