diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples')
7 files changed, 48 insertions, 23 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java index 1896e31e..f0066955 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java | |||
@@ -33,12 +33,12 @@ public interface FileSystem extends EObject { | |||
33 | * </p> | 33 | * </p> |
34 | * <!-- end-user-doc --> | 34 | * <!-- end-user-doc --> |
35 | * @return the value of the '<em>Root</em>' containment reference. | 35 | * @return the value of the '<em>Root</em>' containment reference. |
36 | * @see #setRoot(Dir) | 36 | * @see #setRoot(FSObject) |
37 | * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFileSystem_Root() | 37 | * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFileSystem_Root() |
38 | * @model containment="true" required="true" | 38 | * @model containment="true" required="true" |
39 | * @generated | 39 | * @generated |
40 | */ | 40 | */ |
41 | Dir getRoot(); | 41 | FSObject getRoot(); |
42 | 42 | ||
43 | /** | 43 | /** |
44 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getRoot <em>Root</em>}' containment reference. | 44 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getRoot <em>Root</em>}' containment reference. |
@@ -48,7 +48,7 @@ public interface FileSystem extends EObject { | |||
48 | * @see #getRoot() | 48 | * @see #getRoot() |
49 | * @generated | 49 | * @generated |
50 | */ | 50 | */ |
51 | void setRoot(Dir value); | 51 | void setRoot(FSObject value); |
52 | 52 | ||
53 | /** | 53 | /** |
54 | * Returns the value of the '<em><b>Live</b></em>' reference list. | 54 | * Returns the value of the '<em><b>Live</b></em>' reference list. |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/DirImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/DirImpl.java index 62df04af..c2d417d2 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/DirImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/DirImpl.java | |||
@@ -66,6 +66,7 @@ public class DirImpl extends FSObjectImpl implements Dir { | |||
66 | * <!-- end-user-doc --> | 66 | * <!-- end-user-doc --> |
67 | * @generated | 67 | * @generated |
68 | */ | 68 | */ |
69 | @Override | ||
69 | public EList<FSObject> getContents() { | 70 | public EList<FSObject> getContents() { |
70 | if (contents == null) { | 71 | if (contents == null) { |
71 | contents = new EObjectContainmentWithInverseEList<FSObject>(FSObject.class, this, FilesystemPackage.DIR__CONTENTS, FilesystemPackage.FS_OBJECT__PARENT); | 72 | contents = new EObjectContainmentWithInverseEList<FSObject>(FSObject.class, this, FilesystemPackage.DIR__CONTENTS, FilesystemPackage.FS_OBJECT__PARENT); |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FSObjectImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FSObjectImpl.java index c8e73b4e..d87935d6 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FSObjectImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FSObjectImpl.java | |||
@@ -53,6 +53,7 @@ public abstract class FSObjectImpl extends MinimalEObjectImpl.Container implemen | |||
53 | * <!-- end-user-doc --> | 53 | * <!-- end-user-doc --> |
54 | * @generated | 54 | * @generated |
55 | */ | 55 | */ |
56 | @Override | ||
56 | public Dir getParent() { | 57 | public Dir getParent() { |
57 | if (eContainerFeatureID() != FilesystemPackage.FS_OBJECT__PARENT) return null; | 58 | if (eContainerFeatureID() != FilesystemPackage.FS_OBJECT__PARENT) return null; |
58 | return (Dir)eInternalContainer(); | 59 | return (Dir)eInternalContainer(); |
@@ -73,6 +74,7 @@ public abstract class FSObjectImpl extends MinimalEObjectImpl.Container implemen | |||
73 | * <!-- end-user-doc --> | 74 | * <!-- end-user-doc --> |
74 | * @generated | 75 | * @generated |
75 | */ | 76 | */ |
77 | @Override | ||
76 | public void setParent(Dir newParent) { | 78 | public void setParent(Dir newParent) { |
77 | if (newParent != eInternalContainer() || (eContainerFeatureID() != FilesystemPackage.FS_OBJECT__PARENT && newParent != null)) { | 79 | if (newParent != eInternalContainer() || (eContainerFeatureID() != FilesystemPackage.FS_OBJECT__PARENT && newParent != null)) { |
78 | if (EcoreUtil.isAncestor(this, newParent)) | 80 | if (EcoreUtil.isAncestor(this, newParent)) |
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 adf30f3a..e6859cab 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,7 +2,6 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl; | 3 | package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir; | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject; | 5 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject; |
7 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem; | 6 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem; |
8 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage; | 7 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage; |
@@ -42,7 +41,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
42 | * @generated | 41 | * @generated |
43 | * @ordered | 42 | * @ordered |
44 | */ | 43 | */ |
45 | protected Dir root; | 44 | protected FSObject root; |
46 | 45 | ||
47 | /** | 46 | /** |
48 | * The cached setting delegate for the '{@link #getLive() <em>Live</em>}' reference list. | 47 | * The cached setting delegate for the '{@link #getLive() <em>Live</em>}' reference list. |
@@ -78,7 +77,8 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
78 | * <!-- end-user-doc --> | 77 | * <!-- end-user-doc --> |
79 | * @generated | 78 | * @generated |
80 | */ | 79 | */ |
81 | public Dir getRoot() { | 80 | @Override |
81 | public FSObject getRoot() { | ||
82 | return root; | 82 | return root; |
83 | } | 83 | } |
84 | 84 | ||
@@ -87,8 +87,8 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
87 | * <!-- end-user-doc --> | 87 | * <!-- end-user-doc --> |
88 | * @generated | 88 | * @generated |
89 | */ | 89 | */ |
90 | public NotificationChain basicSetRoot(Dir newRoot, NotificationChain msgs) { | 90 | public NotificationChain basicSetRoot(FSObject newRoot, NotificationChain msgs) { |
91 | Dir oldRoot = root; | 91 | FSObject oldRoot = root; |
92 | root = newRoot; | 92 | root = newRoot; |
93 | if (eNotificationRequired()) { | 93 | if (eNotificationRequired()) { |
94 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, FilesystemPackage.FILE_SYSTEM__ROOT, oldRoot, newRoot); | 94 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, FilesystemPackage.FILE_SYSTEM__ROOT, oldRoot, newRoot); |
@@ -102,7 +102,8 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
102 | * <!-- end-user-doc --> | 102 | * <!-- end-user-doc --> |
103 | * @generated | 103 | * @generated |
104 | */ | 104 | */ |
105 | public void setRoot(Dir newRoot) { | 105 | @Override |
106 | public void setRoot(FSObject newRoot) { | ||
106 | if (newRoot != root) { | 107 | if (newRoot != root) { |
107 | NotificationChain msgs = null; | 108 | NotificationChain msgs = null; |
108 | if (root != null) | 109 | if (root != null) |
@@ -122,6 +123,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
122 | * @generated | 123 | * @generated |
123 | */ | 124 | */ |
124 | @SuppressWarnings("unchecked") | 125 | @SuppressWarnings("unchecked") |
126 | @Override | ||
125 | public EList<FSObject> getLive() { | 127 | public EList<FSObject> getLive() { |
126 | return (EList<FSObject>)LIVE__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false); | 128 | return (EList<FSObject>)LIVE__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false); |
127 | } | 129 | } |
@@ -165,7 +167,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
165 | public void eSet(int featureID, Object newValue) { | 167 | public void eSet(int featureID, Object newValue) { |
166 | switch (featureID) { | 168 | switch (featureID) { |
167 | case FilesystemPackage.FILE_SYSTEM__ROOT: | 169 | case FilesystemPackage.FILE_SYSTEM__ROOT: |
168 | setRoot((Dir)newValue); | 170 | setRoot((FSObject)newValue); |
169 | return; | 171 | return; |
170 | } | 172 | } |
171 | super.eSet(featureID, newValue); | 173 | super.eSet(featureID, newValue); |
@@ -180,7 +182,7 @@ public class FileSystemImpl extends MinimalEObjectImpl.Container implements File | |||
180 | public void eUnset(int featureID) { | 182 | public void eUnset(int featureID) { |
181 | switch (featureID) { | 183 | switch (featureID) { |
182 | case FilesystemPackage.FILE_SYSTEM__ROOT: | 184 | case FilesystemPackage.FILE_SYSTEM__ROOT: |
183 | setRoot((Dir)null); | 185 | setRoot((FSObject)null); |
184 | return; | 186 | return; |
185 | } | 187 | } |
186 | super.eUnset(featureID); | 188 | super.eUnset(featureID); |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java index e40b0bd1..b4b09e15 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java | |||
@@ -70,6 +70,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac | |||
70 | * <!-- end-user-doc --> | 70 | * <!-- end-user-doc --> |
71 | * @generated | 71 | * @generated |
72 | */ | 72 | */ |
73 | @Override | ||
73 | public FileSystem createFileSystem() { | 74 | public FileSystem createFileSystem() { |
74 | FileSystemImpl fileSystem = new FileSystemImpl(); | 75 | FileSystemImpl fileSystem = new FileSystemImpl(); |
75 | return fileSystem; | 76 | return fileSystem; |
@@ -80,6 +81,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac | |||
80 | * <!-- end-user-doc --> | 81 | * <!-- end-user-doc --> |
81 | * @generated | 82 | * @generated |
82 | */ | 83 | */ |
84 | @Override | ||
83 | public Dir createDir() { | 85 | public Dir createDir() { |
84 | DirImpl dir = new DirImpl(); | 86 | DirImpl dir = new DirImpl(); |
85 | return dir; | 87 | return dir; |
@@ -90,6 +92,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac | |||
90 | * <!-- end-user-doc --> | 92 | * <!-- end-user-doc --> |
91 | * @generated | 93 | * @generated |
92 | */ | 94 | */ |
95 | @Override | ||
93 | public File createFile() { | 96 | public File createFile() { |
94 | FileImpl file = new FileImpl(); | 97 | FileImpl file = new FileImpl(); |
95 | return file; | 98 | return file; |
@@ -100,6 +103,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac | |||
100 | * <!-- end-user-doc --> | 103 | * <!-- end-user-doc --> |
101 | * @generated | 104 | * @generated |
102 | */ | 105 | */ |
106 | @Override | ||
103 | public Model createModel() { | 107 | public Model createModel() { |
104 | ModelImpl model = new ModelImpl(); | 108 | ModelImpl model = new ModelImpl(); |
105 | return model; | 109 | return model; |
@@ -110,6 +114,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac | |||
110 | * <!-- end-user-doc --> | 114 | * <!-- end-user-doc --> |
111 | * @generated | 115 | * @generated |
112 | */ | 116 | */ |
117 | @Override | ||
113 | public FilesystemPackage getFilesystemPackage() { | 118 | public FilesystemPackage getFilesystemPackage() { |
114 | return (FilesystemPackage)getEPackage(); | 119 | return (FilesystemPackage)getEPackage(); |
115 | } | 120 | } |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java index 87390fee..4c0ca4c5 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java | |||
@@ -86,7 +86,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
86 | 86 | ||
87 | /** | 87 | /** |
88 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | 88 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. |
89 | * | 89 | * |
90 | * <p>This method is used to initialize {@link FilesystemPackage#eINSTANCE} when that field is accessed. | 90 | * <p>This method is used to initialize {@link FilesystemPackage#eINSTANCE} when that field is accessed. |
91 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | 91 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. |
92 | * <!-- begin-user-doc --> | 92 | * <!-- begin-user-doc --> |
@@ -100,7 +100,8 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
100 | if (isInited) return (FilesystemPackage)EPackage.Registry.INSTANCE.getEPackage(FilesystemPackage.eNS_URI); | 100 | if (isInited) return (FilesystemPackage)EPackage.Registry.INSTANCE.getEPackage(FilesystemPackage.eNS_URI); |
101 | 101 | ||
102 | // Obtain or create and register package | 102 | // Obtain or create and register package |
103 | FilesystemPackageImpl theFilesystemPackage = (FilesystemPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof FilesystemPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new FilesystemPackageImpl()); | 103 | Object registeredFilesystemPackage = EPackage.Registry.INSTANCE.get(eNS_URI); |
104 | FilesystemPackageImpl theFilesystemPackage = registeredFilesystemPackage instanceof FilesystemPackageImpl ? (FilesystemPackageImpl)registeredFilesystemPackage : new FilesystemPackageImpl(); | ||
104 | 105 | ||
105 | isInited = true; | 106 | isInited = true; |
106 | 107 | ||
@@ -113,7 +114,6 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
113 | // Mark meta-data to indicate it can't be changed | 114 | // Mark meta-data to indicate it can't be changed |
114 | theFilesystemPackage.freeze(); | 115 | theFilesystemPackage.freeze(); |
115 | 116 | ||
116 | |||
117 | // Update the registry and return the package | 117 | // Update the registry and return the package |
118 | EPackage.Registry.INSTANCE.put(FilesystemPackage.eNS_URI, theFilesystemPackage); | 118 | EPackage.Registry.INSTANCE.put(FilesystemPackage.eNS_URI, theFilesystemPackage); |
119 | return theFilesystemPackage; | 119 | return theFilesystemPackage; |
@@ -124,6 +124,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
124 | * <!-- end-user-doc --> | 124 | * <!-- end-user-doc --> |
125 | * @generated | 125 | * @generated |
126 | */ | 126 | */ |
127 | @Override | ||
127 | public EClass getFileSystem() { | 128 | public EClass getFileSystem() { |
128 | return fileSystemEClass; | 129 | return fileSystemEClass; |
129 | } | 130 | } |
@@ -133,6 +134,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
133 | * <!-- end-user-doc --> | 134 | * <!-- end-user-doc --> |
134 | * @generated | 135 | * @generated |
135 | */ | 136 | */ |
137 | @Override | ||
136 | public EReference getFileSystem_Root() { | 138 | public EReference getFileSystem_Root() { |
137 | return (EReference)fileSystemEClass.getEStructuralFeatures().get(0); | 139 | return (EReference)fileSystemEClass.getEStructuralFeatures().get(0); |
138 | } | 140 | } |
@@ -142,6 +144,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
142 | * <!-- end-user-doc --> | 144 | * <!-- end-user-doc --> |
143 | * @generated | 145 | * @generated |
144 | */ | 146 | */ |
147 | @Override | ||
145 | public EReference getFileSystem_Live() { | 148 | public EReference getFileSystem_Live() { |
146 | return (EReference)fileSystemEClass.getEStructuralFeatures().get(1); | 149 | return (EReference)fileSystemEClass.getEStructuralFeatures().get(1); |
147 | } | 150 | } |
@@ -151,6 +154,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
151 | * <!-- end-user-doc --> | 154 | * <!-- end-user-doc --> |
152 | * @generated | 155 | * @generated |
153 | */ | 156 | */ |
157 | @Override | ||
154 | public EClass getFSObject() { | 158 | public EClass getFSObject() { |
155 | return fsObjectEClass; | 159 | return fsObjectEClass; |
156 | } | 160 | } |
@@ -160,6 +164,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
160 | * <!-- end-user-doc --> | 164 | * <!-- end-user-doc --> |
161 | * @generated | 165 | * @generated |
162 | */ | 166 | */ |
167 | @Override | ||
163 | public EReference getFSObject_Parent() { | 168 | public EReference getFSObject_Parent() { |
164 | return (EReference)fsObjectEClass.getEStructuralFeatures().get(0); | 169 | return (EReference)fsObjectEClass.getEStructuralFeatures().get(0); |
165 | } | 170 | } |
@@ -169,6 +174,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
169 | * <!-- end-user-doc --> | 174 | * <!-- end-user-doc --> |
170 | * @generated | 175 | * @generated |
171 | */ | 176 | */ |
177 | @Override | ||
172 | public EClass getDir() { | 178 | public EClass getDir() { |
173 | return dirEClass; | 179 | return dirEClass; |
174 | } | 180 | } |
@@ -178,6 +184,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
178 | * <!-- end-user-doc --> | 184 | * <!-- end-user-doc --> |
179 | * @generated | 185 | * @generated |
180 | */ | 186 | */ |
187 | @Override | ||
181 | public EReference getDir_Contents() { | 188 | public EReference getDir_Contents() { |
182 | return (EReference)dirEClass.getEStructuralFeatures().get(0); | 189 | return (EReference)dirEClass.getEStructuralFeatures().get(0); |
183 | } | 190 | } |
@@ -187,6 +194,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
187 | * <!-- end-user-doc --> | 194 | * <!-- end-user-doc --> |
188 | * @generated | 195 | * @generated |
189 | */ | 196 | */ |
197 | @Override | ||
190 | public EClass getFile() { | 198 | public EClass getFile() { |
191 | return fileEClass; | 199 | return fileEClass; |
192 | } | 200 | } |
@@ -196,6 +204,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
196 | * <!-- end-user-doc --> | 204 | * <!-- end-user-doc --> |
197 | * @generated | 205 | * @generated |
198 | */ | 206 | */ |
207 | @Override | ||
199 | public EClass getModel() { | 208 | public EClass getModel() { |
200 | return modelEClass; | 209 | return modelEClass; |
201 | } | 210 | } |
@@ -205,6 +214,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
205 | * <!-- end-user-doc --> | 214 | * <!-- end-user-doc --> |
206 | * @generated | 215 | * @generated |
207 | */ | 216 | */ |
217 | @Override | ||
208 | public EReference getModel_Filesystems() { | 218 | public EReference getModel_Filesystems() { |
209 | return (EReference)modelEClass.getEStructuralFeatures().get(0); | 219 | return (EReference)modelEClass.getEStructuralFeatures().get(0); |
210 | } | 220 | } |
@@ -214,6 +224,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
214 | * <!-- end-user-doc --> | 224 | * <!-- end-user-doc --> |
215 | * @generated | 225 | * @generated |
216 | */ | 226 | */ |
227 | @Override | ||
217 | public EReference getModel_OtherFSObjects() { | 228 | public EReference getModel_OtherFSObjects() { |
218 | return (EReference)modelEClass.getEStructuralFeatures().get(1); | 229 | return (EReference)modelEClass.getEStructuralFeatures().get(1); |
219 | } | 230 | } |
@@ -223,6 +234,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
223 | * <!-- end-user-doc --> | 234 | * <!-- end-user-doc --> |
224 | * @generated | 235 | * @generated |
225 | */ | 236 | */ |
237 | @Override | ||
226 | public FilesystemFactory getFilesystemFactory() { | 238 | public FilesystemFactory getFilesystemFactory() { |
227 | return (FilesystemFactory)getEFactoryInstance(); | 239 | return (FilesystemFactory)getEFactoryInstance(); |
228 | } | 240 | } |
@@ -296,7 +308,7 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
296 | 308 | ||
297 | // Initialize classes, features, and operations; add parameters | 309 | // Initialize classes, features, and operations; add parameters |
298 | initEClass(fileSystemEClass, FileSystem.class, "FileSystem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 310 | initEClass(fileSystemEClass, FileSystem.class, "FileSystem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
299 | initEReference(getFileSystem_Root(), this.getDir(), null, "root", null, 1, 1, FileSystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 311 | initEReference(getFileSystem_Root(), this.getFSObject(), null, "root", null, 1, 1, FileSystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
300 | initEReference(getFileSystem_Live(), this.getFSObject(), null, "live", null, 0, -1, FileSystem.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, IS_DERIVED, IS_ORDERED); | 312 | initEReference(getFileSystem_Live(), this.getFSObject(), null, "live", null, 0, -1, FileSystem.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, IS_DERIVED, IS_ORDERED); |
301 | 313 | ||
302 | initEClass(fsObjectEClass, FSObject.class, "FSObject", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 314 | initEClass(fsObjectEClass, FSObject.class, "FSObject", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -328,12 +340,12 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
328 | * @generated | 340 | * @generated |
329 | */ | 341 | */ |
330 | protected void createEcoreAnnotations() { | 342 | protected void createEcoreAnnotations() { |
331 | String source = "http://www.eclipse.org/emf/2002/Ecore"; | 343 | String source = "http://www.eclipse.org/emf/2002/Ecore"; |
332 | addAnnotation | 344 | addAnnotation |
333 | (this, | 345 | (this, |
334 | source, | 346 | source, |
335 | new String[] { | 347 | new String[] { |
336 | "settingDelegates", "org.eclipse.viatra.query.querybasedfeature" | 348 | "settingDelegates", "org.eclipse.viatra.query.querybasedfeature" |
337 | }); | 349 | }); |
338 | } | 350 | } |
339 | 351 | ||
@@ -344,12 +356,12 @@ public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPac | |||
344 | * @generated | 356 | * @generated |
345 | */ | 357 | */ |
346 | protected void createOrgAnnotations() { | 358 | protected void createOrgAnnotations() { |
347 | String source = "org.eclipse.viatra.query.querybasedfeature"; | 359 | String source = "org.eclipse.viatra.query.querybasedfeature"; |
348 | addAnnotation | 360 | addAnnotation |
349 | (getFileSystem_Live(), | 361 | (getFileSystem_Live(), |
350 | source, | 362 | source, |
351 | new String[] { | 363 | new String[] { |
352 | "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live" | 364 | "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live" |
353 | }); | 365 | }); |
354 | } | 366 | } |
355 | 367 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/ModelImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/ModelImpl.java index 4c236e8e..093b9972 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/ModelImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/ModelImpl.java | |||
@@ -82,6 +82,7 @@ public class ModelImpl extends MinimalEObjectImpl.Container implements Model { | |||
82 | * <!-- end-user-doc --> | 82 | * <!-- end-user-doc --> |
83 | * @generated | 83 | * @generated |
84 | */ | 84 | */ |
85 | @Override | ||
85 | public FileSystem getFilesystems() { | 86 | public FileSystem getFilesystems() { |
86 | return filesystems; | 87 | return filesystems; |
87 | } | 88 | } |
@@ -106,6 +107,7 @@ public class ModelImpl extends MinimalEObjectImpl.Container implements Model { | |||
106 | * <!-- end-user-doc --> | 107 | * <!-- end-user-doc --> |
107 | * @generated | 108 | * @generated |
108 | */ | 109 | */ |
110 | @Override | ||
109 | public void setFilesystems(FileSystem newFilesystems) { | 111 | public void setFilesystems(FileSystem newFilesystems) { |
110 | if (newFilesystems != filesystems) { | 112 | if (newFilesystems != filesystems) { |
111 | NotificationChain msgs = null; | 113 | NotificationChain msgs = null; |
@@ -125,6 +127,7 @@ public class ModelImpl extends MinimalEObjectImpl.Container implements Model { | |||
125 | * <!-- end-user-doc --> | 127 | * <!-- end-user-doc --> |
126 | * @generated | 128 | * @generated |
127 | */ | 129 | */ |
130 | @Override | ||
128 | public EList<FSObject> getOtherFSObjects() { | 131 | public EList<FSObject> getOtherFSObjects() { |
129 | if (otherFSObjects == null) { | 132 | if (otherFSObjects == null) { |
130 | otherFSObjects = new EObjectContainmentEList<FSObject>(FSObject.class, this, FilesystemPackage.MODEL__OTHER_FS_OBJECTS); | 133 | otherFSObjects = new EObjectContainmentEList<FSObject>(FSObject.class, this, FilesystemPackage.MODEL__OTHER_FS_OBJECTS); |