1 files changed, 192 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java
new file mode 100644
index 00000000..dc87e685
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java
@@ -0,0 +1,192 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.util;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.*;
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage
+ * @generated
+ */
+public class FilesystemAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static FilesystemPackage modelPackage;
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FilesystemAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = FilesystemPackage.eINSTANCE;
+                }
+        }
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FilesystemSwitch<Adapter> modelSwitch =
+                new FilesystemSwitch<Adapter>() {
+                        @Override
+                        public Adapter caseFileSystem(FileSystem object) {
+                                return createFileSystemAdapter();
+                        }
+                        @Override
+                        public Adapter caseFSObject(FSObject object) {
+                                return createFSObjectAdapter();
+                        }
+                        @Override
+                        public Adapter caseDir(Dir object) {
+                                return createDirAdapter();
+                        }
+                        @Override
+                        public Adapter caseFile(File object) {
+                                return createFileAdapter();
+                        }
+                        @Override
+                        public Adapter caseModel(Model object) {
+                                return createModelAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem <em>File System</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.domains.alloyexamples.Filesystem.FileSystem
+         * @generated
+         */
+        public Adapter createFileSystemAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject <em>FS Object</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.domains.alloyexamples.Filesystem.FSObject
+         * @generated
+         */
+        public Adapter createFSObjectAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir <em>Dir</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.domains.alloyexamples.Filesystem.Dir
+         * @generated
+         */
+        public Adapter createDirAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File <em>File</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.domains.alloyexamples.Filesystem.File
+         * @generated
+         */
+        public Adapter createFileAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model <em>Model</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.domains.alloyexamples.Filesystem.Model
+         * @generated
+         */
+        public Adapter createModelAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+} //FilesystemAdapterFactory

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java new file mode 100644 index 00000000..dc87e685 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java
@@ -0,0 +1,192 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.util;
	4
	5	import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.*;
	6
	7	import org.eclipse.emf.common.notify.Adapter;
	8	import org.eclipse.emf.common.notify.Notifier;
	9
	10	import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
	11
	12	import org.eclipse.emf.ecore.EObject;
	13
	14	/**
	15	* <!-- begin-user-doc -->
	16	* The <b>Adapter Factory</b> for the model.
	17	* It provides an adapter <code>createXXX</code> method for each class of the model.
	18	* <!-- end-user-doc -->
	19	* @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage
	20	* @generated
	21	*/
	22	public class FilesystemAdapterFactory extends AdapterFactoryImpl {
	23	/**
	24	* The cached model package.
	25	* <!-- begin-user-doc -->
	26	* <!-- end-user-doc -->
	27	* @generated
	28	*/
	29	protected static FilesystemPackage modelPackage;
	30
	31	/**
	32	* Creates an instance of the adapter factory.
	33	* <!-- begin-user-doc -->
	34	* <!-- end-user-doc -->
	35	* @generated
	36	*/
	37	public FilesystemAdapterFactory() {
	38	if (modelPackage == null) {
	39	modelPackage = FilesystemPackage.eINSTANCE;
	40	}
	41	}
	42
	43	/**
	44	* Returns whether this factory is applicable for the type of the object.
	45	* <!-- begin-user-doc -->
	46	* This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
	47	* <!-- end-user-doc -->
	48	* @return whether this factory is applicable for the type of the object.
	49	* @generated
	50	*/
	51	@Override
	52	public boolean isFactoryForType(Object object) {
	53	if (object == modelPackage) {
	54	return true;
	55	}
	56	if (object instanceof EObject) {
	57	return ((EObject)object).eClass().getEPackage() == modelPackage;
	58	}
	59	return false;
	60	}
	61
	62	/**
	63	* The switch that delegates to the <code>createXXX</code> methods.
	64	* <!-- begin-user-doc -->
	65	* <!-- end-user-doc -->
	66	* @generated
	67	*/
	68	protected FilesystemSwitch<Adapter> modelSwitch =
	69	new FilesystemSwitch<Adapter>() {
	70	@Override
	71	public Adapter caseFileSystem(FileSystem object) {
	72	return createFileSystemAdapter();
	73	}
	74	@Override
	75	public Adapter caseFSObject(FSObject object) {
	76	return createFSObjectAdapter();
	77	}
	78	@Override
	79	public Adapter caseDir(Dir object) {
	80	return createDirAdapter();
	81	}
	82	@Override
	83	public Adapter caseFile(File object) {
	84	return createFileAdapter();
	85	}
	86	@Override
	87	public Adapter caseModel(Model object) {
	88	return createModelAdapter();
	89	}
	90	@Override
	91	public Adapter defaultCase(EObject object) {
	92	return createEObjectAdapter();
	93	}
	94	};
	95
	96	/**
	97	* Creates an adapter for the <code>target</code>.
	98	* <!-- begin-user-doc -->
	99	* <!-- end-user-doc -->
	100	* @param target the object to adapt.
	101	* @return the adapter for the <code>target</code>.
	102	* @generated
	103	*/
	104	@Override
	105	public Adapter createAdapter(Notifier target) {
	106	return modelSwitch.doSwitch((EObject)target);
	107	}
	108
	109
	110	/**
	111	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem <em>File System</em>}'.
	112	* <!-- begin-user-doc -->
	113	* This default implementation returns null so that we can easily ignore cases;
	114	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	115	* <!-- end-user-doc -->
	116	* @return the new adapter.
	117	* @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem
	118	* @generated
	119	*/
	120	public Adapter createFileSystemAdapter() {
	121	return null;
	122	}
	123
	124	/**
	125	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject <em>FS Object</em>}'.
	126	* <!-- begin-user-doc -->
	127	* This default implementation returns null so that we can easily ignore cases;
	128	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	129	* <!-- end-user-doc -->
	130	* @return the new adapter.
	131	* @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject
	132	* @generated
	133	*/
	134	public Adapter createFSObjectAdapter() {
	135	return null;
	136	}
	137
	138	/**
	139	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir <em>Dir</em>}'.
	140	* <!-- begin-user-doc -->
	141	* This default implementation returns null so that we can easily ignore cases;
	142	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	143	* <!-- end-user-doc -->
	144	* @return the new adapter.
	145	* @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir
	146	* @generated
	147	*/
	148	public Adapter createDirAdapter() {
	149	return null;
	150	}
	151
	152	/**
	153	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File <em>File</em>}'.
	154	* <!-- begin-user-doc -->
	155	* This default implementation returns null so that we can easily ignore cases;
	156	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	157	* <!-- end-user-doc -->
	158	* @return the new adapter.
	159	* @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File
	160	* @generated
	161	*/
	162	public Adapter createFileAdapter() {
	163	return null;
	164	}
	165
	166	/**
	167	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model <em>Model</em>}'.
	168	* <!-- begin-user-doc -->
	169	* This default implementation returns null so that we can easily ignore cases;
	170	* it's useful to ignore a case when inheritance will catch all the cases anyway.
	171	* <!-- end-user-doc -->
	172	* @return the new adapter.
	173	* @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model
	174	* @generated
	175	*/
	176	public Adapter createModelAdapter() {
	177	return null;
	178	}
	179
	180	/**
	181	* Creates a new adapter for the default case.
	182	* <!-- begin-user-doc -->
	183	* This default implementation returns null.
	184	* <!-- end-user-doc -->
	185	* @return the new adapter.
	186	* @generated
	187	*/
	188	public Adapter createEObjectAdapter() {
	189	return null;
	190	}
	191
	192	} //FilesystemAdapterFactory