Fault tree transformation for partial models WIP

1 files changed, 177 insertions, 175 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
index d00accae..56fa0313 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
@@ -1,175 +1,177 @@
-/**

- * generated by Xtext 2.12.0

- */

-package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

-

-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry;

-

-import org.eclipse.emf.common.notify.Notification;

-

-import org.eclipse.emf.ecore.EClass;

-import org.eclipse.emf.ecore.InternalEObject;

-

-import org.eclipse.emf.ecore.impl.ENotificationImpl;

-import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;

-

-import org.eclipse.viatra.query.patternlanguage.emf.vql.PatternModel;

-

-/**

- * <!-- begin-user-doc -->

- * An implementation of the model object '<em><b>Pattern Entry</b></em>'.

- * <!-- end-user-doc -->

- * <p>

- * The following features are implemented:

- * </p>

- * <ul>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PatternEntryImpl#getPackage <em>Package</em>}</li>

- * </ul>

- *

- * @generated

- */

-public class PatternEntryImpl extends MinimalEObjectImpl.Container implements PatternEntry

-{

-  /**

-   * The cached value of the '{@link #getPackage() <em>Package</em>}' reference.

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @see #getPackage()

-   * @generated

-   * @ordered

-   */

-  protected PatternModel package_;

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  protected PatternEntryImpl()

-  {

-    super();

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  @Override

-  protected EClass eStaticClass()

-  {

-    return ApplicationConfigurationPackage.Literals.PATTERN_ENTRY;

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  public PatternModel getPackage()

-  {

-    if (package_ != null && package_.eIsProxy())

-    {

-      InternalEObject oldPackage = (InternalEObject)package_;

-      package_ = (PatternModel)eResolveProxy(oldPackage);

-      if (package_ != oldPackage)

-      {

-        if (eNotificationRequired())

-          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE, oldPackage, package_));

-      }

-    }

-    return package_;

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  public PatternModel basicGetPackage()

-  {

-    return package_;

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  public void setPackage(PatternModel newPackage)

-  {

-    PatternModel oldPackage = package_;

-    package_ = newPackage;

-    if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE, oldPackage, package_));

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  @Override

-  public Object eGet(int featureID, boolean resolve, boolean coreType)

-  {

-    switch (featureID)

-    {

-      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:

-        if (resolve) return getPackage();

-        return basicGetPackage();

-    }

-    return super.eGet(featureID, resolve, coreType);

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  @Override

-  public void eSet(int featureID, Object newValue)

-  {

-    switch (featureID)

-    {

-      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:

-        setPackage((PatternModel)newValue);

-        return;

-    }

-    super.eSet(featureID, newValue);

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  @Override

-  public void eUnset(int featureID)

-  {

-    switch (featureID)

-    {

-      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:

-        setPackage((PatternModel)null);

-        return;

-    }

-    super.eUnset(featureID);

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  @Override

-  public boolean eIsSet(int featureID)

-  {

-    switch (featureID)

-    {

-      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:

-        return package_ != null;

-    }

-    return super.eIsSet(featureID);

-  }

-

-} //PatternEntryImpl

+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.viatra.query.patternlanguage.emf.vql.PatternModel;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Pattern Entry</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.PatternEntryImpl#getPackage <em>Package</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class PatternEntryImpl extends MinimalEObjectImpl.Container implements PatternEntry
+{
+  /**
+   * The cached value of the '{@link #getPackage() <em>Package</em>}' reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getPackage()
+   * @generated
+   * @ordered
+   */
+  protected PatternModel package_;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected PatternEntryImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.PATTERN_ENTRY;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public PatternModel getPackage()
+  {
+    if (package_ != null && package_.eIsProxy())
+    {
+      InternalEObject oldPackage = (InternalEObject)package_;
+      package_ = (PatternModel)eResolveProxy(oldPackage);
+      if (package_ != oldPackage)
+      {
+        if (eNotificationRequired())
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE, oldPackage, package_));
+      }
+    }
+    return package_;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public PatternModel basicGetPackage()
+  {
+    return package_;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void setPackage(PatternModel newPackage)
+  {
+    PatternModel oldPackage = package_;
+    package_ = newPackage;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE, oldPackage, package_));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:
+        if (resolve) return getPackage();
+        return basicGetPackage();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:
+        setPackage((PatternModel)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:
+        setPackage((PatternModel)null);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.PATTERN_ENTRY__PACKAGE:
+        return package_ != null;
+    }
+    return super.eIsSet(featureID);
+  }
+
+} //PatternEntryImpl