aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractSmtLanguageRuntimeModule.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractSmtLanguageRuntimeModule.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractSmtLanguageRuntimeModule.java172
1 files changed, 172 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractSmtLanguageRuntimeModule.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractSmtLanguageRuntimeModule.java
new file mode 100644
index 00000000..d3a4cdbb
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractSmtLanguageRuntimeModule.java
@@ -0,0 +1,172 @@
1/*
2 * generated by Xtext
3 */
4package hu.bme.mit.inf.dslreasoner;
5
6import java.util.Properties;
7
8import org.eclipse.xtext.Constants;
9import org.eclipse.xtext.service.DefaultRuntimeModule;
10
11import com.google.inject.Binder;
12import com.google.inject.name.Names;
13
14/**
15 * Manual modifications go to {hu.bme.mit.inf.dslreasoner.SmtLanguageRuntimeModule}
16 */
17 @SuppressWarnings("all")
18public abstract class AbstractSmtLanguageRuntimeModule extends DefaultRuntimeModule {
19
20 protected Properties properties = null;
21
22 @Override
23 public void configure(Binder binder) {
24 properties = tryBindProperties(binder, "hu/bme/mit/inf/dslreasoner/SmtLanguage.properties");
25 super.configure(binder);
26 }
27
28 public void configureLanguageName(Binder binder) {
29 binder.bind(String.class).annotatedWith(Names.named(Constants.LANGUAGE_NAME)).toInstance("hu.bme.mit.inf.dslreasoner.SmtLanguage");
30 }
31
32 public void configureFileExtensions(Binder binder) {
33 if (properties == null || properties.getProperty(Constants.FILE_EXTENSIONS) == null)
34 binder.bind(String.class).annotatedWith(Names.named(Constants.FILE_EXTENSIONS)).toInstance("smt2");
35 }
36
37 // contributed by org.eclipse.xtext.generator.grammarAccess.GrammarAccessFragment
38 public Class<? extends org.eclipse.xtext.IGrammarAccess> bindIGrammarAccess() {
39 return hu.bme.mit.inf.dslreasoner.services.SmtLanguageGrammarAccess.class;
40 }
41
42 // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment
43 public Class<? extends org.eclipse.xtext.serializer.sequencer.ISemanticSequencer> bindISemanticSequencer() {
44 return hu.bme.mit.inf.dslreasoner.serializer.SmtLanguageSemanticSequencer.class;
45 }
46
47 // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment
48 public Class<? extends org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer> bindISyntacticSequencer() {
49 return hu.bme.mit.inf.dslreasoner.serializer.SmtLanguageSyntacticSequencer.class;
50 }
51
52 // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment
53 public Class<? extends org.eclipse.xtext.serializer.ISerializer> bindISerializer() {
54 return org.eclipse.xtext.serializer.impl.Serializer.class;
55 }
56
57 // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
58 public Class<? extends org.eclipse.xtext.parser.IParser> bindIParser() {
59 return hu.bme.mit.inf.dslreasoner.parser.antlr.SmtLanguageParser.class;
60 }
61
62 // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
63 public Class<? extends org.eclipse.xtext.parser.ITokenToStringConverter> bindITokenToStringConverter() {
64 return org.eclipse.xtext.parser.antlr.AntlrTokenToStringConverter.class;
65 }
66
67 // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
68 public Class<? extends org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider> bindIAntlrTokenFileProvider() {
69 return hu.bme.mit.inf.dslreasoner.parser.antlr.SmtLanguageAntlrTokenFileProvider.class;
70 }
71
72 // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
73 public Class<? extends org.eclipse.xtext.parser.antlr.Lexer> bindLexer() {
74 return hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalSmtLanguageLexer.class;
75 }
76
77 // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
78 public com.google.inject.Provider<hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalSmtLanguageLexer> provideInternalSmtLanguageLexer() {
79 return org.eclipse.xtext.parser.antlr.LexerProvider.create(hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalSmtLanguageLexer.class);
80 }
81
82 // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
83 public void configureRuntimeLexer(com.google.inject.Binder binder) {
84 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.InternalSmtLanguageLexer.class);
85 }
86
87 // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment
88 public Class<? extends org.eclipse.xtext.parser.antlr.ITokenDefProvider> bindITokenDefProvider() {
89 return org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider.class;
90 }
91
92 // contributed by org.eclipse.xtext.generator.validation.ValidatorFragment
93 @org.eclipse.xtext.service.SingletonBinding(eager=true) public Class<? extends hu.bme.mit.inf.dslreasoner.validation.SmtLanguageValidator> bindSmtLanguageValidator() {
94 return hu.bme.mit.inf.dslreasoner.validation.SmtLanguageValidator.class;
95 }
96
97 // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment
98 public Class<? extends org.eclipse.xtext.scoping.IScopeProvider> bindIScopeProvider() {
99 return hu.bme.mit.inf.dslreasoner.scoping.SmtLanguageScopeProvider.class;
100 }
101
102 // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment
103 public void configureIScopeProviderDelegate(com.google.inject.Binder binder) {
104 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);
105 }
106
107 // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment
108 public void configureIgnoreCaseLinking(com.google.inject.Binder binder) {
109 binder.bindConstant().annotatedWith(org.eclipse.xtext.scoping.IgnoreCaseLinking.class).to(false);
110 }
111
112 // contributed by org.eclipse.xtext.generator.exporting.QualifiedNamesFragment
113 public Class<? extends org.eclipse.xtext.naming.IQualifiedNameProvider> bindIQualifiedNameProvider() {
114 return org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider.class;
115 }
116
117 // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment
118 public Class<? extends org.eclipse.xtext.resource.IContainer.Manager> bindIContainer$Manager() {
119 return org.eclipse.xtext.resource.containers.StateBasedContainerManager.class;
120 }
121
122 // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment
123 public Class<? extends org.eclipse.xtext.resource.containers.IAllContainersState.Provider> bindIAllContainersState$Provider() {
124 return org.eclipse.xtext.resource.containers.ResourceSetBasedAllContainersStateProvider.class;
125 }
126
127 // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment
128 public void configureIResourceDescriptions(com.google.inject.Binder binder) {
129 binder.bind(org.eclipse.xtext.resource.IResourceDescriptions.class).to(org.eclipse.xtext.resource.impl.ResourceSetBasedResourceDescriptions.class);
130 }
131
132 // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment
133 public void configureIResourceDescriptionsPersisted(com.google.inject.Binder binder) {
134 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);
135 }
136
137 // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment
138 public Class<? extends org.eclipse.xtext.generator.IGenerator> bindIGenerator() {
139 return hu.bme.mit.inf.dslreasoner.generator.SmtLanguageGenerator.class;
140 }
141
142 // contributed by org.eclipse.xtext.generator.formatting.FormatterFragment
143 public Class<? extends org.eclipse.xtext.formatting.IFormatter> bindIFormatter() {
144 return hu.bme.mit.inf.dslreasoner.formatting.SmtLanguageFormatter.class;
145 }
146
147 // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment
148 public java.lang.ClassLoader bindClassLoaderToInstance() {
149 return getClass().getClassLoader();
150 }
151
152 // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment
153 public org.eclipse.xtext.common.types.TypesFactory bindTypesFactoryToInstance() {
154 return org.eclipse.xtext.common.types.TypesFactory.eINSTANCE;
155 }
156
157 // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment
158 public Class<? extends org.eclipse.xtext.common.types.access.IJvmTypeProvider.Factory> bindIJvmTypeProvider$Factory() {
159 return org.eclipse.xtext.common.types.access.ClasspathTypeProviderFactory.class;
160 }
161
162 // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment
163 public Class<? extends org.eclipse.xtext.common.types.xtext.AbstractTypeScopeProvider> bindAbstractTypeScopeProvider() {
164 return org.eclipse.xtext.common.types.xtext.ClasspathBasedTypeScopeProvider.class;
165 }
166
167 // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment
168 public Class<? extends org.eclipse.xtext.scoping.IGlobalScopeProvider> bindIGlobalScopeProvider() {
169 return org.eclipse.xtext.common.types.xtext.TypesAwareDefaultGlobalScopeProvider.class;
170 }
171
172}
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-25 13:00:44 +0000