Package org.eclipse.scout.rt.ui.html
Class RequestHistory
java.lang.Object
org.eclipse.scout.rt.ui.html.RequestHistory
Keeps track of processed request sequence numbers. Normally, only the last processed sequence number must be
remembered. However, there are cases where requests with a higher sequence number are processed first (e.g. a user
request may "overtake" a pending poll request). Temporarily missing sequence numbers are remembered in a separate
list that is cleaned up again when the request is finally processed.
This class is thread-safe.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected String
boolean
isRequestProcessed
(Long requestSequenceNo) void
setRequestProcessed
(Long requestSequenceNo) Marks the given request sequence number as "processed", i.e.toString()
withUiSession
(UiSession uiSession)
-
Constructor Details
-
RequestHistory
public RequestHistory()
-
-
Method Details
-
getUiSession
-
withUiSession
-
getUiSessionId
-
setRequestProcessed
Marks the given request sequence number as "processed", i.e.isRequestProcessed(Long)
will returntrue
. -
isRequestProcessed
- Returns:
true
if the given request sequence number was already marked as "processed",false
otherwise.
-
getLastProcessedSequenceNo
- Returns:
- the "last processed sequence number", i.e. the highest request sequence number that was marked as "processed".
-
getMissingRequestSequenceNos
- Returns:
- a copy of the set of missing request sequence numbers, i.e. sequence numbers that are lower than
getLastProcessedSequenceNo()
but have not been marked as "processed".
-
toString
-