public interface Directory extends DirectoryEntry
File
Modifier and Type | Interface and Description |
---|---|
static class |
Directory.ZipStream
A simple pipe that produces the zipped contents of a directory.
|
Modifier and Type | Method and Description |
---|---|
Collection<DirectoryEntry> |
getContents() |
Directory.ZipStream |
getContentsAsZip() |
Collection<DirectoryEntry> |
getContentsByDate() |
File |
makeEmptyFile(Principal actor,
String name)
Creates an empty file in this directory.
|
Directory |
makeSubdirectory(Principal actor,
String name)
Creates a sub-directory of this directory.
|
destroy, getFullName, getModificationDate, getName
compareTo
Collection<DirectoryEntry> getContents() throws FilesystemAccessException
FilesystemAccessException
- If things go wrong.Collection<DirectoryEntry> getContentsByDate() throws FilesystemAccessException
FilesystemAccessException
- If things go wrong.Directory.ZipStream getContentsAsZip() throws FilesystemAccessException
FilesystemAccessException
- If things go wrong.Directory makeSubdirectory(Principal actor, String name) throws FilesystemAccessException
actor
- Who this is being created by.name
- The name of the sub-directory.FilesystemAccessException
- If the name is the same as some existing entry in the
directory, or if something else goes wrong during creation.File makeEmptyFile(Principal actor, String name) throws FilesystemAccessException
actor
- Who this is being created by.name
- The name of the file to create.FilesystemAccessException
- If the name is the same as some existing entry in the
directory, or if something else goes wrong during creation.Copyright © 2015–2018 The Apache Software Foundation. All rights reserved.