|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A Store is the abstraction of a Catalina component that provides persistent storage and loading of Sessions and their associated user data. Implementations are free to save and load the Sessions to any media they wish, but it is assumed that saved Sessions are persistent across server or context restarts.
Method Summary | |
void |
addPropertyChangeListener(java.beans.PropertyChangeListener listener)
Add a property change listener to this component. |
void |
clear()
Remove all Sessions from this Store. |
java.lang.String |
getInfo()
Return descriptive information about this Store implementation and the corresponding version number, in the format <description>/<version> . |
Manager |
getManager()
Return the Manager instance associated with this Store. |
int |
getSize()
Return the number of Sessions present in this Store. |
java.lang.String[] |
keys()
Return an array containing the session identifiers of all Sessions currently saved in this Store. |
Session |
load(java.lang.String id)
Load and return the Session associated with the specified session identifier from this Store, without removing it. |
void |
remove(java.lang.String id)
Remove the Session with the specified session identifier from this Store, if present. |
void |
removePropertyChangeListener(java.beans.PropertyChangeListener listener)
Remove a property change listener from this component. |
void |
save(Session session)
Save the specified Session into this Store. |
void |
setManager(Manager manager)
Set the Manager associated with this Store. |
Method Detail |
public java.lang.String getInfo()
<description>/<version>
.
public Manager getManager()
public void setManager(Manager manager)
manager
- The Manager which will use this Store.public int getSize() throws java.io.IOException
java.io.IOException
- if an input/output error occurspublic void addPropertyChangeListener(java.beans.PropertyChangeListener listener)
listener
- The listener to addpublic java.lang.String[] keys() throws java.io.IOException
java.io.IOException
- if an input/output error occurredpublic Session load(java.lang.String id) throws java.lang.ClassNotFoundException, java.io.IOException
null
.
id
- Session identifier of the session to load
java.lang.ClassNotFoundException
- if a deserialization error occurs
java.io.IOException
- if an input/output error occurspublic void remove(java.lang.String id) throws java.io.IOException
id
- Session identifier of the Session to be removed
java.io.IOException
- if an input/output error occurspublic void clear() throws java.io.IOException
java.io.IOException
public void removePropertyChangeListener(java.beans.PropertyChangeListener listener)
listener
- The listener to removepublic void save(Session session) throws java.io.IOException
session
- Session to be saved
java.io.IOException
- if an input/output error occurs
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |