Methods Summary |
---|
public long | lastModified()get the last time this store was modified
|
public void | lock()lock the store.
precondition - true
postcondition - the store is locked
|
public java.lang.Object | readObject()Read the object from the store.
precondition - true
postcondition - store has not been modified
|
public void | unlock()unlock the store.
precondition - store is not locked, or the store has been
locked by the caller.
postcondition - store is closed and all resources released
|
public void | writeObject(java.lang.Object o)Write the given object to the store via serialization.
Precondition - store is locked
Postcondition - store contains this object, and only this
object.
|