|
Store (Catalina Internal API Documentation)
org.apache.catalina
|
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 |