埃菲尔：确保db_cursor的方法：DB_RESULT尚未移动

Question

我正在寻找一种方法来确保DB_SELECTION类中的cursor: detachable DB_RESULT没有移动。我没有找到任何方法来访问它。以下陈述是否可以确保这一点？

    ensure
        cursor_not_moved: a_db_service.cursor.is_equal(old a_db_service.cursor)

例如，item方法似乎并不能确保即使仅查询给定行索引的值