SimpleResourceStore.markUsed()

Dear Anselm, Yves, et. al.:

In Jigsaw 1.0a5, both SimpleResourceStore and jdbmResourceStore have a
method called markUsed(), which calls ResourceStoreManager.markUsed(token).
The token is something created on initialization, that only the
ResourceStoreManager and the ResourceStore itself know about, so it's
necessary to have the version without parameters that can be called by
other objects to mark a ResourceStore as used.  It seems to me that this
method should really be declared one level up, in ResourceStore, enabling
some resources to do the following:

    getResourceStore().markUsed();

Otherwise, they have to do the following, very dirty and type-unsafe, trick:

    SimpleResourceStore s = (SimpleResourceStore) getResourceStore();
    s.markUsed();



+---------------------+-------------------------+---------------------+
|    Dave Makower     |    davemak@pencom.com   |   WWW Specialist    |
+---------------------+-------------------------+---------------------+
|     Co-author of "Java Programming Basics" (Henry Holt/MIS:Press)   |
|                 http://www.pencom.com/javabasics/                   |
+----------------------------------+----------------------------------+
|   Pencom Web Works               |   (212) 513-7777   voice         |
|   40 Fulton St.                  |   (212) 513-1014   fax           |
|   New York, NY  10038            |   http://www.pencom.com/         |
+----------------------------------+----------------------------------+

Received on Wednesday, 23 July 1997 11:11:43 UTC