aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java194
1 files changed, 194 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java
new file mode 100644
index 00000000..2906e24d
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/AbstractVampireLanguageRuntimeModule.java
@@ -0,0 +1,194 @@
1/*
2 * generated by Xtext 2.12.0
3 */
4package ca.mcgill.ecse.dslreasoner;
5
6import ca.mcgill.ecse.dslreasoner.generator.VampireLanguageGenerator;
7import ca.mcgill.ecse.dslreasoner.parser.antlr.VampireLanguageAntlrTokenFileProvider;
8import ca.mcgill.ecse.dslreasoner.parser.antlr.VampireLanguageParser;
9import ca.mcgill.ecse.dslreasoner.parser.antlr.internal.InternalVampireLanguageLexer;
10import ca.mcgill.ecse.dslreasoner.scoping.VampireLanguageScopeProvider;
11import ca.mcgill.ecse.dslreasoner.serializer.VampireLanguageSemanticSequencer;
12import ca.mcgill.ecse.dslreasoner.serializer.VampireLanguageSyntacticSequencer;
13import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;
14import ca.mcgill.ecse.dslreasoner.validation.VampireLanguageValidator;
15import com.google.inject.Binder;
16import com.google.inject.Provider;
17import com.google.inject.name.Names;
18import java.util.Properties;
19import org.eclipse.xtext.Constants;
20import org.eclipse.xtext.IGrammarAccess;
21import org.eclipse.xtext.generator.IGenerator2;
22import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider;
23import org.eclipse.xtext.naming.IQualifiedNameProvider;
24import org.eclipse.xtext.parser.IParser;
25import org.eclipse.xtext.parser.ITokenToStringConverter;
26import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider;
27import org.eclipse.xtext.parser.antlr.AntlrTokenToStringConverter;
28import org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider;
29import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
30import org.eclipse.xtext.parser.antlr.Lexer;
31import org.eclipse.xtext.parser.antlr.LexerBindings;
32import org.eclipse.xtext.parser.antlr.LexerProvider;
33import org.eclipse.xtext.resource.IContainer;
34import org.eclipse.xtext.resource.IResourceDescriptions;
35import org.eclipse.xtext.resource.containers.IAllContainersState;
36import org.eclipse.xtext.resource.containers.ResourceSetBasedAllContainersStateProvider;
37import org.eclipse.xtext.resource.containers.StateBasedContainerManager;
38import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;
39import org.eclipse.xtext.resource.impl.ResourceSetBasedResourceDescriptions;
40import org.eclipse.xtext.scoping.IGlobalScopeProvider;
41import org.eclipse.xtext.scoping.IScopeProvider;
42import org.eclipse.xtext.scoping.IgnoreCaseLinking;
43import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider;
44import org.eclipse.xtext.scoping.impl.DefaultGlobalScopeProvider;
45import org.eclipse.xtext.scoping.impl.ImportedNamespaceAwareLocalScopeProvider;
46import org.eclipse.xtext.serializer.ISerializer;
47import org.eclipse.xtext.serializer.impl.Serializer;
48import org.eclipse.xtext.serializer.sequencer.ISemanticSequencer;
49import org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer;
50import org.eclipse.xtext.service.DefaultRuntimeModule;
51import org.eclipse.xtext.service.SingletonBinding;
52
53/**
54 * Manual modifications go to {@link VampireLanguageRuntimeModule}.
55 */
56@SuppressWarnings("all")
57public abstract class AbstractVampireLanguageRuntimeModule extends DefaultRuntimeModule {
58
59 protected Properties properties = null;
60
61 @Override
62 public void configure(Binder binder) {
63 properties = tryBindProperties(binder, "ca/mcgill/ecse/dslreasoner/VampireLanguage.properties");
64 super.configure(binder);
65 }
66
67 public void configureLanguageName(Binder binder) {
68 binder.bind(String.class).annotatedWith(Names.named(Constants.LANGUAGE_NAME)).toInstance("ca.mcgill.ecse.dslreasoner.VampireLanguage");
69 }
70
71 public void configureFileExtensions(Binder binder) {
72 if (properties == null || properties.getProperty(Constants.FILE_EXTENSIONS) == null)
73 binder.bind(String.class).annotatedWith(Names.named(Constants.FILE_EXTENSIONS)).toInstance("tptp");
74 }
75
76 // contributed by org.eclipse.xtext.xtext.generator.grammarAccess.GrammarAccessFragment2
77 public ClassLoader bindClassLoaderToInstance() {
78 return getClass().getClassLoader();
79 }
80
81 // contributed by org.eclipse.xtext.xtext.generator.grammarAccess.GrammarAccessFragment2
82 public Class<? extends IGrammarAccess> bindIGrammarAccess() {
83 return VampireLanguageGrammarAccess.class;
84 }
85
86 // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2
87 public Class<? extends ISemanticSequencer> bindISemanticSequencer() {
88 return VampireLanguageSemanticSequencer.class;
89 }
90
91 // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2
92 public Class<? extends ISyntacticSequencer> bindISyntacticSequencer() {
93 return VampireLanguageSyntacticSequencer.class;
94 }
95
96 // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2
97 public Class<? extends ISerializer> bindISerializer() {
98 return Serializer.class;
99 }
100
101 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
102 public Class<? extends IParser> bindIParser() {
103 return VampireLanguageParser.class;
104 }
105
106 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
107 public Class<? extends ITokenToStringConverter> bindITokenToStringConverter() {
108 return AntlrTokenToStringConverter.class;
109 }
110
111 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
112 public Class<? extends IAntlrTokenFileProvider> bindIAntlrTokenFileProvider() {
113 return VampireLanguageAntlrTokenFileProvider.class;
114 }
115
116 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
117 public Class<? extends Lexer> bindLexer() {
118 return InternalVampireLanguageLexer.class;
119 }
120
121 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
122 public Class<? extends ITokenDefProvider> bindITokenDefProvider() {
123 return AntlrTokenDefProvider.class;
124 }
125
126 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
127 public Provider<? extends InternalVampireLanguageLexer> provideInternalVampireLanguageLexer() {
128 return LexerProvider.create(InternalVampireLanguageLexer.class);
129 }
130
131 // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
132 public void configureRuntimeLexer(Binder binder) {
133 binder.bind(Lexer.class)
134 .annotatedWith(Names.named(LexerBindings.RUNTIME))
135 .to(InternalVampireLanguageLexer.class);
136 }
137
138 // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2
139 @SingletonBinding(eager=true)
140 public Class<? extends VampireLanguageValidator> bindVampireLanguageValidator() {
141 return VampireLanguageValidator.class;
142 }
143
144 // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2
145 public Class<? extends IScopeProvider> bindIScopeProvider() {
146 return VampireLanguageScopeProvider.class;
147 }
148
149 // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2
150 public void configureIScopeProviderDelegate(Binder binder) {
151 binder.bind(IScopeProvider.class).annotatedWith(Names.named(AbstractDeclarativeScopeProvider.NAMED_DELEGATE)).to(ImportedNamespaceAwareLocalScopeProvider.class);
152 }
153
154 // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2
155 public Class<? extends IGlobalScopeProvider> bindIGlobalScopeProvider() {
156 return DefaultGlobalScopeProvider.class;
157 }
158
159 // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2
160 public void configureIgnoreCaseLinking(Binder binder) {
161 binder.bindConstant().annotatedWith(IgnoreCaseLinking.class).to(false);
162 }
163
164 // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
165 public Class<? extends IQualifiedNameProvider> bindIQualifiedNameProvider() {
166 return DefaultDeclarativeQualifiedNameProvider.class;
167 }
168
169 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
170 public Class<? extends IContainer.Manager> bindIContainer$Manager() {
171 return StateBasedContainerManager.class;
172 }
173
174 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
175 public Class<? extends IAllContainersState.Provider> bindIAllContainersState$Provider() {
176 return ResourceSetBasedAllContainersStateProvider.class;
177 }
178
179 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
180 public void configureIResourceDescriptions(Binder binder) {
181 binder.bind(IResourceDescriptions.class).to(ResourceSetBasedResourceDescriptions.class);
182 }
183
184 // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
185 public void configureIResourceDescriptionsPersisted(Binder binder) {
186 binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(ResourceSetBasedResourceDescriptions.class);
187 }
188
189 // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
190 public Class<? extends IGenerator2> bindIGenerator2() {
191 return VampireLanguageGenerator.class;
192 }
193
194}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-25 17:16:52 +0000