diff options
author | 2019-10-25 04:15:39 -0400 | |
---|---|---|
committer | 2019-10-25 04:15:39 -0400 | |
commit | 25a4b1b53add70e268c3083682f8a3508c618ec2 (patch) | |
tree | 6d46e62be49cfe6c5640e2e9af80aae90da6a212 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractAlloyLanguageRuntimeModule.java | |
parent | mid-measurement push (diff) | |
download | VIATRA-Generator-25a4b1b53add70e268c3083682f8a3508c618ec2.tar.gz VIATRA-Generator-25a4b1b53add70e268c3083682f8a3508c618ec2.tar.zst VIATRA-Generator-25a4b1b53add70e268c3083682f8a3508c618ec2.zip |
VAMPIRE: post-submission push
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractAlloyLanguageRuntimeModule.java')
-rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AbstractAlloyLanguageRuntimeModule.java | 161 |
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 @@ | |||
1 | /* | ||
2 | * generated by Xtext | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner; | ||
5 | |||
6 | import java.util.Properties; | ||
7 | |||
8 | import org.eclipse.xtext.Constants; | ||
9 | |||
10 | import com.google.inject.Binder; | ||
11 | import com.google.inject.name.Names; | ||
12 | |||
13 | /** | ||
14 | * Manual modifications go to {hu.bme.mit.inf.dslreasoner.AlloyLanguageRuntimeModule} | ||
15 | */ | ||
16 | @SuppressWarnings("all") | ||
17 | public abstract class AbstractAlloyLanguageRuntimeModule extends org.eclipse.xtext.common.types.DefaultCommonTypesRuntimeModule { | ||
18 | |||
19 | protected Properties properties = null; | ||
20 | |||
21 | @Override | ||
22 | public void configure(Binder binder) { | ||
23 | properties = tryBindProperties(binder, "hu/bme/mit/inf/dslreasoner/AlloyLanguage.properties"); | ||
24 | super.configure(binder); | ||
25 | } | ||
26 | |||
27 | public void configureLanguageName(Binder binder) { | ||
28 | binder.bind(String.class).annotatedWith(Names.named(Constants.LANGUAGE_NAME)).toInstance("hu.bme.mit.inf.dslreasoner.AlloyLanguage"); | ||
29 | } | ||
30 | |||
31 | public void configureFileExtensions(Binder binder) { | ||
32 | if (properties == null || properties.getProperty(Constants.FILE_EXTENSIONS) == null) | ||
33 | binder.bind(String.class).annotatedWith(Names.named(Constants.FILE_EXTENSIONS)).toInstance("als"); | ||
34 | } | ||
35 | |||
36 | // contributed by org.eclipse.xtext.generator.grammarAccess.GrammarAccessFragment | ||
37 | public java.lang.ClassLoader bindClassLoaderToInstance() { | ||
38 | return getClass().getClassLoader(); | ||
39 | } | ||
40 | |||
41 | // contributed by org.eclipse.xtext.generator.grammarAccess.GrammarAccessFragment | ||
42 | public Class<? extends org.eclipse.xtext.IGrammarAccess> bindIGrammarAccess() { | ||
43 | return hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess.class; | ||
44 | } | ||
45 | |||
46 | // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment | ||
47 | public Class<? extends org.eclipse.xtext.serializer.sequencer.ISemanticSequencer> bindISemanticSequencer() { | ||
48 | return hu.bme.mit.inf.dslreasoner.serializer.AlloyLanguageSemanticSequencer.class; | ||
49 | } | ||
50 | |||
51 | // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment | ||
52 | public Class<? extends org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer> bindISyntacticSequencer() { | ||
53 | return hu.bme.mit.inf.dslreasoner.serializer.AlloyLanguageSyntacticSequencer.class; | ||
54 | } | ||
55 | |||
56 | // contributed by org.eclipse.xtext.generator.serializer.SerializerFragment | ||
57 | public Class<? extends org.eclipse.xtext.serializer.ISerializer> bindISerializer() { | ||
58 | return org.eclipse.xtext.serializer.impl.Serializer.class; | ||
59 | } | ||
60 | |||
61 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
62 | public Class<? extends org.eclipse.xtext.parser.IParser> bindIParser() { | ||
63 | return hu.bme.mit.inf.dslreasoner.parser.antlr.AlloyLanguageParser.class; | ||
64 | } | ||
65 | |||
66 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
67 | public Class<? extends org.eclipse.xtext.parser.ITokenToStringConverter> bindITokenToStringConverter() { | ||
68 | return org.eclipse.xtext.parser.antlr.AntlrTokenToStringConverter.class; | ||
69 | } | ||
70 | |||
71 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
72 | public Class<? extends org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider> bindIAntlrTokenFileProvider() { | ||
73 | return hu.bme.mit.inf.dslreasoner.parser.antlr.AlloyLanguageAntlrTokenFileProvider.class; | ||
74 | } | ||
75 | |||
76 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
77 | public Class<? extends org.eclipse.xtext.parser.antlr.Lexer> bindLexer() { | ||
78 | return hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageLexer.class; | ||
79 | } | ||
80 | |||
81 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
82 | public com.google.inject.Provider<hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageLexer> provideInternalAlloyLanguageLexer() { | ||
83 | return org.eclipse.xtext.parser.antlr.LexerProvider.create(hu.bme.mit.inf.dslreasoner.parser.antlr.internal.InternalAlloyLanguageLexer.class); | ||
84 | } | ||
85 | |||
86 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
87 | public void configureRuntimeLexer(com.google.inject.Binder binder) { | ||
88 | 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); | ||
89 | } | ||
90 | |||
91 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
92 | public Class<? extends org.eclipse.xtext.parser.antlr.ITokenDefProvider> bindITokenDefProvider() { | ||
93 | return org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider.class; | ||
94 | } | ||
95 | |||
96 | // contributed by org.eclipse.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment | ||
97 | public Class<? extends org.eclipse.xtext.parser.antlr.IUnorderedGroupHelper> bindIUnorderedGroupHelper() { | ||
98 | return org.eclipse.xtext.parser.antlr.UnorderedGroupHelper.class; | ||
99 | } | ||
100 | |||
101 | // contributed by org.eclipse.xtext.generator.validation.ValidatorFragment | ||
102 | @org.eclipse.xtext.service.SingletonBinding(eager=true) public Class<? extends hu.bme.mit.inf.dslreasoner.validation.AlloyLanguageValidator> bindAlloyLanguageValidator() { | ||
103 | return hu.bme.mit.inf.dslreasoner.validation.AlloyLanguageValidator.class; | ||
104 | } | ||
105 | |||
106 | // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment | ||
107 | public Class<? extends org.eclipse.xtext.scoping.IScopeProvider> bindIScopeProvider() { | ||
108 | return hu.bme.mit.inf.dslreasoner.scoping.AlloyLanguageScopeProvider.class; | ||
109 | } | ||
110 | |||
111 | // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment | ||
112 | public void configureIScopeProviderDelegate(com.google.inject.Binder binder) { | ||
113 | 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); | ||
114 | } | ||
115 | |||
116 | // contributed by org.eclipse.xtext.generator.scoping.AbstractScopingFragment | ||
117 | public void configureIgnoreCaseLinking(com.google.inject.Binder binder) { | ||
118 | binder.bindConstant().annotatedWith(org.eclipse.xtext.scoping.IgnoreCaseLinking.class).to(false); | ||
119 | } | ||
120 | |||
121 | // contributed by org.eclipse.xtext.generator.exporting.QualifiedNamesFragment | ||
122 | public Class<? extends org.eclipse.xtext.naming.IQualifiedNameProvider> bindIQualifiedNameProvider() { | ||
123 | return org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider.class; | ||
124 | } | ||
125 | |||
126 | // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment | ||
127 | public Class<? extends org.eclipse.xtext.resource.IContainer.Manager> bindIContainer$Manager() { | ||
128 | return org.eclipse.xtext.resource.containers.StateBasedContainerManager.class; | ||
129 | } | ||
130 | |||
131 | // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment | ||
132 | public Class<? extends org.eclipse.xtext.resource.containers.IAllContainersState.Provider> bindIAllContainersState$Provider() { | ||
133 | return org.eclipse.xtext.resource.containers.ResourceSetBasedAllContainersStateProvider.class; | ||
134 | } | ||
135 | |||
136 | // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment | ||
137 | public void configureIResourceDescriptions(com.google.inject.Binder binder) { | ||
138 | binder.bind(org.eclipse.xtext.resource.IResourceDescriptions.class).to(org.eclipse.xtext.resource.impl.ResourceSetBasedResourceDescriptions.class); | ||
139 | } | ||
140 | |||
141 | // contributed by org.eclipse.xtext.generator.builder.BuilderIntegrationFragment | ||
142 | public void configureIResourceDescriptionsPersisted(com.google.inject.Binder binder) { | ||
143 | 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); | ||
144 | } | ||
145 | |||
146 | // contributed by org.eclipse.xtext.generator.generator.GeneratorFragment | ||
147 | public Class<? extends org.eclipse.xtext.generator.IGenerator> bindIGenerator() { | ||
148 | return hu.bme.mit.inf.dslreasoner.generator.AlloyLanguageGenerator.class; | ||
149 | } | ||
150 | |||
151 | // contributed by org.eclipse.xtext.generator.formatting.FormatterFragment | ||
152 | public Class<? extends org.eclipse.xtext.formatting.IFormatter> bindIFormatter() { | ||
153 | return hu.bme.mit.inf.dslreasoner.formatting.AlloyLanguageFormatter.class; | ||
154 | } | ||
155 | |||
156 | // contributed by org.eclipse.xtext.generator.types.TypesGeneratorFragment | ||
157 | public Class<? extends org.eclipse.xtext.scoping.IGlobalScopeProvider> bindIGlobalScopeProvider() { | ||
158 | return org.eclipse.xtext.common.types.xtext.TypesAwareDefaultGlobalScopeProvider.class; | ||
159 | } | ||
160 | |||
161 | } | ||