public interface Store
Modifier and Type | Method and Description |
---|---|
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.
|
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 loadjava.lang.ClassNotFoundException
- if a deserialization error occursjava.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 removedjava.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 savedjava.io.IOException
- if an input/output error occursCopyright © 2000-2015 Apache Software Foundation. All Rights Reserved.