/**
*/
package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem;
import org.eclipse.emf.ecore.EFactory;
/**
*
* The Factory for the model.
* It provides a create method for each non-abstract class of the model.
*
* @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage
* @generated
*/
public interface FilesystemFactory extends EFactory {
/**
* The singleton instance of the factory.
*
*
* @generated
*/
FilesystemFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemFactoryImpl.init();
/**
* Returns a new object of class 'File System'.
*
*
* @return a new object of class 'File System'.
* @generated
*/
FileSystem createFileSystem();
/**
* Returns a new object of class 'Dir'.
*
*
* @return a new object of class 'Dir'.
* @generated
*/
Dir createDir();
/**
* Returns a new object of class 'File'.
*
*
* @return a new object of class 'File'.
* @generated
*/
File createFile();
/**
* Returns a new object of class 'Model'.
*
*
* @return a new object of class 'Model'.
* @generated
*/
Model createModel();
/**
* Returns the package supported by this factory.
*
*
* @return the package supported by this factory.
* @generated
*/
FilesystemPackage getFilesystemPackage();
} //FilesystemFactory