1 files changed, 161 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractAlloyLanguageRuntimeModule.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractAlloyLanguageRuntimeModule.java
new file mode 100644
index 00000000..32cd6c8c
--- /dev/null
+++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractAlloyLanguageRuntimeModule.java
@@ -0,0 +1,161 @@
+/*
+ * generated by Xtext
+ */
+package hu.bme.mit.inf.dslreasoner;
+
+import java.util.Properties;
+
+import org.eclipse.xtext.Constants;
+
+import com.google.inject.Binder;
+import com.google.inject.name.Names;
+
+/**
+ * Manual modifications go to {hu.bme.mit.inf.dslreasoner.AlloyLanguageRuntimeModule}
+ */
+@SuppressWarnings("all")
+public abstract class AbstractAlloyLanguageRuntimeModule extends org.eclipse.xtext.common.types.DefaultCommonTypesRuntimeModule {
+
+        protected Properties properties = null;
+
+        @Override
+        public void configure(Binder binder) {
+                properties = tryBindProperties(binder, "hu/bme/mit/inf/dslreasoner/AlloyLanguage.properties");
+                super.configure(binder);
+        }
+        
+        public void configureLanguageName(Binder binder) {
+                binder.bind(String.class).annotatedWith(Names.named(Constants.LANGUAGE_NAME)).toInstance("hu.bme.mit.inf.dslreasoner.AlloyLanguage");
+        }
+        
+        public void configureFileExtensions(Binder binder) {
+                if (properties == null || properties.getProperty(Constants.FILE_EXTENSIONS) == null)
+                        binder.bind(String.class).annotatedWith(Names.named(Constants.FILE_EXTENSIONS)).toInstance("als");
+        }
+        
+        // contributed by org.eclipse.xtext.generator.grammarAccess.GrammarAccessFragment
+        public java.lang.ClassLoader bindClassLoaderToInstance() {
+                return getClass().getClassLoader();
+        }
+
+        // contributed by org.eclipse.xtext.generator.grammarAccess.GrammarAccessFragment
+        public Class<? extends org.eclipse.xtext.IGrammarAccess> bindIGrammarAccess() {
+                return hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment
+        public Class<? extends org.eclipse.xtext.serializer.sequencer.ISemanticSequencer> bindISemanticSequencer() {
+                return hu.bme.mit.inf.dslreasoner.serializer.AlloyLanguageSemanticSequencer.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment
+        public Class<? extends org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer> bindISyntacticSequencer() {
+                return hu.bme.mit.inf.dslreasoner.serializer.AlloyLanguageSyntacticSequencer.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment
+        public Class<? extends org.eclipse.xtext.serializer.ISerializer> bindISerializer() {
+                return org.eclipse.xtext.serializer.impl.Serializer.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
+        public Class<? extends org.eclipse.xtext.parser.IParser> bindIParser() {
+                return hu.bme.mit.inf.dslreasoner.parser.antlr.AlloyLanguageParser.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
+        public Class<? extends org.eclipse.xtext.parser.ITokenToStringConverter> bindITokenToStringConverter() {
+                return org.eclipse.xtext.parser.antlr.AntlrTokenToStringConverter.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
+        public Class<? extends org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider> bindIAntlrTokenFileProvider() {
+                return hu.bme.mit.inf.dslreasoner.parser.antlr.AlloyLanguageAntlrTokenFileProvider.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
+        public Class<? extends org.eclipse.xtext.parser.antlr.Lexer> bindLexer() {
+                return hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageLexer.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
+        public com.google.inject.Provider<hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageLexer> provideInternalAlloyLanguageLexer() {
+                return org.eclipse.xtext.parser.antlr.LexerProvider.create(hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageLexer.class);
+        }
+
+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
+        public void configureRuntimeLexer(com.google.inject.Binder binder) {
+                binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.parser.antlr.LexerBindings.RUNTIME)).to(hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageLexer.class);
+        }
+
+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
+        public Class<? extends org.eclipse.xtext.parser.antlr.ITokenDefProvider> bindITokenDefProvider() {
+                return org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
+        public Class<? extends org.eclipse.xtext.parser.antlr.IUnorderedGroupHelper> bindIUnorderedGroupHelper() {
+                return org.eclipse.xtext.parser.antlr.UnorderedGroupHelper.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.validation.ValidatorFragment
+        @org.eclipse.xtext.service.SingletonBinding(eager=true) public Class<? extends hu.bme.mit.inf.dslreasoner.validation.AlloyLanguageValidator> bindAlloyLanguageValidator() {
+                return hu.bme.mit.inf.dslreasoner.validation.AlloyLanguageValidator.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment
+        public Class<? extends org.eclipse.xtext.scoping.IScopeProvider> bindIScopeProvider() {
+                return hu.bme.mit.inf.dslreasoner.scoping.AlloyLanguageScopeProvider.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment
+        public void configureIScopeProviderDelegate(com.google.inject.Binder binder) {
+                binder.bind(org.eclipse.xtext.scoping.IScopeProvider.class).annotatedWith(com.google.inject.name.Names.named(org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider.NAMED_DELEGATE)).to(org.eclipse.xtext.scoping.impl.ImportedNamespaceAwareLocalScopeProvider.class);
+        }
+
+        // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment
+        public void configureIgnoreCaseLinking(com.google.inject.Binder binder) {
+                binder.bindConstant().annotatedWith(org.eclipse.xtext.scoping.IgnoreCaseLinking.class).to(false);
+        }
+
+        // contributed by org.eclipse.xtext.generator.exporting.QualifiedNamesFragment
+        public Class<? extends org.eclipse.xtext.naming.IQualifiedNameProvider> bindIQualifiedNameProvider() {
+                return org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment
+        public Class<? extends org.eclipse.xtext.resource.IContainer.Manager> bindIContainer$Manager() {
+                return org.eclipse.xtext.resource.containers.StateBasedContainerManager.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment
+        public Class<? extends org.eclipse.xtext.resource.containers.IAllContainersState.Provider> bindIAllContainersState$Provider() {
+                return org.eclipse.xtext.resource.containers.ResourceSetBasedAllContainersStateProvider.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment
+        public void configureIResourceDescriptions(com.google.inject.Binder binder) {
+                binder.bind(org.eclipse.xtext.resource.IResourceDescriptions.class).to(org.eclipse.xtext.resource.impl.ResourceSetBasedResourceDescriptions.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.resource.impl.ResourceSetBasedResourceDescriptions.class);
+        }
+
+        // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment
+        public Class<? extends org.eclipse.xtext.generator.IGenerator> bindIGenerator() {
+                return hu.bme.mit.inf.dslreasoner.generator.AlloyLanguageGenerator.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.formatting.FormatterFragment
+        public Class<? extends org.eclipse.xtext.formatting.IFormatter> bindIFormatter() {
+                return hu.bme.mit.inf.dslreasoner.formatting.AlloyLanguageFormatter.class;
+        }
+
+        // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment
+        public Class<? extends org.eclipse.xtext.scoping.IGlobalScopeProvider> bindIGlobalScopeProvider() {
+                return org.eclipse.xtext.common.types.xtext.TypesAwareDefaultGlobalScopeProvider.class;
+        }
+
+}