public class SessionRecord
extends java.lang.Object
| Constructor and Description |
|---|
SessionRecord() |
SessionRecord(byte[] serialized) |
SessionRecord(SessionState sessionState) |
| Modifier and Type | Method and Description |
|---|---|
void |
archiveCurrentState()
Move the current
SessionState into the list of "previous" session states,
and replace the current SessionState
with a fresh reset instance. |
java.util.List<SessionState> |
getPreviousSessionStates() |
SessionState |
getSessionState() |
boolean |
hasSessionState(int version,
byte[] aliceBaseKey) |
boolean |
isFresh() |
void |
promoteState(SessionState promotedState) |
void |
removePreviousSessionStates() |
byte[] |
serialize() |
void |
setState(SessionState sessionState) |
public SessionRecord()
public SessionRecord(SessionState sessionState)
public SessionRecord(byte[] serialized)
throws java.io.IOException
java.io.IOExceptionpublic boolean hasSessionState(int version,
byte[] aliceBaseKey)
public SessionState getSessionState()
public java.util.List<SessionState> getPreviousSessionStates()
public void removePreviousSessionStates()
public boolean isFresh()
public void archiveCurrentState()
SessionState into the list of "previous" session states,
and replace the current SessionState
with a fresh reset instance.public void promoteState(SessionState promotedState)
public void setState(SessionState sessionState)
public byte[] serialize()