pl.edu.pjwstk.yaod.store.defaultstore.persistentstore
Class FileManager

java.lang.Object
  |
  +--pl.edu.pjwstk.yaod.store.defaultstore.persistentstore.FileManager

public class FileManager
extends java.lang.Object

Klasa reprezentuje menedzera plikow.

Author:
M. Lentner, raist@ertel.com.pl

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

FileManager

public FileManager(PersistentStore store)
Tworzy nowy obiekt menedzera plikow.
Parameters:
store - sklad dla ktorego menedzer ma zostac utworzony.
Method Detail

getDataFiles

public java.util.Enumeration getDataFiles()
Zwraca wszystkie pliki danych, na jakich operuje menedzer plikow.
Returns:
obiekt umozliwiajacy dostep do wszystkich plikow danych.

getDataFile

public Datafile getDataFile(int id)
Zwraca plik danych o podanym identyfikatorze.
Parameters:
id - identyfikator pliku danych.
Returns:
plik danych o podanym identyfikatorze.

createDatafile

public int createDatafile(java.lang.String path,
                          int fileSize)
                   throws java.lang.Exception
Tworzy plik danych o wybranej lokalizacji i rozmiarze.
Parameters:
path - gdzie utworzyc plik.
fileSize - wielkosc pliku.
Returns:
identyfikator utworzonego pliku.
Throws:
java.lang.Exception - jesli nie mozna utworzyc pliku (np. blad dyskowy).

deleteDatafile

public void deleteDatafile(int id)
                    throws java.io.IOException
Usuwa plik danych, odrejestrowywujac go z menedzera oraz kasujac z dysku.
Parameters:
id - identyfikator pliku danych.
Throws:
java.io.IOException - jesli nie mozna skasowac pliku.

openAllDatafiles

public void openAllDatafiles()
                      throws java.io.FileNotFoundException
Otwiera wszystkie pliki danych.
Throws:
java.io.FileNotFoundException - jesli jakis plik danych nie istnieje.

closeAllDatafiles

public void closeAllDatafiles()
                       throws java.io.IOException
Zamyka wszystkie pliki danych.
Throws:
java.io.IOException - jesli nie mozna zamknac ktoregos pliku.

formatDatafile

public void formatDatafile(Datafile file)
                    throws java.lang.Exception
Formatuje wybrany plik danych, tzn. zapisuje w nim puste bloki danych oraz blok wolnej przestrzeni.
Parameters:
file - plik danych do sformatowania.
Throws:
java.lang.Exception - jesli nie mozna sformatowac pliku danych.

formatDatafiles

public void formatDatafiles()
                     throws java.lang.Exception
Formatuje wszystkie pliki danych.
Throws:
java.lang.Exception - jesli nie mozna sfortmatowac jakiegos pliku (np. blad dyskowy).