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-2018 Apache Software Foundation. All Rights Reserved.