Cursor Unmoved
Code template predicate contract to ensure a CURSOR_STRUCTURE cursor has not been moved during the execution of a routine body
Eiffel Software
unmoved
Eiffel
code
contract
postcondition
A entity representing an attached cursor structure
${structure}_unmoved: ${structure}.cursor.is_equal (old ${structure}.cursor)${end}