Methods Summary |
---|
public void | addPropertyChangeListener(java.beans.PropertyChangeListener listener)Add a property change listener to this component.
|
public void | clear()Remove all Sessions from this Store.
|
public java.lang.String | getInfo()Return descriptive information about this Store implementation and
the corresponding version number, in the format
<description>/<version> .
|
public Manager | getManager()Return the Manager instance associated with this Store.
|
public int | getSize()Return the number of Sessions present in this Store.
|
public java.lang.String[] | keys()Return an array containing the session identifiers of all Sessions
currently saved in this Store. If there are no such Sessions, a
zero-length array is returned.
|
public Session | load(java.lang.String id)Load and return the Session associated with the specified session
identifier from this Store, without removing it. If there is no
such stored Session, return null .
|
public void | remove(java.lang.String id)Remove the Session with the specified session identifier from
this Store, if present. If no such Session is present, this method
takes no action.
|
public void | removePropertyChangeListener(java.beans.PropertyChangeListener listener)Remove a property change listener from this component.
|
public void | save(Session session)Save the specified Session into this Store. Any previously saved
information for the associated session identifier is replaced.
|
public void | setManager(Manager manager)Set the Manager associated with this Store.
|