1 files changed, 8 insertions, 10 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileSystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileSystemImpl.java
index e6859cab..adf30f3a 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileSystemImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileSystemImpl.java
@@ -2,6 +2,7 @@
  */

 package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;

 

+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir;

 import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject;

 import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem;

 import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage;

@@ -41,7 +42,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File
          * @generated

          * @ordered

          */

-        protected FSObject root;

+        protected Dir root;

 

         /**

          * The cached setting delegate for the '{@link #getLive() <em>Live</em>}' reference list.

@@ -77,8 +78,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File
          * <!-- end-user-doc -->

          * @generated

          */

-        @Override

-        public FSObject getRoot() {

+        public Dir getRoot() {

                 return root;

         }

 

@@ -87,8 +87,8 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File
          * <!-- end-user-doc -->

          * @generated

          */

-        public NotificationChain basicSetRoot(FSObject newRoot, NotificationChain msgs) {

-                FSObject oldRoot = root;

+        public NotificationChain basicSetRoot(Dir newRoot, NotificationChain msgs) {

+                Dir oldRoot = root;

                 root = newRoot;

                 if (eNotificationRequired()) {

                         ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, FilesystemPackage.FILE_SYSTEM__ROOT, oldRoot, newRoot);

@@ -102,8 +102,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File
          * <!-- end-user-doc -->

          * @generated

          */

-        @Override

-        public void setRoot(FSObject newRoot) {

+        public void setRoot(Dir newRoot) {

                 if (newRoot != root) {

                         NotificationChain msgs = null;

                         if (root != null)

@@ -123,7 +122,6 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File
          * @generated

          */

         @SuppressWarnings("unchecked")

-        @Override

         public EList<FSObject> getLive() {

                 return (EList<FSObject>)LIVE__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false);

         }

@@ -167,7 +165,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File
         public void eSet(int featureID, Object newValue) {

                 switch (featureID) {

                         case FilesystemPackage.FILE_SYSTEM__ROOT:

-                                setRoot((FSObject)newValue);

+                                setRoot((Dir)newValue);

                                 return;

                 }

                 super.eSet(featureID, newValue);

@@ -182,7 +180,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File
         public void eUnset(int featureID) {

                 switch (featureID) {

                         case FilesystemPackage.FILE_SYSTEM__ROOT:

-                                setRoot((FSObject)null);

+                                setRoot((Dir)null);

                                 return;

                 }

                 super.eUnset(featureID);