|
Apache Tomcat 6.0.53 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Store
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 |
---|
java.lang.String getInfo()
<description>/<version>
.
Manager getManager()
void setManager(Manager manager)
manager
- The Manager which will use this Store.int getSize() throws java.io.IOException
java.io.IOException
- if an input/output error occursvoid addPropertyChangeListener(java.beans.PropertyChangeListener listener)
listener
- The listener to addjava.lang.String[] keys() throws java.io.IOException
java.io.IOException
- if an input/output error occurredSession 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 occursvoid 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 occursvoid clear() throws java.io.IOException
java.io.IOException
void removePropertyChangeListener(java.beans.PropertyChangeListener listener)
listener
- The listener to removevoid save(Session session) throws java.io.IOException
session
- Session to be saved
java.io.IOException
- if an input/output error occurs
|
Apache Tomcat 6.0.53 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |