| org.w3c.tools.resources.ResourceSpace
| ResourceSpace | | public interface ResourceSpace (Code) | | |
| Method Summary | |
| public void | acquireChildren(SpaceEntry sentry)
Acquire the children of the resource. | | public void | acquireChildren(SpaceEntry sentry, File repository, boolean transientFlag)
acquire children from an external file. | | public ResourceReference | addResource(SpaceEntry sentry, Resource resource, Hashtable defs)
Add this resource to the space. | | public void | checkpoint()
Checkpoint all modified resource, by saving them to disk. | | public void | deleteChildren(SpaceEntry sentry)
Delete all the children of resource indentified by its
space entry. | | public void | deleteResource(SpaceEntry sentry, Resource resource)
Delete this resource from the space. | | public Enumeration | enumerateResourceIdentifiers(SpaceEntry sentry)
Enumerate the name (ie identifiers) of the resource children
identified by its space entry.
Parameters:
sentry - The space entry. | | public ResourceEventQueue | getEventQueue()
| | public ResourceReference | loadResource(SpaceEntry sentry, String identifier, Hashtable defs)
Restore the resource whose name is given. | | public ResourceReference | loadRootResource(String identifier, Hashtable defs)
Restore the resource whose name is given from the root. | | public ResourceReference | lookupResource(SpaceEntry sentry, String identifier)
Lookup this resource.
Parameters:
sentry - The resource space entry.
Parameters:
identifier - The resource identifier. | | public void | markModified(SpaceEntry sentry, Resource resource)
Mark the given resource as being modified. | | public void | renameResource(SpaceEntry sentry, String oldid, String newid)
Rename a resource in this resource space. | | public void | saveChildren(SpaceEntry sentry)
Save all the children of the resource indentified by its
spaec entry. | | public void | saveResource(SpaceEntry sentry, Resource resource)
Save this resource to the space. | | public void | shutdown()
Shutdown this resource space. |
| acquireChildren | | public void acquireChildren(SpaceEntry sentry)(Code) | | Acquire the children of the resource.
Parameters:
sentry - The resource space entry. |
| acquireChildren | | public void acquireChildren(SpaceEntry sentry, File repository, boolean transientFlag)(Code) | | acquire children from an external file.
Parameters:
sentry - The resource space entry.
Parameters:
repository - The file used to store children. |
| addResource | | public ResourceReference addResource(SpaceEntry sentry, Resource resource, Hashtable defs)(Code) | | Add this resource to the space.
Parameters:
sentry - The resource space entry.
Parameters:
resource - The resource to add.
Parameters:
defs - Default attribute values. |
| checkpoint | | public void checkpoint()(Code) | | Checkpoint all modified resource, by saving them to disk.
|
| deleteChildren | | public void deleteChildren(SpaceEntry sentry)(Code) | | Delete all the children of resource indentified by its
space entry.
Parameters:
sentry - The resource space entry |
| deleteResource | | public void deleteResource(SpaceEntry sentry, Resource resource)(Code) | | Delete this resource from the space.
Parameters:
sentry - The resource space entry.
Parameters:
resource - The resource to delete. |
| enumerateResourceIdentifiers | | public Enumeration enumerateResourceIdentifiers(SpaceEntry sentry)(Code) | | Enumerate the name (ie identifiers) of the resource children
identified by its space entry.
Parameters:
sentry - The space entry. An enumeration, providing one element per child, which isthe name of the child, as a String. |
| loadResource | | public ResourceReference loadResource(SpaceEntry sentry, String identifier, Hashtable defs)(Code) | | Restore the resource whose name is given.
Parameters:
sentry - The resource space entry.
Parameters:
identifier - The identifier of the resource to restore.
Parameters:
defs - Default attribute values. |
| loadRootResource | | public ResourceReference loadRootResource(String identifier, Hashtable defs)(Code) | | Restore the resource whose name is given from the root.
Parameters:
identifier - The identifier of the resource to restore.
Parameters:
defs - Default attribute values. |
| lookupResource | | public ResourceReference lookupResource(SpaceEntry sentry, String identifier)(Code) | | Lookup this resource.
Parameters:
sentry - The resource space entry.
Parameters:
identifier - The resource identifier. A Resource instance, or null if either theresource doesn't exist, or it isn't loaded yet. |
| markModified | | public void markModified(SpaceEntry sentry, Resource resource)(Code) | | Mark the given resource as being modified.
Parameters:
sentry - The resource space entry.
Parameters:
resource - The resource to mark as modified. |
| renameResource | | public void renameResource(SpaceEntry sentry, String oldid, String newid)(Code) | | Rename a resource in this resource space.
Parameters:
sentry - The resource space entry.
Parameters:
oldid - The old resorce identifier.
Parameters:
newid - The new resorce identifier. |
| saveChildren | | public void saveChildren(SpaceEntry sentry)(Code) | | Save all the children of the resource indentified by its
spaec entry.
Parameters:
sentry - The resource space entry |
| saveResource | | public void saveResource(SpaceEntry sentry, Resource resource)(Code) | | Save this resource to the space.
Parameters:
sentry - The resource space entry.
Parameters:
resource - The resource to save. |
| shutdown | | public void shutdown()(Code) | | Shutdown this resource space.
Go through all entries, and shut them down.
|
|
|