Java-класс UndoLogPageDto
Страница механизма отмены
| Поле | Тип | Описание |
|---|---|---|
| id | ObjectId | Идентификатор страницы undo-операций |
| prevPageId | ObjectId | ИД страницы предыдущих операций |
| nextPageId | ObjectId | ИД страницы последующих операций |
| appliedIndex | int | Индекс последней применённой операции в списке .list. Операция с этим индексом УЖЕ применена. Операции с меньшим индексом тоже ПРИМЕНЕНЫ. Операции с большим индексом НЕ ПРИМЕНЕНЫ (были ранее отменены операцией redo) Или -1, если ни одна операция в списке не применялась. Это поле актуально только для текущей страницы. Для предыдущих и следующих страниц это поле может иметь испорченное значение. Если эта страница стала текущей, при проходе вперёд (выполнении redo), это поле должно стать равным -1. Если эта страница стала текущей, при проходе назад (выполнении операции undo), это поле должно стать равным list.size() - 1 |
| list | ArrayList<UpdateCmd> | Список операций на этой странице. Он ограничен конфигом BufferConfig.undoLogPageSizeLimit() |