public interface SessionRegistry
SessionInformation
instances.Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.Object> |
getAllPrincipals()
Obtains all the known principals in the
SessionRegistry . |
java.util.List<SessionInformation> |
getAllSessions(java.lang.Object principal,
boolean includeExpiredSessions)
Obtains all the known sessions for the specified principal.
|
SessionInformation |
getSessionInformation(java.lang.String sessionId)
Obtains the session information for the specified
sessionId . |
void |
refreshLastRequest(java.lang.String sessionId)
Updates the given
sessionId so its last request time is equal to the
present date and time. |
void |
registerNewSession(java.lang.String sessionId,
java.lang.Object principal)
Registers a new session for the specified principal.
|
void |
removeSessionInformation(java.lang.String sessionId)
Deletes all the session information being maintained for the specified
sessionId . |
java.util.List<java.lang.Object> getAllPrincipals()
SessionRegistry
.getAllSessions(Object, boolean)
.java.util.List<SessionInformation> getAllSessions(java.lang.Object principal, boolean includeExpiredSessions)
principal
- to locate sessions for (should never be null
)includeExpiredSessions
- if true
, the returned sessions will also
include those that have expired for the principalSessionInformation getSessionInformation(java.lang.String sessionId)
sessionId
. Even
expired sessions are returned (although destroyed sessions are never returned).sessionId
- to lookup (should never be null
)null
if not foundvoid refreshLastRequest(java.lang.String sessionId)
sessionId
so its last request time is equal to the
present date and time. Silently returns if the given sessionId
cannot
be found or the session is marked to expire.sessionId
- for which to update the date and time of the last request (should
never be null
)void registerNewSession(java.lang.String sessionId, java.lang.Object principal)
sessionId
- to associate with the principal (should never be null
)principal
- to associate with the session (should never be null
)void removeSessionInformation(java.lang.String sessionId)
sessionId
. If the sessionId
is not found, the method
gracefully returns.sessionId
- to delete information for (should never be null
)