Alloy Examples

1 files changed, 69 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemFactory.java
new file mode 100644
index 00000000..aaba633f
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemFactory.java
@@ -0,0 +1,69 @@
+/**

+ */

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

+

+import org.eclipse.emf.ecore.EFactory;

+

+/**

+ * <!-- begin-user-doc -->

+ * The <b>Factory</b> for the model.

+ * It provides a create method for each non-abstract class of the model.

+ * <!-- end-user-doc -->

+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage

+ * @generated

+ */

+public interface FilesystemFactory extends EFactory {

+        /**

+         * The singleton instance of the factory.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        FilesystemFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemFactoryImpl.init();

+

+        /**

+         * Returns a new object of class '<em>File System</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>File System</em>'.

+         * @generated

+         */

+        FileSystem createFileSystem();

+

+        /**

+         * Returns a new object of class '<em>Dir</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Dir</em>'.

+         * @generated

+         */

+        Dir createDir();

+

+        /**

+         * Returns a new object of class '<em>File</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>File</em>'.

+         * @generated

+         */

+        File createFile();

+

+        /**

+         * Returns a new object of class '<em>Model</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Model</em>'.

+         * @generated

+         */

+        Model createModel();

+

+        /**

+         * Returns the package supported by this factory.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the package supported by this factory.

+         * @generated

+         */

+        FilesystemPackage getFilesystemPackage();

+

+} //FilesystemFactory