|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.w3c.tools.resources.store.ResourceStoreImpl
public class ResourceStoreImpl
A generic resource store that keeps resource in a file using the Serializer interface.
Field Summary | |
---|---|
protected ResourceStoreManager |
manager
Our resource store manager. |
protected Serializer |
serializer
Our Resource Serializer. |
Constructor Summary | |
---|---|
ResourceStoreImpl()
|
Method Summary | |
---|---|
boolean |
acceptUnload()
Can this resource store be unloaded now ? This method gets called by the ResourceStoreManager before calling the shutdown method, when possible. |
void |
addResource(Resource resource)
Add this resource to this resource store. |
java.util.Enumeration |
enumerateResourceIdentifiers()
Enumerate all the resources saved in this store. |
java.lang.String |
getIdentifier()
Get the identifier for that store. |
int |
getVersion()
Get the version of that resource store. |
boolean |
hasResource(java.lang.String identifier)
Check for the existence of a resource in this store. |
void |
initialize(ResourceStoreManager manager,
java.lang.Object token,
java.io.File repository,
Serializer serializer)
This resource store is being built, initialize it with the given arg. |
protected void |
internalSave(boolean unload)
Internal save: save the repository back to disk. |
Resource |
loadResource(java.lang.String identifier,
java.util.Hashtable defs)
Restore the resource whose name is given. |
protected void |
loadResources()
|
Resource |
lookupResource(java.lang.String identifier)
Get this resource, but only if already loaded. |
protected void |
markModified()
|
void |
markModified(Resource resource)
Mark this resource as modified. |
protected void |
markUsed()
Mark the store as having been used recently. |
void |
removeResource(java.lang.String identifier)
Remove this resource from the repository. |
void |
renameResource(java.lang.String oldid,
java.lang.String newid)
Rename a given resource. |
void |
save()
Save this store. |
void |
saveResource(Resource resource)
Stabilize the given resource. |
void |
shutdown()
Shutdown this store. |
protected void |
warning(java.lang.String msg)
Emit the given string as a warning, to whoever it is appropriate. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected Serializer serializer
protected ResourceStoreManager manager
Constructor Detail |
---|
public ResourceStoreImpl()
Method Detail |
---|
protected final void markUsed()
protected void markModified()
public int getVersion()
getVersion
in interface ResourceStore
public java.lang.String getIdentifier()
getIdentifier
in interface ResourceStore
protected void warning(java.lang.String msg)
msg
- The warning message.public Resource loadResource(java.lang.String identifier, java.util.Hashtable defs) throws InvalidResourceException
loadResource
in interface ResourceStore
identifier
- The identifier of the resource to restore.defs
- Default attribute values. If the resource needs to be
restored from its pickled version, this Hashtable provides
a set of default values for some of the attributes.
InvalidResourceException
- If the resource could not
be restored from the store.public Resource lookupResource(java.lang.String identifier)
lookupResource
in interface ResourceStore
identifier
- The resource identifier.
public void saveResource(Resource resource)
saveResource
in interface ResourceStore
resource
- The resource to save.public void addResource(Resource resource)
addResource
in interface ResourceStore
resource
- The resource to be added.public void removeResource(java.lang.String identifier)
removeResource
in interface ResourceStore
identifier
- The identifier of the resource to be removed.public void renameResource(java.lang.String oldid, java.lang.String newid)
renameResource
in interface ResourceStore
oldid
- The olde resource identifier.newid
- The new resource identifier.public void markModified(Resource resource)
markModified
in interface ResourceStore
resource
- The resource that has changed (and will have to be
pickled some time latter).public boolean acceptUnload()
shutdown
method, when possible. An implementation
of that method is responsible for checking the acceptUnload
method of all its loaded resource before returning
true, meaning that the resource store can be unloaded.
acceptUnload
in interface ResourceStore
protected void internalSave(boolean unload) throws java.io.IOException
unload
- Should we unload any existing resources ?
java.io.IOException
public void shutdown()
shutdown
in interface ResourceStore
public void save()
save
in interface ResourceStore
public java.util.Enumeration enumerateResourceIdentifiers()
enumerateResourceIdentifiers
in interface ResourceStore
public boolean hasResource(java.lang.String identifier)
hasResource
in interface ResourceStore
identifier
- The identifier of the resource to check.
protected void loadResources()
public void initialize(ResourceStoreManager manager, java.lang.Object token, java.io.File repository, Serializer serializer)
initialize
in interface ResourceStore
manager
- The ResourceStoreManager instance that asks yourself
to initialize.token
- The resource store manager key to that resource store,
this token should be used when calling methods from the manager that
are to act on yourself.repository
- A file, giving the location of the associated
repository.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |