代码之家 › 专栏 › 技术社区 › Pipo

埃菲尔:一种确保db_光标:db_RESULT没有移动的方法

eiffel design-by-contract

0

Pipo · 技术社区 · 6 年前

我在想办法确保 cursor: detachable DB_RESULT 从数据库选择类尚未移动。我找不到任何方法可以访问它。下面的陈述能保证吗?

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

这个 item 例如,方法似乎无法确保即使它只是参考给定行索引的值

0 回复 | 直到 6 年前