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