Function undo

tables/undoredo.py:30–51

Undo action.

(
    file_: "File",
    operation: Literal["ADDATTR", "CREATE", "DELATTR", "MOVE", "REMOVE"],
    *args: str,
)

def undo(
    file_: "File",
    operation: Literal["ADDATTR", "CREATE", "DELATTR", "MOVE", "REMOVE"],
    *args: str,
) -> None:
    """Undo action."""
    if operation == "CREATE":
        undo_create(file_, args[0])
    elif operation == "REMOVE":
        undo_remove(file_, args[0])
    elif operation == "MOVE":
        undo_move(file_, args[0], args[1])
    elif operation == "ADDATTR":
        undo_add_attr(file_, args[0], args[1])
    elif operation == "DELATTR":
        undo_del_attr(file_, args[0], args[1])
    else:
        raise NotImplementedError(
            "the requested unknown operation %r can "
            "not be undone; please report this to the "
            "authors" % operation
        )


def redo(