2 files changed, 39 insertions, 0 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java
index c756cf31..d61c3a2a 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java
@@ -296,6 +296,10 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl {
                                 return createStringLiteralAdapter();

                         }

                         @Override

+                        public Adapter caseTransitiveClosure(TransitiveClosure object) {

+                                return createTransitiveClosureAdapter();

+                        }

+                        @Override

                         public Adapter defaultCase(EObject object) {

                                 return createEObjectAdapter();

                         }

@@ -1114,6 +1118,20 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl {
         }

 

         /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure <em>Transitive Closure</em>}'.

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

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

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

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure

+         * @generated

+         */

+        public Adapter createTransitiveClosureAdapter() {

+                return null;

+        }

+

+        /**

          * Creates a new adapter for the default case.

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

          * This default implementation returns null.

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java
index 43376940..74575fb6 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java
@@ -544,6 +544,12 @@ public class LogiclanguageSwitch<T> extends Switch<T> {
                                 if (result == null) result = defaultCase(theEObject);

                                 return result;

                         }

+                        case LogiclanguagePackage.TRANSITIVE_CLOSURE: {

+                                TransitiveClosure transitiveClosure = (TransitiveClosure)theEObject;

+                                T result = caseTransitiveClosure(transitiveClosure);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

                         default: return defaultCase(theEObject);

                 }

         }

@@ -1404,6 +1410,21 @@ public class LogiclanguageSwitch<T> extends Switch<T> {
         }

 

         /**

+         * Returns the result of interpreting the object as an instance of '<em>Transitive Closure</em>'.

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

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

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

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Transitive Closure</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseTransitiveClosure(TransitiveClosure object) {

+                return null;

+        }

+

+        /**

          * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.

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

          * This implementation returns null;