Я ищу способ убедиться, что cursor: detachable DB_RESULT из класса DB_SELECTION не переместился.Я не нашел никакого способа получить к нему доступ.Гарантирует ли это следующее утверждение?
ensure
cursor_not_moved: a_db_service.cursor.is_equal(old a_db_service.cursor)
Например, метод item, кажется, не гарантирует, что даже если он только обращается к значению данного индекса строки