public interface Store
Modifier and Type | Method | Description |
---|---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener listener) |
Add a property change listener to this component.
|
void |
clear() |
Remove all Sessions from this Store.
|
Manager |
getManager() |
|
int |
getSize() |
|
java.lang.String[] |
keys() |
|
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.
|
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
- if an input/output error occursvoid 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-2019 Apache Software Foundation. All Rights Reserved.