Class FileSystem
java.lang.Object
it.unimi.di.prog2.temisvolti.filesystem.FileSystem
Classe mutabile che rappresenta un filesystem.
Tutti i metodi di questa classe che accettano un path sollevano l'eccezione NullPointerException
se esso è nullo, e l'eccezione IllegalArgumentException
se non è
assoluto; inoltre sollevano l'eccezione FileNotFoundException
se il path non corrisponde
ad una entry adatta al contesto.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionIndividua una entry dato un path.Individua una directory dato un path.Restituisce unIterable
sulle entry della directory con dato path.void
Crea una directory dato il path.void
Crea una file dato il path e dimensione.int
Resituisce la dimensione di una entry con dato path.
-
Field Details
-
root
La radice del filesystem.
-
-
Constructor Details
-
FileSystem
public FileSystem()
-
-
Method Details
-
find
Individua una entry dato un path.- Parameters:
path
- il path dell'entry da trovare.- Returns:
- l'entry.
- Throws:
FileNotFoundException
- se il path non corrisponde ad una entry del fliesystem.
-
findDir
Individua una directory dato un path.- Parameters:
path
- il path della directory da trovare.- Returns:
- la directory.
- Throws:
FileNotFoundException
- se il path non corrisponde and una directory.
-
ls
Restituisce unIterable
sulle entry della directory con dato path.- Parameters:
path
- il path della directory.- Returns:
- un iterabile sul contenuto della directory.
- Throws:
FileNotFoundException
- se il path non corrisponde ad una directory.
-
size
Resituisce la dimensione di una entry con dato path.- Parameters:
path
- il path dell'entry.- Returns:
- la dimenzione.
- Throws:
FileNotFoundException
- se il path non corrisponde ad una entry.
-
mkdir
Crea una directory dato il path.- Parameters:
path
- il path della directory da creare.- Throws:
FileNotFoundException
- se ilPath.parent()
non è una directory.FileAlreadyExistsException
- se inPath.parent()
esite già una entry con nomePath.name()
.
-
mkfile
Crea una file dato il path e dimensione.- Parameters:
path
- il path dell file da creare.size
- la dimensione.- Throws:
IllegalArgumentException
- se la size non è positiva.FileNotFoundException
- se ilPath.parent()
non è una directory.FileAlreadyExistsException
- se inPath.parent()
esite già una entry con nomePath.name()
.
-