[Stochastic] Fault tree transformation langauge

5 files changed, 83 insertions, 0 deletions

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;
+  }
+}