public static class Transaction.ResultList extends ResultList
Transaction.req_list(RequestList)
.Modifier and Type | Method and Description |
---|---|
void |
processAddDelOnListAt(int pos)
Processes the result at the given position which originated from
a add_del_on_list request.
|
void |
processAddOnNrAt(int pos)
Processes the result at the given position which originated from
an add_on_nr request.
|
void |
processCommitAt(int pos)
Processes the result at the given position which originated from
a commit request.
|
void |
processTestAndSetAt(int pos)
Processes the result at the given position which originated from
an add_on_nr request.
|
void |
processWriteAt(int pos)
Processes the result at the given position which originated from
a write request.
|
get, processReadAt, size, toString
public void processWriteAt(int pos) throws UnknownException
processWriteAt
in class ResultList
pos
- the position in the result list (starting at 0)UnknownException
- if any other error occurspublic void processAddDelOnListAt(int pos) throws NotAListException, UnknownException
processAddDelOnListAt
in class ResultList
pos
- the position in the result list (starting at 0)NotAListException
- if the previously stored value was no listUnknownException
- if any other error occurspublic void processAddOnNrAt(int pos) throws NotANumberException, UnknownException
processAddOnNrAt
in class ResultList
pos
- the position in the result list (starting at 0)NotANumberException
- if the previously stored value was not a numberUnknownException
- if any other error occurspublic void processTestAndSetAt(int pos) throws NotFoundException, KeyChangedException, UnknownException
processTestAndSetAt
in class ResultList
pos
- the position in the result list (starting at 0)NotFoundException
- if the requested key does not existKeyChangedException
- if the key did not match old_valueUnknownException
- if any other error occurspublic void processCommitAt(int pos) throws AbortException, UnknownException
pos
- the position in the result list (starting at 0)AbortException
- if the commit failedUnknownException
- if any other error occurs