|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface Repository
Repository represents an abstract container of resources (e.g. code, skins, ...). In addition to resources, repositories may contain other repositories, building a hierarchical structure.
| Method Summary | |
|---|---|
void |
create()
Creates the repository if does not exist yet |
boolean |
exists()
Checks wether the repository actually (or still) exists |
java.util.List<Resource> |
getAllResources()
Returns all direct and indirect resources |
long |
getChecksum()
Checksum of the repository and all its content. |
Repository |
getChildRepository(java.lang.String name)
Get a child repository with the given name |
java.lang.String |
getName()
Returns the name of the repository; this is a full name including all parent repositories. |
Repository |
getParentRepository()
Returns this repository's parent repository. |
Repository[] |
getRepositories()
Returns this repository's direct child repositories |
Resource |
getResource(java.lang.String resourceName)
Returns a specific direct resource of the repository |
java.util.Iterator<Resource> |
getResources()
Returns all direct resources |
java.util.List<Resource> |
getResources(java.lang.String resourcePath)
Get a list of resources contained in this repository identified by the given local name. |
Repository |
getRootRepository()
Get this repository's logical script root repository. |
java.lang.String |
getShortName()
Returns the name of the repository. |
boolean |
isScriptRoot()
Checks wether the repository is to be considered a top-level repository from a scripting point of view. |
long |
lastModified()
Returns the date the repository was last modified. |
void |
mountRepository(Repository child,
java.lang.String pathname)
Mount a child repository under the given path name. |
| Method Detail |
|---|
long getChecksum()
throws java.io.IOException
java.io.IOException - an I/O error occurred
long lastModified()
throws java.io.IOException
java.io.IOException - an I/O error occurredResource getResource(java.lang.String resourceName)
resourceName - name of the child resource to return
java.util.List<Resource> getResources(java.lang.String resourcePath)
resourcePath - the repository path
java.util.Iterator<Resource> getResources()
throws java.io.IOException
java.io.IOException - an I/O error occurred
java.util.List<Resource> getAllResources()
throws java.io.IOException
java.io.IOException - an I/O error occurred
Repository[] getRepositories()
throws java.io.IOException
java.io.IOException - an I/O error occurredboolean exists()
void create()
throws java.io.IOException
java.io.IOException - an I/O error occurredboolean isScriptRoot()
Repository getParentRepository()
Repository getChildRepository(java.lang.String name)
name - the name of the repository
Repository getRootRepository()
{isScriptRoot()}
void mountRepository(Repository child,
java.lang.String pathname)
pathname - the path namechild - the child elementjava.lang.String getName()
java.lang.String getShortName()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||