[Stochastic] Fault tree transformation langauge

2 files changed, 57 insertions, 0 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/CftLanguageQualifiedNameProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/CftLanguageQualifiedNameProvider.xtend
new file mode 100644
index 00000000..eb96901c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/CftLanguageQualifiedNameProvider.xtend
@@ -0,0 +1,27 @@
+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 org.eclipse.emf.ecore.EObject
+import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider
+
+class CftLanguageQualifiedNameProvider extends DefaultDeclarativeQualifiedNameProvider {
+        @Inject PackageNameProvider packageNameProvider
+
+        def qualifiedName(ComponentDefinition componentDefinition) {
+                computePackageQualifiedName(componentDefinition, componentDefinition.name)
+        }
+
+        def qualifiedName(TransformationDefinition transformationDefinition) {
+                computePackageQualifiedName(transformationDefinition, transformationDefinition.name)
+        }
+
+        private def computePackageQualifiedName(EObject eObj, String name) {
+                if (name === null) {
+                        return null
+                }
+                val packageQualifier = packageNameProvider.getPackageName(eObj)
+                packageQualifier.append(name)
+        }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/PackageNameProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/PackageNameProvider.xtend
new file mode 100644
index 00000000..a05c8138
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/naming/PackageNameProvider.xtend
@@ -0,0 +1,30 @@
+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
+
+class PackageNameProvider {
+        val IQualifiedNameConverter qualifiedNameConverter
+
+        @FinalFieldsConstructor
+        @Inject
+        new() {
+        }
+        
+        def getPackageName(EObject eObj) {
+                if (eObj === null) {
+                        return QualifiedName.EMPTY
+                }
+                val pacakgeName = EcoreUtil2.getContainerOfType(eObj, CftModel)?.packageName
+                if (pacakgeName.isNullOrEmpty) {
+                        QualifiedName.EMPTY
+                } else {
+                        qualifiedNameConverter.toQualifiedName(pacakgeName)
+                }
+        }
+}