public class DiskFileSystem extends java.lang.Object implements FileSystem
Constructor and Description |
---|
DiskFileSystem() |
Modifier and Type | Method and Description |
---|---|
void |
delete(java.io.File fileToBeDeleted) |
boolean |
exists(java.io.File file) |
java.lang.String |
getContent(java.io.File file) |
java.io.InputStream |
getInputStream(java.io.File file) |
boolean |
isDirectory(java.io.File file) |
long |
lastModified(java.io.File file) |
java.lang.String[] |
list(java.io.File path) |
void |
makeDirectory(java.io.File path) |
void |
makeFile(java.io.File file,
java.io.InputStream content) |
void |
makeFile(java.io.File file,
java.lang.String content) |
void |
rename(java.io.File file,
java.io.File originalFile) |
public void makeFile(java.io.File file, java.lang.String content) throws java.io.IOException
makeFile
in interface FileSystem
java.io.IOException
public void makeFile(java.io.File file, java.io.InputStream content) throws java.io.IOException
makeFile
in interface FileSystem
java.io.IOException
public void makeDirectory(java.io.File path) throws java.io.IOException
makeDirectory
in interface FileSystem
java.io.IOException
public boolean exists(java.io.File file)
exists
in interface FileSystem
public java.lang.String[] list(java.io.File path)
list
in interface FileSystem
public java.lang.String getContent(java.io.File file) throws java.io.IOException
getContent
in interface FileSystem
java.io.IOException
public java.io.InputStream getInputStream(java.io.File file) throws java.io.IOException
getInputStream
in interface FileSystem
java.io.IOException
public void delete(java.io.File fileToBeDeleted) throws java.io.IOException
delete
in interface FileSystem
java.io.IOException
public long lastModified(java.io.File file)
lastModified
in interface FileSystem
public void rename(java.io.File file, java.io.File originalFile) throws java.io.IOException
rename
in interface FileSystem
java.io.IOException
public boolean isDirectory(java.io.File file)
isDirectory
in interface FileSystem