|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--pl.edu.pjwstk.yaod.store.defaultstore.persistentstore.FileManager
Klasa reprezentuje menedzera plikow.
Constructor Summary | |
FileManager(PersistentStore store)
Tworzy nowy obiekt menedzera plikow. |
Method Summary | |
void |
closeAllDatafiles()
Zamyka wszystkie pliki danych. |
int |
createDatafile(java.lang.String path,
int fileSize)
Tworzy plik danych o wybranej lokalizacji i rozmiarze. |
void |
deleteDatafile(int id)
Usuwa plik danych, odrejestrowywujac go z menedzera oraz kasujac z dysku. |
void |
formatDatafile(Datafile file)
Formatuje wybrany plik danych, tzn. zapisuje w nim puste bloki danych oraz blok wolnej przestrzeni. |
void |
formatDatafiles()
Formatuje wszystkie pliki danych. |
Datafile |
getDataFile(int id)
Zwraca plik danych o podanym identyfikatorze. |
java.util.Enumeration |
getDataFiles()
Zwraca wszystkie pliki danych, na jakich operuje menedzer plikow. |
void |
openAllDatafiles()
Otwiera wszystkie pliki danych. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public FileManager(PersistentStore store)
store
- sklad dla ktorego menedzer ma zostac utworzony.Method Detail |
public java.util.Enumeration getDataFiles()
public Datafile getDataFile(int id)
id
- identyfikator pliku danych.public int createDatafile(java.lang.String path, int fileSize) throws java.lang.Exception
path
- gdzie utworzyc plik.fileSize
- wielkosc pliku.java.lang.Exception
- jesli nie mozna utworzyc pliku (np. blad dyskowy).public void deleteDatafile(int id) throws java.io.IOException
id
- identyfikator pliku danych.java.io.IOException
- jesli nie mozna skasowac pliku.public void openAllDatafiles() throws java.io.FileNotFoundException
java.io.FileNotFoundException
- jesli jakis plik danych nie istnieje.public void closeAllDatafiles() throws java.io.IOException
java.io.IOException
- jesli nie mozna zamknac ktoregos pliku.public void formatDatafile(Datafile file) throws java.lang.Exception
file
- plik danych do sformatowania.java.lang.Exception
- jesli nie mozna sformatowac pliku danych.public void formatDatafiles() throws java.lang.Exception
java.lang.Exception
- jesli nie mozna sfortmatowac jakiegos pliku
(np. blad dyskowy).
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |