diff options
author | OszkarSemerath <oszka@192.168.122.1> | 2017-08-20 01:55:38 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@192.168.122.1> | 2017-08-20 01:55:38 +0200 |
commit | 78c806eebaf5b9d50b08768062755f0044cf107f (patch) | |
tree | 7db4d1b6a990b2572ed82a747dffac65a1c6fcc5 /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java | |
parent | null check before mapping value of a reference (diff) | |
download | VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.tar.gz VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.tar.zst VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.zip |
Alloy Examples
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java | 356 |
1 files changed, 356 insertions, 0 deletions
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 new file mode 100644 index 00000000..87390fee --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java | |||
@@ -0,0 +1,356 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir; | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File; | ||
8 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem; | ||
9 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemFactory; | ||
10 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage; | ||
11 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model; | ||
12 | |||
13 | import org.eclipse.emf.ecore.EClass; | ||
14 | import org.eclipse.emf.ecore.EPackage; | ||
15 | import org.eclipse.emf.ecore.EReference; | ||
16 | |||
17 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
18 | |||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * An implementation of the model <b>Package</b>. | ||
22 | * <!-- end-user-doc --> | ||
23 | * @generated | ||
24 | */ | ||
25 | public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPackage { | ||
26 | /** | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <!-- end-user-doc --> | ||
29 | * @generated | ||
30 | */ | ||
31 | private EClass fileSystemEClass = null; | ||
32 | |||
33 | /** | ||
34 | * <!-- begin-user-doc --> | ||
35 | * <!-- end-user-doc --> | ||
36 | * @generated | ||
37 | */ | ||
38 | private EClass fsObjectEClass = null; | ||
39 | |||
40 | /** | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @generated | ||
44 | */ | ||
45 | private EClass dirEClass = null; | ||
46 | |||
47 | /** | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <!-- end-user-doc --> | ||
50 | * @generated | ||
51 | */ | ||
52 | private EClass fileEClass = null; | ||
53 | |||
54 | /** | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @generated | ||
58 | */ | ||
59 | private EClass modelEClass = null; | ||
60 | |||
61 | /** | ||
62 | * Creates an instance of the model <b>Package</b>, registered with | ||
63 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
64 | * package URI value. | ||
65 | * <p>Note: the correct way to create the package is via the static | ||
66 | * factory method {@link #init init()}, which also performs | ||
67 | * initialization of the package, or returns the registered package, | ||
68 | * if one already exists. | ||
69 | * <!-- begin-user-doc --> | ||
70 | * <!-- end-user-doc --> | ||
71 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
72 | * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#eNS_URI | ||
73 | * @see #init() | ||
74 | * @generated | ||
75 | */ | ||
76 | private FilesystemPackageImpl() { | ||
77 | super(eNS_URI, FilesystemFactory.eINSTANCE); | ||
78 | } | ||
79 | |||
80 | /** | ||
81 | * <!-- begin-user-doc --> | ||
82 | * <!-- end-user-doc --> | ||
83 | * @generated | ||
84 | */ | ||
85 | private static boolean isInited = false; | ||
86 | |||
87 | /** | ||
88 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
89 | * | ||
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. | ||
92 | * <!-- begin-user-doc --> | ||
93 | * <!-- end-user-doc --> | ||
94 | * @see #eNS_URI | ||
95 | * @see #createPackageContents() | ||
96 | * @see #initializePackageContents() | ||
97 | * @generated | ||
98 | */ | ||
99 | public static FilesystemPackage init() { | ||
100 | if (isInited) return (FilesystemPackage)EPackage.Registry.INSTANCE.getEPackage(FilesystemPackage.eNS_URI); | ||
101 | |||
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()); | ||
104 | |||
105 | isInited = true; | ||
106 | |||
107 | // Create package meta-data objects | ||
108 | theFilesystemPackage.createPackageContents(); | ||
109 | |||
110 | // Initialize created meta-data | ||
111 | theFilesystemPackage.initializePackageContents(); | ||
112 | |||
113 | // Mark meta-data to indicate it can't be changed | ||
114 | theFilesystemPackage.freeze(); | ||
115 | |||
116 | |||
117 | // Update the registry and return the package | ||
118 | EPackage.Registry.INSTANCE.put(FilesystemPackage.eNS_URI, theFilesystemPackage); | ||
119 | return theFilesystemPackage; | ||
120 | } | ||
121 | |||
122 | /** | ||
123 | * <!-- begin-user-doc --> | ||
124 | * <!-- end-user-doc --> | ||
125 | * @generated | ||
126 | */ | ||
127 | public EClass getFileSystem() { | ||
128 | return fileSystemEClass; | ||
129 | } | ||
130 | |||
131 | /** | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @generated | ||
135 | */ | ||
136 | public EReference getFileSystem_Root() { | ||
137 | return (EReference)fileSystemEClass.getEStructuralFeatures().get(0); | ||
138 | } | ||
139 | |||
140 | /** | ||
141 | * <!-- begin-user-doc --> | ||
142 | * <!-- end-user-doc --> | ||
143 | * @generated | ||
144 | */ | ||
145 | public EReference getFileSystem_Live() { | ||
146 | return (EReference)fileSystemEClass.getEStructuralFeatures().get(1); | ||
147 | } | ||
148 | |||
149 | /** | ||
150 | * <!-- begin-user-doc --> | ||
151 | * <!-- end-user-doc --> | ||
152 | * @generated | ||
153 | */ | ||
154 | public EClass getFSObject() { | ||
155 | return fsObjectEClass; | ||
156 | } | ||
157 | |||
158 | /** | ||
159 | * <!-- begin-user-doc --> | ||
160 | * <!-- end-user-doc --> | ||
161 | * @generated | ||
162 | */ | ||
163 | public EReference getFSObject_Parent() { | ||
164 | return (EReference)fsObjectEClass.getEStructuralFeatures().get(0); | ||
165 | } | ||
166 | |||
167 | /** | ||
168 | * <!-- begin-user-doc --> | ||
169 | * <!-- end-user-doc --> | ||
170 | * @generated | ||
171 | */ | ||
172 | public EClass getDir() { | ||
173 | return dirEClass; | ||
174 | } | ||
175 | |||
176 | /** | ||
177 | * <!-- begin-user-doc --> | ||
178 | * <!-- end-user-doc --> | ||
179 | * @generated | ||
180 | */ | ||
181 | public EReference getDir_Contents() { | ||
182 | return (EReference)dirEClass.getEStructuralFeatures().get(0); | ||
183 | } | ||
184 | |||
185 | /** | ||
186 | * <!-- begin-user-doc --> | ||
187 | * <!-- end-user-doc --> | ||
188 | * @generated | ||
189 | */ | ||
190 | public EClass getFile() { | ||
191 | return fileEClass; | ||
192 | } | ||
193 | |||
194 | /** | ||
195 | * <!-- begin-user-doc --> | ||
196 | * <!-- end-user-doc --> | ||
197 | * @generated | ||
198 | */ | ||
199 | public EClass getModel() { | ||
200 | return modelEClass; | ||
201 | } | ||
202 | |||
203 | /** | ||
204 | * <!-- begin-user-doc --> | ||
205 | * <!-- end-user-doc --> | ||
206 | * @generated | ||
207 | */ | ||
208 | public EReference getModel_Filesystems() { | ||
209 | return (EReference)modelEClass.getEStructuralFeatures().get(0); | ||
210 | } | ||
211 | |||
212 | /** | ||
213 | * <!-- begin-user-doc --> | ||
214 | * <!-- end-user-doc --> | ||
215 | * @generated | ||
216 | */ | ||
217 | public EReference getModel_OtherFSObjects() { | ||
218 | return (EReference)modelEClass.getEStructuralFeatures().get(1); | ||
219 | } | ||
220 | |||
221 | /** | ||
222 | * <!-- begin-user-doc --> | ||
223 | * <!-- end-user-doc --> | ||
224 | * @generated | ||
225 | */ | ||
226 | public FilesystemFactory getFilesystemFactory() { | ||
227 | return (FilesystemFactory)getEFactoryInstance(); | ||
228 | } | ||
229 | |||
230 | /** | ||
231 | * <!-- begin-user-doc --> | ||
232 | * <!-- end-user-doc --> | ||
233 | * @generated | ||
234 | */ | ||
235 | private boolean isCreated = false; | ||
236 | |||
237 | /** | ||
238 | * Creates the meta-model objects for the package. This method is | ||
239 | * guarded to have no affect on any invocation but its first. | ||
240 | * <!-- begin-user-doc --> | ||
241 | * <!-- end-user-doc --> | ||
242 | * @generated | ||
243 | */ | ||
244 | public void createPackageContents() { | ||
245 | if (isCreated) return; | ||
246 | isCreated = true; | ||
247 | |||
248 | // Create classes and their features | ||
249 | fileSystemEClass = createEClass(FILE_SYSTEM); | ||
250 | createEReference(fileSystemEClass, FILE_SYSTEM__ROOT); | ||
251 | createEReference(fileSystemEClass, FILE_SYSTEM__LIVE); | ||
252 | |||
253 | fsObjectEClass = createEClass(FS_OBJECT); | ||
254 | createEReference(fsObjectEClass, FS_OBJECT__PARENT); | ||
255 | |||
256 | dirEClass = createEClass(DIR); | ||
257 | createEReference(dirEClass, DIR__CONTENTS); | ||
258 | |||
259 | fileEClass = createEClass(FILE); | ||
260 | |||
261 | modelEClass = createEClass(MODEL); | ||
262 | createEReference(modelEClass, MODEL__FILESYSTEMS); | ||
263 | createEReference(modelEClass, MODEL__OTHER_FS_OBJECTS); | ||
264 | } | ||
265 | |||
266 | /** | ||
267 | * <!-- begin-user-doc --> | ||
268 | * <!-- end-user-doc --> | ||
269 | * @generated | ||
270 | */ | ||
271 | private boolean isInitialized = false; | ||
272 | |||
273 | /** | ||
274 | * Complete the initialization of the package and its meta-model. This | ||
275 | * method is guarded to have no affect on any invocation but its first. | ||
276 | * <!-- begin-user-doc --> | ||
277 | * <!-- end-user-doc --> | ||
278 | * @generated | ||
279 | */ | ||
280 | public void initializePackageContents() { | ||
281 | if (isInitialized) return; | ||
282 | isInitialized = true; | ||
283 | |||
284 | // Initialize package | ||
285 | setName(eNAME); | ||
286 | setNsPrefix(eNS_PREFIX); | ||
287 | setNsURI(eNS_URI); | ||
288 | |||
289 | // Create type parameters | ||
290 | |||
291 | // Set bounds for type parameters | ||
292 | |||
293 | // Add supertypes to classes | ||
294 | dirEClass.getESuperTypes().add(this.getFSObject()); | ||
295 | fileEClass.getESuperTypes().add(this.getFSObject()); | ||
296 | |||
297 | // Initialize classes, features, and operations; add parameters | ||
298 | 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); | ||
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); | ||
301 | |||
302 | initEClass(fsObjectEClass, FSObject.class, "FSObject", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
303 | initEReference(getFSObject_Parent(), this.getDir(), this.getDir_Contents(), "parent", null, 0, 1, FSObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
304 | |||
305 | initEClass(dirEClass, Dir.class, "Dir", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
306 | initEReference(getDir_Contents(), this.getFSObject(), this.getFSObject_Parent(), "contents", null, 0, -1, Dir.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
307 | |||
308 | initEClass(fileEClass, File.class, "File", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
309 | |||
310 | initEClass(modelEClass, Model.class, "Model", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
311 | initEReference(getModel_Filesystems(), this.getFileSystem(), null, "filesystems", null, 1, 1, Model.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
312 | initEReference(getModel_OtherFSObjects(), this.getFSObject(), null, "otherFSObjects", null, 0, -1, Model.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
313 | |||
314 | // Create resource | ||
315 | createResource(eNS_URI); | ||
316 | |||
317 | // Create annotations | ||
318 | // http://www.eclipse.org/emf/2002/Ecore | ||
319 | createEcoreAnnotations(); | ||
320 | // org.eclipse.viatra.query.querybasedfeature | ||
321 | createOrgAnnotations(); | ||
322 | } | ||
323 | |||
324 | /** | ||
325 | * Initializes the annotations for <b>http://www.eclipse.org/emf/2002/Ecore</b>. | ||
326 | * <!-- begin-user-doc --> | ||
327 | * <!-- end-user-doc --> | ||
328 | * @generated | ||
329 | */ | ||
330 | protected void createEcoreAnnotations() { | ||
331 | String source = "http://www.eclipse.org/emf/2002/Ecore"; | ||
332 | addAnnotation | ||
333 | (this, | ||
334 | source, | ||
335 | new String[] { | ||
336 | "settingDelegates", "org.eclipse.viatra.query.querybasedfeature" | ||
337 | }); | ||
338 | } | ||
339 | |||
340 | /** | ||
341 | * Initializes the annotations for <b>org.eclipse.viatra.query.querybasedfeature</b>. | ||
342 | * <!-- begin-user-doc --> | ||
343 | * <!-- end-user-doc --> | ||
344 | * @generated | ||
345 | */ | ||
346 | protected void createOrgAnnotations() { | ||
347 | String source = "org.eclipse.viatra.query.querybasedfeature"; | ||
348 | addAnnotation | ||
349 | (getFileSystem_Live(), | ||
350 | source, | ||
351 | new String[] { | ||
352 | "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live" | ||
353 | }); | ||
354 | } | ||
355 | |||
356 | } //FilesystemPackageImpl | ||