1 files changed, 128 insertions, 0 deletions
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
new file mode 100644
index 00000000..e40b0bd1
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java
@@ -0,0 +1,128 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.*;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.impl.EFactoryImpl;
+import org.eclipse.emf.ecore.plugin.EcorePlugin;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Factory</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFactory {
+        /**
+         * Creates the default factory implementation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static FilesystemFactory init() {
+                try {
+                        FilesystemFactory theFilesystemFactory = (FilesystemFactory)EPackage.Registry.INSTANCE.getEFactory(FilesystemPackage.eNS_URI);
+                        if (theFilesystemFactory != null) {
+                                return theFilesystemFactory;
+                        }
+                }
+                catch (Exception exception) {
+                        EcorePlugin.INSTANCE.log(exception);
+                }
+                return new FilesystemFactoryImpl();
+        }
+        /**
+         * Creates an instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FilesystemFactoryImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EObject create(EClass eClass) {
+                switch (eClass.getClassifierID()) {
+                        case FilesystemPackage.FILE_SYSTEM: return createFileSystem();
+                        case FilesystemPackage.DIR: return createDir();
+                        case FilesystemPackage.FILE: return createFile();
+                        case FilesystemPackage.MODEL: return createModel();
+                        default:
+                                throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
+                }
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FileSystem createFileSystem() {
+                FileSystemImpl fileSystem = new FileSystemImpl();
+                return fileSystem;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Dir createDir() {
+                DirImpl dir = new DirImpl();
+                return dir;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public File createFile() {
+                FileImpl file = new FileImpl();
+                return file;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Model createModel() {
+                ModelImpl model = new ModelImpl();
+                return model;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FilesystemPackage getFilesystemPackage() {
+                return (FilesystemPackage)getEPackage();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @deprecated
+         * @generated
+         */
+        @Deprecated
+        public static FilesystemPackage getPackage() {
+                return FilesystemPackage.eINSTANCE;
+        }
+} //FilesystemFactoryImpl

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 new file mode 100644 index 00000000..e40b0bd1 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java
@@ -0,0 +1,128 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
	4
	5	import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.*;
	6
	7	import org.eclipse.emf.ecore.EClass;
	8	import org.eclipse.emf.ecore.EObject;
	9	import org.eclipse.emf.ecore.EPackage;
	10
	11	import org.eclipse.emf.ecore.impl.EFactoryImpl;
	12
	13	import org.eclipse.emf.ecore.plugin.EcorePlugin;
	14
	15	/**
	16	* <!-- begin-user-doc -->
	17	* An implementation of the model <b>Factory</b>.
	18	* <!-- end-user-doc -->
	19	* @generated
	20	*/
	21	public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFactory {
	22	/**
	23	* Creates the default factory implementation.
	24	* <!-- begin-user-doc -->
	25	* <!-- end-user-doc -->
	26	* @generated
	27	*/
	28	public static FilesystemFactory init() {
	29	try {
	30	FilesystemFactory theFilesystemFactory = (FilesystemFactory)EPackage.Registry.INSTANCE.getEFactory(FilesystemPackage.eNS_URI);
	31	if (theFilesystemFactory != null) {
	32	return theFilesystemFactory;
	33	}
	34	}
	35	catch (Exception exception) {
	36	EcorePlugin.INSTANCE.log(exception);
	37	}
	38	return new FilesystemFactoryImpl();
	39	}
	40
	41	/**
	42	* Creates an instance of the factory.
	43	* <!-- begin-user-doc -->
	44	* <!-- end-user-doc -->
	45	* @generated
	46	*/
	47	public FilesystemFactoryImpl() {
	48	super();
	49	}
	50
	51	/**
	52	* <!-- begin-user-doc -->
	53	* <!-- end-user-doc -->
	54	* @generated
	55	*/
	56	@Override
	57	public EObject create(EClass eClass) {
	58	switch (eClass.getClassifierID()) {
	59	case FilesystemPackage.FILE_SYSTEM: return createFileSystem();
	60	case FilesystemPackage.DIR: return createDir();
	61	case FilesystemPackage.FILE: return createFile();
	62	case FilesystemPackage.MODEL: return createModel();
	63	default:
	64	throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
	65	}
	66	}
	67
	68	/**
	69	* <!-- begin-user-doc -->
	70	* <!-- end-user-doc -->
	71	* @generated
	72	*/
	73	public FileSystem createFileSystem() {
	74	FileSystemImpl fileSystem = new FileSystemImpl();
	75	return fileSystem;
	76	}
	77
	78	/**
	79	* <!-- begin-user-doc -->
	80	* <!-- end-user-doc -->
	81	* @generated
	82	*/
	83	public Dir createDir() {
	84	DirImpl dir = new DirImpl();
	85	return dir;
	86	}
	87
	88	/**
	89	* <!-- begin-user-doc -->
	90	* <!-- end-user-doc -->
	91	* @generated
	92	*/
	93	public File createFile() {
	94	FileImpl file = new FileImpl();
	95	return file;
	96	}
	97
	98	/**
	99	* <!-- begin-user-doc -->
	100	* <!-- end-user-doc -->
	101	* @generated
	102	*/
	103	public Model createModel() {
	104	ModelImpl model = new ModelImpl();
	105	return model;
	106	}
	107
	108	/**
	109	* <!-- begin-user-doc -->
	110	* <!-- end-user-doc -->
	111	* @generated
	112	*/
	113	public FilesystemPackage getFilesystemPackage() {
	114	return (FilesystemPackage)getEPackage();
	115	}
	116
	117	/**
	118	* <!-- begin-user-doc -->
	119	* <!-- end-user-doc -->
	120	* @deprecated
	121	* @generated
	122	*/
	123	@Deprecated
	124	public static FilesystemPackage getPackage() {
	125	return FilesystemPackage.eINSTANCE;
	126	}
	127
	128	} //FilesystemFactoryImpl