# File lib/innodb/undo_record.rb, line 43 def cursor(position) new_cursor = @undo_page.cursor(position) if @undo_log new_cursor.push_name("undo_log[#{@undo_log.position}]") end new_cursor.push_name("undo_record[#{@position}]") new_cursor end