All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class w3c.tools.store.jdbmResourceStore

java.lang.Object
   |
   +----w3c.tools.store.jdbmResourceStore

public class jdbmResourceStore

extends Object

implements ResourceStore

LOADED_LIMIT

LOADED_THRESOLD

jdbmResourceStore()

acceptUnload()

addHolder(ResourceStoreHolder)

Add a holder to that store.

addResource(Resource)

Add this resource to this resource store.

dbmError(Exception, String)

A jdbm error has occured, this is potentially serious.

enumerateResourceIdentifiers()

Enumerate all the resources saved in this store.

getIdentifier()

Get the identifier for that store.

getLoadedCount()

getResourceBytes(String)

Get the bytes that are the pickled version of the given resource.

getVersion()

hasResource(String)

Check for the existence of a resource in this store.

initialize(ResourceStoreManager, Object, File)

This resource store is being built, initialize it with the given arg.

listLRU(PrintStream, String)

loadResource(String)

loadResource(String, Hashtable)

Restore the resource whose name is given.

lockResource(ResourceLocker, Resource)

Lock the given resource in the cache.

lookupResource(String)

Get this resource, but only if already loaded.

main(String[])

Dump all resources.

markModified(Resource)

Mark this resource as modified.

removeHolder(ResourceStoreHolder)

Remove a store holder.

removeResource(String)

Remove this resource from the repository.

renameResource(String, String)

reorganize()

runStoreSweeper()

save()

Save this store.

saveResource(jdbmResource)

saveResource(Resource)

Stabilize the resource having the given identifier.

setPersist(Resource)

shutdown()

Shutdown this store.

startReorganize()

unloadResource()

Unload one selected resource from the store.

unlockResource(ResourceLocker, Resource)

Unlock the given resource in the cache.

 public static final int LOADED_LIMIT

 public static final int LOADED_THRESOLD

 public jdbmResourceStore()

 protected void reorganize()

 protected final void startReorganize()

 public synchronized void addHolder(ResourceStoreHolder holder)

Add a holder to that store.

Parameters:

holder - The holder to add.

 public synchronized void removeHolder(ResourceStoreHolder holder)

Remove a store holder.

Parameters:

holder - The holder to remove.

 public String getIdentifier()

Get the identifier for that store. We use the repository as an identifier, which is safe here.

Returns:

The absolute path of the repository.

 public int getVersion()

 public void setPersist(Resource resource)

 public void listLRU(PrintStream out,
                     String msg)

 public void runStoreSweeper()

 public final int getLoadedCount()

 public void unloadResource()

Unload one selected resource from the store.

 protected void dbmError(Exception ex,
                         String msg)

A jdbm error has occured, this is potentially serious.

Parameters:

ex - The dbm exception.

msg - An informative description of the error.

 protected synchronized byte[] getResourceBytes(String identifier)

Get the bytes that are the pickled version of the given resource. This opens the file for each resource, it could of course be optimized for the cases were all the resources are to be loaded at once.

Parameters:

identifier - The resource identifier.

Returns:

The length, in the instance buffer, of the bytes that makes this resource.

 protected void saveResource(jdbmResource entry)

 public Resource loadResource(String identifier,
                              Hashtable defs) throws InvalidResourceException

Restore the resource whose name is given.

Parameters:

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.

Returns:

A Resource instance, or null.

 public Resource loadResource(String identifier) throws InvalidResourceException

 public synchronized void renameResource(String oldid,
                                         String newid)

 public Resource lookupResource(String identifier)

Get this resource, but only if already loaded. The resource store may (recommended) maintain a cache of the resource it loads from its store. If the resource having this identifier has already been loaded, return it, otherwise, return null.

Parameters:

identifier - The resource identifier.

Returns:

A Resource instance, or null.

 public void saveResource(Resource resource)

Stabilize the resource having the given identifier.

Parameters:

identifier - The resource identifier.

Throws: UnknownResourceException

If the resource is unknown.

 public boolean lockResource(ResourceLocker locker,
                             Resource resource)

Lock the given resource in the cache.

Parameters:

identifier - The identifier of the resource to be locked in cache.

Returns:

A boolean true if locking succeeded.

 public void unlockResource(ResourceLocker locker,
                            Resource resource)

Unlock the given resource in the cache.

Parameters:

identifier - The identifier of the resource to be unlocked.

 public void addResource(Resource resource)

Add this resource to this resource store.

Parameters:

resource - The resource to be added.

 public void removeResource(String identifier)

Remove this resource from the repository.

Parameters:

identifier - The identifier of the resource to be removed.

 public void markModified(Resource resource)

Mark this resource as modified.

Parameters:

identifier - The identifier of the modified resource.

 public boolean acceptUnload()

 public void shutdown()

Shutdown this store.

 public synchronized void save()

Save this store.

 public Enumeration enumerateResourceIdentifiers()

Enumerate all the resources saved in this store.

Returns:

An enumeration of Strings, giving the identifier for all the resources that this store knows about.

 public boolean hasResource(String identifier)

Check for the existence of a resource in this store.

Parameters:

identifier - The identifier of the resource to check.

Returns:

A boolean true if the resource exists in this store, false otherwise.

 public void initialize(ResourceStoreManager manager,
                        Object token,
                        File repository)

This resource store is being built, initialize it with the given arg.

Parameters:

repository - A file, giving the location of the associated repository.

 public static void main(String args[])

Dump all resources.

All Packages  Class Hierarchy  This Package  Previous  Next  Index