[Stochastic] Fault tree transformation langauge

1 files changed, 208 insertions, 0 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
new file mode 100644
index 00000000..bdec0d5b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/AbstractCftLanguageRuntimeModule.java
@@ -0,0 +1,208 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components;
+
+import com.google.inject.Binder;
+import com.google.inject.Provider;
+import com.google.inject.name.Names;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.generator.CftLanguageGenerator;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.parser.antlr.CftLanguageAntlrTokenFileProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.parser.antlr.CftLanguageParser;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.parser.antlr.internal.InternalCftLanguageLexer;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.scoping.CftLanguageScopeProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.serializer.CftLanguageSemanticSequencer;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.serializer.CftLanguageSyntacticSequencer;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.services.CftLanguageGrammarAccess;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.validation.CftLanguageConfigurableIssueCodesProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.validation.CftLanguageValidator;
+import java.util.Properties;
+import org.eclipse.xtext.Constants;
+import org.eclipse.xtext.IGrammarAccess;
+import org.eclipse.xtext.generator.IGenerator2;
+import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider;
+import org.eclipse.xtext.naming.IQualifiedNameProvider;
+import org.eclipse.xtext.parser.IParser;
+import org.eclipse.xtext.parser.ITokenToStringConverter;
+import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider;
+import org.eclipse.xtext.parser.antlr.AntlrTokenToStringConverter;
+import org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider;
+import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
+import org.eclipse.xtext.parser.antlr.IUnorderedGroupHelper;
+import org.eclipse.xtext.parser.antlr.Lexer;
+import org.eclipse.xtext.parser.antlr.LexerBindings;
+import org.eclipse.xtext.parser.antlr.LexerProvider;
+import org.eclipse.xtext.parser.antlr.UnorderedGroupHelper;
+import org.eclipse.xtext.resource.IContainer;
+import org.eclipse.xtext.resource.IResourceDescriptions;
+import org.eclipse.xtext.resource.containers.IAllContainersState;
+import org.eclipse.xtext.resource.containers.ResourceSetBasedAllContainersStateProvider;
+import org.eclipse.xtext.resource.containers.StateBasedContainerManager;
+import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;
+import org.eclipse.xtext.resource.impl.ResourceSetBasedResourceDescriptions;
+import org.eclipse.xtext.scoping.IGlobalScopeProvider;
+import org.eclipse.xtext.scoping.IScopeProvider;
+import org.eclipse.xtext.scoping.IgnoreCaseLinking;
+import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider;
+import org.eclipse.xtext.scoping.impl.DefaultGlobalScopeProvider;
+import org.eclipse.xtext.scoping.impl.ImportedNamespaceAwareLocalScopeProvider;
+import org.eclipse.xtext.serializer.ISerializer;
+import org.eclipse.xtext.serializer.impl.Serializer;
+import org.eclipse.xtext.serializer.sequencer.ISemanticSequencer;
+import org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer;
+import org.eclipse.xtext.service.DefaultRuntimeModule;
+import org.eclipse.xtext.service.SingletonBinding;
+import org.eclipse.xtext.validation.ConfigurableIssueCodesProvider;
+
+/**
+ * Manual modifications go to {@link CftLanguageRuntimeModule}.
+ */
+@SuppressWarnings("all")
+public abstract class AbstractCftLanguageRuntimeModule extends DefaultRuntimeModule {
+
+        protected Properties properties = null;
+
+        @Override
+        public void configure(Binder binder) {
+                properties = tryBindProperties(binder, "hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.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.faulttree.components.CftLanguage");
+        }
+        
+        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("cft");
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.grammarAccess.GrammarAccessFragment2
+        public ClassLoader bindClassLoaderToInstance() {
+                return getClass().getClassLoader();
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.grammarAccess.GrammarAccessFragment2
+        public Class<? extends IGrammarAccess> bindIGrammarAccess() {
+                return CftLanguageGrammarAccess.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2
+        public Class<? extends ISemanticSequencer> bindISemanticSequencer() {
+                return CftLanguageSemanticSequencer.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2
+        public Class<? extends ISyntacticSequencer> bindISyntacticSequencer() {
+                return CftLanguageSyntacticSequencer.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.serializer.SerializerFragment2
+        public Class<? extends ISerializer> bindISerializer() {
+                return Serializer.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends IParser> bindIParser() {
+                return CftLanguageParser.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends ITokenToStringConverter> bindITokenToStringConverter() {
+                return AntlrTokenToStringConverter.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends IAntlrTokenFileProvider> bindIAntlrTokenFileProvider() {
+                return CftLanguageAntlrTokenFileProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends Lexer> bindLexer() {
+                return InternalCftLanguageLexer.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends ITokenDefProvider> bindITokenDefProvider() {
+                return AntlrTokenDefProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Provider<? extends InternalCftLanguageLexer> provideInternalCftLanguageLexer() {
+                return LexerProvider.create(InternalCftLanguageLexer.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public void configureRuntimeLexer(Binder binder) {
+                binder.bind(Lexer.class)
+                        .annotatedWith(Names.named(LexerBindings.RUNTIME))
+                        .to(InternalCftLanguageLexer.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends IUnorderedGroupHelper> bindIUnorderedGroupHelper() {
+                return UnorderedGroupHelper.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2
+        @SingletonBinding(eager=true)
+        public Class<? extends CftLanguageValidator> bindCftLanguageValidator() {
+                return CftLanguageValidator.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2
+        public Class<? extends ConfigurableIssueCodesProvider> bindConfigurableIssueCodesProvider() {
+                return CftLanguageConfigurableIssueCodesProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2
+        public Class<? extends IScopeProvider> bindIScopeProvider() {
+                return CftLanguageScopeProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2
+        public void configureIScopeProviderDelegate(Binder binder) {
+                binder.bind(IScopeProvider.class).annotatedWith(Names.named(AbstractDeclarativeScopeProvider.NAMED_DELEGATE)).to(ImportedNamespaceAwareLocalScopeProvider.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2
+        public Class<? extends IGlobalScopeProvider> bindIGlobalScopeProvider() {
+                return DefaultGlobalScopeProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.scoping.ImportNamespacesScopingFragment2
+        public void configureIgnoreCaseLinking(Binder binder) {
+                binder.bindConstant().annotatedWith(IgnoreCaseLinking.class).to(false);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
+        public Class<? extends IQualifiedNameProvider> bindIQualifiedNameProvider() {
+                return DefaultDeclarativeQualifiedNameProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public Class<? extends IContainer.Manager> bindIContainer$Manager() {
+                return StateBasedContainerManager.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public Class<? extends IAllContainersState.Provider> bindIAllContainersState$Provider() {
+                return ResourceSetBasedAllContainersStateProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public void configureIResourceDescriptions(Binder binder) {
+                binder.bind(IResourceDescriptions.class).to(ResourceSetBasedResourceDescriptions.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public void configureIResourceDescriptionsPersisted(Binder binder) {
+                binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(ResourceSetBasedResourceDescriptions.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
+        public Class<? extends IGenerator2> bindIGenerator2() {
+                return CftLanguageGenerator.class;
+        }
+        
+}