diff options
author | 2019-08-01 14:49:53 +0200 | |
---|---|---|
committer | 2019-08-01 14:49:53 +0200 | |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/AbstractCftLanguageRuntimeModule.java | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/AbstractCftLanguageRuntimeModule.java')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/AbstractCftLanguageRuntimeModule.java | 208 |
1 files changed, 0 insertions, 208 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/AbstractCftLanguageRuntimeModule.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/AbstractCftLanguageRuntimeModule.java deleted file mode 100644 index bdec0d5b..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/AbstractCftLanguageRuntimeModule.java +++ /dev/null | |||
@@ -1,208 +0,0 @@ | |||
1 | /* | ||
2 | * generated by Xtext 2.16.0 | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.faulttree.components; | ||
5 | |||
6 | import com.google.inject.Binder; | ||
7 | import com.google.inject.Provider; | ||
8 | import com.google.inject.name.Names; | ||
9 | import hu.bme.mit.inf.dslreasoner.faulttree.components.generator.CftLanguageGenerator; | ||
10 | import hu.bme.mit.inf.dslreasoner.faulttree.components.parser.antlr.CftLanguageAntlrTokenFileProvider; | ||
11 | import hu.bme.mit.inf.dslreasoner.faulttree.components.parser.antlr.CftLanguageParser; | ||
12 | import hu.bme.mit.inf.dslreasoner.faulttree.components.parser.antlr.internal.InternalCftLanguageLexer; | ||
13 | import hu.bme.mit.inf.dslreasoner.faulttree.components.scoping.CftLanguageScopeProvider; | ||
14 | import hu.bme.mit.inf.dslreasoner.faulttree.components.serializer.CftLanguageSemanticSequencer; | ||
15 | import hu.bme.mit.inf.dslreasoner.faulttree.components.serializer.CftLanguageSyntacticSequencer; | ||
16 | import hu.bme.mit.inf.dslreasoner.faulttree.components.services.CftLanguageGrammarAccess; | ||
17 | import hu.bme.mit.inf.dslreasoner.faulttree.components.validation.CftLanguageConfigurableIssueCodesProvider; | ||
18 | import hu.bme.mit.inf.dslreasoner.faulttree.components.validation.CftLanguageValidator; | ||
19 | import java.util.Properties; | ||
20 | import org.eclipse.xtext.Constants; | ||
21 | import org.eclipse.xtext.IGrammarAccess; | ||
22 | import org.eclipse.xtext.generator.IGenerator2; | ||
23 | import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider; | ||
24 | import org.eclipse.xtext.naming.IQualifiedNameProvider; | ||
25 | import org.eclipse.xtext.parser.IParser; | ||
26 | import org.eclipse.xtext.parser.ITokenToStringConverter; | ||
27 | import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider; | ||
28 | import org.eclipse.xtext.parser.antlr.AntlrTokenToStringConverter; | ||
29 | import org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider; | ||
30 | import org.eclipse.xtext.parser.antlr.ITokenDefProvider; | ||
31 | import org.eclipse.xtext.parser.antlr.IUnorderedGroupHelper; | ||
32 | import org.eclipse.xtext.parser.antlr.Lexer; | ||
33 | import org.eclipse.xtext.parser.antlr.LexerBindings; | ||
34 | import org.eclipse.xtext.parser.antlr.LexerProvider; | ||
35 | import org.eclipse.xtext.parser.antlr.UnorderedGroupHelper; | ||
36 | import org.eclipse.xtext.resource.IContainer; | ||
37 | import org.eclipse.xtext.resource.IResourceDescriptions; | ||
38 | import org.eclipse.xtext.resource.containers.IAllContainersState; | ||
39 | import org.eclipse.xtext.resource.containers.ResourceSetBasedAllContainersStateProvider; | ||
40 | import org.eclipse.xtext.resource.containers.StateBasedContainerManager; | ||
41 | import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider; | ||
42 | import org.eclipse.xtext.resource.impl.ResourceSetBasedResourceDescriptions; | ||
43 | import org.eclipse.xtext.scoping.IGlobalScopeProvider; | ||
44 | import org.eclipse.xtext.scoping.IScopeProvider; | ||
45 | import org.eclipse.xtext.scoping.IgnoreCaseLinking; | ||
46 | import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider; | ||
47 | import org.eclipse.xtext.scoping.impl.DefaultGlobalScopeProvider; | ||
48 | import org.eclipse.xtext.scoping.impl.ImportedNamespaceAwareLocalScopeProvider; | ||
49 | import org.eclipse.xtext.serializer.ISerializer; | ||
50 | import org.eclipse.xtext.serializer.impl.Serializer; | ||
51 | import org.eclipse.xtext.serializer.sequencer.ISemanticSequencer; | ||
52 | import org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer; | ||
53 | import org.eclipse.xtext.service.DefaultRuntimeModule; | ||
54 | import org.eclipse.xtext.service.SingletonBinding; | ||
55 | import org.eclipse.xtext.validation.ConfigurableIssueCodesProvider; | ||
56 | |||
57 | /** | ||
58 | * Manual modifications go to {@link CftLanguageRuntimeModule}. | ||
59 | */ | ||
60 | @SuppressWarnings("all") | ||
61 | public abstract class AbstractCftLanguageRuntimeModule extends DefaultRuntimeModule { | ||
62 | |||
63 | protected Properties properties = null; | ||
64 | |||
65 | @Override | ||
66 | public void configure(Binder binder) { | ||
67 | properties = tryBindProperties(binder, "hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.properties"); | ||
68 | super.configure(binder); | ||
69 | } | ||
70 | |||
71 | public void configureLanguageName(Binder binder) { | ||
72 | binder.bind(String.class).annotatedWith(Names.named(Constants.LANGUAGE_NAME)).toInstance("hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"); | ||
73 | } | ||
74 | |||
75 | public void configureFileExtensions(Binder binder) { | ||
76 | if (properties == null || properties.getProperty(Constants.FILE_EXTENSIONS) == null) | ||
77 | binder.bind(String.class).annotatedWith(Names.named(Constants.FILE_EXTENSIONS)).toInstance("cft"); | ||
78 | } | ||
79 | |||
80 | // contributed by org.eclipse.xtext.xtext.generator.grammarAccess.GrammarAccessFragment2 | ||
81 | public ClassLoader bindClassLoaderToInstance() { | ||
82 | return getClass().getClassLoader(); | ||
83 | } | ||
84 | |||
85 | // contributed by org.eclipse.xtext.xtext.generator.grammarAccess.GrammarAccessFragment2 | ||
86 | public Class<? extends IGrammarAccess> bindIGrammarAccess() { | ||
87 | return CftLanguageGrammarAccess.class; | ||
88 | } | ||
89 | |||
90 | // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2 | ||
91 | public Class<? extends ISemanticSequencer> bindISemanticSequencer() { | ||
92 | return CftLanguageSemanticSequencer.class; | ||
93 | } | ||
94 | |||
95 | // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2 | ||
96 | public Class<? extends ISyntacticSequencer> bindISyntacticSequencer() { | ||
97 | return CftLanguageSyntacticSequencer.class; | ||
98 | } | ||
99 | |||
100 | // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2 | ||
101 | public Class<? extends ISerializer> bindISerializer() { | ||
102 | return Serializer.class; | ||
103 | } | ||
104 | |||
105 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
106 | public Class<? extends IParser> bindIParser() { | ||
107 | return CftLanguageParser.class; | ||
108 | } | ||
109 | |||
110 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
111 | public Class<? extends ITokenToStringConverter> bindITokenToStringConverter() { | ||
112 | return AntlrTokenToStringConverter.class; | ||
113 | } | ||
114 | |||
115 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
116 | public Class<? extends IAntlrTokenFileProvider> bindIAntlrTokenFileProvider() { | ||
117 | return CftLanguageAntlrTokenFileProvider.class; | ||
118 | } | ||
119 | |||
120 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
121 | public Class<? extends Lexer> bindLexer() { | ||
122 | return InternalCftLanguageLexer.class; | ||
123 | } | ||
124 | |||
125 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
126 | public Class<? extends ITokenDefProvider> bindITokenDefProvider() { | ||
127 | return AntlrTokenDefProvider.class; | ||
128 | } | ||
129 | |||
130 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
131 | public Provider<? extends InternalCftLanguageLexer> provideInternalCftLanguageLexer() { | ||
132 | return LexerProvider.create(InternalCftLanguageLexer.class); | ||
133 | } | ||
134 | |||
135 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
136 | public void configureRuntimeLexer(Binder binder) { | ||
137 | binder.bind(Lexer.class) | ||
138 | .annotatedWith(Names.named(LexerBindings.RUNTIME)) | ||
139 | .to(InternalCftLanguageLexer.class); | ||
140 | } | ||
141 | |||
142 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
143 | public Class<? extends IUnorderedGroupHelper> bindIUnorderedGroupHelper() { | ||
144 | return UnorderedGroupHelper.class; | ||
145 | } | ||
146 | |||
147 | // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2 | ||
148 | @SingletonBinding(eager=true) | ||
149 | public Class<? extends CftLanguageValidator> bindCftLanguageValidator() { | ||
150 | return CftLanguageValidator.class; | ||
151 | } | ||
152 | |||
153 | // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2 | ||
154 | public Class<? extends ConfigurableIssueCodesProvider> bindConfigurableIssueCodesProvider() { | ||
155 | return CftLanguageConfigurableIssueCodesProvider.class; | ||
156 | } | ||
157 | |||
158 | // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2 | ||
159 | public Class<? extends IScopeProvider> bindIScopeProvider() { | ||
160 | return CftLanguageScopeProvider.class; | ||
161 | } | ||
162 | |||
163 | // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2 | ||
164 | public void configureIScopeProviderDelegate(Binder binder) { | ||
165 | binder.bind(IScopeProvider.class).annotatedWith(Names.named(AbstractDeclarativeScopeProvider.NAMED_DELEGATE)).to(ImportedNamespaceAwareLocalScopeProvider.class); | ||
166 | } | ||
167 | |||
168 | // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2 | ||
169 | public Class<? extends IGlobalScopeProvider> bindIGlobalScopeProvider() { | ||
170 | return DefaultGlobalScopeProvider.class; | ||
171 | } | ||
172 | |||
173 | // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2 | ||
174 | public void configureIgnoreCaseLinking(Binder binder) { | ||
175 | binder.bindConstant().annotatedWith(IgnoreCaseLinking.class).to(false); | ||
176 | } | ||
177 | |||
178 | // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2 | ||
179 | public Class<? extends IQualifiedNameProvider> bindIQualifiedNameProvider() { | ||
180 | return DefaultDeclarativeQualifiedNameProvider.class; | ||
181 | } | ||
182 | |||
183 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
184 | public Class<? extends IContainer.Manager> bindIContainer$Manager() { | ||
185 | return StateBasedContainerManager.class; | ||
186 | } | ||
187 | |||
188 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
189 | public Class<? extends IAllContainersState.Provider> bindIAllContainersState$Provider() { | ||
190 | return ResourceSetBasedAllContainersStateProvider.class; | ||
191 | } | ||
192 | |||
193 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
194 | public void configureIResourceDescriptions(Binder binder) { | ||
195 | binder.bind(IResourceDescriptions.class).to(ResourceSetBasedResourceDescriptions.class); | ||
196 | } | ||
197 | |||
198 | // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2 | ||
199 | public void configureIResourceDescriptionsPersisted(Binder binder) { | ||
200 | binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(ResourceSetBasedResourceDescriptions.class); | ||
201 | } | ||
202 | |||
203 | // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2 | ||
204 | public Class<? extends IGenerator2> bindIGenerator2() { | ||
205 | return CftLanguageGenerator.class; | ||
206 | } | ||
207 | |||
208 | } | ||