pl.edu.pjwstk.yaod.store.defaultstore
Class FileManager
java.lang.Object
|
+--pl.edu.pjwstk.yaod.store.defaultstore.FileManager
- public class FileManager
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FileManager
public FileManager(PersistentStoreDescriptor desc)
getDataFiles
public java.util.Enumeration getDataFiles()
getDataFile
public Datafile getDataFile(int id)
createDatafile
public int createDatafile(java.lang.String path,
int fileSize)
throws java.lang.Exception
deleteDatafile
public void deleteDatafile(int id)
throws java.io.IOException
formatDatafile
public void formatDatafile(Datafile file)
throws java.lang.Exception
openAllDatafiles
public void openAllDatafiles()
throws java.io.FileNotFoundException
closeAllDatafiles
public void closeAllDatafiles()
throws java.io.IOException