21 files changed, 491 insertions, 0 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.CftLanguageRuntimeModule.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.CftLanguageRuntimeModule.xtendbin
new file mode 100644
index 00000000..5f61bd34
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.CftLanguageRuntimeModule.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.CftLanguageStandaloneSetup.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.CftLanguageStandaloneSetup.xtendbin
new file mode 100644
index 00000000..deb1eee6
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.CftLanguageStandaloneSetup.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.gitignore
new file mode 100644
index 00000000..b3125e3f
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/.gitignore
@@ -0,0 +1,2 @@
+/.CftLanguageRuntimeModule.java._trace
+/.CftLanguageStandaloneSetup.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguageRuntimeModule.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguageRuntimeModule.java
new file mode 100644
index 00000000..c63cd33c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguageRuntimeModule.java
@@ -0,0 +1,37 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components;
+
+import com.google.inject.Binder;
+import com.google.inject.name.Names;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.AbstractCftLanguageRuntimeModule;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.naming.CftLanguageQualifiedNameProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.scoping.CftLanguageImportedNamespaceAwareLocalScopeProvider;
+import org.eclipse.xtext.naming.IQualifiedNameProvider;
+import org.eclipse.xtext.scoping.IGlobalScopeProvider;
+import org.eclipse.xtext.scoping.IScopeProvider;
+import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider;
+import org.eclipse.xtext.scoping.impl.DefaultGlobalScopeProvider;
+
+/**
+ * Use this class to register components to be used at runtime / without the Equinox extension registry.
+ */
+@SuppressWarnings("all")
+public class CftLanguageRuntimeModule extends AbstractCftLanguageRuntimeModule {
+  @Override
+  public Class<? extends IGlobalScopeProvider> bindIGlobalScopeProvider() {
+    return DefaultGlobalScopeProvider.class;
+  }
+  
+  @Override
+  public void configureIScopeProviderDelegate(final Binder binder) {
+    binder.<IScopeProvider>bind(IScopeProvider.class).annotatedWith(Names.named(AbstractDeclarativeScopeProvider.NAMED_DELEGATE)).to(
+      CftLanguageImportedNamespaceAwareLocalScopeProvider.class);
+  }
+  
+  @Override
+  public Class<? extends IQualifiedNameProvider> bindIQualifiedNameProvider() {
+    return CftLanguageQualifiedNameProvider.class;
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguageStandaloneSetup.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguageStandaloneSetup.java
new file mode 100644
index 00000000..3eed418e
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguageStandaloneSetup.java
@@ -0,0 +1,16 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguageStandaloneSetupGenerated;
+
+/**
+ * Initialization support for running Xtext languages without Equinox extension registry.
+ */
+@SuppressWarnings("all")
+public class CftLanguageStandaloneSetup extends CftLanguageStandaloneSetupGenerated {
+  public static void doSetup() {
+    new CftLanguageStandaloneSetup().createInjectorAndDoEMFRegistration();
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/.CftLanguageGenerator.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/.CftLanguageGenerator.xtendbin
new file mode 100644
index 00000000..a974921d
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/.CftLanguageGenerator.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/.gitignore
new file mode 100644
index 00000000..c1d8820b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/.gitignore
@@ -0,0 +1 @@
+/.CftLanguageGenerator.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/CftLanguageGenerator.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/CftLanguageGenerator.java
new file mode 100644
index 00000000..8dddfb2e
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/generator/CftLanguageGenerator.java
@@ -0,0 +1,21 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.generator;
+
+import org.eclipse.emf.ecore.resource.Resource;
+import org.eclipse.xtext.generator.AbstractGenerator;
+import org.eclipse.xtext.generator.IFileSystemAccess2;
+import org.eclipse.xtext.generator.IGeneratorContext;
+
+/**
+ * Generates code from your model files on save.
+ * 
+ * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#code-generation
+ */
+@SuppressWarnings("all")
+public class CftLanguageGenerator extends AbstractGenerator {
+  @Override
+  public void doGenerate(final Resource resource, final IFileSystemAccess2 fsa, final IGeneratorContext context) {
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.CftLanguageQualifiedNameProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.CftLanguageQualifiedNameProvider.xtendbin
new file mode 100644
index 00000000..73ada4f1
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.CftLanguageQualifiedNameProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.PackageNameProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.PackageNameProvider.xtendbin
new file mode 100644
index 00000000..6f4eaae7
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.PackageNameProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.gitignore
new file mode 100644
index 00000000..b982f16c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/.gitignore
@@ -0,0 +1,2 @@
+/.CftLanguageQualifiedNameProvider.java._trace
+/.PackageNameProvider.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/CftLanguageQualifiedNameProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/CftLanguageQualifiedNameProvider.java
new file mode 100644
index 00000000..4e0607dd
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/CftLanguageQualifiedNameProvider.java
@@ -0,0 +1,35 @@
+package hu.bme.mit.inf.dslreasoner.faulttree.components.naming;
+
+import com.google.inject.Inject;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.naming.PackageNameProvider;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider;
+import org.eclipse.xtext.naming.QualifiedName;
+
+@SuppressWarnings("all")
+public class CftLanguageQualifiedNameProvider extends DefaultDeclarativeQualifiedNameProvider {
+  @Inject
+  private PackageNameProvider packageNameProvider;
+  
+  public QualifiedName qualifiedName(final ComponentDefinition componentDefinition) {
+    return this.computePackageQualifiedName(componentDefinition, componentDefinition.getName());
+  }
+  
+  public QualifiedName qualifiedName(final TransformationDefinition transformationDefinition) {
+    return this.computePackageQualifiedName(transformationDefinition, transformationDefinition.getName());
+  }
+  
+  private QualifiedName computePackageQualifiedName(final EObject eObj, final String name) {
+    QualifiedName _xblockexpression = null;
+    {
+      if ((name == null)) {
+        return null;
+      }
+      final QualifiedName packageQualifier = this.packageNameProvider.getPackageName(eObj);
+      _xblockexpression = packageQualifier.append(name);
+    }
+    return _xblockexpression;
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/PackageNameProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/PackageNameProvider.java
new file mode 100644
index 00000000..5841dc75
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/PackageNameProvider.java
@@ -0,0 +1,46 @@
+package hu.bme.mit.inf.dslreasoner.faulttree.components.naming;
+
+import com.google.inject.Inject;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor;
+import org.eclipse.xtext.EcoreUtil2;
+import org.eclipse.xtext.naming.IQualifiedNameConverter;
+import org.eclipse.xtext.naming.QualifiedName;
+import org.eclipse.xtext.xbase.lib.StringExtensions;
+
+@SuppressWarnings("all")
+public class PackageNameProvider {
+  private final IQualifiedNameConverter qualifiedNameConverter;
+  
+  @FinalFieldsConstructor
+  @Inject
+  public PackageNameProvider(final IQualifiedNameConverter qualifiedNameConverter) {
+    super();
+    this.qualifiedNameConverter = qualifiedNameConverter;
+  }
+  
+  public QualifiedName getPackageName(final EObject eObj) {
+    QualifiedName _xblockexpression = null;
+    {
+      if ((eObj == null)) {
+        return QualifiedName.EMPTY;
+      }
+      CftModel _containerOfType = EcoreUtil2.<CftModel>getContainerOfType(eObj, CftModel.class);
+      String _packageName = null;
+      if (_containerOfType!=null) {
+        _packageName=_containerOfType.getPackageName();
+      }
+      final String pacakgeName = _packageName;
+      QualifiedName _xifexpression = null;
+      boolean _isNullOrEmpty = StringExtensions.isNullOrEmpty(pacakgeName);
+      if (_isNullOrEmpty) {
+        _xifexpression = QualifiedName.EMPTY;
+      } else {
+        _xifexpression = this.qualifiedNameConverter.toQualifiedName(pacakgeName);
+      }
+      _xblockexpression = _xifexpression;
+    }
+    return _xblockexpression;
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.CftLanguageImportedNamespaceAwareLocalScopeProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.CftLanguageImportedNamespaceAwareLocalScopeProvider.xtendbin
new file mode 100644
index 00000000..4a0036bd
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.CftLanguageImportedNamespaceAwareLocalScopeProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.CftLanguageScopeProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.CftLanguageScopeProvider.xtendbin
new file mode 100644
index 00000000..722c0e58
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.CftLanguageScopeProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.gitignore
new file mode 100644
index 00000000..75285868
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/.gitignore
@@ -0,0 +1,4 @@
+/.CftLanguageScopeProvider.java._trace
+/.CftLanguageImportedNamespaceAwareScopeProvider.java._trace
+/.CftLanguageImportedNamespaceAwareScopeLocalProvider.java._trace
+/.CftLanguageImportedNamespaceAwareLocalScopeProvider.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/CftLanguageImportedNamespaceAwareLocalScopeProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/CftLanguageImportedNamespaceAwareLocalScopeProvider.java
new file mode 100644
index 00000000..d90fe787
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/CftLanguageImportedNamespaceAwareLocalScopeProvider.java
@@ -0,0 +1,63 @@
+package hu.bme.mit.inf.dslreasoner.faulttree.components.scoping;
+
+import com.google.inject.Inject;
+import com.google.inject.Singleton;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.naming.PackageNameProvider;
+import java.util.List;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EReference;
+import org.eclipse.xtext.naming.IQualifiedNameConverter;
+import org.eclipse.xtext.naming.IQualifiedNameProvider;
+import org.eclipse.xtext.naming.QualifiedName;
+import org.eclipse.xtext.scoping.ICaseInsensitivityHelper;
+import org.eclipse.xtext.scoping.IGlobalScopeProvider;
+import org.eclipse.xtext.scoping.IScope;
+import org.eclipse.xtext.scoping.impl.ImportNormalizer;
+import org.eclipse.xtext.scoping.impl.ImportScope;
+import org.eclipse.xtext.scoping.impl.ImportedNamespaceAwareLocalScopeProvider;
+
+@Singleton
+@SuppressWarnings("all")
+public class CftLanguageImportedNamespaceAwareLocalScopeProvider extends ImportedNamespaceAwareLocalScopeProvider {
+  @Inject
+  private PackageNameProvider packageNameProvider;
+  
+  @Inject
+  public CftLanguageImportedNamespaceAwareLocalScopeProvider() {
+  }
+  
+  public CftLanguageImportedNamespaceAwareLocalScopeProvider(final IGlobalScopeProvider globalScopeProvider, final IQualifiedNameProvider qualifiedNameProvider, final IQualifiedNameConverter qualifiedNameConverter, final ICaseInsensitivityHelper caseInsensitivityHelper) {
+    super(globalScopeProvider, qualifiedNameProvider, qualifiedNameConverter, caseInsensitivityHelper);
+    PackageNameProvider _packageNameProvider = new PackageNameProvider(qualifiedNameConverter);
+    this.packageNameProvider = _packageNameProvider;
+  }
+  
+  @Override
+  protected List<ImportNormalizer> internalGetImportedNamespaceResolvers(final EObject context, final boolean ignoreCase) {
+    List<ImportNormalizer> _xblockexpression = null;
+    {
+      final List<ImportNormalizer> resolvers = super.internalGetImportedNamespaceResolvers(context, ignoreCase);
+      final QualifiedName packageName = this.packageNameProvider.getPackageName(context);
+      boolean _isEmpty = packageName.isEmpty();
+      boolean _not = (!_isEmpty);
+      if (_not) {
+        final ImportNormalizer packageNormalizer = this.doCreateImportNormalizer(packageName, true, ignoreCase);
+        resolvers.add(0, packageNormalizer);
+      }
+      _xblockexpression = resolvers;
+    }
+    return _xblockexpression;
+  }
+  
+  public ImportScope createImportNormalizedScope(final IScope elements, final EObject context, final EReference reference) {
+    ImportScope _xblockexpression = null;
+    {
+      final boolean ignoreCase = this.isIgnoreCase(reference);
+      final EClass type = reference.getEReferenceType();
+      final List<ImportNormalizer> namespaceResolvers = this.getImportedNamespaceResolvers(context, ignoreCase);
+      _xblockexpression = this.createImportScope(elements, namespaceResolvers, null, type, ignoreCase);
+    }
+    return _xblockexpression;
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/CftLanguageScopeProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/CftLanguageScopeProvider.java
new file mode 100644
index 00000000..0149c8d1
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/scoping/CftLanguageScopeProvider.java
@@ -0,0 +1,248 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.scoping;
+
+import com.google.common.base.Objects;
+import com.google.common.collect.Lists;
+import com.google.inject.Inject;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftLanguagePackage;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentInstance;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.EventDeclaration;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.EventReference;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingParameter;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Variable;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.scoping.AbstractCftLanguageScopeProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.scoping.CftLanguageImportedNamespaceAwareLocalScopeProvider;
+import java.util.ArrayList;
+import org.eclipse.emf.common.notify.Notifier;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EReference;
+import org.eclipse.emf.ecore.resource.ResourceSet;
+import org.eclipse.viatra.query.patternlanguage.emf.vql.Pattern;
+import org.eclipse.xtext.EcoreUtil2;
+import org.eclipse.xtext.naming.QualifiedName;
+import org.eclipse.xtext.resource.EObjectDescription;
+import org.eclipse.xtext.resource.IEObjectDescription;
+import org.eclipse.xtext.resource.IResourceDescriptions;
+import org.eclipse.xtext.resource.IResourceDescriptionsProvider;
+import org.eclipse.xtext.scoping.IScope;
+import org.eclipse.xtext.scoping.Scopes;
+import org.eclipse.xtext.scoping.impl.ImportScope;
+import org.eclipse.xtext.scoping.impl.SimpleScope;
+import org.eclipse.xtext.xbase.lib.CollectionLiterals;
+import org.eclipse.xtext.xbase.lib.Functions.Function1;
+import org.eclipse.xtext.xbase.lib.IterableExtensions;
+
+/**
+ * This class contains custom scoping description.
+ * 
+ * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#scoping
+ * on how and when to use it.
+ */
+@SuppressWarnings("all")
+public class CftLanguageScopeProvider extends AbstractCftLanguageScopeProvider {
+  public static final String SINGLETON_VARIABLE_PREFIX = "_";
+  
+  @Inject
+  private IResourceDescriptionsProvider resourceDescriptionsProvider;
+  
+  @Inject
+  private CftLanguageImportedNamespaceAwareLocalScopeProvider importedNamespaceProvider;
+  
+  @Override
+  public IScope getScope(final EObject context, final EReference reference) {
+    IScope _switchResult = null;
+    boolean _matched = false;
+    if (Objects.equal(reference, CftLanguagePackage.Literals.LOOKUP_DEFINITION__MAPPING)) {
+      _matched=true;
+      _switchResult = this.getRuleDefinitionsScope(context, reference);
+    }
+    if (!_matched) {
+      if (Objects.equal(reference, CftLanguagePackage.Literals.LOOKUP_DEFINITION__ARGUMENTS)) {
+        _matched=true;
+        _switchResult = this.getMappingParametersScope(context);
+      }
+    }
+    if (!_matched) {
+      if (Objects.equal(reference, CftLanguagePackage.Literals.EVENT_REFERENCE__COMPONENT)) {
+        _matched=true;
+        _switchResult = this.getComponentInstancesScope(context);
+      }
+    }
+    if (!_matched) {
+      if (Objects.equal(reference, CftLanguagePackage.Literals.EVENT_REFERENCE__EVENT)) {
+        _matched=true;
+        _switchResult = this.getEventDeclarationsScope(context);
+      }
+    }
+    if (!_matched) {
+      _switchResult = super.getScope(context, reference);
+    }
+    return _switchResult;
+  }
+  
+  protected IScope getRuleDefinitionsScope(final EObject context, final EReference referece) {
+    ImportScope _xblockexpression = null;
+    {
+      final TransformationDefinition transformationDefinition = EcoreUtil2.<TransformationDefinition>getContainerOfType(context, TransformationDefinition.class);
+      if ((transformationDefinition == null)) {
+        return IScope.NULLSCOPE;
+      }
+      final IResourceDescriptions resourceDescriptions = this.getResourceDescriptions(transformationDefinition);
+      final ArrayList<IEObjectDescription> mappingDefinitionDescriptions = this.toMappingDefinitionDescriptions(resourceDescriptions, 
+        transformationDefinition.getMappingDefinitions());
+      final SimpleScope ruleDefinitionsScope = new SimpleScope(IScope.NULLSCOPE, mappingDefinitionDescriptions);
+      _xblockexpression = this.importedNamespaceProvider.createImportNormalizedScope(ruleDefinitionsScope, context, referece);
+    }
+    return _xblockexpression;
+  }
+  
+  protected ArrayList<IEObjectDescription> toMappingDefinitionDescriptions(final IResourceDescriptions resourceDescriptions, final Iterable<? extends MappingDefinition> ruleDefinitions) {
+    ArrayList<IEObjectDescription> _xblockexpression = null;
+    {
+      final ArrayList<IEObjectDescription> mappingDefinitionDescriptions = Lists.<IEObjectDescription>newArrayListWithExpectedSize(IterableExtensions.size(ruleDefinitions));
+      for (final MappingDefinition ruleDefinition : ruleDefinitions) {
+        {
+          Pattern _pattern = null;
+          if (ruleDefinition!=null) {
+            _pattern=ruleDefinition.getPattern();
+          }
+          final Pattern pattern = _pattern;
+          if ((pattern != null)) {
+            IEObjectDescription _head = IterableExtensions.<IEObjectDescription>head(resourceDescriptions.getExportedObjectsByObject(pattern));
+            QualifiedName _qualifiedName = null;
+            if (_head!=null) {
+              _qualifiedName=_head.getQualifiedName();
+            }
+            final QualifiedName patternName = _qualifiedName;
+            if ((patternName != null)) {
+              IEObjectDescription _create = EObjectDescription.create(patternName, ruleDefinition);
+              mappingDefinitionDescriptions.add(_create);
+            }
+          }
+        }
+      }
+      _xblockexpression = mappingDefinitionDescriptions;
+    }
+    return _xblockexpression;
+  }
+  
+  private IResourceDescriptions getResourceDescriptions(final Notifier notifier) {
+    IResourceDescriptions _xblockexpression = null;
+    {
+      final ResourceSet resourceSet = EcoreUtil2.getResourceSet(notifier);
+      IResourceDescriptions _xifexpression = null;
+      if ((resourceSet == null)) {
+        _xifexpression = new IResourceDescriptions.NullImpl();
+      } else {
+        _xifexpression = this.resourceDescriptionsProvider.getResourceDescriptions(resourceSet);
+      }
+      _xblockexpression = _xifexpression;
+    }
+    return _xblockexpression;
+  }
+  
+  protected IScope getMappingParametersScope(final EObject context) {
+    IScope _xblockexpression = null;
+    {
+      final MappingDefinition mappingDefinition = EcoreUtil2.<MappingDefinition>getContainerOfType(context, MappingDefinition.class);
+      if ((mappingDefinition == null)) {
+        return IScope.NULLSCOPE;
+      }
+      final Function1<MappingParameter, Boolean> _function = (MappingParameter it) -> {
+        boolean _startsWith = it.getName().startsWith(CftLanguageScopeProvider.SINGLETON_VARIABLE_PREFIX);
+        return Boolean.valueOf((!_startsWith));
+      };
+      final Iterable<MappingParameter> variables = IterableExtensions.<MappingParameter>filter(mappingDefinition.getParameters(), _function);
+      _xblockexpression = Scopes.scopeFor(variables);
+    }
+    return _xblockexpression;
+  }
+  
+  protected IScope getComponentInstancesScope(final EObject context) {
+    IScope _xblockexpression = null;
+    {
+      final MappingDefinition mappingDefinition = EcoreUtil2.<MappingDefinition>getContainerOfType(context, MappingDefinition.class);
+      if ((mappingDefinition == null)) {
+        return IScope.NULLSCOPE;
+      }
+      final ArrayList<Variable> componentInstances = CollectionLiterals.<Variable>newArrayList();
+      componentInstances.addAll(mappingDefinition.getLookupDefinitions());
+      ComponentInstance _componentInstance = mappingDefinition.getComponentInstance();
+      boolean _tripleNotEquals = (_componentInstance != null);
+      if (_tripleNotEquals) {
+        ComponentInstance _componentInstance_1 = mappingDefinition.getComponentInstance();
+        componentInstances.add(_componentInstance_1);
+      }
+      _xblockexpression = Scopes.scopeFor(componentInstances);
+    }
+    return _xblockexpression;
+  }
+  
+  protected IScope getEventDeclarationsScope(final EObject context) {
+    IScope _xblockexpression = null;
+    {
+      EventReference _containerOfType = EcoreUtil2.<EventReference>getContainerOfType(context, EventReference.class);
+      Variable _component = null;
+      if (_containerOfType!=null) {
+        _component=_containerOfType.getComponent();
+      }
+      final Variable variable = _component;
+      ArrayList<EventDeclaration> _switchResult = null;
+      boolean _matched = false;
+      if (variable instanceof ComponentInstance) {
+        _matched=true;
+        ComponentDefinition _componentType = ((ComponentInstance)variable).getComponentType();
+        ArrayList<EventDeclaration> _allEventDeclarations = null;
+        if (_componentType!=null) {
+          _allEventDeclarations=this.getAllEventDeclarations(_componentType);
+        }
+        _switchResult = _allEventDeclarations;
+      }
+      if (!_matched) {
+        if (variable instanceof LookupDefinition) {
+          _matched=true;
+          MappingDefinition _mapping = ((LookupDefinition)variable).getMapping();
+          ComponentInstance _componentInstance = null;
+          if (_mapping!=null) {
+            _componentInstance=_mapping.getComponentInstance();
+          }
+          ComponentDefinition _componentType = null;
+          if (_componentInstance!=null) {
+            _componentType=_componentInstance.getComponentType();
+          }
+          ArrayList<EventDeclaration> _allEventDeclarations = null;
+          if (_componentType!=null) {
+            _allEventDeclarations=this.getAllEventDeclarations(_componentType);
+          }
+          _switchResult = _allEventDeclarations;
+        }
+      }
+      if (!_matched) {
+        _switchResult = null;
+      }
+      final ArrayList<EventDeclaration> events = _switchResult;
+      if ((events == null)) {
+        return IScope.NULLSCOPE;
+      }
+      _xblockexpression = Scopes.scopeFor(events);
+    }
+    return _xblockexpression;
+  }
+  
+  private ArrayList<EventDeclaration> getAllEventDeclarations(final ComponentDefinition componentDefinition) {
+    ArrayList<EventDeclaration> _xblockexpression = null;
+    {
+      final ArrayList<EventDeclaration> eventDeclarations = CollectionLiterals.<EventDeclaration>newArrayList();
+      eventDeclarations.addAll(componentDefinition.getInputEvents());
+      eventDeclarations.addAll(componentDefinition.getEventDefinitions());
+      _xblockexpression = eventDeclarations;
+    }
+    return _xblockexpression;
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/.CftLanguageValidator.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/.CftLanguageValidator.xtendbin
new file mode 100644
index 00000000..c978854b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/.CftLanguageValidator.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/.gitignore
new file mode 100644
index 00000000..9065804d
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/.gitignore
@@ -0,0 +1 @@
+/.CftLanguageValidator.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/CftLanguageValidator.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/CftLanguageValidator.java
new file mode 100644
index 00000000..758d29f4
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/CftLanguageValidator.java
@@ -0,0 +1,15 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.validation;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.components.validation.AbstractCftLanguageValidator;
+
+/**
+ * This class contains custom validation rules.
+ * 
+ * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation
+ */
+@SuppressWarnings("all")
+public class CftLanguageValidator extends AbstractCftLanguageValidator {
+}