Fault tree transformation for partial models WIP

1 files changed, 42 insertions, 42 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java
index 3fffae8e..0af738f7 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java
@@ -1,42 +1,42 @@
-/**

- * generated by Xtext 2.12.0

- */

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

-

-import org.eclipse.emf.common.util.EList;

-

-/**

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

- * A representation of the model object '<em><b>Int Enumberation</b></em>'.

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

- *

- * <p>

- * The following features are supported:

- * </p>

- * <ul>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry <em>Entry</em>}</li>

- * </ul>

- *

- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation()

- * @model

- * @generated

- */

-public interface IntEnumberation extends NumberSpecification

-{

-  /**

-   * Returns the value of the '<em><b>Entry</b></em>' attribute list.

-   * The list contents are of type {@link java.lang.Integer}.

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

-   * <p>

-   * If the meaning of the '<em>Entry</em>' attribute list isn't clear,

-   * there really should be more of a description here...

-   * </p>

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

-   * @return the value of the '<em>Entry</em>' attribute list.

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation_Entry()

-   * @model unique="false"

-   * @generated

-   */

-  EList<Integer> getEntry();

-

-} // IntEnumberation

+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+
+import org.eclipse.emf.common.util.EList;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Int Enumberation</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry <em>Entry</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation()
+ * @model
+ * @generated
+ */
+public interface IntEnumberation extends NumberSpecification
+{
+  /**
+   * Returns the value of the '<em><b>Entry</b></em>' attribute list.
+   * The list contents are of type {@link java.lang.Integer}.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Entry</em>' attribute list isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Entry</em>' attribute list.
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation_Entry()
+   * @model unique="false"
+   * @generated
+   */
+  EList<Integer> getEntry();
+
+} // IntEnumberation