Method redo

tables/file.py:2771–2821

Go to a future state of the database. Returns the database to the state associated with the specified mark. Both the identifier of a mark and its name can be used. If the `mark` is omitted, the next created mark is used. If there are no future marks, or the specifi

(self, mark: int | str | None = None)

    #               (self._curaction, self._curmark))

    def redo(self, mark: int | str | None = None) -> None:
        """Go to a future state of the database.

        Returns the database to the state associated with the specified
        mark.  Both the identifier of a mark and its name can be used.
        If the `mark` is omitted, the next created mark is used.  If
        there are no future marks, or the specified mark is not newer
        than the current one, an UndoRedoError is raised.

        This method can only be called when the Undo/Redo mechanism has
        been enabled.  Otherwise, an UndoRedoError is raised.

        """
        self._check_open()
        self._check_undo_enabled()

        #         print("(pre)REDO: (curaction, curmark) = (%s, %s)" % \
        #               (self._curaction, self._curmark))
        if self._curaction >= self._actionlog.nrows - 1:
            # We are at the end of log, so no action
            return

        if mark is None:
            mark = self._curmark + 1
        elif mark == -1:
            mark = int(self._nmarks)  # Go beyond the mark bounds up to the end
        # Get the mark ID number
        markid = self._get_mark_id(mark)
        finalaction = self._get_final_action(markid)
        if finalaction < self._curaction + 1:
            raise UndoRedoError(
                "Mark ``%s`` is older than the current mark. "
                "Use `redo()` or `goto()` instead." % (mark,)
            )

        # The file is going to be changed.
        self._check_writable()

        # Get the final action ID to go
        self._curaction += 1

        # Try to reach this mark by redoing the actions in the log
        self._doundo(finalaction, 1)
        # Increment the current mark only if we are not at the end of marks
        if self._curmark < self._nmarks - 1:
            self._curmark += 1
        if self._curaction > self._actionlog.nrows - 1:
            self._curaction = self._actionlog.nrows - 1

        # print("(post)REDO: (curaction, curmark) = (%s,%s)" % \
        #       (self._curaction, self._curmark))

    def goto(self, mark: int | str) -> None:
        """Go to a specific mark of the database.