|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.w3c.tools.resources.store.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()
public java.lang.String getIdentifier()
protected void warning(java.lang.String msg)
msg
- The warning message.public Resource loadResource(java.lang.String identifier, java.util.Hashtable defs) throws InvalidResourceException
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.public Resource lookupResource(java.lang.String identifier)
identifier
- The resource identifier.public void saveResource(Resource resource)
resource
- The resource to save.public void addResource(Resource resource)
resource
- The resource to be added.public void removeResource(java.lang.String identifier)
identifier
- The identifier of the resource to be removed.public void renameResource(java.lang.String oldid, java.lang.String newid)
oldid
- The olde resource identifier.newid
- The new resource identifier.public void markModified(Resource resource)
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.protected void internalSave(boolean unload) throws java.io.IOException
unload
- Should we unload any existing resources ?public void shutdown()
public void save()
public java.util.Enumeration enumerateResourceIdentifiers()
public boolean hasResource(java.lang.String identifier)
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)
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: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |